deferred class DECLARATION_LIST
Summary
Class invariant
Overview
exported features
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.
deferred function
type_mark (i: INTEGER_32): TYPE_MARK
effective function
specialize_in (type: TYPE): DECLARATION_LIST
effective function
specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): DECLARATION_LIST
effective function
has_been_specialized: BOOLEAN
effective function
accept (visitor: VISITOR)
deferred procedure
Accept to be visited by the visitor.