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.List<ru.ispras.fortress.expression.NodeVariable> |
getAssignedVariables()
Returns the variables that are assigned in this process.
|
Hldd |
getHldd(ru.ispras.fortress.expression.NodeVariable variable)
Returns the HLDD for the specified variable.
|
java.util.Collection<Hldd> |
getHldds()
Returns the contents of the container.
|
ru.ispras.fortress.expression.Node |
getInvariant()
Returns the process-level invariant.
|
void |
removeHldds(java.util.Collection<Hldd> hldds)
Removes the specified HLDDs from this process.
|
void |
setInvariant(ru.ispras.fortress.expression.Node invariant)
Sets the specified expression as a process-level invariant.
|
addEvent, addProperty, clearEvents, getDescription, getEventList, getName, getProperties, getType, hasEvent, isInitial, isSequential, setEventList, setParent
add, add, addAll, apply, 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 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 void removeHldds(java.util.Collection<Hldd> hldds)
hldds
- - the specified collection of HLDDs.public java.util.List<ru.ispras.fortress.expression.NodeVariable> getAssignedVariables()
public java.util.Collection<Hldd> getHldds()
public Hldd getHldd(ru.ispras.fortress.expression.NodeVariable variable)
variable
- - the specififed target variable.null
otherwise.public Statement deepCopy()
Statement
public ru.ispras.fortress.expression.Node getInvariant()
public void setInvariant(ru.ispras.fortress.expression.Node invariant)
invariant
- - the specified expression node.