|
1
2
3 package soot.jimple.parser.node;
4
5 import java.util.*;
6 import soot.jimple.parser.analysis.*;
7
8 public final class AVoidType extends PType
9 {
10 private TVoid _void_;
11
12 public AVoidType()
13 {
14 }
15
16 public AVoidType(
17 TVoid _void_)
18 {
19 setVoid(_void_);
20
21 }
22 public Object  clone()
23 {
24 return new AVoidType(
25 (TVoid) cloneNode(_void_));
26 }
27
28 public void apply(Switch sw)
29 {
30 ((Analysis) sw).caseAVoidType(this);
31 }
32
33 public TVoid getVoid()
34 {
35 return _void_;
36 }
37
38 public void setVoid(TVoid node)
39 {
40 if(_void_ != null)
41 {
42 _void_.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 _void_ = node;
56 }
57
58 public String toString()
59 {
60 return ""
61 + toString(_void_);
62 }
63
64 void removeChild(Node child)
65 {
66 if(_void_ == child)
67 {
68 _void_ = null;
69 return;
70 }
71
72 }
73
74 void replaceChild(Node oldChild, Node newChild)
75 {
76 if(_void_ == oldChild)
77 {
78 setVoid((TVoid) newChild);
79 return;
80 }
81
82 }
83 }
84 |
Popular Tags |
Java API By Example, From Geeks To Geeks.