lmf.formula.csp.node
Class ACspModule

java.lang.Object
  extended by lmf.formula.csp.node.Node
      extended by lmf.formula.csp.node.PModule
          extended by lmf.formula.csp.node.ACspModule
All Implemented Interfaces:
java.lang.Cloneable, Switchable

public final class ACspModule
extends PModule


Constructor Summary
ACspModule()
           
ACspModule(TModule _module_, TName _name_, PParameters _parameters_, TExports _exports_, PSpecification _specification_, TEndModule _endModule_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TEndModule getEndModule()
           
 TExports getExports()
           
 TModule getModule()
           
 TName getName()
           
 PParameters getParameters()
           
 PSpecification getSpecification()
           
 void setEndModule(TEndModule node)
           
 void setExports(TExports node)
           
 void setModule(TModule node)
           
 void setName(TName node)
           
 void setParameters(PParameters node)
           
 void setSpecification(PSpecification node)
           
 java.lang.String toString()
           
 
Methods inherited from class lmf.formula.csp.node.Node
parent, replaceBy
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ACspModule

public ACspModule()

ACspModule

public ACspModule(TModule _module_,
                  TName _name_,
                  PParameters _parameters_,
                  TExports _exports_,
                  PSpecification _specification_,
                  TEndModule _endModule_)
Method Detail

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