KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > sablecc > sablecc > syntax3 > node > ADecimalCharacter


1 /* This file was generated by SableCC (http://www.sablecc.org/). */
2
3 package org.sablecc.sablecc.syntax3.node;
4
5 import org.sablecc.sablecc.syntax3.analysis.*;
6
7 @SuppressWarnings JavaDoc("nls")
8 public final class ADecimalCharacter extends PCharacter
9 {
10     private TDecimalCharacter _decimalCharacter_;
11
12     public ADecimalCharacter()
13     {
14         // Constructor
15
}
16
17     public ADecimalCharacter(
18         @SuppressWarnings JavaDoc("hiding") TDecimalCharacter _decimalCharacter_)
19     {
20         // Constructor
21
setDecimalCharacter(_decimalCharacter_);
22
23     }
24
25     @Override JavaDoc
26     public Object JavaDoc clone()
27     {
28         return new ADecimalCharacter(
29             cloneNode(this._decimalCharacter_));
30     }
31
32     public void apply(Switch sw)
33     {
34         ((Analysis) sw).caseADecimalCharacter(this);
35     }
36
37     public TDecimalCharacter getDecimalCharacter()
38     {
39         return this._decimalCharacter_;
40     }
41
42     public void setDecimalCharacter(TDecimalCharacter node)
43     {
44         if(this._decimalCharacter_ != null)
45         {
46             this._decimalCharacter_.parent(null);
47         }
48
49         if(node != null)
50         {
51             if(node.parent() != null)
52             {
53                 node.parent().removeChild(node);
54             }
55
56             node.parent(this);
57         }
58
59         this._decimalCharacter_ = node;
60     }
61
62     @Override JavaDoc
63     public String JavaDoc toString()
64     {
65         return ""
66             + toString(this._decimalCharacter_);
67     }
68
69     @Override JavaDoc
70     void removeChild(@SuppressWarnings JavaDoc("unused") Node child)
71     {
72         // Remove child
73
if(this._decimalCharacter_ == child)
74         {
75             this._decimalCharacter_ = null;
76             return;
77         }
78
79         throw new RuntimeException JavaDoc("Not a child.");
80     }
81
82     @Override JavaDoc
83     void replaceChild(@SuppressWarnings JavaDoc("unused") Node oldChild, @SuppressWarnings JavaDoc("unused") Node newChild)
84     {
85         // Replace child
86
if(this._decimalCharacter_ == oldChild)
87         {
88             setDecimalCharacter((TDecimalCharacter) newChild);
89             return;
90         }
91
92         throw new RuntimeException JavaDoc("Not a child.");
93     }
94 }
95
Popular Tags