class CECIL_POOL
Summary
Class invariant
Overview
state: INTEGER_32
writable attribute
State_initial: INTEGER_32
constant attribute
State_parsed: INTEGER_32
constant attribute
State_collected: INTEGER_32
constant attribute