00001 package edu.ksu.cis.bandera.specification.predicate.node;
00002
00003
00004
00005 import java.util.*;
00006 import edu.ksu.cis.bandera.specification.predicate.analysis.*;
00007
00008 public final class AEqEqExp extends PEqExp
00009 {
00010 private PEqExp _eqExp_;
00011 private TEqual _equal_;
00012 private PRelExp _relExp_;
00013
00014 public AEqEqExp()
00015 {
00016 }
00017 public AEqEqExp(
00018 PEqExp _eqExp_,
00019 TEqual _equal_,
00020 PRelExp _relExp_)
00021 {
00022 setEqExp(_eqExp_);
00023
00024 setEqual(_equal_);
00025
00026 setRelExp(_relExp_);
00027
00028 }
00029 public void apply(Switch sw)
00030 {
00031 ((Analysis) sw).caseAEqEqExp(this);
00032 }
00033 public Object clone()
00034 {
00035 return new AEqEqExp(
00036 (PEqExp) cloneNode(_eqExp_),
00037 (TEqual) cloneNode(_equal_),
00038 (PRelExp) cloneNode(_relExp_));
00039 }
00040 public PEqExp getEqExp()
00041 {
00042 return _eqExp_;
00043 }
00044 public TEqual getEqual()
00045 {
00046 return _equal_;
00047 }
00048 public PRelExp getRelExp()
00049 {
00050 return _relExp_;
00051 }
00052 void removeChild(Node child)
00053 {
00054 if(_eqExp_ == child)
00055 {
00056 _eqExp_ = null;
00057 return;
00058 }
00059
00060 if(_equal_ == child)
00061 {
00062 _equal_ = null;
00063 return;
00064 }
00065
00066 if(_relExp_ == child)
00067 {
00068 _relExp_ = null;
00069 return;
00070 }
00071
00072 }
00073 void replaceChild(Node oldChild, Node newChild)
00074 {
00075 if(_eqExp_ == oldChild)
00076 {
00077 setEqExp((PEqExp) newChild);
00078 return;
00079 }
00080
00081 if(_equal_ == oldChild)
00082 {
00083 setEqual((TEqual) newChild);
00084 return;
00085 }
00086
00087 if(_relExp_ == oldChild)
00088 {
00089 setRelExp((PRelExp) newChild);
00090 return;
00091 }
00092
00093 }
00094 public void setEqExp(PEqExp node)
00095 {
00096 if(_eqExp_ != null)
00097 {
00098 _eqExp_.parent(null);
00099 }
00100
00101 if(node != null)
00102 {
00103 if(node.parent() != null)
00104 {
00105 node.parent().removeChild(node);
00106 }
00107
00108 node.parent(this);
00109 }
00110
00111 _eqExp_ = node;
00112 }
00113 public void setEqual(TEqual node)
00114 {
00115 if(_equal_ != null)
00116 {
00117 _equal_.parent(null);
00118 }
00119
00120 if(node != null)
00121 {
00122 if(node.parent() != null)
00123 {
00124 node.parent().removeChild(node);
00125 }
00126
00127 node.parent(this);
00128 }
00129
00130 _equal_ = node;
00131 }
00132 public void setRelExp(PRelExp node)
00133 {
00134 if(_relExp_ != null)
00135 {
00136 _relExp_.parent(null);
00137 }
00138
00139 if(node != null)
00140 {
00141 if(node.parent() != null)
00142 {
00143 node.parent().removeChild(node);
00144 }
00145
00146 node.parent(this);
00147 }
00148
00149 _relExp_ = node;
00150 }
00151 public String toString()
00152 {
00153 return ""
00154 + toString(_eqExp_)
00155 + toString(_equal_)
00156 + toString(_relExp_);
00157 }
00158 }