+
Point of view
ANY
class EFFECTIVE_ARG_LIST
Summary
top
Overview
top
creation features
exported features
count: INTEGER_32
effective function
top
expression (i: INTEGER_32): EXPRESSION
effective function
top
first: EXPRESSION
effective function
top
start_position: POSITION
effective function
top
specialize_in (type: TYPE): EFFECTIVE_ARG_LIST
effective function
top
specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): EFFECTIVE_ARG_LIST
effective function
top
specialize_2 (t: TYPE, af: ANONYMOUS_FEATURE, target_type: TYPE, is_current: BOOLEAN): EFFECTIVE_ARG_LIST
effective function
top
Checks the validity of argument passing (i.e. assignments) from the effective arguments list into the formal arguments list from af.
has_been_specialized: BOOLEAN
effective function
top
simplify (type: TYPE): EFFECTIVE_ARG_LIST
effective function
top
static_simplify
effective procedure
top
side_effect_free (type: TYPE): BOOLEAN
effective function
top
safety_check (type: TYPE)
effective procedure
top
compile_to_c (type: TYPE, fal: FORMAL_ARG_LIST)
effective procedure
top
Produce C code for all expressions of the list.
compile_to_c_ith (type: TYPE, fal: FORMAL_ARG_LIST, index: INTEGER_32)
effective procedure
top
Produce C code for expression index.
compile_to_jvm (type: TYPE, fal: FORMAL_ARG_LIST): INTEGER_32
effective function
top
compile_to_jvm_ith (type: TYPE, fal: FORMAL_ARG_LIST, index: INTEGER_32): INTEGER_32
effective function
top
use_current (type: TYPE): BOOLEAN
effective function
top
pretty (indent_level: INTEGER_32)
effective procedure
top
short (type: TYPE)
effective procedure
top
is_static: BOOLEAN
effective function
top
Is True when only is_static expression are used.
accept (visitor: EFFECTIVE_ARG_LIST_VISITOR)
effective procedure
top
Accept to be visited by the visitor.