+
Point of view
All features
deferred class XML_PARSER_TOOLS
Summary
Direct parents
Insert list: UNICODE_CHARACTERS
Known children
Insert list: XML_DTD_PARSER, XML_PARSER
Class invariant
Overview
line: INTEGER_32
effective function
{ANY}
column: INTEGER_32
effective function
{ANY}
deferred function
{}
skip_blanks
effective procedure
{}
require
end_of_input: BOOLEAN
effective function
{}
require
next
effective procedure
{}
require
previous
effective procedure
{}
require
current_character: INTEGER_32
effective function
{}
require
skip (character: CHARACTER): BOOLEAN
effective function
{}
require
skip2 (char1: CHARACTER, char2: CHARACTER): BOOLEAN
effective function
{}
require
skip_word (word: STRING): BOOLEAN
effective function
{}
require
  • buffer.is_connected
  • not word.is_empty
is_identifier_start (unicode: INTEGER_32): BOOLEAN
effective function
{}
require
is_identifier_part (unicode: INTEGER_32): BOOLEAN
effective function
{}
require
read_identifier: UNICODE_STRING
effective function
{}
require
read_string: UNICODE_STRING
effective function
{}
require
read_identifier_as_string: STRING
effective function
{}
require
read_string_as_string: STRING
effective function
{}
require
is_separator (unicode: INTEGER_32): BOOLEAN
effective function
{ANY}
is_base_char (unicode: INTEGER_32): BOOLEAN
effective function
{ANY}
is_ideographic (unicode: INTEGER_32): BOOLEAN
effective function
{ANY}
is_combining_char (unicode: INTEGER_32): BOOLEAN
effective function
{ANY}
is_extender (unicode: INTEGER_32): BOOLEAN
effective function
{ANY}
is_letter (unicode: INTEGER_32): BOOLEAN
effective function
{ANY}
is_digit (unicode: INTEGER_32): BOOLEAN
effective function
{ANY}