00001 package edu.ksu.cis.bandera.abstraction.specification.node; 00002 00003 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 00004 * Bandera, a Java(TM) analysis and transformation toolkit * 00005 * Copyright (C) 1998-2001 SAnToS Laboratories (santos@cis.ksu.edu) * 00006 00007 * All rights reserved. * 00008 * * 00009 * This work was done as a project in the SAnToS Laboratory, * 00010 * Department of Computing and Information Sciences, Kansas State * 00011 * University, USA (http://www.cis.ksu.edu/santos). * 00012 * It is understood that any modification not identified as such is * 00013 * not covered by the preceding statement. * 00014 * * 00015 * This work is free software; you can redistribute it and/or * 00016 * modify it under the terms of the GNU Library General Public * 00017 * License as published by the Free Software Foundation; either * 00018 * version 2 of the License, or (at your option) any later version. * 00019 * * 00020 * This work is distributed in the hope that it will be useful, * 00021 * but WITHOUT ANY WARRANTY; without even the implied warranty of * 00022 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * 00023 * Library General Public License for more details. * 00024 * * 00025 * You should have received a copy of the GNU Library General Public * 00026 * License along with this toolkit; if not, write to the * 00027 * Free Software Foundation, Inc., 59 Temple Place - Suite 330, * 00028 * Boston, MA 02111-1307, USA. * 00029 * * 00030 * Java is a trademark of Sun Microsystems, Inc. * 00031 * * 00032 * To submit a bug report, send a comment, or get the latest news on * 00033 * this project and other SAnToS projects, please visit the web-site * 00034 * http://www.cis.ksu.edu/santos * 00035 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */ 00036 /* This file was generated by SableCC (http://www.sable.mcgill.ca/sablecc/). */ 00037 00038 import java.util.*; 00039 import edu.ksu.cis.bandera.abstraction.specification.analysis.*; 00040 00041 public final class AEqualTOp extends PTOp 00042 { 00043 private TEqual _equal_; 00044 00045 public AEqualTOp() 00046 { 00047 } 00048 public AEqualTOp( 00049 TEqual _equal_) 00050 { 00051 setEqual(_equal_); 00052 00053 } 00054 public void apply(Switch sw) 00055 { 00056 ((Analysis) sw).caseAEqualTOp(this); 00057 } 00058 public Object clone() 00059 { 00060 return new AEqualTOp( 00061 (TEqual) cloneNode(_equal_)); 00062 } 00063 public TEqual getEqual() 00064 { 00065 return _equal_; 00066 } 00067 void removeChild(Node child) 00068 { 00069 if(_equal_ == child) 00070 { 00071 _equal_ = null; 00072 return; 00073 } 00074 00075 } 00076 void replaceChild(Node oldChild, Node newChild) 00077 { 00078 if(_equal_ == oldChild) 00079 { 00080 setEqual((TEqual) newChild); 00081 return; 00082 } 00083 00084 } 00085 public void setEqual(TEqual node) 00086 { 00087 if(_equal_ != null) 00088 { 00089 _equal_.parent(null); 00090 } 00091 00092 if(node != null) 00093 { 00094 if(node.parent() != null) 00095 { 00096 node.parent().removeChild(node); 00097 } 00098 00099 node.parent(this); 00100 } 00101 00102 _equal_ = node; 00103 } 00104 public String toString() 00105 { 00106 return "" 00107 + toString(_equal_); 00108 } 00109 }