public final class CfgProcess extends ModuleProcess
The object contains the embedded control flow graph nodes
and EventList
sensitivity list. Also it can be either
of initial or of non-initial type.
Constructor and Description |
---|
CfgProcess()
Default constructor.
|
CfgProcess(boolean initial)
Constructs new process with the specified value of initial flag.
|
CfgProcess(ModuleProcess process)
Constructs the object that copies the data of the specified one.
|
Modifier and Type | Method and Description |
---|---|
void |
apply(java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> bindings)
Applies bindings to process control flow graph and sensitivity list.
|
Statement |
deepCopy()
Returns a copy of this statement and all it's sub-statements.
|
java.lang.String |
getId()
Returns unique node identifier in string form.
|
java.lang.String |
getName()
Returns the process name.
|
addEvent, clearEvents, getDescription, getEventList, getType, isInitial, isSequential, setEventList, setParent
declareNewVariable, declares, declares, declaresInput, declaresOutput, declaresRegister, declareVariable, declareVariable, declareVariable, declareVariable, declareVariables, getDataType, getDeclaration, getDeclarationMap, getDeclarations, getInitialValue, getInputNames, getInputs, getInvariant, getOutputNames, getOutputs, getRegisterNames, getVariable, getVariableNames, getVariables, removeDeclaration
add, add, addAll, contains, containStatements, equals, getDefines, getDescription, getParent, getStatement, getStatementNum, getUses, hashCode, indexOf, isType, remove, removeAll, removeParent
addMetaInfo, addMetaInfo, addMetaInfo, getMetaInfo, getMetaInfo, hasMetaInfo, hasMetaInfo
public CfgProcess()
Constructs non-initial process.
public CfgProcess(boolean initial)
initial
- initial flagpublic CfgProcess(ModuleProcess process)
The internal statements are omitted in the copy.
process
- The object the data is copied.public java.lang.String getName()
getName
in class ModuleProcess
public java.lang.String getId()
getId
in interface Identifiable
getId
in class Statement
public void apply(java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> bindings)