+
Point of view
All features
deferred class TYPE_MARK_VISITOR
Summary
top
Overview
top
visit_agent_type_mark (visited: AGENT_TYPE_MARK)
deferred procedure
{AGENT_TYPE_MARK}
top
require
  • visited /= Void
visit_array_type_mark (visited: ARRAY_TYPE_MARK)
deferred procedure
{ARRAY_TYPE_MARK}
top
require
  • visited /= Void
visit_native_array_type_mark (visited: NATIVE_ARRAY_TYPE_MARK)
deferred procedure
{NATIVE_ARRAY_TYPE_MARK}
top
require
  • visited /= Void
visit_non_empty_tuple_type_mark (visited: NON_EMPTY_TUPLE_TYPE_MARK)
deferred procedure
{NON_EMPTY_TUPLE_TYPE_MARK}
top
require
  • visited /= Void
visit_user_generic_type_mark (visited: USER_GENERIC_TYPE_MARK)
deferred procedure
{USER_GENERIC_TYPE_MARK}
top
require
  • visited /= Void
visit_weak_reference_type_mark (visited: WEAK_REFERENCE_TYPE_MARK)
deferred procedure
{WEAK_REFERENCE_TYPE_MARK}
top
require
  • visited /= Void
visit_empty_tuple_type_mark (visited: EMPTY_TUPLE_TYPE_MARK)
deferred procedure
{EMPTY_TUPLE_TYPE_MARK}
top
require
  • visited /= Void
visit_like_argument_type_mark (visited: LIKE_ARGUMENT_TYPE_MARK)
deferred procedure
{LIKE_ARGUMENT_TYPE_MARK}
top
require
  • visited /= Void
visit_like_feature_type_mark (visited: LIKE_FEATURE_TYPE_MARK)
deferred procedure
{LIKE_FEATURE_TYPE_MARK}
top
require
  • visited /= Void
visit_like_current_type_mark (visited: LIKE_CURRENT_TYPE_MARK)
deferred procedure
{LIKE_CURRENT_TYPE_MARK}
top
require
  • visited /= Void
visit_client_type_mark (visited: CLIENT_TYPE_MARK)
deferred procedure
{CLIENT_TYPE_MARK}
top
require
  • visited /= Void
visit_formal_generic_type_mark (visited: FORMAL_GENERIC_TYPE_MARK)
deferred procedure
{FORMAL_GENERIC_TYPE_MARK}
top
require
  • visited /= Void
visit_any_type_mark (visited: ANY_TYPE_MARK)
deferred procedure
{ANY_TYPE_MARK}
top
require
  • visited /= Void
visit_class_type_mark (visited: CLASS_TYPE_MARK)
deferred procedure
{CLASS_TYPE_MARK}
top
require
  • visited /= Void
visit_boolean_type_mark (visited: BOOLEAN_TYPE_MARK)
deferred procedure
{BOOLEAN_TYPE_MARK}
top
require
  • visited /= Void
visit_character_type_mark (visited: CHARACTER_TYPE_MARK)
deferred procedure
{CHARACTER_TYPE_MARK}
top
require
  • visited /= Void
visit_integer_type_mark (visited: INTEGER_TYPE_MARK)
deferred procedure
{INTEGER_TYPE_MARK}
top
require
  • visited /= Void
visit_natural_type_mark (visited: NATURAL_TYPE_MARK)
deferred procedure
{NATURAL_TYPE_MARK}
top
require
  • visited /= Void
visit_pointer_type_mark (visited: POINTER_TYPE_MARK)
deferred procedure
{POINTER_TYPE_MARK}
top
require
  • visited /= Void
visit_real_type_mark (visited: REAL_TYPE_MARK)
deferred procedure
{REAL_TYPE_MARK}
top
require
  • visited /= Void
visit_string_type_mark (visited: STRING_TYPE_MARK)
deferred procedure
{STRING_TYPE_MARK}
top
require
  • visited /= Void