home
wiki
classes/clusters list
class information
+
Point of view
SE
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
add_cecil_file
(path:
STRING
)
Add
path
as a new -cecil file to be considered.
state
:
INTEGER_32
State_initial
:
INTEGER_32
State_parsed
:
INTEGER_32
State_collected
:
INTEGER_32
set_launcher
add_cecil_file
(path:
STRING
)
effective procedure
top
Add
path
as a new -cecil file to be considered.
require
path /= Void
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
set_launcher
effective procedure
top