|
1 |
| package edu.rice.cs.javalanglevels.tree; |
|
2 |
| |
|
3 |
| import edu.rice.cs.javalanglevels.SourceInfo; |
|
4 |
| |
|
5 |
| |
|
6 |
| |
|
7 |
| |
|
8 |
| |
|
9 |
| |
|
10 |
| public class DefaultCase extends SwitchCase { |
|
11 |
| |
|
12 |
| |
|
13 |
| |
|
14 |
| |
|
15 |
| |
|
16 |
18
| public DefaultCase(SourceInfo in_sourceInfo, UnbracedBody in_code) {
|
|
17 |
18
| super(in_sourceInfo, in_code);
|
|
18 |
| } |
|
19 |
| |
|
20 |
| |
|
21 |
19
| public <RetType> RetType visit(JExpressionIFVisitor<RetType> visitor) { return visitor.forDefaultCase(this); }
|
|
22 |
0
| public void visit(JExpressionIFVisitor_void visitor) { visitor.forDefaultCase(this); }
|
|
23 |
| |
|
24 |
| |
|
25 |
| |
|
26 |
| |
|
27 |
| |
|
28 |
0
| public java.lang.String toString() {
|
|
29 |
0
| java.io.StringWriter w = new java.io.StringWriter();
|
|
30 |
0
| output(w);
|
|
31 |
0
| return w.toString();
|
|
32 |
| } |
|
33 |
| |
|
34 |
| |
|
35 |
| |
|
36 |
| |
|
37 |
0
| public void output(java.io.Writer writer) {
|
|
38 |
0
| outputHelp(new TabPrintWriter(writer, 2));
|
|
39 |
| } |
|
40 |
| |
|
41 |
2
| public void outputHelp(TabPrintWriter writer) {
|
|
42 |
2
| writer.print("DefaultCase" + ":");
|
|
43 |
2
| writer.indent();
|
|
44 |
| |
|
45 |
2
| writer.startLine("");
|
|
46 |
2
| writer.print("sourceInfo = ");
|
|
47 |
2
| SourceInfo temp_sourceInfo = getSourceInfo();
|
|
48 |
2
| if (temp_sourceInfo == null) {
|
|
49 |
0
| writer.print("null");
|
|
50 |
| } else { |
|
51 |
2
| writer.print(temp_sourceInfo);
|
|
52 |
| } |
|
53 |
| |
|
54 |
2
| writer.startLine("");
|
|
55 |
2
| writer.print("code = ");
|
|
56 |
2
| UnbracedBody temp_code = getCode();
|
|
57 |
2
| if (temp_code == null) {
|
|
58 |
0
| writer.print("null");
|
|
59 |
| } else { |
|
60 |
2
| temp_code.outputHelp(writer);
|
|
61 |
| } |
|
62 |
2
| writer.unindent();
|
|
63 |
| } |
|
64 |
| |
|
65 |
| |
|
66 |
| |
|
67 |
| |
|
68 |
| |
|
69 |
| |
|
70 |
0
| public boolean equals(java.lang.Object obj) {
|
|
71 |
0
| if (obj == null) return false;
|
|
72 |
0
| if ((obj.getClass() != this.getClass()) || (obj.hashCode() != this.hashCode())) {
|
|
73 |
0
| return false;
|
|
74 |
| } else { |
|
75 |
0
| DefaultCase casted = (DefaultCase) obj;
|
|
76 |
0
| if (! (getCode().equals(casted.getCode()))) return false;
|
|
77 |
0
| return true;
|
|
78 |
| } |
|
79 |
| } |
|
80 |
| |
|
81 |
| |
|
82 |
| |
|
83 |
| |
|
84 |
| |
|
85 |
| |
|
86 |
| |
|
87 |
0
| protected int generateHashCode() {
|
|
88 |
0
| int code = getClass().hashCode();
|
|
89 |
0
| code ^= 0;
|
|
90 |
0
| code ^= getCode().hashCode();
|
|
91 |
0
| return code;
|
|
92 |
| } |
|
93 |
| } |