Search documentation of xmerl

# View Source xmerl_xsd (xmerl v2.0)

Interface module for XML Schema validation.

It handles the W3.org specifications of XML Schema second edition 28 october 2004. For an introduction to XML Schema please study part 0.

An XML structure is validated by `xmerl_xsd:validate/[2,3]`.

# Summary

## Types

filename()
global_state()

The global state of the validator.

option_list()

Options that allow to customize the behaviour of the validation.

## Functions

file2state(FileName)

Read the schema processing state from a file.

format_error(Reasons)

Format error descriptions to human readable strings.

process_schema(Schema)

Equivalent to `process_schema(Schema, [])`.

process_schema(Schema, Options)

Read an XML schema and check that it is valid.

process_schemas(Schemas)

Equivalent to `process_schemas(Schemas, [])`.

process_schemas(Schemas, Options)

Read XML schemas and check that they are valid.

process_validate(Schema, Element)

Equivalent to `process_validate(Schema, Element, [])`.

process_validate(Schema, Element, Options)

Validate a parsed well-formed XML element towards an XML schema.

state2file(State)

Equivalent to `state2file(State, SchemaName)`.

state2file(S, FileName)

Save the schema processing state to a file.

validate(Element, State)

Equivalent to `validate(Element, State, [])`.

validate(Xml, State, Opts)

Validate a parsed well-formed XML element (`Element`).

# Types

Link to this type

# filename()

View Source (not exported)

    -type filename() :: string().

Link to this type

# global_state()

View Source (not exported)

    -type global_state() :: xsd_state().

The global state of the validator.

It is represented by the `#xsd_state{}` record.

Link to this type

# option_list()

View Source (not exported)

    -type option_list() :: [{xsdbase, filename()} | {atom(), term()}].

Options that allow to customize the behaviour of the validation.

Possible options are :

`{tab2file,boolean()}`
  Enables saving of abstract structure on file for debugging purpose.
`{xsdbase,filename()}`
  XSD Base directory.
`{fetch_fun,FetchFun}`
  Call back function to fetch an external resource.
`{fetch_path,PathList}`
  PathList is a list of directories to search when fetching files. If the file in question is not in the fetch_path, the URI will be used as a file name.
`{state,State}`
  It is possible by this option to provide a state with process information from an earlier validation.

# Functions

Link to this function

# file2state(FileName)

View Source

    -spec file2state(FileName :: string()) -> {ok, State} | {error, Reason}
                        when State :: global_state(), Reason :: term().

Read the schema processing state from a file.

Reads the schema state with all information of the processed schema from a file created with `state2file/[1,2]`. The format of this file is internal. The state can then be used validating an XML document.

Link to this function

# format_error(Reasons)

View Source

    -spec format_error(Reasons) -> io_lib:chars() when Reasons :: [Reason :: term()] | (Reason :: term()).

Format error descriptions to human readable strings.

Link to this function

# process_schema(Schema)

View Source

    -spec process_schema(Schema :: string()) -> _.

Equivalent to `process_schema(Schema, [])`.

Link to this function

# process_schema(Schema, Options)

View Source

    -spec process_schema(Schema :: string(), Options :: option_list()) -> {ok, State} | {error, Reasons}
                            when State :: global_state(), Reasons :: [Reason :: term()] | (Reason :: term()).

Read an XML schema and check that it is valid.

Reads the referenced XML schema and checks that it is valid. Returns the `global_state/0` with schema info or an error reason. The error reason may be a list of several errors or a single error encountered during the processing.

Link to this function

# process_schemas(Schemas)

View Source

    -spec process_schemas(Schemas :: list()) -> _.

Equivalent to `process_schemas(Schemas, [])`.

Link to this function

# process_schemas(Schemas, Options)

View Source

    -spec process_schemas(Schemas, Options) -> {ok, State} | {error, Reasons}
                             when
                                 Schemas :: [{NameSpace, Schema}, ...],
                                 Options :: option_list(),
                                 NameSpace :: term(),
                                 Schema :: string(),
                                 State :: global_state(),
                                 Reasons :: [Reason :: term()] | (Reason :: term()).

Read XML schemas and check that they are valid.

Reads the referenced XML schemas and controls they are valid. Returns the `global_state/0` with schema info or an error reason. The error reason may be a list of several errors or a single error encountered during the processing.

Link to this function

# process_validate(Schema, Element)

View Source

    -spec process_validate(Schema :: string(), Element :: xmerl:element()) -> _.

Equivalent to `process_validate(Schema, Element, [])`.

Link to this function

# process_validate(Schema, Element, Options)

View Source

    -spec process_validate(Schema, Element, Options) -> Result
                              when
                                  Schema :: string(),
                                  Element :: xmerl:element(),
                                  Options :: option_list(),
                                  Result :: {ValidElement, global_state()} | {error, Reasons},
                                  ValidElement :: xmerl:element(),
                                  Reasons :: [Reason :: term()] | (Reason :: term()).

Validate a parsed well-formed XML element towards an XML schema.

Validates in two steps. First it processes the schema, saves the type and structure info in an ETS table and then validates the element towards the schema.

Usage example:

`1>{E,_} = xmerl_scan:file("my_XML_document.xml").` `2>{E2,_} = xmerl_xsd:process_validate("my_XML_Schema.xsd",E).`

Observe that E2 may differ from E if for instance there are default values defined in `my_XML_Schema.xsd`.

Link to this function

# state2file(State)

View Source

    -spec state2file(State :: global_state()) -> ok | {error, Reason} when Reason :: term().

Equivalent to `state2file(State, SchemaName)`.

`SchemaName` is the name of the schema in `State`.

Link to this function

# state2file(S, FileName)

View Source

    -spec state2file(global_state(), FileName :: string()) -> ok | {error, Reason} when Reason :: term().

Save the schema processing state to a file.

Saves the schema state with all information of the processed schema in a file. You can provide the file name for the saved state. FileName is saved with the `.xss` extension added.

Link to this function

# validate(Element, State)

View Source

    -spec validate(Element :: xmerl:element(), State :: global_state()) -> _.

Equivalent to `validate(Element, State, [])`.

Link to this function

# validate(Xml, State, Opts)

View Source

    -spec validate(Element, global_state(), Options) -> Result
                      when
                          Element :: xmerl:xmlElement(),
                          Options :: option_list(),
                          Result :: {ValidElement, global_state()} | {error, Reasons},
                          ValidElement :: xmerl:xmlElement(),
                          Reasons :: [ErrorReason] | ErrorReason,
                          ErrorReason :: term().

Validate a parsed well-formed XML element (`Element`).

A call to `validate/2` or `validate/3` must provide a well formed parsed XML `Element :: #xmlElement{}` and a State, `global_state/0`, which holds necessary information from an already processed schema. Thus validate enables reuse of the schema information and therefore if one shall validate several times towards the same schema it reduces time consumption.

The result, `ValidElement`, is the valid element that conforms to the post-schema-validation infoset. When the validator finds an error it tries to continue and reports a list of all errors found. In those cases an unexpected error is found it may cause a single error reason.

Usage example:

    1>{E,_} = xmerl_scan:file("my_XML_document.xml").
    2>{ok,S} = xmerl_xsd:process_schema("my_XML_Schema.xsd").
    3>{E2,_} = xmerl_xsd:validate(E,S).

Observe that E2 may differ from E if for instance there are default values defined in `my_XML_Schema.xsd`.