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

AAssertDef.java

00001 package edu.ksu.cis.bandera.specification.node;
00002 
00003 /* This file was generated by SableCC (http://www.sablecc.org/). */
00004 
00005 import java.util.*;
00006 import edu.ksu.cis.bandera.specification.analysis.*;
00007 
00008 public final class AAssertDef extends PDef
00009 {
00010     private PAssert _assert_;
00011 
00012     public AAssertDef()
00013     {
00014     }
00015     public AAssertDef(
00016         PAssert _assert_)
00017     {
00018         setAssert(_assert_);
00019 
00020     }
00021     public void apply(Switch sw)
00022     {
00023         ((Analysis) sw).caseAAssertDef(this);
00024     }
00025     public Object clone()
00026     {
00027         return new AAssertDef(
00028             (PAssert) cloneNode(_assert_));
00029     }
00030     public PAssert getAssert()
00031     {
00032         return _assert_;
00033     }
00034     void removeChild(Node child)
00035     {
00036         if(_assert_ == child)
00037         {
00038             _assert_ = null;
00039             return;
00040         }
00041 
00042     }
00043     void replaceChild(Node oldChild, Node newChild)
00044     {
00045         if(_assert_ == oldChild)
00046         {
00047             setAssert((PAssert) newChild);
00048             return;
00049         }
00050 
00051     }
00052     public void setAssert(PAssert node)
00053     {
00054         if(_assert_ != null)
00055         {
00056             _assert_.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         _assert_ = node;
00070     }
00071     public String toString()
00072     {
00073         return ""
00074             + toString(_assert_);
00075     }
00076 }

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