home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
DECLARATION
AGENT_CREATION
CECIL_POOL
SWITCH
JVM
LIVE_TYPE
MANIFEST_GENERIC
RUN_FEATURE
ANONYMOUS_FEATURE
DECLARATION_LIST
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class FORMAL_ARG_LIST
Summary
top
For the formal arguments list of a routine.
Direct parents
insert list:
DECLARATION_LIST
Class invariant
top
count > 0
Overview
top
creation features
make
(l:
ARRAY
[
DECLARATION
])
Parsing creation procedure.
exported features
name
(i:
INTEGER_32
):
ARGUMENT_NAME1
pretty
short
(shorted_type:
TYPE
)
accept
(visitor:
FORMAL_ARG_LIST_VISITOR
)
Accept to be visited by the
visitor
.
has_like_current
:
BOOLEAN
start_position
:
POSITION
count
:
INTEGER_32
fast_rank_of
(n:
STRING
):
INTEGER_32
Result is greater than 0 when
n
is in the list.
rank_of
(n:
STRING
):
INTEGER_32
Result is greater than 0 when
n
is in the list.
type_mark
(i:
INTEGER_32
):
TYPE_MARK
specialize_in
(type:
TYPE
): FORMAL_ARG_LIST
specialize_thru
(parent_type:
TYPE
, parent_edge:
PARENT_EDGE
, new_type:
TYPE
): FORMAL_ARG_LIST
has_been_specialized
:
BOOLEAN
name
(i:
INTEGER_32
):
ARGUMENT_NAME1
effective function
top
require
i.in_range(1, count)
ensure
Result /= Void
pretty
effective procedure
top
short
(shorted_type:
TYPE
)
effective procedure
top
accept
(visitor:
FORMAL_ARG_LIST_VISITOR
)
effective procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void
has_like_current
:
BOOLEAN
effective function
top
start_position
:
POSITION
effective function
top
count
:
INTEGER_32
effective function
top
fast_rank_of
(n:
STRING
):
INTEGER_32
effective function
top
Result is greater than 0 when
n
is in the list.
ensure
Result.in_range(0,
count
)
rank_of
(n:
STRING
):
INTEGER_32
effective function
top
Result is greater than 0 when
n
is in the list.
ensure
Result.in_range(0,
count
)
type_mark
(i:
INTEGER_32
):
TYPE_MARK
effective function
top
require
i.in_range(1,
count
)
ensure
Result /= Void
specialize_in
(type:
TYPE
): FORMAL_ARG_LIST
effective function
top
require
type /= Void
ensure
Result.
has_been_specialized
specialize_thru
(parent_type:
TYPE
, parent_edge:
PARENT_EDGE
, new_type:
TYPE
): FORMAL_ARG_LIST
effective function
top
require
new_type.direct_thru_step(parent_type, parent_edge)
has_been_specialized
ensure
has_been_specialized
Result.
has_been_specialized
has_been_specialized
:
BOOLEAN
effective function
top
ensure
Result