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

AFinallyOneTryStmt.java

00001 package edu.ksu.cis.bandera.jjjc.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 import ca.mcgill.sable.util.*;
00037 import edu.ksu.cis.bandera.jjjc.analysis.*;
00038 
00039 public final class AFinallyOneTryStmt extends POneTryStmt
00040 {
00041     private TTry _try_;
00042     private PBlock _block_;
00043     private final LinkedList _catchClause_ = new TypedLinkedList(new CatchClause_Cast());
00044     private PFinally _finally_;
00045 
00046     private class CatchClause_Cast implements Cast
00047     {
00048         public Object cast(Object o)
00049         {
00050             PCatchClause node = (PCatchClause) o;
00051 
00052             if((node.parent() != null) &&
00053                 (node.parent() != AFinallyOneTryStmt.this))
00054             {
00055                 node.parent().removeChild(node);
00056             }
00057 
00058             if((node.parent() == null) ||
00059                 (node.parent() != AFinallyOneTryStmt.this))
00060             {
00061                 node.parent(AFinallyOneTryStmt.this);
00062             }
00063 
00064             return node;
00065         }
00066     }
00067     public AFinallyOneTryStmt()
00068     {
00069     }
00070     public AFinallyOneTryStmt(
00071         TTry _try_,
00072         PBlock _block_,
00073         List _catchClause_,
00074         PFinally _finally_)
00075     {
00076         setTry(_try_);
00077 
00078         setBlock(_block_);
00079 
00080         {
00081             Object temp[] = _catchClause_.toArray();
00082             for(int i = 0; i < temp.length; i++)
00083             {
00084                 this._catchClause_.add(temp[i]);
00085             }
00086         }
00087 
00088         setFinally(_finally_);
00089 
00090     }
00091     public AFinallyOneTryStmt(
00092         TTry _try_,
00093         PBlock _block_,
00094         XPCatchClause _catchClause_,
00095         PFinally _finally_)
00096     {
00097         setTry(_try_);
00098 
00099         setBlock(_block_);
00100 
00101         if(_catchClause_ != null)
00102         {
00103             while(_catchClause_ instanceof X1PCatchClause)
00104             {
00105                 this._catchClause_.addFirst(((X1PCatchClause) _catchClause_).getPCatchClause());
00106                 _catchClause_ = ((X1PCatchClause) _catchClause_).getXPCatchClause();
00107             }
00108             this._catchClause_.addFirst(((X2PCatchClause) _catchClause_).getPCatchClause());
00109         }
00110 
00111         setFinally(_finally_);
00112 
00113     }
00114     public void apply(Switch sw)
00115     {
00116         ((Analysis) sw).caseAFinallyOneTryStmt(this);
00117     }
00118     public Object clone()
00119     {
00120         return new AFinallyOneTryStmt(
00121             (TTry) cloneNode(_try_),
00122             (PBlock) cloneNode(_block_),
00123             cloneList(_catchClause_),
00124             (PFinally) cloneNode(_finally_));
00125     }
00126     public PBlock getBlock()
00127     {
00128         return _block_;
00129     }
00130     public LinkedList getCatchClause()
00131     {
00132         return _catchClause_;
00133     }
00134     public PFinally getFinally()
00135     {
00136         return _finally_;
00137     }
00138     public TTry getTry()
00139     {
00140         return _try_;
00141     }
00142     void removeChild(Node child)
00143     {
00144         if(_try_ == child)
00145         {
00146             _try_ = null;
00147             return;
00148         }
00149 
00150         if(_block_ == child)
00151         {
00152             _block_ = null;
00153             return;
00154         }
00155 
00156         if(_catchClause_.remove(child))
00157         {
00158             return;
00159         }
00160 
00161         if(_finally_ == child)
00162         {
00163             _finally_ = null;
00164             return;
00165         }
00166 
00167     }
00168     void replaceChild(Node oldChild, Node newChild)
00169     {
00170         if(_try_ == oldChild)
00171         {
00172             setTry((TTry) newChild);
00173             return;
00174         }
00175 
00176         if(_block_ == oldChild)
00177         {
00178             setBlock((PBlock) newChild);
00179             return;
00180         }
00181 
00182         for(ListIterator i = _catchClause_.listIterator(); i.hasNext();)
00183         {
00184             if(i.next() == oldChild)
00185             {
00186                 if(newChild != null)
00187                 {
00188                     i.set(newChild);
00189                     oldChild.parent(null);
00190                     return;
00191                 }
00192 
00193                 i.remove();
00194                 oldChild.parent(null);
00195                 return;
00196             }
00197         }
00198 
00199         if(_finally_ == oldChild)
00200         {
00201             setFinally((PFinally) newChild);
00202             return;
00203         }
00204 
00205     }
00206     public void setBlock(PBlock node)
00207     {
00208         if(_block_ != null)
00209         {
00210             _block_.parent(null);
00211         }
00212 
00213         if(node != null)
00214         {
00215             if(node.parent() != null)
00216             {
00217                 node.parent().removeChild(node);
00218             }
00219 
00220             node.parent(this);
00221         }
00222 
00223         _block_ = node;
00224     }
00225     public void setCatchClause(List list)
00226     {
00227         Object temp[] = list.toArray();
00228         for(int i = 0; i < temp.length; i++)
00229         {
00230             _catchClause_.add(temp[i]);
00231         }
00232     }
00233     public void setFinally(PFinally node)
00234     {
00235         if(_finally_ != null)
00236         {
00237             _finally_.parent(null);
00238         }
00239 
00240         if(node != null)
00241         {
00242             if(node.parent() != null)
00243             {
00244                 node.parent().removeChild(node);
00245             }
00246 
00247             node.parent(this);
00248         }
00249 
00250         _finally_ = node;
00251     }
00252     public void setTry(TTry node)
00253     {
00254         if(_try_ != null)
00255         {
00256             _try_.parent(null);
00257         }
00258 
00259         if(node != null)
00260         {
00261             if(node.parent() != null)
00262             {
00263                 node.parent().removeChild(node);
00264             }
00265 
00266             node.parent(this);
00267         }
00268 
00269         _try_ = node;
00270     }
00271     public String toString()
00272     {
00273         return ""
00274             + toString(_try_)
00275             + toString(_block_)
00276             + toString(_catchClause_)
00277             + toString(_finally_);
00278     }
00279 }

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