deferred class LOCAL_ARGUMENT1
Summary
Class invariant
Overview
exported features
hashed_string: HASHED_STRING
writable attribute
The unique corresponding one for the name of this entity.
to_string: STRING
writable attribute
An alias of hashed_string.to_string.
result_type: TYPE_MARK
writable attribute
The the corresponding written one in the declaration list.
rank: INTEGER_32
writable attribute
The rank in the corresponding declaration list.
declaration_type: TYPE
effective function
specialize_2 (type: TYPE): EXPRESSION
effective function
resolve_in (type: TYPE): TYPE
effective function
specialize_in (type: TYPE): LOCAL_ARGUMENT1
frozen
effective function
specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): LOCAL_ARGUMENT1
frozen
effective function
has_been_specialized: BOOLEAN
effective function
adapt_for (type: TYPE): LOCAL_ARGUMENT1
deferred function
start_position: POSITION
writable attribute
Of the first character of the name.
is_void: BOOLEAN
constant attribute
is_manifest_string: BOOLEAN
constant attribute
is_current: BOOLEAN
constant attribute
is_implicit_current: BOOLEAN
constant attribute
is_result: BOOLEAN
constant attribute
is_static: BOOLEAN
constant attribute
use_current (type: TYPE): BOOLEAN
frozen
effective function
to_key: STRING
frozen
effective function
precedence: INTEGER_32
frozen
effective function
pretty_target (indent_level: INTEGER_32)
frozen
effective procedure
short (type: TYPE)
frozen
effective procedure
short_target (type: TYPE)
frozen
effective procedure
extra_bracket_flag: BOOLEAN
constant attribute
line: INTEGER_32
frozen
effective function
column: INTEGER_32
frozen
effective function
pretty (indent_level: INTEGER_32)
deferred procedure
bracketed_pretty (indent_level: INTEGER_32)
frozen
effective procedure
accept (visitor: VISITOR)
deferred procedure
Accept to be visited by the visitor.