home
wiki
classes/clusters list
class information
+
Point of view
SMART_EIFFEL
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
parse_cecil_files
collect
state
:
INTEGER_32
State_initial
:
INTEGER_32
State_parsed
:
INTEGER_32
State_collected
:
INTEGER_32
parser_buffer
:
PARSER_BUFFER
parse_cecil_files
effective procedure
top
require
state
=
State_initial
ensure
state
=
State_parsed
collect
effective procedure
top
require
state
=
State_parsed
xor
state
=
State_collected
ensure
state
=
State_collected
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
parser_buffer
:
PARSER_BUFFER
frozen
once function
top