public abstract class Module extends DecStatement
Modifier | Constructor and Description |
---|---|
protected |
Module()
Default constructor.
|
protected |
Module(Module module)
Constructs a copy of the specified module object.
|
protected |
Module(java.lang.String name)
Constructs object with the specified name.
|
Modifier and Type | Method and Description |
---|---|
void |
add(Statement statement)
Adds the specified statement as child to this object.
|
void |
addProperty(ru.ispras.fortress.expression.Node property)
Adds the specified module-level property.
|
java.lang.String |
getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Returns a string description in the format of the specified printer.
|
java.util.Collection<Module> |
getModules()
Returns sub-modules.
|
java.lang.String |
getName()
Returns the module name.
|
java.util.Collection<ModuleProcess> |
getProcesses()
Returns processes.
|
java.util.List<ru.ispras.fortress.expression.Node> |
getProperties()
Returns the list of module-level properties.
|
StatementType |
getType()
Returns the statement type.
|
boolean |
isSequential()
Checks whether statement is of sequential kind.
|
void |
removeProcesses()
Remove internal processes.
|
void |
setParent(Statement statement)
Sets the specified statement as parent.
|
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, apply, contains, containStatements, deepCopy, 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
protected Module()
protected Module(java.lang.String name)
name
- The object name.protected Module(Module module)
module
- The module object to be copied.public java.lang.String getName()
public java.util.Collection<ModuleProcess> getProcesses()
public java.util.Collection<Module> getModules()
public void removeProcesses()
public java.util.List<ru.ispras.fortress.expression.Node> getProperties()
public void addProperty(ru.ispras.fortress.expression.Node property)
property
- The property to be added.public void add(Statement statement)
Statement
public void setParent(Statement statement)
Statement
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 java.lang.String getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Identifiable
printer
- Printer that provides an output string format.