home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
NON_EMPTY_TUPLE_TYPE_MARK
NATIVE_ARRAY_TYPE_MARK
AGENT_TYPE_MARK
ARRAY_TYPE_MARK
USER_GENERIC_TYPE_MARK
INTERNALS_HANDLER
All features
deferred class GENERIC_TYPE_MARK_VISITOR
Summary
top
Direct parents
inherit list:
AGENT_TYPE_MARK_VISITOR
,
ARRAY_TYPE_MARK_VISITOR
,
NATIVE_ARRAY_TYPE_MARK_VISITOR
,
NON_EMPTY_TUPLE_TYPE_MARK_VISITOR
,
USER_GENERIC_TYPE_MARK_VISITOR
Known children
inherit list:
TYPE_MARK_VISITOR
Overview
top
visit_user_generic_type_mark
(visited:
USER_GENERIC_TYPE_MARK
)
deferred procedure
top
require
visited /= Void
as_visitor
:
VISITOR
effective function
top
This feature is obsolete:
Don't use this feature anymore. That's a 2.0 left-over that does not have any sense now that the type system is improved. Just use Current instead.
visit_array_type_mark
(visited:
ARRAY_TYPE_MARK
)
deferred procedure
top
require
visited /= Void
visit_agent_type_mark
(visited:
AGENT_TYPE_MARK
)
deferred procedure
top
require
visited /= Void
visit_native_array_type_mark
(visited:
NATIVE_ARRAY_TYPE_MARK
)
deferred procedure
top
require
visited /= Void
visit_non_empty_tuple_type_mark
(visited:
NON_EMPTY_TUPLE_TYPE_MARK
)
deferred procedure
top
require
visited /= Void