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