home
wiki
classes/clusters list
class information
+
Point of view
RUN_FEATURE
ANY
CECIL_FILE
RUN_FEATURE
C_PRETTY_PRINTER
C_PLUGIN
COMMAND_LINE_TOOLS
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class CECIL_POOL
Summary
top
Unique global object in charge of CECIL calls.
Direct parents
insert list:
GLOBALS
,
SINGLETON
Class invariant
top
valid_state:
state
.in_range(
State_initial
,
State_collected
)
Overview
top
exported features
state
:
INTEGER_32
State_initial
:
INTEGER_32
State_parsed
:
INTEGER_32
State_collected
:
INTEGER_32
c_define_body_of
(rf:
RUN_FEATURE
, is_creation:
BOOLEAN
)
state
:
INTEGER_32
writable attribute
top
State_initial
:
INTEGER_32
constant attribute
top
State_parsed
:
INTEGER_32
constant attribute
top
State_collected
:
INTEGER_32
constant attribute
top
c_define_body_of
(rf:
RUN_FEATURE
, is_creation:
BOOLEAN
)
effective procedure
top