[r2003-11-26 16:22:49 by szach] added additional parameter schema to validators

Original author: szach
Date: 2003-11-26 16:22:49+00:00

schema/schema_validator.mli

@@ -12,20 +12,29 @@ open Schema_types
    * - when type_definition is a complex type_definition, validate_type check
    * that a given XML value has the given type ignoring tag name (CDuce domain:
    * XML values)
-  *)
-val validate_type : type_definition -> Value.t -> Value.t
+   *)
+val validate_type : type_definition -> schema -> Value.t -> Value.t
 
-  (** CDuce domain: records *)
-val validate_attribute : attribute_declaration -> Value.t -> Value.t
+  (** CDuce domain: records
+   *
+   * Looks in the given record value to see if there's a field corresponding to
+   * the given attribute_declaration. If it's the case validate it's value
+   * accordingly to type definition; otherwise, if there's a default value for
+   * the attribute, add the corresponding field. Fails if there is neither the
+   * field nor the default value.
+   *)
+val validate_attribute : attribute_declaration -> schema -> Value.t -> Value.t
 
   (** CDuce domain: XML values *)
-val validate_element : element_declaration -> Value.t -> Value.t
+val validate_element : element_declaration -> schema -> Value.t -> Value.t
 
   (** CDuce domain: records *)
-val validate_attribute_group : attribute_group_definition -> Value.t -> Value.t
+val validate_attribute_group :
+  attribute_group_definition -> schema -> Value.t -> Value.t
 
   (** CDuce domain: sequences of XML values *)
-val validate_model_group : model_group_definition -> Value.t -> Value.t
+val validate_model_group :
+  model_group_definition -> schema -> Value.t -> Value.t
 
 
 (** {2 derived validators} *)