00001 package edu.ksu.cis.bandera.bui.session.node;
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038 import java.util.*;
00039 import edu.ksu.cis.bandera.bui.session.analysis.*;
00040
00041 public final class AUnit extends PUnit
00042 {
00043 private final LinkedList _session_ = new TypedLinkedList(new Session_Cast());
00044
00045 private class Session_Cast implements Cast
00046 {
00047 public Object cast(Object o)
00048 {
00049 PSession node = (PSession) o;
00050
00051 if((node.parent() != null) &&
00052 (node.parent() != AUnit.this))
00053 {
00054 node.parent().removeChild(node);
00055 }
00056
00057 if((node.parent() == null) ||
00058 (node.parent() != AUnit.this))
00059 {
00060 node.parent(AUnit.this);
00061 }
00062
00063 return node;
00064 }
00065 }
00066 public AUnit()
00067 {
00068 }
00069 public AUnit(
00070 XPSession _session_)
00071 {
00072 if(_session_ != null)
00073 {
00074 while(_session_ instanceof X1PSession)
00075 {
00076 this._session_.addFirst(((X1PSession) _session_).getPSession());
00077 _session_ = ((X1PSession) _session_).getXPSession();
00078 }
00079 this._session_.addFirst(((X2PSession) _session_).getPSession());
00080 }
00081
00082 }
00083 public AUnit(
00084 List _session_)
00085 {
00086 {
00087 Object temp[] = _session_.toArray();
00088 for(int i = 0; i < temp.length; i++)
00089 {
00090 this._session_.add(temp[i]);
00091 }
00092 }
00093
00094 }
00095 public void apply(Switch sw)
00096 {
00097 ((Analysis) sw).caseAUnit(this);
00098 }
00099 public Object clone()
00100 {
00101 return new AUnit(
00102 cloneList(_session_));
00103 }
00104 public LinkedList getSession()
00105 {
00106 return _session_;
00107 }
00108 void removeChild(Node child)
00109 {
00110 if(_session_.remove(child))
00111 {
00112 return;
00113 }
00114
00115 }
00116 void replaceChild(Node oldChild, Node newChild)
00117 {
00118 for(ListIterator i = _session_.listIterator(); i.hasNext();)
00119 {
00120 if(i.next() == oldChild)
00121 {
00122 if(newChild != null)
00123 {
00124 i.set(newChild);
00125 oldChild.parent(null);
00126 return;
00127 }
00128
00129 i.remove();
00130 oldChild.parent(null);
00131 return;
00132 }
00133 }
00134
00135 }
00136 public void setSession(List list)
00137 {
00138 Object temp[] = list.toArray();
00139 for(int i = 0; i < temp.length; i++)
00140 {
00141 _session_.add(temp[i]);
00142 }
00143 }
00144 public String toString()
00145 {
00146 return ""
00147 + toString(_session_);
00148 }
00149 }