class LOCAL_VAR_LIST
Summary
Class invariant
Overview
creation features
exported features
effective function
collect (t: TYPE)
effective procedure
side_effect_free (type: TYPE): BOOLEAN
effective function
pretty
effective procedure
accept (visitor: LOCAL_VAR_LIST_VISITOR)
effective procedure
Accept to be visited by the visitor.
start_position: POSITION
effective function
count: INTEGER_32
effective function
fast_rank_of (n: STRING): INTEGER_32
effective function
Result is greater than 0 when n is in the list.
rank_of (n: STRING): INTEGER_32
effective function
Result is greater than 0 when n is in the list.
type_mark (i: INTEGER_32): TYPE_MARK
effective function
specialize_in (type: TYPE): LOCAL_VAR_LIST
effective function
specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): LOCAL_VAR_LIST
effective function
has_been_specialized: BOOLEAN
effective function