1 /* schema_check.c - routines to enforce schema definitions */
4 * Copyright 1998-2002 The OpenLDAP Foundation, All Rights Reserved.
5 * COPYING RESTRICTIONS APPLY, see COPYRIGHT file
13 #include <ac/string.h>
14 #include <ac/socket.h>
19 static char * oc_check_required(
22 struct berval *ocname );
25 * entry_schema_check - check that entry e conforms to the schema required
26 * by its object class(es).
28 * returns 0 if so, non-zero otherwise.
37 char *textbuf, size_t textlen )
39 Attribute *a, *asc, *aoc;
43 AttributeDescription *ad_structuralObjectClass
44 = slap_schema.si_ad_structuralObjectClass;
45 AttributeDescription *ad_objectClass
46 = slap_schema.si_ad_objectClass;
48 int subentry = is_entry_subentry( e );
49 int collectiveSubentry = 0;
52 if( subentry) collectiveSubentry = is_entry_collectiveAttributeSubentry( e );
57 /* misc attribute checks */
58 for ( a = e->e_attrs; a != NULL; a = a->a_next ) {
59 const char *type = a->a_desc->ad_cname.bv_val;
61 /* there should be at least one value */
63 assert( a->a_vals[0].bv_val != NULL );
65 if( a->a_desc->ad_type->sat_check ) {
66 int rc = (a->a_desc->ad_type->sat_check)(
67 be, e, a, text, textbuf, textlen );
68 if( rc != LDAP_SUCCESS ) {
73 if( !collectiveSubentry && is_at_collective( a->a_desc->ad_type ) ) {
74 snprintf( textbuf, textlen,
75 "'%s' can only appear in collectiveAttributeSubentry",
77 return LDAP_OBJECT_CLASS_VIOLATION;
80 /* if single value type, check for multiple values */
81 if( is_at_single_value( a->a_desc->ad_type ) &&
82 a->a_vals[1].bv_val != NULL )
84 snprintf( textbuf, textlen,
85 "attribute '%s' cannot have multiple values",
89 LDAP_LOG( OPERATION, INFO,
90 "entry_schema_check: dn=\"%s\" %s\n", e->e_dn, textbuf, 0 );
92 Debug( LDAP_DEBUG_ANY,
94 e->e_dn, textbuf, 0 );
97 return LDAP_CONSTRAINT_VIOLATION;
101 /* it's a REALLY bad idea to disable schema checks */
102 if( !global_schemacheck ) return LDAP_SUCCESS;
104 /* find the object class attribute - could error out here */
105 asc = attr_find( e->e_attrs, ad_structuralObjectClass );
108 LDAP_LOG( OPERATION, INFO,
109 "entry_schema_check: No structuralObjectClass for entry (%s)\n",
112 Debug( LDAP_DEBUG_ANY,
113 "No structuralObjectClass for entry (%s)\n",
117 *text = "no structuralObjectClass operational attribute";
118 return LDAP_OBJECT_CLASS_VIOLATION;
121 assert( asc->a_vals != NULL );
122 assert( asc->a_vals[0].bv_val != NULL );
123 assert( asc->a_vals[1].bv_val == NULL );
125 sc = oc_bvfind( &asc->a_vals[0] );
127 snprintf( textbuf, textlen,
128 "unrecognized structuralObjectClass '%s'",
129 asc->a_vals[0].bv_val );
132 LDAP_LOG( OPERATION, INFO,
133 "entry_schema_check: dn (%s), %s\n", e->e_dn, textbuf, 0 );
135 Debug( LDAP_DEBUG_ANY,
136 "entry_check_schema(%s): %s\n",
137 e->e_dn, textbuf, 0 );
140 return LDAP_OBJECT_CLASS_VIOLATION;
143 if( sc->soc_kind != LDAP_SCHEMA_STRUCTURAL ) {
144 snprintf( textbuf, textlen,
145 "structuralObjectClass '%s' is not STRUCTURAL",
146 asc->a_vals[0].bv_val );
149 LDAP_LOG( OPERATION, INFO,
150 "entry_schema_check: dn (%s), %s\n", e->e_dn, textbuf, 0 );
152 Debug( LDAP_DEBUG_ANY,
153 "entry_check_schema(%s): %s\n",
154 e->e_dn, textbuf, 0 );
157 return LDAP_OBJECT_CLASS_VIOLATION;
160 /* find the object class attribute */
161 aoc = attr_find( e->e_attrs, ad_objectClass );
164 LDAP_LOG( OPERATION, INFO,
165 "entry_schema_check: No objectClass for entry (%s).\n",
168 Debug( LDAP_DEBUG_ANY, "No objectClass for entry (%s)\n",
172 *text = "no objectClass attribute";
173 return LDAP_OBJECT_CLASS_VIOLATION;
176 assert( aoc->a_vals != NULL );
177 assert( aoc->a_vals[0].bv_val != NULL );
179 rc = structural_class( aoc->a_vals, &nsc, &oc, text, textbuf, textlen );
180 if( rc != LDAP_SUCCESS ) {
182 } else if ( nsc.bv_len == 0 ) {
183 return LDAP_OBJECT_CLASS_VIOLATION;
189 snprintf( textbuf, textlen,
190 "unrecognized objectClass '%s'",
191 aoc->a_vals[0].bv_val );
192 return LDAP_OBJECT_CLASS_VIOLATION;
194 } else if ( sc != oc ) {
195 snprintf( textbuf, textlen,
196 "structuralObjectClass modification from '%s' to '%s' not allowed",
197 asc->a_vals[0].bv_val, nsc.bv_val );
198 return LDAP_NO_OBJECT_CLASS_MODS;
201 /* check that the entry has required attrs for each oc */
202 for ( i = 0; aoc->a_vals[i].bv_val != NULL; i++ ) {
203 if ( (oc = oc_bvfind( &aoc->a_vals[i] )) == NULL ) {
204 snprintf( textbuf, textlen,
205 "unrecognized objectClass '%s'",
206 aoc->a_vals[i].bv_val );
209 LDAP_LOG( OPERATION, INFO,
210 "entry_schema_check: dn (%s), %s\n", e->e_dn, textbuf, 0 );
212 Debug( LDAP_DEBUG_ANY,
213 "entry_check_schema(%s): %s\n",
214 e->e_dn, textbuf, 0 );
217 return LDAP_OBJECT_CLASS_VIOLATION;
220 if ( oc->soc_check ) {
221 int rc = (oc->soc_check)( be, e, oc,
222 text, textbuf, textlen );
223 if( rc != LDAP_SUCCESS ) {
228 if ( oc->soc_kind == LDAP_SCHEMA_ABSTRACT ) {
229 /* object class is abstract */
230 if ( oc != slap_schema.si_oc_top &&
231 !is_object_subclass( oc, sc ))
234 ObjectClass *xc = NULL;
235 for( j=0; aoc->a_vals[j].bv_val; j++ ) {
237 xc = oc_bvfind( &aoc->a_vals[i] );
239 snprintf( textbuf, textlen,
240 "unrecognized objectClass '%s'",
241 aoc->a_vals[i].bv_val );
244 LDAP_LOG( OPERATION, INFO,
245 "entry_schema_check: dn (%s), %s\n",
246 e->e_dn, textbuf, 0 );
248 Debug( LDAP_DEBUG_ANY,
249 "entry_check_schema(%s): %s\n",
250 e->e_dn, textbuf, 0 );
253 return LDAP_OBJECT_CLASS_VIOLATION;
256 /* since we previous check against the
257 * structural object of this entry, the
258 * abstract class must be a (direct or indirect)
259 * superclass of one of the auxiliary classes of
262 if ( xc->soc_kind == LDAP_SCHEMA_AUXILIARY &&
263 is_object_subclass( oc, xc ) )
273 snprintf( textbuf, textlen, "instanstantiation of "
274 "abstract objectClass '%s' not allowed",
275 aoc->a_vals[i].bv_val );
278 LDAP_LOG( OPERATION, INFO,
279 "entry_schema_check: dn (%s), %s\n",
280 e->e_dn, textbuf, 0 );
282 Debug( LDAP_DEBUG_ANY,
283 "entry_check_schema(%s): %s\n",
284 e->e_dn, textbuf, 0 );
287 return LDAP_OBJECT_CLASS_VIOLATION;
291 } else if ( oc->soc_kind != LDAP_SCHEMA_STRUCTURAL || oc == sc ) {
292 char *s = oc_check_required( e, oc, &aoc->a_vals[i] );
295 snprintf( textbuf, textlen,
296 "object class '%s' requires attribute '%s'",
297 aoc->a_vals[i].bv_val, s );
300 LDAP_LOG( OPERATION, INFO,
301 "entry_schema_check: dn=\"%s\" %s", e->e_dn, textbuf, 0 );
303 Debug( LDAP_DEBUG_ANY,
305 e->e_dn, textbuf, 0 );
308 return LDAP_OBJECT_CLASS_VIOLATION;
311 if( oc == slap_schema.si_oc_extensibleObject ) {
321 /* check that each attr in the entry is allowed by some oc */
322 for ( a = e->e_attrs; a != NULL; a = a->a_next ) {
323 int ret = oc_check_allowed( a->a_desc->ad_type, aoc->a_vals, sc );
324 if ( ret != LDAP_SUCCESS ) {
325 char *type = a->a_desc->ad_cname.bv_val;
327 snprintf( textbuf, textlen,
328 "attribute '%s' not allowed",
332 LDAP_LOG( OPERATION, INFO,
333 "entry_schema_check: dn=\"%s\" %s\n", e->e_dn, textbuf, 0);
335 Debug( LDAP_DEBUG_ANY,
337 e->e_dn, textbuf, 0 );
351 struct berval *ocname )
358 LDAP_LOG( OPERATION, ENTRY,
359 "oc_check_required: dn (%s), objectClass \"%s\"\n",
360 e->e_dn, ocname->bv_val, 0 );
362 Debug( LDAP_DEBUG_TRACE,
363 "oc_check_required entry (%s), objectClass \"%s\"\n",
364 e->e_dn, ocname->bv_val, 0 );
368 /* check for empty oc_required */
369 if(oc->soc_required == NULL) {
373 /* for each required attribute */
374 for ( i = 0; oc->soc_required[i] != NULL; i++ ) {
375 at = oc->soc_required[i];
376 /* see if it's in the entry */
377 for ( a = e->e_attrs; a != NULL; a = a->a_next ) {
378 if( a->a_desc->ad_type == at ) {
382 /* not there => schema violation */
384 return at->sat_cname.bv_val;
391 int oc_check_allowed(
399 LDAP_LOG( OPERATION, ENTRY,
400 "oc_check_allowed: type \"%s\"\n", at->sat_cname.bv_val, 0, 0 );
402 Debug( LDAP_DEBUG_TRACE,
403 "oc_check_allowed type \"%s\"\n",
404 at->sat_cname.bv_val, 0, 0 );
407 /* always allow objectClass attribute */
408 if ( strcasecmp( at->sat_cname.bv_val, "objectClass" ) == 0 ) {
413 * All operational attributions are allowed by schema rules.
415 if( is_at_operational(at) ) {
419 /* check to see if its allowed by the structuralObjectClass */
421 /* does it require the type? */
422 for ( j = 0; sc->soc_required != NULL &&
423 sc->soc_required[j] != NULL; j++ )
425 if( at == sc->soc_required[j] ) {
430 /* does it allow the type? */
431 for ( j = 0; sc->soc_allowed != NULL &&
432 sc->soc_allowed[j] != NULL; j++ )
434 if( at == sc->soc_allowed[j] ) {
440 /* check that the type appears as req or opt in at least one oc */
441 for ( i = 0; ocl[i].bv_val != NULL; i++ ) {
442 /* if we know about the oc */
443 ObjectClass *oc = oc_bvfind( &ocl[i] );
444 if ( oc != NULL && oc->soc_kind != LDAP_SCHEMA_ABSTRACT &&
445 ( sc == NULL || oc->soc_kind == LDAP_SCHEMA_AUXILIARY ))
447 /* does it require the type? */
448 for ( j = 0; oc->soc_required != NULL &&
449 oc->soc_required[j] != NULL; j++ )
451 if( at == oc->soc_required[j] ) {
455 /* does it allow the type? */
456 for ( j = 0; oc->soc_allowed != NULL &&
457 oc->soc_allowed[j] != NULL; j++ )
459 if( at == oc->soc_allowed[j] ) {
466 /* not allowed by any oc */
467 return LDAP_OBJECT_CLASS_VIOLATION;
471 * Determine the structural object class from a set of OIDs
473 int structural_class(
478 char *textbuf, size_t textlen )
482 ObjectClass *sc = NULL;
485 *text = "structural_class: internal error";
488 for( i=0; ocs[i].bv_val; i++ ) {
489 oc = oc_bvfind( &ocs[i] );
492 snprintf( textbuf, textlen,
493 "unrecognized objectClass '%s'",
496 return LDAP_OBJECT_CLASS_VIOLATION;
499 if( oc->soc_kind == LDAP_SCHEMA_STRUCTURAL ) {
500 if( sc == NULL || is_object_subclass( sc, oc ) ) {
504 } else if ( !is_object_subclass( oc, sc ) ) {
506 ObjectClass *xc = NULL;
508 /* find common superior */
509 for( j=i+1; ocs[j].bv_val; j++ ) {
510 xc = oc_bvfind( &ocs[j] );
513 snprintf( textbuf, textlen,
514 "unrecognized objectClass '%s'",
517 return LDAP_OBJECT_CLASS_VIOLATION;
520 if( xc->soc_kind != LDAP_SCHEMA_STRUCTURAL ) {
525 if( is_object_subclass( sc, xc ) &&
526 is_object_subclass( oc, xc ) )
528 /* found common subclass */
536 /* no common subclass */
537 snprintf( textbuf, textlen,
538 "invalid structural object class chain (%s/%s)",
539 ocs[scn].bv_val, ocs[i].bv_val );
541 return LDAP_OBJECT_CLASS_VIOLATION;
551 *text = "no structural object classes provided";
552 return LDAP_OBJECT_CLASS_VIOLATION;
560 * Return structural object class from list of modifications
562 int mods_structural_class(
566 char *textbuf, size_t textlen )
568 Modifications *ocmod = NULL;
570 for( ; mods != NULL; mods = mods->sml_next ) {
571 if( mods->sml_desc == slap_schema.si_ad_objectClass ) {
572 if( ocmod != NULL ) {
573 *text = "entry has multiple objectClass attributes";
574 return LDAP_OBJECT_CLASS_VIOLATION;
580 if( ocmod == NULL ) {
581 *text = "entry has no objectClass attribute";
582 return LDAP_OBJECT_CLASS_VIOLATION;
585 if( ocmod->sml_bvalues == NULL || ocmod->sml_bvalues[0].bv_val == NULL ) {
586 *text = "objectClass attribute has no values";
587 return LDAP_OBJECT_CLASS_VIOLATION;
590 return structural_class( ocmod->sml_bvalues, sc, NULL,
591 text, textbuf, textlen );