00001 package edu.ksu.cis.bandera.specification.pattern.node;
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
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 }