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