Eiffeldoc : LOCAL_ARGUMENT1

+

Point of view

DECLARATION_LIST

deferred class LOCAL_ARGUMENT1

Summary

Class invariant

not start_position.is_unknown

Overview

exported features

hashed_string: HASHED_STRING

The unique corresponding one for the name of this entity.
to_string: STRING

An alias of hashed_string.to_string.
result_type: TYPE_MARK

The the corresponding written one in the declaration list.
rank: INTEGER_32

The rank in the corresponding declaration list.
declaration_type: TYPE
specialize_2 (type: TYPE): EXPRESSION
resolve_in (type: TYPE): TYPE

set_rank (r: INTEGER_32)

set_result_type (rt: TYPE_MARK)

name_clash_check (type: TYPE)

Check for name clash between argument/feature or local/feature.

specialize_in (type: TYPE): LOCAL_ARGUMENT1
specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): LOCAL_ARGUMENT1
has_been_specialized: BOOLEAN
adapt_for (type: TYPE): LOCAL_ARGUMENT1

start_position: POSITION

Of the first character of the name.
is_void: BOOLEAN
is_manifest_string: BOOLEAN
is_current: BOOLEAN
is_implicit_current: BOOLEAN
is_result: BOOLEAN
is_static: BOOLEAN
use_current (type: TYPE): BOOLEAN
to_key: STRING
precedence: INTEGER_32
pretty_target (indent_level: INTEGER_32)
short (type: TYPE)
short_target (type: TYPE)

extra_bracket_flag: BOOLEAN
line: INTEGER_32
column: INTEGER_32
pretty (indent_level: INTEGER_32)
bracketed_pretty (indent_level: INTEGER_32)

accept (visitor: VISITOR)

Accept to be visited by the visitor.

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

set_rank (r: INTEGER_32)

effective procedure

set_result_type (rt: TYPE_MARK)

effective procedure

name_clash_check (type: TYPE)

deferred procedure

Check for name clash between argument/feature or local/feature.

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.