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(EventList events)
Constructs new process with the specified sensitivity list of events.
|
CfgProcess(ModuleProcess process)
Constructs the object that copies the data of the specified one.
|
CfgProcess(java.lang.String name,
EventList list,
boolean initial)
Constructs new process with specified parameters.
|
Modifier and Type | Method and Description |
---|---|
void |
apply(java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> bindings)
Applies bindings to this statement.
|
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, addProperty, clearEvents, getDescription, getEventList, getProperties, getType, hasEvent, isInitial, isSequential, setEventList, setParent
add, add, addAll, contains, containStatements, equals, getDefines, getDescription, getParent, getStatement, getStatementNum, getUses, hashCode, indexOf, isType, remove, removeAll, removeParent
addMetaInfo, addMetaInfo, addMetaInfo, addMetaInfo, getAllMetaInfo, getMetaInfo, getMetaInfo, getStringMetaInfo, getStringMetaInfo, hasMetaInfo, hasMetaInfo
public CfgProcess()
Constructs non-initial process.
public CfgProcess(java.lang.String name, EventList list, boolean initial)
name
- Process name.list
- Process sensitivity list.initial
- Process initial flag.java.lang.IllegalArgumentException
- when event list argument is null
.public CfgProcess(boolean initial)
initial
- initial flagpublic CfgProcess(EventList events)
events
- The process sensitivity list of events.public CfgProcess(ModuleProcess process)
The internal statements are omitted in the copy.
process
- The object the data is copied.public java.lang.String getName()
ModuleProcess
getName
in class ModuleProcess
public java.lang.String getId()
Statement
getId
in interface Identifiable
getId
in class Statement
public void apply(java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> bindings)
Statement