class XML_DTD_VALIDATOR
Summary
Class invariant
Overview
creation features
exported features
<!ELEMENT . . .>
<!ATTLIST . . .>
<!ENTITY . . .>
Common client features
Control of the exploration
the pools
parse_done
effective procedure
Called when done parsing the DTD
writable attribute
current_element: XML_DTD_ELEMENT
writable attribute
element_built (element_name: STRING): BOOLEAN
effective function
adding_element (element_name: STRING): BOOLEAN
effective function
building_element: BOOLEAN
effective function
add_element (element_name: STRING)
effective procedure
commit_element (element_name: STRING)
effective procedure
list_depth: INTEGER_32
effective function
open_list
effective procedure
close_list
effective procedure
one_or_more
effective procedure
zero_or_more
effective procedure
zero_or_one
effective procedure
exactly_one
effective procedure
pcdata (alternative: BOOLEAN)
effective procedure
any
effective procedure
empty
effective procedure
child (child_element_name: STRING)
effective procedure
alternative_child (child_element_name: STRING)
effective procedure
attlist_element: XML_DTD_ELEMENT
writable attribute
building_attlist: BOOLEAN
effective function
has_attlist (element_name: STRING, attribute_name: STRING): BOOLEAN
effective function
adding_attlist (element_name: STRING, attribute_name: STRING): BOOLEAN
effective function
add_attlist (element_name: STRING, attribute_name: STRING)
effective procedure
commit_attlist (element_name: STRING, attribute_name: STRING)
effective procedure
addlist_list_value (value: STRING)
effective procedure
attlist_cdata
effective procedure
attlist_id
effective procedure
attlist_idref
effective procedure
attlist_idrefs
effective procedure
attlist_nmtoken
effective procedure
attlist_nmtokens
effective procedure
attlist_entity
effective procedure
attlist_entities
effective procedure
attlist_notation
effective procedure
attlist_required
effective procedure
attlist_implied
effective procedure
attlist_fixed (value: STRING)
effective procedure
attlist_default_value (value: STRING)
effective procedure
writable attribute
has_entity (entity_name: STRING): BOOLEAN
effective function
add_entity (pe_name: STRING, entity_name: STRING, entity_value: STRING)
effective procedure
root_name: STRING
writable attribute
make (root_node_name: STRING)
effective procedure
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