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 APlusAddExp extends PAddExp
00009 {
00010 private PAddExp _addExp_;
00011 private TPlus _plus_;
00012 private PMultExp _multExp_;
00013
00014 public APlusAddExp()
00015 {
00016 }
00017 public APlusAddExp(
00018 PAddExp _addExp_,
00019 TPlus _plus_,
00020 PMultExp _multExp_)
00021 {
00022 setAddExp(_addExp_);
00023
00024 setPlus(_plus_);
00025
00026 setMultExp(_multExp_);
00027
00028 }
00029 public void apply(Switch sw)
00030 {
00031 ((Analysis) sw).caseAPlusAddExp(this);
00032 }
00033 public Object clone()
00034 {
00035 return new APlusAddExp(
00036 (PAddExp) cloneNode(_addExp_),
00037 (TPlus) cloneNode(_plus_),
00038 (PMultExp) cloneNode(_multExp_));
00039 }
00040 public PAddExp getAddExp()
00041 {
00042 return _addExp_;
00043 }
00044 public PMultExp getMultExp()
00045 {
00046 return _multExp_;
00047 }
00048 public TPlus getPlus()
00049 {
00050 return _plus_;
00051 }
00052 void removeChild(Node child)
00053 {
00054 if(_addExp_ == child)
00055 {
00056 _addExp_ = null;
00057 return;
00058 }
00059
00060 if(_plus_ == child)
00061 {
00062 _plus_ = null;
00063 return;
00064 }
00065
00066 if(_multExp_ == child)
00067 {
00068 _multExp_ = null;
00069 return;
00070 }
00071
00072 }
00073 void replaceChild(Node oldChild, Node newChild)
00074 {
00075 if(_addExp_ == oldChild)
00076 {
00077 setAddExp((PAddExp) newChild);
00078 return;
00079 }
00080
00081 if(_plus_ == oldChild)
00082 {
00083 setPlus((TPlus) newChild);
00084 return;
00085 }
00086
00087 if(_multExp_ == oldChild)
00088 {
00089 setMultExp((PMultExp) newChild);
00090 return;
00091 }
00092
00093 }
00094 public void setAddExp(PAddExp node)
00095 {
00096 if(_addExp_ != null)
00097 {
00098 _addExp_.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 _addExp_ = node;
00112 }
00113 public void setMultExp(PMultExp node)
00114 {
00115 if(_multExp_ != null)
00116 {
00117 _multExp_.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 _multExp_ = node;
00131 }
00132 public void setPlus(TPlus node)
00133 {
00134 if(_plus_ != null)
00135 {
00136 _plus_.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 _plus_ = node;
00150 }
00151 public String toString()
00152 {
00153 return ""
00154 + toString(_addExp_)
00155 + toString(_plus_)
00156 + toString(_multExp_);
00157 }
00158 }