+
Point of view
All features
class XML_DTD_PARSER
- current_is_not_an_expanded_type
- is_real_singleton
ensure
- Result /= Void
- Result.root_name = root_node_name
ensure
-
assertion_check_only: Result
current_is_not_an_expanded_type:
BOOLEAN
effective function