|
1
2
3 package soot.jimple.parser.node;
4
5 import java.util.*;
6 import soot.jimple.parser.analysis.*;
7
8 public final class AUnknownJimpleType extends PJimpleType
9 {
10 private TUnknown _unknown_;
11
12 public AUnknownJimpleType()
13 {
14 }
15
16 public AUnknownJimpleType(
17 TUnknown _unknown_)
18 {
19 setUnknown(_unknown_);
20
21 }
22 public Object  clone()
23 {
24 return new AUnknownJimpleType(
25 (TUnknown) cloneNode(_unknown_));
26 }
27
28 public void apply(Switch sw)
29 {
30 ((Analysis) sw).caseAUnknownJimpleType(this);
31 }
32
33 public TUnknown getUnknown()
34 {
35 return _unknown_;
36 }
37
38 public void setUnknown(TUnknown node)
39 {
40 if(_unknown_ != null)
41 {
42 _unknown_.parent(null);
43 }
44
45 if(node != null)
46 {
47 if(node.parent() != null)
48 {
49 node.parent().removeChild(node);
50 }
51
52 node.parent(this);
53 }
54
55 _unknown_ = node;
56 }
57
58 public String toString()
59 {
60 return ""
61 + toString(_unknown_);
62 }
63
64 void removeChild(Node child)
65 {
66 if(_unknown_ == child)
67 {
68 _unknown_ = null;
69 return;
70 }
71
72 }
73
74 void replaceChild(Node oldChild, Node newChild)
75 {
76 if(_unknown_ == oldChild)
77 {
78 setUnknown((TUnknown) newChild);
79 return;
80 }
81
82 }
83 }
84 |
Popular Tags |
Java API By Example, From Geeks To Geeks.