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