KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > soot > jimple > parser > node > ADoubleBaseTypeNoName


1 /* This file was generated by SableCC (http://www.sablecc.org/). */
2
3 package soot.jimple.parser.node;
4
5 import java.util.*;
6 import soot.jimple.parser.analysis.*;
7
8 public final class ADoubleBaseTypeNoName extends PBaseTypeNoName
9 {
10     private TDouble _double_;
11
12     public ADoubleBaseTypeNoName()
13     {
14     }
15
16     public ADoubleBaseTypeNoName(
17         TDouble _double_)
18     {
19         setDouble(_double_);
20
21     }
22     public Object JavaDoc clone()
23     {
24         return new ADoubleBaseTypeNoName(
25             (TDouble) cloneNode(_double_));
26     }
27
28     public void apply(Switch sw)
29     {
30         ((Analysis) sw).caseADoubleBaseTypeNoName(this);
31     }
32
33     public TDouble getDouble()
34     {
35         return _double_;
36     }
37
38     public void setDouble(TDouble node)
39     {
40         if(_double_ != null)
41         {
42             _double_.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         _double_ = node;
56     }
57
58     public String JavaDoc toString()
59     {
60         return ""
61             + toString(_double_);
62     }
63
64     void removeChild(Node child)
65     {
66         if(_double_ == child)
67         {
68             _double_ = null;
69             return;
70         }
71
72     }
73
74     void replaceChild(Node oldChild, Node newChild)
75     {
76         if(_double_ == oldChild)
77         {
78             setDouble((TDouble) newChild);
79             return;
80         }
81
82     }
83 }
84
Popular Tags