lmf.formula.csp.node
Class ACspModule
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PModule
lmf.formula.csp.node.ACspModule
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspModule
- extends PModule
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspModule
public ACspModule()
ACspModule
public ACspModule(TModule _module_,
TName _name_,
PParameters _parameters_,
TExports _exports_,
PSpecification _specification_,
TEndModule _endModule_)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getModule
public TModule getModule()
setModule
public void setModule(TModule node)
getName
public TName getName()
setName
public void setName(TName node)
getParameters
public PParameters getParameters()
setParameters
public void setParameters(PParameters node)
getExports
public TExports getExports()
setExports
public void setExports(TExports node)
getSpecification
public PSpecification getSpecification()
setSpecification
public void setSpecification(PSpecification node)
getEndModule
public TEndModule getEndModule()
setEndModule
public void setEndModule(TEndModule node)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object