Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

AFalseLiteral.java

00001 package edu.ksu.cis.bandera.specification.predicate.node;
00002 
00003 /* This file was generated by SableCC (http://www.sable.mcgill.ca/sablecc/). */
00004 
00005 import java.util.*;
00006 import edu.ksu.cis.bandera.specification.predicate.analysis.*;
00007 
00008 public final class AFalseLiteral extends PLiteral
00009 {
00010     private TFalse _false_;
00011 
00012     public AFalseLiteral()
00013     {
00014     }
00015     public AFalseLiteral(
00016         TFalse _false_)
00017     {
00018         setFalse(_false_);
00019 
00020     }
00021     public void apply(Switch sw)
00022     {
00023         ((Analysis) sw).caseAFalseLiteral(this);
00024     }
00025     public Object clone()
00026     {
00027         return new AFalseLiteral(
00028             (TFalse) cloneNode(_false_));
00029     }
00030     public TFalse getFalse()
00031     {
00032         return _false_;
00033     }
00034     void removeChild(Node child)
00035     {
00036         if(_false_ == child)
00037         {
00038             _false_ = null;
00039             return;
00040         }
00041 
00042     }
00043     void replaceChild(Node oldChild, Node newChild)
00044     {
00045         if(_false_ == oldChild)
00046         {
00047             setFalse((TFalse) newChild);
00048             return;
00049         }
00050 
00051     }
00052     public void setFalse(TFalse node)
00053     {
00054         if(_false_ != null)
00055         {
00056             _false_.parent(null);
00057         }
00058 
00059         if(node != null)
00060         {
00061             if(node.parent() != null)
00062             {
00063                 node.parent().removeChild(node);
00064             }
00065 
00066             node.parent(this);
00067         }
00068 
00069         _false_ = node;
00070     }
00071     public String toString()
00072     {
00073         return ""
00074             + toString(_false_);
00075     }
00076 }

Generated at Thu Feb 7 06:37:19 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001