home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
FORMAL_GENERIC_LIST
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class FORMAL_GENERIC_ARG
Summary
top
To store one formal generic argument.
Direct parents
inherit list:
VISITABLE
insert list:
GLOBALS
Class invariant
top
name
/= Void
Overview
top
creation features
make
(n:
CLASS_NAME
, c:
TYPE_MARK
)
exported features
accept
(visitor:
FORMAL_GENERIC_ARG_VISITOR
)
Accept to be visited by the
visitor
.
name
:
CLASS_NAME
Name of the formal generic argument.
constraint
:
TYPE_MARK
Non Void if any.
rank
:
INTEGER_32
In the corresponding declation list.
constrained
:
BOOLEAN
start_position
:
POSITION
pretty
short
(type:
TYPE
)
accept
(visitor:
FORMAL_GENERIC_ARG_VISITOR
)
effective procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void
name
:
CLASS_NAME
writable attribute
top
Name of the formal generic argument.
constraint
:
TYPE_MARK
writable attribute
top
Non Void if any.
rank
:
INTEGER_32
writable attribute
top
In the corresponding declation list.
constrained
:
BOOLEAN
effective function
top
start_position
:
POSITION
effective function
top
pretty
effective procedure
top
short
(type:
TYPE
)
effective procedure
top