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

X2TDim.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 edu.ksu.cis.bandera.specification.predicate.analysis.*;
00006 
00007 public final class X2TDim extends XTDim
00008 {
00009     private TDim _tDim_;
00010 
00011     public X2TDim()
00012     {
00013     }
00014     public X2TDim(
00015         TDim _tDim_)
00016     {
00017         setTDim(_tDim_);
00018     }
00019     public void apply(Switch sw)
00020     {
00021         throw new RuntimeException("Switch not supported.");
00022     }
00023     public Object clone()
00024     {
00025         throw new RuntimeException("Unsupported Operation");
00026     }
00027     public TDim getTDim()
00028     {
00029         return _tDim_;
00030     }
00031     void removeChild(Node child)
00032     {
00033         if(_tDim_ == child)
00034         {
00035             _tDim_ = null;
00036         }
00037     }
00038     void replaceChild(Node oldChild, Node newChild)
00039     {
00040     }
00041     public void setTDim(TDim node)
00042     {
00043         if(_tDim_ != null)
00044         {
00045             _tDim_.parent(null);
00046         }
00047 
00048         if(node != null)
00049         {
00050             if(node.parent() != null)
00051             {
00052                 node.parent().removeChild(node);
00053             }
00054 
00055             node.parent(this);
00056         }
00057 
00058         _tDim_ = node;
00059     }
00060     public String toString()
00061     {
00062         return "" +
00063             toString(_tDim_);
00064     }
00065 }

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