deferred class CALL_SUPPORT
Summary
Class invariant
Overview
exported features
side_effect_free (type: TYPE): BOOLEAN
effective function
adapt_for (type: TYPE): CALL_SUPPORT
effective function
feature_stamp: FEATURE_STAMP
writable attribute
The good feature_stamp for the feature in some type (unrelated to like_what due to renamings).
target: EXPRESSION
writable attribute
Target of the call.
feature_name: FEATURE_NAME
writable attribute
Written selector name of the call.
arguments: EFFECTIVE_ARG_LIST
deferred function
Arguments of the call if any.
arg_count: INTEGER_32
deferred function
The arguments count or 0.
start_position: POSITION
frozen
effective function
use_current (type: TYPE): BOOLEAN
effective function
safety_check (type: TYPE)
frozen
effective procedure