class STATUS
Summary
Overview
creation features
exported features
State checking
specializing_type: TYPE
effective function
is_getting_started: BOOLEAN
effective function
True if the system has just started gathering the first types from the given root
is_analyzing: BOOLEAN
effective function
True if the system is being analyzed (making live types, run features and so on)
is_collecting: BOOLEAN
effective function
True if the system is being collected
is_adapting: BOOLEAN
effective function
True if the system is being tailored (before code production)
is_specializing: BOOLEAN
effective function
True if the system is creating one new type
is_specializing_2: BOOLEAN
effective function
True if the system is calling specialize_2 on the newly created type
is_safety_checking: BOOLEAN
effective function
True if the system is currently being safety-checked
collecting_done: BOOLEAN
writable attribute
Indicates that we have performed all collect cycles (i.e. we have gathered a super-set of the live code).
safety_check_done: BOOLEAN
effective function
is_generating: BOOLEAN
effective function
True if the system is generating the code (C or Java)
is_done: BOOLEAN
effective function
True if the system has finished the compilation (C or Java)