joosc.node
Class ANotExp

java.lang.Object
  joosc.node.Node
      joosc.node.PExp
          joosc.node.ANotExp

All Implemented Interfaces:

java.lang.Cloneable, Switchable

public final class ANotExp

extends PExp

Constructor Summary

ANotExp()

ANotExp(TNot _not_, PExp _exp_)

Method Summary

void	apply(Switch sw)
java.lang.Object	clone()
PExp	getExp()
TNot	getNot()
void	setExp(PExp node)
void	setNot(TNot 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

ANotExp

public ANotExp()

ANotExp

public ANotExp(TNot _not_,
               PExp _exp_)

Method Detail

clone

public java.lang.Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getNot

public TNot getNot()

setNot

public void setNot(TNot node)

getExp

public PExp getExp()

setExp

public void setExp(PExp node)

toString

public java.lang.String toString()