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 AOrConditionalExp extends PConditionalExp
00009 {
00010 private POrExp _orExp_;
00011
00012 public AOrConditionalExp()
00013 {
00014 }
00015 public AOrConditionalExp(
00016 POrExp _orExp_)
00017 {
00018 setOrExp(_orExp_);
00019
00020 }
00021 public void apply(Switch sw)
00022 {
00023 ((Analysis) sw).caseAOrConditionalExp(this);
00024 }
00025 public Object clone()
00026 {
00027 return new AOrConditionalExp(
00028 (POrExp) cloneNode(_orExp_));
00029 }
00030 public POrExp getOrExp()
00031 {
00032 return _orExp_;
00033 }
00034 void removeChild(Node child)
00035 {
00036 if(_orExp_ == child)
00037 {
00038 _orExp_ = null;
00039 return;
00040 }
00041
00042 }
00043 void replaceChild(Node oldChild, Node newChild)
00044 {
00045 if(_orExp_ == oldChild)
00046 {
00047 setOrExp((POrExp) newChild);
00048 return;
00049 }
00050
00051 }
00052 public void setOrExp(POrExp node)
00053 {
00054 if(_orExp_ != null)
00055 {
00056 _orExp_.parent(null);
00057 }
00058
00059 if(node != null)
00060 {
00061 if(node.parent() != null)
00062 {
00063 node.parent().removeChild(node);
00064 }
00065
00066 node.parent(this);
00067 }
00068
00069 _orExp_ = node;
00070 }
00071 public String toString()
00072 {
00073 return ""
00074 + toString(_orExp_);
00075 }
00076 }