public final class HlddProcess
extends java.lang.Object
Constructor and Description |
---|
HlddProcess()
Constructs a new process.
|
Modifier and Type | Method and Description |
---|---|
void |
add(java.util.Collection<Hldd> hldds)
Adds a collection of HLDDs to this process.
|
void |
add(Hldd hldd)
Adds a HLDD to this process.
|
CfgProcess |
getCfgProcess()
Returns the corresponding CFG process.
|
java.util.Collection<Hldd> |
getHldds()
Returns the contents of the container.
|
java.lang.String |
getProcessId()
Returns the process id.
|
java.util.Collection<ru.ispras.fortress.expression.NodeVariable> |
getVariables()
Returns the corresponding variables.
|
void |
setCfgProcess(CfgProcess process)
Sets the corresponding CFG process.
|
void |
setProcessId(java.lang.String processId)
Sets the process id.
|
public void add(Hldd hldd)
hldd
- - the specified HLDD.public void add(java.util.Collection<Hldd> hldds)
hldds
- - the specified collection.public java.util.Collection<ru.ispras.fortress.expression.NodeVariable> getVariables()
NodeVariable
.public java.lang.String getProcessId()
public void setProcessId(java.lang.String processId)
processId
- - the specified string.public java.util.Collection<Hldd> getHldds()
public CfgProcess getCfgProcess()
CfgProcess
.public void setCfgProcess(CfgProcess process)
process
- - the specified process.