Module Xml_light_errorsSource

Sourcetype error_pos = {
  1. eline : int;
  2. eline_start : int;
  3. emin : int;
  4. emax : int;
}
Sourcetype xml_error_msg =
  1. | UnterminatedComment
  2. | UnterminatedString
  3. | UnterminatedEntity
  4. | IdentExpected
  5. | CloseExpected
  6. | NodeExpected
  7. | AttributeNameExpected
  8. | AttributeValueExpected
  9. | EndOfTagExpected of string
  10. | EOFExpected
Sourcetype xml_error = xml_error_msg * error_pos
Sourceexception Xml_error of xml_error
Sourceexception File_not_found of string
Sourcetype dtd_parse_error_msg =
  1. | InvalidDTDDecl
  2. | InvalidDTDElement
  3. | InvalidDTDAttribute
  4. | InvalidDTDTag
  5. | DTDItemExpected
Sourcetype dtd_check_error =
  1. | ElementDefinedTwice of string
  2. | AttributeDefinedTwice of string * string
  3. | ElementEmptyContructor of string
  4. | ElementReferenced of string * string
  5. | ElementNotDeclared of string
  6. | WrongImplicitValueForID of string * string
Sourcetype dtd_prove_error =
  1. | UnexpectedPCData
  2. | UnexpectedTag of string
  3. | UnexpectedAttribute of string
  4. | InvalidAttributeValue of string
  5. | RequiredAttribute of string
  6. | ChildExpected of string
  7. | EmptyExpected
  8. | DuplicateID of string
  9. | MissingID of string
Sourcetype dtd_parse_error = dtd_parse_error_msg * error_pos
Sourceexception Dtd_parse_error of dtd_parse_error
Sourceexception Dtd_check_error of dtd_check_error
Sourceexception Dtd_prove_error of dtd_prove_error