class FORMAL_GENERIC_ARG
Summary
Class invariant
Overview
creation features
exported features
accept (visitor: FORMAL_GENERIC_ARG_VISITOR)
effective procedure
Accept to be visited by the visitor.
name: CLASS_NAME
writable attribute
Name of the formal generic argument.
constraint: TYPE_MARK
writable attribute
Non Void if any.
rank: INTEGER_32
writable attribute
In the corresponding declation list.
constrained: BOOLEAN
effective function
start_position: POSITION
effective function
pretty
effective procedure
short (type: TYPE)
effective procedure