+
Point of view
All features
class XML_PARSER
is 0
constant attribute
{}
is 1
constant attribute
{}
is -1
constant attribute
{}
require
- buffer.is_connected
- not end_of_input
require
- a_face_url /= Void implies a_entity_name /= Void
ensure
require
- buffer.is_connected
- not word.is_empty
read_identifier_as_string:
STRING
effective function
{}