class XML_DTD_VALIDATOR
Summary
Overview
creation features
exported features
Common client features
Control of the exploration
the pools
writable attribute
writable attribute
point: XML_DTD_NODE
writable attribute
with_attribute (attribute_name: STRING, attribute_value: STRING, line: INTEGER_32, column: INTEGER_32)
effective procedure
Called by the parser to add an attribute of a node BEFORE calling open_node
is_valid_open_node (node_name: STRING, line: INTEGER_32, column: INTEGER_32): BOOLEAN
effective function
When the parser reads an opening node
is_valid_close_node (node_name: STRING, line: INTEGER_32, column: INTEGER_32): BOOLEAN
effective function
When the parser reads a closing node
is_valid_open_close_node (node_name: STRING, line: INTEGER_32, column: INTEGER_32): BOOLEAN
effective function
When the parser reads a node that opens and closes immediately (syntax "<node/>")
current_node: STRING
effective function
The current node
open_node (node_name: STRING, line: INTEGER_32, column: INTEGER_32)
effective procedure
When the parser reads an opening node
close_node (node_name: STRING, line: INTEGER_32, column: INTEGER_32)
effective procedure
When the parser reads a closing node
open_close_node (node_name: STRING, line: INTEGER_32, column: INTEGER_32)
effective procedure
When the parser reads a node that opens and closes immediately (syntax "<node/>")
entity (a_entity: STRING, line: INTEGER_32, column: INTEGER_32): STRING
effective function
When the parser reads an &entity;'.
is_valid_data (a_data: STRING, line: INTEGER_32, column: INTEGER_32): BOOLEAN
effective function
Called by the parser when the node contains raw data
data (a_data: STRING, line: INTEGER_32, column: INTEGER_32)
effective procedure
Called by the parser when the node contains raw data
the_end
effective procedure
Called when the xml is totally parsed; usually it is used to recycle memory resources
set_current_node (node: BACKTRACKING_NODE)
effective procedure
Set the next node of the BACKTRACKING_NODE graph to be evaluated.
push_and (node: BACKTRACKING_NODE)
effective procedure
Pushes 'node' in front of the continuation path.
push_and_list (list: BACKTRACKING_NODE_AND_LIST)
effective procedure
Pushes 'list' in front of the continuation path.
push_or (node: BACKTRACKING_NODE)
effective procedure
Pushes 'node' in front of the possible alternatives.
push_or_list (list: BACKTRACKING_NODE_OR_LIST)
effective procedure
Pushes 'list' in front of the possible alternatives.
search_first
effective procedure
Resets all and searchs the first solution.
search_next
effective procedure
Searchs the next solution.
search_is_success: BOOLEAN
writable attribute
True when search is successfull
is_off: BOOLEAN
effective function
True when search is finished
clear
effective procedure
Clears the current state to nothing.
is_cleared: BOOLEAN
effective function
True if no partial data remain in the current state
push_sequence (sequence: ABSTRACT_BACKTRACKING_SEQUENCE)
effective procedure
Pushs the 'sequence' in front of the continuation path.
push_alternative (alternative: ABSTRACT_BACKTRACKING_ALTERNATIVE)
effective procedure
Pushs the 'alternative' before the continuation path.
continue
effective procedure
Continues the exploration of the current path.
backtrack
effective procedure
Stops the exploration of the current path and tries to explore the next alternative path.
push_cut_point
effective procedure
Inserts a cut point into the continuation path.
cut
effective procedure
Removes the alternatives until the one recorded by the next cut point in the continuation path.
cut_all
effective procedure
Cuts all alternatives.
once function
Bank of cut points
once function
pool_of_sequence_list: BACKTRACKING_POOL_OF_SEQUENCE_LIST
once function
pool_of_alternative: BACKTRACKING_POOL_OF_ALTERNATIVE
once function
pool_of_alternative_list: BACKTRACKING_POOL_OF_ALTERNATIVE_LIST
once function