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

APattern.java

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

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