+
Point of view
SMART_EIFFEL
deferred class RUN_FEATURE
Summary
top
Class invariant
top
Overview
top
exported features
  • is_equal (other: RUN_FEATURE): BOOLEAN
    Is other attached to an object considered equal to current object?
type_of_current: TYPE
writable attribute
top
The real type of Current in this feature.
writable attribute
top
Final name (the only one really used) of the feature.
base_feature: ANONYMOUS_FEATURE
writable attribute
top
Original base feature definition.
feature_stamp: FEATURE_STAMP
effective function
top
arguments: FORMAL_ARG_LIST
deferred function
top
Runnable arguments list if any.
result_type: TYPE_MARK
deferred function
top
Runnable Result type if any.
require_assertion: E_REQUIRE
deferred function
top
Runnable collected require assertion if any.
local_vars: LOCAL_VAR_LIST
deferred function
top
Runnable local var list if any.
internal_locals: INTERNAL_LOCAL_LIST
deferred function
top
Internally generated variables if any.
routine_body: INSTRUCTION
deferred function
top
Runnable routine body if any.
ensure_assertion: E_ENSURE
deferred function
top
Runnable collected ensure assertion if any.
rescue_compound: INSTRUCTION
deferred function
top
Runnable rescue compound if any.
is_once_procedure: BOOLEAN
deferred function
top
This is not only True for RUN_FEATURE_5, but it may be also True when some once procedure is wrapped (RUN_FEATURE_10).
is_once_function: BOOLEAN
deferred function
top
This is not only True for RUN_FEATURE_6, but it may be also True when some once function is wrapped (RUN_FEATURE_11).
is_deferred: BOOLEAN
deferred function
top
hash_code: INTEGER_32
effective function
top
The hash-code value of Current.
is_root: BOOLEAN
writable attribute
top
True if Current is the root creation feature.
is_once_routine: BOOLEAN
frozen
effective function
top
Is it a once routine?
side_effect_free: BOOLEAN
deferred function
top
If calling Current has no side effect at all.
use_current: BOOLEAN
frozen
effective function
top
debug_info_in (buffer: STRING)
frozen
effective procedure
top
For debugging only.
start_position: POSITION
frozen
effective function
top
c_define
deferred procedure
top
Produce C code for definition.
mapping_c
deferred procedure
top
Produce C code when current is called and when the concrete type of target is unique (cpp is in charge of the context).
mapping_jvm
deferred procedure
top
mapping_name_in (buffer: STRING)
effective procedure
top
jvm_max_locals: INTEGER_32
frozen
effective function
top
is_equal (other: RUN_FEATURE): BOOLEAN
deferred function
top
Is other attached to an object considered equal to current object?
parser_buffer: PARSER_BUFFER
frozen
once function
top