public class EfsmModule extends VariableContainer
EfsmModule
and nested modules having their own variable space.NEW_VAR_PREFIX
Constructor and Description |
---|
EfsmModule(java.lang.String name)
Constructs an empty EFSM module.
|
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 |
addNestedModule(EfsmModule efsmModule)
Adds the specified EFSM module into this module.
|
void |
addNonInitialEfsm(Efsm efsm)
Adds the specified non-initial EFSM into this module.
|
boolean |
equals(java.lang.Object object) |
java.util.Set<Efsm> |
getInitialEfsms()
Returns top-level initial EFSMs of this EFSM module.
|
java.lang.String |
getName()
Returns this module's name.
|
java.util.Set<EfsmModule> |
getNestedModules()
Returns nested EFSM modules of this EFSM container.
|
java.util.Set<Efsm> |
getNonInitialEfsms()
Returns top-level non-initial EFSMs of this EFSM module.
|
EfsmModule |
getParent()
Returns parent module for this one.
|
int |
hashCode() |
void |
setParent(EfsmModule parent)
Sets the specified module as parent for this one.
|
java.lang.String |
toString() |
containsInput, containsOutput, containsRegister, containsVariable, containsVariable, declareVariable, declareVariable, declareVariable, declareVariables, getBindings, getDataType, getDeclaration, getDeclarations, getInitialValue, getInputNames, getInvariant, getOutputNames, getRegisterNames, getVariable, getVariables, setBindings
addMetaInfo, addMetaInfo, addMetaInfo, addMetaInfo, getMetaInfo, getMetaInfo, getMetaInfo, hasMetaInfo, hasMetaInfo, removeMetaInfo
public EfsmModule(java.lang.String name)
name
- a name of the modulejava.lang.IllegalArgumentException
- if name
is null
public void setParent(EfsmModule parent)
This method also checks whether parent module contains this one as a child, and if not - adds it to the nested modules collection.
parent
- module to be set as parentpublic EfsmModule getParent()
public java.lang.String getName()
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 java.util.Set<Efsm> getInitialEfsms()
public void addNestedModule(EfsmModule efsmModule)
efsmModule
- the EFSM module to be addedjava.lang.IllegalArgumentException
- if efsmModule
is null
public java.util.Set<EfsmModule> getNestedModules()
public int hashCode()
hashCode
in class VariableContainer
public boolean equals(java.lang.Object object)
equals
in class VariableContainer
public java.lang.String toString()
toString
in class java.lang.Object