public class CgaaModel extends Model
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,
java.util.Map<ModuleProcess,edu.uci.ics.jung.graph.Graph<Phase,PhaseSeqEdge>> map)
Constructs an object with the specified control flow graph internal model.
|
Modifier and Type | Method and Description |
---|---|
void |
add(Entity entity)
Adds the specified entity.
|
CfgModel |
getModel()
Returns the internal
CfgModel model. |
java.util.Map<ModuleProcess,edu.uci.ics.jung.graph.Graph<Phase,PhaseSeqEdge>> |
getProcessPhaseMap()
Returns the mapping from model processes to their phase sequence graphs.
|
addModule, addModules, getModules
equals, getEntityType, hashCode, toString
addMetaInfo, addMetaInfo, addMetaInfo, getMetaInfo, getMetaInfo, hasMetaInfo, hasMetaInfo
public static final EntityType TYPE
public CgaaModel(CfgModel model, java.util.Map<ModuleProcess,edu.uci.ics.jung.graph.Graph<Phase,PhaseSeqEdge>> map)
model
- the internal modeljava.lang.IllegalArgumentException
- when argument is null
.public void add(Entity entity)
add
in class Model
entity
- the entity to be addedjava.lang.IllegalArgumentException
- when argument is null
.RetrascopeRuntimeException
- when argument is not of CgaaModel
type.public java.util.Map<ModuleProcess,edu.uci.ics.jung.graph.Graph<Phase,PhaseSeqEdge>> getProcessPhaseMap()