00001 package edu.ksu.cis.bandera.abstraction.specification.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.abstraction.specification.analysis.*;
00040
00041 public final class ADefaultToken extends PDefaultToken
00042 {
00043 private TDefault _default_;
00044 private TEq _eq_;
00045 private TId _id_;
00046 private TSemicolon _semicolon_;
00047
00048 public ADefaultToken()
00049 {
00050 }
00051 public ADefaultToken(
00052 TDefault _default_,
00053 TEq _eq_,
00054 TId _id_,
00055 TSemicolon _semicolon_)
00056 {
00057 setDefault(_default_);
00058
00059 setEq(_eq_);
00060
00061 setId(_id_);
00062
00063 setSemicolon(_semicolon_);
00064
00065 }
00066 public void apply(Switch sw)
00067 {
00068 ((Analysis) sw).caseADefaultToken(this);
00069 }
00070 public Object clone()
00071 {
00072 return new ADefaultToken(
00073 (TDefault) cloneNode(_default_),
00074 (TEq) cloneNode(_eq_),
00075 (TId) cloneNode(_id_),
00076 (TSemicolon) cloneNode(_semicolon_));
00077 }
00078 public TDefault getDefault()
00079 {
00080 return _default_;
00081 }
00082 public TEq getEq()
00083 {
00084 return _eq_;
00085 }
00086 public TId getId()
00087 {
00088 return _id_;
00089 }
00090 public TSemicolon getSemicolon()
00091 {
00092 return _semicolon_;
00093 }
00094 void removeChild(Node child)
00095 {
00096 if(_default_ == child)
00097 {
00098 _default_ = null;
00099 return;
00100 }
00101
00102 if(_eq_ == child)
00103 {
00104 _eq_ = null;
00105 return;
00106 }
00107
00108 if(_id_ == child)
00109 {
00110 _id_ = null;
00111 return;
00112 }
00113
00114 if(_semicolon_ == child)
00115 {
00116 _semicolon_ = null;
00117 return;
00118 }
00119
00120 }
00121 void replaceChild(Node oldChild, Node newChild)
00122 {
00123 if(_default_ == oldChild)
00124 {
00125 setDefault((TDefault) newChild);
00126 return;
00127 }
00128
00129 if(_eq_ == oldChild)
00130 {
00131 setEq((TEq) newChild);
00132 return;
00133 }
00134
00135 if(_id_ == oldChild)
00136 {
00137 setId((TId) newChild);
00138 return;
00139 }
00140
00141 if(_semicolon_ == oldChild)
00142 {
00143 setSemicolon((TSemicolon) newChild);
00144 return;
00145 }
00146
00147 }
00148 public void setDefault(TDefault node)
00149 {
00150 if(_default_ != null)
00151 {
00152 _default_.parent(null);
00153 }
00154
00155 if(node != null)
00156 {
00157 if(node.parent() != null)
00158 {
00159 node.parent().removeChild(node);
00160 }
00161
00162 node.parent(this);
00163 }
00164
00165 _default_ = node;
00166 }
00167 public void setEq(TEq node)
00168 {
00169 if(_eq_ != null)
00170 {
00171 _eq_.parent(null);
00172 }
00173
00174 if(node != null)
00175 {
00176 if(node.parent() != null)
00177 {
00178 node.parent().removeChild(node);
00179 }
00180
00181 node.parent(this);
00182 }
00183
00184 _eq_ = node;
00185 }
00186 public void setId(TId node)
00187 {
00188 if(_id_ != null)
00189 {
00190 _id_.parent(null);
00191 }
00192
00193 if(node != null)
00194 {
00195 if(node.parent() != null)
00196 {
00197 node.parent().removeChild(node);
00198 }
00199
00200 node.parent(this);
00201 }
00202
00203 _id_ = node;
00204 }
00205 public void setSemicolon(TSemicolon node)
00206 {
00207 if(_semicolon_ != null)
00208 {
00209 _semicolon_.parent(null);
00210 }
00211
00212 if(node != null)
00213 {
00214 if(node.parent() != null)
00215 {
00216 node.parent().removeChild(node);
00217 }
00218
00219 node.parent(this);
00220 }
00221
00222 _semicolon_ = node;
00223 }
00224 public String toString()
00225 {
00226 return ""
00227 + toString(_default_)
00228 + toString(_eq_)
00229 + toString(_id_)
00230 + toString(_semicolon_);
00231 }
00232 }