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.
|
java.lang.String |
getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Returns a string description in the format of the specified printer.
|
java.lang.String |
getFullName()
Returns a full name.
|
java.lang.String |
getInstanceName()
Returns instance name.
|
java.util.Collection<Module> |
getModules()
Returns sub-modules.
|
java.lang.String |
getName()
Returns the module name.
|
java.util.Collection<ModuleProcess> |
getProcesses()
Returns processes.
|
StatementType |
getType()
Returns statement type.
|
boolean |
isSequential()
Checks whether statement is of sequential kind.
|
void |
removeProcesses()
Remove internal processes.
|
protected void |
setInstanceName(java.lang.String instanceName)
Sets instance name.
|
void |
setParent(Statement statement)
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, 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 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.lang.String getFullName()
A full name is a combination of name and instance name.
protected void setInstanceName(java.lang.String instanceName)
instanceName
- The name of current instance.public java.lang.String getInstanceName()
public java.util.Collection<ModuleProcess> getProcesses()
public java.util.Collection<Module> getModules()
public void removeProcesses()
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.