+
Point of view
All features
class HTML_NODE
require
- stopped implies stop_at_dot
ensure
- Result implies stop_at_dot
require
- stopped implies stop_at_dot
ensure
- Result implies stop_at_dot
make (a_name:
STRING, a_parent: HTML_NODE)
effective procedure
{}