class FEATURE_TEXT
Summary
Class invariant
Overview
creation features
exported features
feature_clause: FEATURE_CLAUSE
writable attribute
Back-link to the corresponding one.
writable attribute
All the names of the feature.
arguments: FORMAL_ARG_LIST
writable attribute
Arguments if any.
result_type: TYPE_MARK
writable attribute
Result type if any.
anonymous_feature: ANONYMOUS_FEATURE
writable attribute
The corresponding one.
constant_value: EXPRESSION
writable attribute
The one if any.
header_comment: COMMENT
writable attribute
Header comment for a routine or following comment for an attribute.
obsolete_mark: MANIFEST_STRING
writable attribute
The obsolete mark if any.
sedb_trace_before_exit: POSITION
writable attribute
Use for example to force a sedb to trace the end of empty routines.
clients: CLIENT_LIST
effective function
require_assertion: E_REQUIRE
effective function
Not Void if any.
rescue_compound: INSTRUCTION
effective function
Not Void if any.
ensure_assertion: E_ENSURE
effective function
Not Void if any.
class_text: CLASS_TEXT
effective function
accept (visitor: FEATURE_TEXT_VISITOR)
effective procedure
Accept to be visited by the visitor.