home
wiki
classes/clusters list
class information
+
Point of view
FEATURE_CLAUSE
ANY
EIFFEL_PARSER
FEATURE_CLAUSE
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class FEATURE_TEXT
Summary
top
Syntactical representation of one feature declaration. Keep in mind that we also have to handle the synonym mechanism and that a
FEATURE_TEXT
object may represent more than one single feature.
Direct parents
inherit list:
VISITABLE
insert list:
GLOBALS
Class invariant
top
names
/= Void
anonymous_feature
/= Void
Overview
top
creation features
exported features
feature_clause
:
FEATURE_CLAUSE
Back-link to the corresponding one.
names
:
FEATURE_NAME_LIST
All the names of the feature.
arguments
:
FORMAL_ARG_LIST
Arguments if any.
result_type
:
TYPE_MARK
Result type if any.
anonymous_feature
:
ANONYMOUS_FEATURE
The corresponding one.
constant_value
:
EXPRESSION
The one if any.
header_comment
:
COMMENT
Header comment for a routine or following comment for an attribute.
obsolete_mark
:
MANIFEST_STRING
The
obsolete
mark if any.
sedb_trace_before_exit
:
POSITION
Use for example to force a sedb to trace the end of empty routines.
clients
:
CLIENT_LIST
require_assertion
:
E_REQUIRE
Not Void if any.
rescue_compound
:
INSTRUCTION
Not Void if any.
ensure_assertion
:
E_ENSURE
Not Void if any.
class_text
:
CLASS_TEXT
pretty
add_into
(fc:
FEATURE_CLAUSE
, fd:
DICTIONARY
[
ANONYMOUS_FEATURE
,
FEATURE_NAME
])
accept
(visitor:
FEATURE_TEXT_VISITOR
)
Accept to be visited by the
visitor
.
feature_clause
:
FEATURE_CLAUSE
writable attribute
top
Back-link to the corresponding one.
names
:
FEATURE_NAME_LIST
writable attribute
top
All the names of the feature.
arguments
:
FORMAL_ARG_LIST
writable attribute
top
Arguments if any.
result_type
:
TYPE_MARK
writable attribute
top
Result type if any.
anonymous_feature
:
ANONYMOUS_FEATURE
writable attribute
top
The corresponding one.
constant_value
:
EXPRESSION
writable attribute
top
The one if any.
header_comment
:
COMMENT
writable attribute
top
Header comment for a routine or following comment for an attribute.
obsolete_mark
:
MANIFEST_STRING
writable attribute
top
The
obsolete
mark if any.
sedb_trace_before_exit
:
POSITION
writable attribute
top
Use for example to force a sedb to trace the end of empty routines.
clients
:
CLIENT_LIST
effective function
top
ensure
Result /= Void
require_assertion
:
E_REQUIRE
effective function
top
Not Void if any.
rescue_compound
:
INSTRUCTION
effective function
top
Not Void if any.
ensure_assertion
:
E_ENSURE
effective function
top
Not Void if any.
class_text
:
CLASS_TEXT
effective function
top
ensure
Result /= Void
pretty
effective procedure
top
add_into
(fc:
FEATURE_CLAUSE
, fd:
DICTIONARY
[
ANONYMOUS_FEATURE
,
FEATURE_NAME
])
effective procedure
top
require
fc /= Void
fd /= Void
ensure
feature_clause
= fc
accept
(visitor:
FEATURE_TEXT_VISITOR
)
effective procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void