public final class HlddProcess extends ModuleProcess
Constructor and Description |
---|
HlddProcess(ModuleProcess process)
Constructs a new process using the specified process.
|
HlddProcess(java.lang.String name)
Constructs a new process with the specified name.
|
Modifier and Type | Method and Description |
---|---|
void |
add(Hldd hldd)
Adds a HLDD to this process.
|
Statement |
deepCopy()
Returns a copy of this statement and all it's sub-statements.
|
java.util.Collection<ru.ispras.fortress.expression.NodeVariable> |
getAssignedVariables()
Returns the variables that are assigned in this process.
|
java.util.Collection<Hldd> |
getHldds()
Returns the contents of the container.
|
addEvent, clearEvents, getDescription, getEventList, getName, 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, apply, contains, containStatements, equals, getDefines, getDescription, getId, getParent, getStatement, getStatementNum, getUses, hashCode, indexOf, isType, remove, removeAll, removeParent
addMetaInfo, addMetaInfo, addMetaInfo, getMetaInfo, getMetaInfo, hasMetaInfo, hasMetaInfo
public HlddProcess(java.lang.String name)
name
- - the specified name.public HlddProcess(ModuleProcess process)
process
- - the specified process.public void add(Hldd hldd)
hldd
- - the specified HLDD.public java.util.Collection<ru.ispras.fortress.expression.NodeVariable> getAssignedVariables()
public java.util.Collection<Hldd> getHldds()