sddl.syntax.node
Class ATranslatedRightExp

java.lang.Object
  extended by sddl.syntax.node.Node
      extended by sddl.syntax.node.PRightExp
          extended by sddl.syntax.node.ATranslatedRightExp
All Implemented Interfaces:
java.lang.Cloneable, Switchable

public final class ATranslatedRightExp
extends PRightExp


Constructor Summary
ATranslatedRightExp()
           
ATranslatedRightExp(PRightExp _rightExp_, TTranslatedKwd _translatedKwd_, TLPar _lPar_, PTerm _xtranslate_, TComma _comma_, PEqExp _ytranslate_, TRPar _rPar_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TComma getComma()
           
 TLPar getLPar()
           
 PRightExp getRightExp()
           
 TRPar getRPar()
           
 TTranslatedKwd getTranslatedKwd()
           
 PTerm getXtranslate()
           
 PEqExp getYtranslate()
           
 void setComma(TComma node)
           
 void setLPar(TLPar node)
           
 void setRightExp(PRightExp node)
           
 void setRPar(TRPar node)
           
 void setTranslatedKwd(TTranslatedKwd node)
           
 void setXtranslate(PTerm node)
           
 void setYtranslate(PEqExp node)
           
 java.lang.String toString()
           
 
Methods inherited from class sddl.syntax.node.Node
parent, replaceBy
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ATranslatedRightExp

public ATranslatedRightExp()

ATranslatedRightExp

public ATranslatedRightExp(PRightExp _rightExp_,
                           TTranslatedKwd _translatedKwd_,
                           TLPar _lPar_,
                           PTerm _xtranslate_,
                           TComma _comma_,
                           PEqExp _ytranslate_,
                           TRPar _rPar_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getRightExp

public PRightExp getRightExp()

setRightExp

public void setRightExp(PRightExp node)

getTranslatedKwd

public TTranslatedKwd getTranslatedKwd()

setTranslatedKwd

public void setTranslatedKwd(TTranslatedKwd node)

getLPar

public TLPar getLPar()

setLPar

public void setLPar(TLPar node)

getXtranslate

public PTerm getXtranslate()

setXtranslate

public void setXtranslate(PTerm node)

getComma

public TComma getComma()

setComma

public void setComma(TComma node)

getYtranslate

public PEqExp getYtranslate()

setYtranslate

public void setYtranslate(PEqExp node)

getRPar

public TRPar getRPar()

setRPar

public void setRPar(TRPar node)

toString

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