Commit 1ba2b247 authored by Pietro Abate's avatar Pietro Abate
Browse files

[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
parent b4e67d72
......@@ -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} *)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment