trunk/schema/schema_common.mli

(** Schema common functionalities depending only on Schema_types *)

open Encodings
open Schema_types

exception XSD_validation_error of string
exception XSI_validation_error of string

val name_of_type_definition : type_definition -> Ns.QName.t
val content_type_of_type : type_definition -> content_type

val first_of_model_group: model_group -> Atoms.t
val first_of_wildcard_constraint: wildcard_constraint -> Atoms.t
val nullable_of_model_group: model_group -> bool

(** empty set of facets (with the only exception of "whiteSpace", which is set
    to <`Collapse, true>, the mandatory value for all non string derived simple
    types) *)
val no_facets: facets

(** perform white space normalization according to XML recommendation *)
val normalize_white_space: white_space_handling -> Utf8.t -> Utf8.t

(** {2 event interface on top of CDuce values} *)

val stream_of_value: Value.t -> event Stream.t
val string_of_event: event -> string


val simple_restrict: 
  Ns.QName.t option -> simple_type_definition -> facets -> simple_type_definition
val simple_list: 
  Ns.QName.t option -> simple_type_definition -> simple_type_definition
val simple_union: 
  Ns.QName.t option -> simple_type_definition list -> simple_type_definition


val xsi_nil_type: Types.t
val xsi_nil_atom: Atoms.V.t
val xsi_nil_label: Ident.label


val merge_attribute_uses: attribute_uses list -> attribute_uses
1	(** Schema common functionalities depending only on Schema_types *)
2
3	open Encodings
4	open Schema_types
5
6	exception XSD_validation_error of string
7	exception XSI_validation_error of string
8
9	val name_of_type_definition : type_definition -> Ns.QName.t
10	val content_type_of_type : type_definition -> content_type
11
12	val first_of_model_group: model_group -> Atoms.t
13	val first_of_wildcard_constraint: wildcard_constraint -> Atoms.t
14	val nullable_of_model_group: model_group -> bool
15
16	(** empty set of facets (with the only exception of "whiteSpace", which is set
17	to <`Collapse, true>, the mandatory value for all non string derived simple
18	types) *)
19	val no_facets: facets
20
21	(** perform white space normalization according to XML recommendation *)
22	val normalize_white_space: white_space_handling -> Utf8.t -> Utf8.t
23
24	(** {2 event interface on top of CDuce values} *)
25
26	val stream_of_value: Value.t -> event Stream.t
27	val string_of_event: event -> string
28
29
30	val simple_restrict:
31	Ns.QName.t option -> simple_type_definition -> facets -> simple_type_definition
32	val simple_list:
33	Ns.QName.t option -> simple_type_definition -> simple_type_definition
34	val simple_union:
35	Ns.QName.t option -> simple_type_definition list -> simple_type_definition
36
37
38	val xsi_nil_type: Types.t
39	val xsi_nil_atom: Atoms.V.t
40	val xsi_nil_label: Ident.label
41
42
43	val merge_attribute_uses: attribute_uses list -> attribute_uses