class SWITCH_SITE
Summary
Class invariant
Overview
creation features
exported features
current_type: TYPE
writable attribute
Static type of the target.
feature_name: FEATURE_NAME
writable attribute
The name of the called feature.
result_type: TYPE
writable attribute
If any, the result_type.
arguments: FORMAL_ARG_LIST
writable attribute
Of the called feature.
writable attribute
Used to compute the offset in the profile array (used only in profile mode).
has (rf: RUN_FEATURE): BOOLEAN
effective function
effective function
count: INTEGER_32
effective function