00001 package edu.ksu.cis.bandera.specification.node;
00002
00003
00004
00005 import java.util.*;
00006 import edu.ksu.cis.bandera.specification.analysis.*;
00007
00008 public final class AQtl extends PQtl
00009 {
00010 private TForall _forall_;
00011 private TLBracket _lBracket_;
00012 private PIds _ids_;
00013 private PQtlBinding _qtlBinding_;
00014 private PTypeExp _typeExp_;
00015 private TRBracket _rBracket_;
00016 private TDot _dot_;
00017
00018 public AQtl()
00019 {
00020 }
00021 public AQtl(
00022 TForall _forall_,
00023 TLBracket _lBracket_,
00024 PIds _ids_,
00025 PQtlBinding _qtlBinding_,
00026 PTypeExp _typeExp_,
00027 TRBracket _rBracket_,
00028 TDot _dot_)
00029 {
00030 setForall(_forall_);
00031
00032 setLBracket(_lBracket_);
00033
00034 setIds(_ids_);
00035
00036 setQtlBinding(_qtlBinding_);
00037
00038 setTypeExp(_typeExp_);
00039
00040 setRBracket(_rBracket_);
00041
00042 setDot(_dot_);
00043
00044 }
00045 public void apply(Switch sw)
00046 {
00047 ((Analysis) sw).caseAQtl(this);
00048 }
00049 public Object clone()
00050 {
00051 return new AQtl(
00052 (TForall) cloneNode(_forall_),
00053 (TLBracket) cloneNode(_lBracket_),
00054 (PIds) cloneNode(_ids_),
00055 (PQtlBinding) cloneNode(_qtlBinding_),
00056 (PTypeExp) cloneNode(_typeExp_),
00057 (TRBracket) cloneNode(_rBracket_),
00058 (TDot) cloneNode(_dot_));
00059 }
00060 public TDot getDot()
00061 {
00062 return _dot_;
00063 }
00064 public TForall getForall()
00065 {
00066 return _forall_;
00067 }
00068 public PIds getIds()
00069 {
00070 return _ids_;
00071 }
00072 public TLBracket getLBracket()
00073 {
00074 return _lBracket_;
00075 }
00076 public PQtlBinding getQtlBinding()
00077 {
00078 return _qtlBinding_;
00079 }
00080 public TRBracket getRBracket()
00081 {
00082 return _rBracket_;
00083 }
00084 public PTypeExp getTypeExp()
00085 {
00086 return _typeExp_;
00087 }
00088 void removeChild(Node child)
00089 {
00090 if(_forall_ == child)
00091 {
00092 _forall_ = null;
00093 return;
00094 }
00095
00096 if(_lBracket_ == child)
00097 {
00098 _lBracket_ = null;
00099 return;
00100 }
00101
00102 if(_ids_ == child)
00103 {
00104 _ids_ = null;
00105 return;
00106 }
00107
00108 if(_qtlBinding_ == child)
00109 {
00110 _qtlBinding_ = null;
00111 return;
00112 }
00113
00114 if(_typeExp_ == child)
00115 {
00116 _typeExp_ = null;
00117 return;
00118 }
00119
00120 if(_rBracket_ == child)
00121 {
00122 _rBracket_ = null;
00123 return;
00124 }
00125
00126 if(_dot_ == child)
00127 {
00128 _dot_ = null;
00129 return;
00130 }
00131
00132 }
00133 void replaceChild(Node oldChild, Node newChild)
00134 {
00135 if(_forall_ == oldChild)
00136 {
00137 setForall((TForall) newChild);
00138 return;
00139 }
00140
00141 if(_lBracket_ == oldChild)
00142 {
00143 setLBracket((TLBracket) newChild);
00144 return;
00145 }
00146
00147 if(_ids_ == oldChild)
00148 {
00149 setIds((PIds) newChild);
00150 return;
00151 }
00152
00153 if(_qtlBinding_ == oldChild)
00154 {
00155 setQtlBinding((PQtlBinding) newChild);
00156 return;
00157 }
00158
00159 if(_typeExp_ == oldChild)
00160 {
00161 setTypeExp((PTypeExp) newChild);
00162 return;
00163 }
00164
00165 if(_rBracket_ == oldChild)
00166 {
00167 setRBracket((TRBracket) newChild);
00168 return;
00169 }
00170
00171 if(_dot_ == oldChild)
00172 {
00173 setDot((TDot) newChild);
00174 return;
00175 }
00176
00177 }
00178 public void setDot(TDot node)
00179 {
00180 if(_dot_ != null)
00181 {
00182 _dot_.parent(null);
00183 }
00184
00185 if(node != null)
00186 {
00187 if(node.parent() != null)
00188 {
00189 node.parent().removeChild(node);
00190 }
00191
00192 node.parent(this);
00193 }
00194
00195 _dot_ = node;
00196 }
00197 public void setForall(TForall node)
00198 {
00199 if(_forall_ != null)
00200 {
00201 _forall_.parent(null);
00202 }
00203
00204 if(node != null)
00205 {
00206 if(node.parent() != null)
00207 {
00208 node.parent().removeChild(node);
00209 }
00210
00211 node.parent(this);
00212 }
00213
00214 _forall_ = node;
00215 }
00216 public void setIds(PIds node)
00217 {
00218 if(_ids_ != null)
00219 {
00220 _ids_.parent(null);
00221 }
00222
00223 if(node != null)
00224 {
00225 if(node.parent() != null)
00226 {
00227 node.parent().removeChild(node);
00228 }
00229
00230 node.parent(this);
00231 }
00232
00233 _ids_ = node;
00234 }
00235 public void setLBracket(TLBracket node)
00236 {
00237 if(_lBracket_ != null)
00238 {
00239 _lBracket_.parent(null);
00240 }
00241
00242 if(node != null)
00243 {
00244 if(node.parent() != null)
00245 {
00246 node.parent().removeChild(node);
00247 }
00248
00249 node.parent(this);
00250 }
00251
00252 _lBracket_ = node;
00253 }
00254 public void setQtlBinding(PQtlBinding node)
00255 {
00256 if(_qtlBinding_ != null)
00257 {
00258 _qtlBinding_.parent(null);
00259 }
00260
00261 if(node != null)
00262 {
00263 if(node.parent() != null)
00264 {
00265 node.parent().removeChild(node);
00266 }
00267
00268 node.parent(this);
00269 }
00270
00271 _qtlBinding_ = node;
00272 }
00273 public void setRBracket(TRBracket node)
00274 {
00275 if(_rBracket_ != null)
00276 {
00277 _rBracket_.parent(null);
00278 }
00279
00280 if(node != null)
00281 {
00282 if(node.parent() != null)
00283 {
00284 node.parent().removeChild(node);
00285 }
00286
00287 node.parent(this);
00288 }
00289
00290 _rBracket_ = node;
00291 }
00292 public void setTypeExp(PTypeExp node)
00293 {
00294 if(_typeExp_ != null)
00295 {
00296 _typeExp_.parent(null);
00297 }
00298
00299 if(node != null)
00300 {
00301 if(node.parent() != null)
00302 {
00303 node.parent().removeChild(node);
00304 }
00305
00306 node.parent(this);
00307 }
00308
00309 _typeExp_ = node;
00310 }
00311 public String toString()
00312 {
00313 return ""
00314 + toString(_forall_)
00315 + toString(_lBracket_)
00316 + toString(_ids_)
00317 + toString(_qtlBinding_)
00318 + toString(_typeExp_)
00319 + toString(_rBracket_)
00320 + toString(_dot_);
00321 }
00322 }
