joosc.node
Class AAndExp

java.lang.Object
  extended byjoosc.node.Node
      extended byjoosc.node.PExp
          extended byjoosc.node.AAndExp
All Implemented Interfaces:
java.lang.Cloneable, Switchable

public final class AAndExp
extends PExp


Constructor Summary
AAndExp()
           
AAndExp(PExp _left_, TAnd _and_, PExp _right_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TAnd getAnd()
           
 PExp getLeft()
           
 PExp getRight()
           
 void setAnd(TAnd node)
           
 void setLeft(PExp node)
           
 void setRight(PExp node)
           
 java.lang.String toString()
           
 
Methods inherited from class joosc.node.Node
cloneList, cloneNode, parent, replaceBy, toString, toString
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

AAndExp

public AAndExp()

AAndExp

public AAndExp(PExp _left_,
               TAnd _and_,
               PExp _right_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getLeft

public PExp getLeft()

setLeft

public void setLeft(PExp node)

getAnd

public TAnd getAnd()

setAnd

public void setAnd(TAnd node)

getRight

public PExp getRight()

setRight

public void setRight(PExp node)

toString

public java.lang.String toString()