public class CgaaModel extends Entity
The model is control flow graph CfgModel
model
that is stored in the form of the clocked guarded actions decision diagram.
It means that internal model is an acyclic graph, each path of here contains a
continuous sub-sequence of switch/case nodes (may be empty) and after that -
a continuous sub-sequence of concurrent (non-blocking) basic blocks.
The basic block sequence is called "action", the switch/case sequence is called "guard".
Modifier and Type | Field and Description |
---|---|
static EntityType |
TYPE
The entity type.
|
Constructor and Description |
---|
CgaaModel(CfgModel model)
Constructs an object with the specified control flow graph internal model.
|
public static final EntityType TYPE
public CgaaModel(CfgModel model)
model
- the internal modeljava.lang.IllegalArgumentException
- when argument is null
.public void add(Entity entity)
add
in class Entity
entity
- the entity to be addedjava.lang.IllegalArgumentException
- when argument is null
.RetrascopeRuntimeException
- when argument is not of CgaaModel
type.