deferred class STATIC_TYPE_MARK_VISITOR
Summary
Overview
visit_any_type_mark (visited: ANY_TYPE_MARK)
deferred procedure
require
  • visited /= Void
visit_class_type_mark (visited: CLASS_TYPE_MARK)
deferred procedure
require
  • visited /= Void
visit_boolean_type_mark (visited: BOOLEAN_TYPE_MARK)
deferred procedure
require
  • visited /= Void
visit_character_type_mark (visited: CHARACTER_TYPE_MARK)
deferred procedure
require
  • visited /= Void
visit_integer_type_mark (visited: INTEGER_TYPE_MARK)
deferred procedure
require
  • visited /= Void
visit_natural_type_mark (visited: NATURAL_TYPE_MARK)
deferred procedure
require
  • visited /= Void
visit_pointer_type_mark (visited: POINTER_TYPE_MARK)
deferred procedure
require
  • visited /= Void
visit_real_type_mark (visited: REAL_TYPE_MARK)
deferred procedure
require
  • visited /= Void
visit_string_type_mark (visited: STRING_TYPE_MARK)
deferred procedure
require
  • visited /= Void