class EFFECTIVE_ARG_LIST
Summary
Overview
creation features
exported features
count: INTEGER_32
effective function
expression (i: INTEGER_32): EXPRESSION
effective function
first: EXPRESSION
effective function
start_position: POSITION
effective function
specialize_in (type: TYPE): EFFECTIVE_ARG_LIST
effective function
specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): EFFECTIVE_ARG_LIST
effective function
specialize_2 (t: TYPE, af: ANONYMOUS_FEATURE, target_type: TYPE, is_current: BOOLEAN): EFFECTIVE_ARG_LIST
effective function
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
simplify (type: TYPE): EFFECTIVE_ARG_LIST
effective function
static_simplify
effective procedure
side_effect_free (type: TYPE): BOOLEAN
effective function
safety_check (type: TYPE)
effective procedure
compile_to_c (type: TYPE, fal: FORMAL_ARG_LIST)
effective procedure
Produce C code for all expressions of the list.
compile_to_c_ith (type: TYPE, fal: FORMAL_ARG_LIST, index: INTEGER_32)
effective procedure
Produce C code for expression index.
compile_to_jvm (type: TYPE, fal: FORMAL_ARG_LIST): INTEGER_32
effective function
compile_to_jvm_ith (type: TYPE, fal: FORMAL_ARG_LIST, index: INTEGER_32): INTEGER_32
effective function
use_current (type: TYPE): BOOLEAN
effective function
pretty (indent_level: INTEGER_32)
effective procedure
short (type: TYPE)
effective procedure
is_static: BOOLEAN
effective function
Is True when only is_static expression are used.
accept (visitor: EFFECTIVE_ARG_LIST_VISITOR)
effective procedure
Accept to be visited by the visitor.