home
wiki
classes/clusters list
class information
+
Point of view
EIFFEL_PARSER
ANY
EIFFEL_PARSER
CLASS_TEXT
GENERIC_TYPE_MARK
TYPE
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class FORMAL_GENERIC_LIST
Summary
top
To store the list of formal generic arguments of a generic class :
[X,Y->Z]
Direct parents
inherit list:
VISITABLE
insert list:
GLOBALS
Overview
top
creation features
make
(sp:
POSITION
)
exported features
start_position
:
POSITION
Of the opening square bracket.
count
:
INTEGER_32
item
(i:
INTEGER_32
):
FORMAL_GENERIC_ARG
pretty
short
(type:
TYPE
)
add_last
(fga:
FORMAL_GENERIC_ARG
)
accept
(visitor:
FORMAL_GENERIC_LIST_VISITOR
)
Accept to be visited by the
visitor
.
start_position
:
POSITION
writable attribute
top
Of the opening square bracket.
count
:
INTEGER_32
effective function
top
item
(i:
INTEGER_32
):
FORMAL_GENERIC_ARG
effective function
top
require
i.in_range(1,
count
)
ensure
Result /= Void
pretty
effective procedure
top
short
(type:
TYPE
)
effective procedure
top
add_last
(fga:
FORMAL_GENERIC_ARG
)
effective procedure
top
require
fga /= Void
accept
(visitor:
FORMAL_GENERIC_LIST_VISITOR
)
effective procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void