public final class CfgModule extends Module
Object contains child CfgProcess
processes and CfgModule
sub-modules.
When object is an instance of another module, it MUST have the instance name
with module name.
Constructor and Description |
---|
CfgModule(Module module)
Constructs the object that copies data from thw specified one.
|
CfgModule(java.lang.String name)
Constructs object with the specified name.
|
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.
|
add, addProperty, getDescription, getModules, getName, getProcesses, getProperties, getType, isSequential, removeProcesses, setParent
declareNewVariable, declares, declares, declaresInput, declaresOutput, declaresRegister, declareVariable, declareVariable, declareVariable, declareVariable, declareVariable, declareVariables, getDataType, getDeclaration, getDeclarationMap, getDeclarations, getInitialValue, getInputNames, getInputs, getInvariant, getOutputNames, getOutputs, getRegisterNames, getVariable, getVariableNames, getVariables, removeDeclaration, removeDeclaration
add, addAll, contains, containStatements, equals, getDefines, getDescription, getId, getParent, getStatement, getStatementNum, getUses, hashCode, indexOf, isType, remove, removeAll, removeParent
addMetaInfo, addMetaInfo, addMetaInfo, addMetaInfo, getAllMetaInfo, getMetaInfo, getMetaInfo, getStringMetaInfo, getStringMetaInfo, hasMetaInfo, hasMetaInfo
public CfgModule(java.lang.String name)
name
- module namejava.lang.IllegalArgumentException
- when argument is null
.public CfgModule(Module module)
The internal statements are omitted in the copy.
module
- The object which data is to be copied.