lmf.formula.csp.node
Class ACspChannelDefinition

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

public final class ACspChannelDefinition
extends PDefinition


Constructor Summary
ACspChannelDefinition()
           
ACspChannelDefinition(TChannel _channel_, PChannelList _channelList_, PTypeSpecifier _typeSpecifier_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TChannel getChannel()
           
 PChannelList getChannelList()
           
 PTypeSpecifier getTypeSpecifier()
           
 void setChannel(TChannel node)
           
 void setChannelList(PChannelList node)
           
 void setTypeSpecifier(PTypeSpecifier 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

ACspChannelDefinition

public ACspChannelDefinition()

ACspChannelDefinition

public ACspChannelDefinition(TChannel _channel_,
                             PChannelList _channelList_,
                             PTypeSpecifier _typeSpecifier_)
Method Detail

clone

public java.lang.Object clone()
Specified by:
clone in class Node

apply

public void apply(Switch sw)

getChannel

public TChannel getChannel()

setChannel

public void setChannel(TChannel node)

getChannelList

public PChannelList getChannelList()

setChannelList

public void setChannelList(PChannelList node)

getTypeSpecifier

public PTypeSpecifier getTypeSpecifier()

setTypeSpecifier

public void setTypeSpecifier(PTypeSpecifier node)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object