package xml-light

You can search for identifiers within the package.

in-package search v0.2.0

package xml-light

xml-light
- Dtd
- Xml
- XmlParser

Legend:
Library
Module
Module type
Parameter
Class
Class type

type dtd_child =

| DTDTag of string
| DTDPCData
| DTDOptional of dtd_child
| DTDZeroOrMore of dtd_child
| DTDOneOrMore of dtd_child
| DTDChoice of dtd_child list
| DTDChildren of dtd_child list

type dtd_element_type =

| DTDEmpty
| DTDAny
| DTDChild of dtd_child

type dtd_attr_default =

| DTDDefault of string
| DTDRequired
| DTDImplied
| DTDFixed of string

type dtd_attr_type =

| DTDCData
| DTDNMToken
| DTDEnum of string list
| DTDID
| DTDIDRef

type dtd_item =

| DTDAttribute of string * string * dtd_attr_type * dtd_attr_default
| DTDElement of string * dtd_element_type

type dtd = dtd_item list

type checked

val parse_file : string -> dtd

val parse_in : in_channel -> dtd

val parse_string : string -> dtd

val check : dtd -> checked

val prove : checked -> string -> Xml.xml -> Xml.xml

val to_string : dtd_item -> string

type parse_error_msg =

| InvalidDTDDecl
| InvalidDTDElement
| InvalidDTDAttribute
| InvalidDTDTag
| DTDItemExpected

type check_error =

| ElementDefinedTwice of string
| AttributeDefinedTwice of string * string
| ElementEmptyContructor of string
| ElementReferenced of string * string
| ElementNotDeclared of string
| WrongImplicitValueForID of string * string

type prove_error =

| UnexpectedPCData
| UnexpectedTag of string
| UnexpectedAttribute of string
| InvalidAttributeValue of string
| RequiredAttribute of string
| ChildExpected of string
| EmptyExpected
| DuplicateID of string
| MissingID of string

type parse_error = parse_error_msg * Xml.error_pos

exception Parse_error of parse_error

exception Check_error of check_error

exception Prove_error of prove_error

val parse_error : parse_error -> string

val check_error : check_error -> string

val prove_error : prove_error -> string

val _raises : (string -> exn) -> unit