package xml-light

  1. Overview
  2. Docs

Module Xml_light_errors

type error_pos = {
  1. eline : int;
  2. eline_start : int;
  3. emin : int;
  4. emax : int;
}
type 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
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 =
  1. | InvalidDTDDecl
  2. | InvalidDTDElement
  3. | InvalidDTDAttribute
  4. | InvalidDTDTag
  5. | DTDItemExpected
type 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
type 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
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