GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
smarteiffel
>
ANCHORED_TYPE_MARK_VISITOR
+
Point of view
All features
ANY
LIKE_ARGUMENT_TYPE_MARK
LIKE_FEATURE_TYPE_MARK
LIKE_CURRENT_TYPE_MARK
All features
deferred class ANCHORED_TYPE_MARK_VISITOR
Summary
top
Direct parents
Inherit list:
LIKE_ARGUMENT_TYPE_MARK_VISITOR
,
LIKE_CURRENT_TYPE_MARK_VISITOR
,
LIKE_FEATURE_TYPE_MARK_VISITOR
Known children
Inherit list:
NON_STATIC_TYPE_MARK_VISITOR
Overview
top
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