+
Point of view
FEATURE_ACCUMULATOR
deferred class E_ROUTINE
Summary
top
Overview
top
exported features
arguments: FORMAL_ARG_LIST
writable attribute
top
Arguments if any.
obsolete_mark: MANIFEST_STRING
writable attribute
top
The obsolete mark if any.
end_comment: COMMENT
writable attribute
top
is_attribute: BOOLEAN
constant attribute
top
local_vars: LOCAL_VAR_LIST
writable attribute
top
internal_locals: INTERNAL_LOCAL_LIST
writable attribute
top
routine_body: INSTRUCTION
writable attribute
top
pretty
effective procedure
top
feature_text: FEATURE_TEXT
writable attribute
top
Back-link to the corresponding written one.
class_text: CLASS_TEXT
effective function
top
The class where the feature is really written.
clients: CLIENT_LIST
effective function
top
Authorized clients list of the corresponding feature clause in the base definition class.
effective function
top
All the names of the feature.
result_type: TYPE_MARK
deferred function
top
Result type if any.
header_comment: COMMENT
writable attribute
top
Header comment for a routine or following comment for an attribute.
require_assertion: E_REQUIRE
writable attribute
top
Not Void if any.
rescue_compound: INSTRUCTION
deferred function
top
Not Void if any.
ensure_assertion: E_ENSURE
writable attribute
top
Not Void if any.
is_deferred: BOOLEAN
deferred function
top
Is it a deferred feature ?
sedb_trace_before_exit: POSITION
frozen
effective function
top
class_text_name: CLASS_NAME
frozen
effective function
top
Name of the class where the feature is really written.
first_name: FEATURE_NAME
frozen
effective function
top
start_position: POSITION
frozen
effective function
top
obsolete_warning_check (type: TYPE, caller: POSITION)
frozen
effective procedure
top
set_header_comment (hc: COMMENT)
frozen
effective procedure
top
has_been_specialized: BOOLEAN
deferred function
top
is_once_function: BOOLEAN
frozen
effective function
top
(Just to be able to write assertions.)
side_effect_free (target_type: TYPE): BOOLEAN
deferred function
top
Assuming that it is a final call (See comment in code.)
use_current (type: TYPE): BOOLEAN
deferred function
top
same_body_as (other: ANONYMOUS_FEATURE): BOOLEAN
effective function
top
try_to_undefine (fn: FEATURE_NAME, bc: CLASS_TEXT): DEFERRED_ROUTINE
frozen
effective function
top
Compute the corresponding deferred feature for Current.
accept (visitor: VISITOR)
deferred procedure
top
Accept to be visited by the visitor.