class RUN_FEATURE_2
Summary
Class invariant
Overview
creation features
exported features
  • is_equal (other: RUN_FEATURE_2): BOOLEAN
    Is other attached to an object considered equal to current object?
base_feature: WRITABLE_ATTRIBUTE
writable attribute
Original base feature definition.
result_type: TYPE_MARK
writable attribute
Runnable Result type if any.
is_deferred: BOOLEAN
constant attribute
is_once_procedure: BOOLEAN
constant attribute
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
constant attribute
This is not only True for RUN_FEATURE_6, but it may be also True when some once function is wrapped (RUN_FEATURE_11).
order: INTEGER_32
writable attribute
Used for special sorting of LIVE_TYPE.writable_attributes
side_effect_free: BOOLEAN
effective function
If calling Current has no side effect at all.
arguments: FORMAL_ARG_LIST
effective function
Runnable arguments list if any.
require_assertion: E_REQUIRE
writable attribute
Runnable collected require assertion if any.
local_vars: LOCAL_VAR_LIST
effective function
Runnable local var list if any.
internal_locals: INTERNAL_LOCAL_LIST
effective function
Internally generated variables if any.
routine_body: INSTRUCTION
effective function
Runnable routine body if any.
rescue_compound: INSTRUCTION
effective function
Runnable rescue compound if any.
ensure_assertion: E_ENSURE
writable attribute
Runnable collected ensure assertion if any.
put_c_field_name
effective procedure
 Emit using cpp the corresponding field name with an extra C comment which 
 include the offset of the corresponding C field.
mapping_c
effective procedure
Produce C code when current is called and when the concrete type of target is unique (cpp is in charge of the context).
c_define
effective procedure
Produce C code for definition.
mapping_jvm
effective procedure
type_of_current: TYPE
writable attribute
The real type of Current in this feature.
writable attribute
Final name (the only one really used) of the feature.
feature_stamp: FEATURE_STAMP
effective function
hash_code: INTEGER_32
effective function
The hash-code value of Current.
is_root: BOOLEAN
writable attribute
True if Current is the root creation feature.
is_once_routine: BOOLEAN
frozen
effective function
Is it a once routine?
use_current: BOOLEAN
frozen
effective function
debug_info_in (buffer: STRING)
frozen
effective procedure
For debugging only.
start_position: POSITION
frozen
effective function
mapping_name_in (buffer: STRING)
effective procedure
jvm_max_locals: INTEGER_32
frozen
effective function
is_equal (other: RUN_FEATURE_2): BOOLEAN
deferred function
Is other attached to an object considered equal to current object?