home
wiki
classes/clusters list
class information
+
Point of view
LOCAL_VAR_LIST
ANY
LOCAL_VAR_LIST
FORMAL_ARG_LIST
DECLARATION
DECLARATION_LIST
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
deferred class DECLARATION
Summary
top
To store the syntax of the user in a declaration list, a single declaration is a
DECLARATION_1
and a group of variables with the the same type is a
DECLARATION_GROUP
.
Direct parents
inherit list:
VISITABLE
insert list:
GLOBALS
Known children
inherit list:
DECLARATION_1
,
DECLARATION_GROUP
Overview
top
exported features
pretty_in
(buffer:
STRING
)
short
(type:
TYPE
)
count
:
INTEGER_32
One or more items.
specialize_in
(type:
TYPE
): DECLARATION
specialize_thru
(parent_type:
TYPE
, parent_edge:
PARENT_EDGE
, new_type:
TYPE
): DECLARATION
has_been_specialized
:
BOOLEAN
append_in_local_var_list
(lvl:
LOCAL_VAR_LIST
)
Append current declaration in
lvl
.
accept
(visitor:
VISITOR
)
Accept to be visited by the
visitor
.
pretty_in
(buffer:
STRING
)
deferred procedure
top
require
buffer /= Void
short
(type:
TYPE
)
deferred procedure
top
count
:
INTEGER_32
deferred function
top
One or more items.
ensure
Result >= 1
specialize_in
(type:
TYPE
): DECLARATION
deferred function
top
require
type /= Void
ensure
Result.
has_been_specialized
specialize_thru
(parent_type:
TYPE
, parent_edge:
PARENT_EDGE
, new_type:
TYPE
): DECLARATION
deferred 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
deferred function
top
ensure
Result
append_in_local_var_list
(lvl:
LOCAL_VAR_LIST
)
deferred procedure
top
Append current declaration in
lvl
.
require
lvl /= Void
accept
(visitor:
VISITOR
)
deferred procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void