public class EfsmModule extends Module
EfsmModule
and nested modules having their own variable space.Constructor and Description |
---|
EfsmModule(Module module)
Constructs the object that copies data from thw specified one.
|
EfsmModule(java.lang.String name)
Constructs the object with the specified name.
|
Modifier and Type | Method and Description |
---|---|
void |
addInitialEfsm(Efsm efsm)
Adds the specified EFSM into this module as so-called "initial EFSM" which must be
simulated in the very beginning of this module simulation.
|
void |
addNonInitialEfsm(Efsm efsm)
Adds the specified non-initial EFSM into this module.
|
Statement |
deepCopy()
Returns a copy of this statement and all it's sub-statements.
|
boolean |
equals(java.lang.Object object) |
java.util.Set<Efsm> |
getNonInitialEfsms()
Returns top-level non-initial EFSMs of this EFSM module.
|
int |
hashCode() |
java.lang.String |
toString() |
add, addProperty, getDescription, getModules, getName, getProcesses, getProperties, getType, isSequential, removeProcesses, setParent
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, getDefines, getDescription, getId, getParent, getStatement, getStatementNum, getUses, indexOf, isType, remove, removeAll, removeParent
addMetaInfo, addMetaInfo, addMetaInfo, addMetaInfo, getAllMetaInfo, getMetaInfo, getMetaInfo, getStringMetaInfo, getStringMetaInfo, hasMetaInfo, hasMetaInfo
public EfsmModule(java.lang.String name)
name
- The object name.java.lang.IllegalArgumentException
- if name
is null
.public EfsmModule(Module module)
The internal statements are omitted in the copy.
module
- The object which data is to be copied.public void addNonInitialEfsm(Efsm efsm)
efsm
- the efsm to be addedjava.lang.IllegalArgumentException
- if efsm
is null
public void addInitialEfsm(Efsm efsm)
efsm
- the efsm to be addedjava.lang.IllegalArgumentException
- if efsm
is null
public java.util.Set<Efsm> getNonInitialEfsms()
public Statement deepCopy()
Statement
public java.lang.String toString()
toString
in class java.lang.Object