public abstract class ModuleProcess extends DecStatement
Modifier | Constructor and Description |
---|---|
protected |
ModuleProcess()
Default constructor.
|
protected |
ModuleProcess(boolean initial)
Constructs the process object with the specified value of initial flag.
|
protected |
ModuleProcess(EventList events,
boolean initial)
Constructs the process object with the specified parameters.
|
protected |
ModuleProcess(ModuleProcess process)
Constructs object as a copy of the specified process.
|
protected |
ModuleProcess(java.lang.String name)
Constructs process object with the specified name.
|
protected |
ModuleProcess(java.lang.String name,
EventList events,
boolean initial)
Constructs the process object with the specified parameters.
|
Modifier and Type | Method and Description |
---|---|
void |
addEvent(Event event)
Add the specified event which this process is sensible to.
|
protected void |
clearEvents(java.util.Collection<ru.ispras.fortress.expression.NodeVariable> variables)
Removes all the events that are related on the variables from the specified collection.
|
java.lang.String |
getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Returns a string description in the format of the specified printer.
|
EventList |
getEventList()
Returns
EventList sensitivity list. |
java.lang.String |
getName()
Returns the process name.
|
StatementType |
getType()
Returns statement type.
|
boolean |
isInitial()
Checks whether process is of initial kind.
|
boolean |
isSequential()
Checks whether statement is of sequential kind.
|
void |
setEventList(EventList eventList)
Sets new
EventList sensitivity list. |
void |
setParent(Statement parent)
Sets the specified statement as parent.
|
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, deepCopy, equals, getDefines, getDescription, getId, getParent, getStatement, getStatementNum, getUses, hashCode, indexOf, isType, remove, removeAll, removeParent
addMetaInfo, addMetaInfo, addMetaInfo, getMetaInfo, getMetaInfo, hasMetaInfo, hasMetaInfo
protected ModuleProcess()
protected ModuleProcess(boolean initial)
initial
- The initial flag.protected ModuleProcess(EventList events, boolean initial)
events
- The sensitivity list events.initial
- The initial flag.protected ModuleProcess(java.lang.String name, EventList events, boolean initial)
name
- The process name.events
- The process sensitivity list.initial
- The initial flag.protected ModuleProcess(java.lang.String name)
name
- The name of the constructed object.protected ModuleProcess(ModuleProcess process)
process
- The object to be an original for being copied.public java.lang.String getName()
public boolean isInitial()
true
if process is initial, false
otherwise.public EventList getEventList()
EventList
sensitivity list.public void setEventList(EventList eventList)
EventList
sensitivity list.eventList
- The event list.java.lang.IllegalArgumentException
- when argument is null
.RetrascopeRuntimeException
- when object is initial and argument is non-empty.public void addEvent(Event event)
event
- The event to be added.java.lang.IllegalArgumentException
- when argument is null
.RetrascopeRuntimeException
- when this process is initial.protected void clearEvents(java.util.Collection<ru.ispras.fortress.expression.NodeVariable> variables)
variables
- The variables the events to be removed are related to.public boolean isSequential()
Statement
isSequential
in class Statement
true
if it's sub-statements are treated as sequential,
false
otherwise.public StatementType getType()
Statement
public void setParent(Statement parent)
Statement
public java.lang.String getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Identifiable
printer
- Printer that provides an output string format.