GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
smarteiffel
>
MOCK_FEATURES_COLLECTOR
+
Point of view
All features
ANY
CLASS_TEXT
FEATURE_CLAUSE_LIST
FEATURE_CLAUSE
FEATURE_TEXT
FEATURE_NAME_LIST
FEATURE_NAME
MOCK
All features
class MOCK_FEATURES_COLLECTOR
Summary
top
Deferred features collector
Direct parents
Inherit list:
CLASS_TEXT_VISITOR
,
FEATURE_CLAUSE_LIST_VISITOR
,
FEATURE_CLAUSE_VISITOR
,
FEATURE_NAME_LIST_VISITOR
,
FEATURE_NAME_VISITOR
,
FEATURE_TEXT_VISITOR
Class invariant
top
anonymous_feature
/= Void implies
anonymous_feature
.is_deferred
features
.for_all(
_inline_agent21
())
Overview
top
Creation features
{
MOCK
}
make
Features
{
MOCK
}
collect
(a_parent:
TYPE
, a_type:
TYPE
)
collecting
:
BOOLEAN
features
:
LINKED_HASHED_DICTIONARY
[
ANONYMOUS_FEATURE
,
FEATURE_NAME
]
{
CLASS_TEXT
}
visit_class_text
(visited:
CLASS_TEXT
)
{
FEATURE_CLAUSE_LIST
}
visit_feature_clause_list
(visited:
FEATURE_CLAUSE_LIST
)
{
FEATURE_CLAUSE
}
visit_feature_clause
(visited:
FEATURE_CLAUSE
)
{
FEATURE_TEXT
}
visit_feature_text
(visited:
FEATURE_TEXT
)
{
FEATURE_NAME_LIST
}
visit_feature_name_list
(visited:
FEATURE_NAME_LIST
)
{
FEATURE_NAME
}
visit_feature_name
(visited:
FEATURE_NAME
)
{}
make
anonymous_feature
:
ANONYMOUS_FEATURE
parent
:
TYPE
type
:
TYPE
{}
_inline_agent21
(af:
ANONYMOUS_FEATURE
):
BOOLEAN
collect
(a_parent:
TYPE
, a_type:
TYPE
)
effective procedure
{
MOCK
}
top
require
a_parent /= Void
a_type /= Void
not
collecting
collecting
:
BOOLEAN
effective function
{
MOCK
}
top
features
:
LINKED_HASHED_DICTIONARY
[
ANONYMOUS_FEATURE
,
FEATURE_NAME
]
writable attribute
{
MOCK
}
top
visit_class_text
(visited:
CLASS_TEXT
)
effective procedure
{
CLASS_TEXT
}
top
require
visited /= Void
visit_feature_clause_list
(visited:
FEATURE_CLAUSE_LIST
)
effective procedure
{
FEATURE_CLAUSE_LIST
}
top
require
visited /= Void
visit_feature_clause
(visited:
FEATURE_CLAUSE
)
effective procedure
{
FEATURE_CLAUSE
}
top
require
visited /= Void
visit_feature_text
(visited:
FEATURE_TEXT
)
effective procedure
{
FEATURE_TEXT
}
top
require
visited /= Void
visit_feature_name_list
(visited:
FEATURE_NAME_LIST
)
effective procedure
{
FEATURE_NAME_LIST
}
top
require
visited /= Void
visit_feature_name
(visited:
FEATURE_NAME
)
effective procedure
{
FEATURE_NAME
}
top
require
visited /= Void
make
effective procedure
{}
top
anonymous_feature
:
ANONYMOUS_FEATURE
writable attribute
{}
top
parent
:
TYPE
writable attribute
{}
top
type
:
TYPE
writable attribute
{}
top
_inline_agent21
(af:
ANONYMOUS_FEATURE
):
BOOLEAN
frozen
effective function
{}
top