home
wiki
classes/clusters list
class information
+
Point of view
XML_DTD_VALIDATOR
ANY
XML_DTD_NODE
XML_DTD_VALIDATOR
RECYCLING_POOL
INTERNALS_HANDLER
All features
class XML_DTD_ELEMENT
Summary
top
Direct parents
inherit list:
BACKTRACKING_NODE
insert list:
RECYCLABLE
Class invariant
top
not
name
.is_empty
attributes
/= Void
Overview
top
creation features
make
(a_name:
STRING
)
exported features
name
:
STRING
out_in_tagged_out_memory
Append terse printable represention of current object in
tagged_out_memory
.
build
Prepare to build the element's structure
is_built
:
BOOLEAN
Data validation
is_valid_attributes
(xml_attributes:
DICTIONARY
[
STRING
,
STRING
]):
BOOLEAN
Tree structure validation
explore
(explorer:
XML_DTD_VALIDATOR
)
That feature must update the state of 'explorer'.
Building element's structure
list_depth
:
INTEGER_32
open_list
close_list
child
(element: XML_DTD_ELEMENT)
alternative_child
(element: XML_DTD_ELEMENT)
one_or_more
zero_or_more
zero_or_one
exactly_one
pcdata
(alternative:
BOOLEAN
)
any
empty
commit
Adding attributes
attributes
:
HASHED_DICTIONARY
[
XML_DTD_ATTRIBUTE
,
STRING
]
current_attribute
:
XML_DTD_ATTRIBUTE
building_attlist
:
BOOLEAN
adding_attlist
(attribute_name:
STRING
):
BOOLEAN
has_attlist
(attribute_name:
STRING
):
BOOLEAN
add_attlist
(attribute_name:
STRING
)
commit_attlist
(attribute_name:
STRING
)
attlist_list_value
(value:
STRING
)
attlist_cdata
attlist_id
attlist_idref
attlist_idrefs
attlist_nmtoken
attlist_nmtokens
attlist_entity
attlist_entities
attlist_notation
attlist_required
attlist_implied
attlist_fixed
(value:
STRING
)
attlist_default_value
(value:
STRING
)
Constructor
make
(a_name:
STRING
)
name
:
STRING
writable attribute
top
out_in_tagged_out_memory
effective procedure
top
Append terse printable represention of current object in
tagged_out_memory
.
ensure
not_cleared:
tagged_out_memory.count >= old tagged_out_memory.count
append_only:
old tagged_out_memory.twin.is_equal(tagged_out_memory.substring(1, old tagged_out_memory.count))
build
effective procedure
top
Prepare to build the element's structure
is_built
:
BOOLEAN
writable attribute
top
is_valid_attributes
(xml_attributes:
DICTIONARY
[
STRING
,
STRING
]):
BOOLEAN
effective function
top
explore
(explorer:
XML_DTD_VALIDATOR
)
effective procedure
top
That feature must update the state of 'explorer'.
list_depth
:
INTEGER_32
effective function
top
open_list
effective procedure
top
ensure
list_depth
= old
list_depth
+ 1
close_list
effective procedure
top
require
list_depth
> 0
ensure
list_depth
= old
list_depth
- 1
child
(element: XML_DTD_ELEMENT)
effective procedure
top
alternative_child
(element: XML_DTD_ELEMENT)
effective procedure
top
one_or_more
effective procedure
top
zero_or_more
effective procedure
top
zero_or_one
effective procedure
top
exactly_one
effective procedure
top
pcdata
(alternative:
BOOLEAN
)
effective procedure
top
any
effective procedure
top
empty
effective procedure
top
commit
effective procedure
top
require
not
is_built
ensure
is_built
attributes
:
HASHED_DICTIONARY
[
XML_DTD_ATTRIBUTE
,
STRING
]
writable attribute
top
current_attribute
:
XML_DTD_ATTRIBUTE
writable attribute
top
building_attlist
:
BOOLEAN
effective function
top
adding_attlist
(attribute_name:
STRING
):
BOOLEAN
effective function
top
ensure
Result implies
building_attlist
has_attlist
(attribute_name:
STRING
):
BOOLEAN
effective function
top
add_attlist
(attribute_name:
STRING
)
effective procedure
top
require
not
has_attlist
(attribute_name)
not
building_attlist
ensure
building_attlist
commit_attlist
(attribute_name:
STRING
)
effective procedure
top
require
adding_attlist
(attribute_name)
ensure
not
building_attlist
attlist_list_value
(value:
STRING
)
effective procedure
top
require
building_attlist
attlist_cdata
effective procedure
top
require
building_attlist
attlist_id
effective procedure
top
require
building_attlist
attlist_idref
effective procedure
top
require
building_attlist
attlist_idrefs
effective procedure
top
require
building_attlist
attlist_nmtoken
effective procedure
top
require
building_attlist
attlist_nmtokens
effective procedure
top
require
building_attlist
attlist_entity
effective procedure
top
require
building_attlist
attlist_entities
effective procedure
top
require
building_attlist
attlist_notation
effective procedure
top
require
building_attlist
attlist_required
effective procedure
top
require
building_attlist
attlist_implied
effective procedure
top
require
building_attlist
attlist_fixed
(value:
STRING
)
effective procedure
top
require
building_attlist
attlist_default_value
(value:
STRING
)
effective procedure
top
require
building_attlist
make
(a_name:
STRING
)
effective procedure
top
require
not a_name.is_empty
ensure
not
is_built
name
= a_name
attributes
.is_empty
current_attribute
= Void