package xml-light

You can search for identifiers within the package.

in-package search v0.2.0

package xml-light

xml-light

Legend:
Library
Module
Module type
Parameter
Class
Class type

type error_pos = {

eline : int;
eline_start : int;
emin : int;
emax : int;

}

type xml_error_msg =

| UnterminatedComment
| UnterminatedString
| UnterminatedEntity
| IdentExpected
| CloseExpected
| NodeExpected
| AttributeNameExpected
| AttributeValueExpected
| EndOfTagExpected of string
| EOFExpected

type xml_error = xml_error_msg * error_pos

exception Xml_error of xml_error

exception File_not_found of string

type dtd_parse_error_msg =

| InvalidDTDDecl
| InvalidDTDElement
| InvalidDTDAttribute
| InvalidDTDTag
| DTDItemExpected

type dtd_check_error =

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

type dtd_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 dtd_parse_error = dtd_parse_error_msg * error_pos

exception Dtd_parse_error of dtd_parse_error

exception Dtd_check_error of dtd_check_error

exception Dtd_prove_error of dtd_prove_error