+
Point of view
INTERNALS_HANDLER
class XML_DTD_VALIDATOR
require
-
node_not_void: node /= Void
require
-
list_not_void: list /= Void
require
-
node_not_void: node /= Void
require
-
list_not_void: list /= Void
ensure
-
no_solution_when_cleared: Result implies is_off
require
-
sequence_not_void: sequence /= Void
require
-
alternative_not_void: alternative /= Void