|
1 |
| package edu.rice.cs.javalanglevels.tree; |
|
2 |
| |
|
3 |
| import edu.rice.cs.javalanglevels.SourceInfo; |
|
4 |
| |
|
5 |
| |
|
6 |
| |
|
7 |
| |
|
8 |
| |
|
9 |
| |
|
10 |
| public class ArrayType extends Type { |
|
11 |
| private final Type _elementType; |
|
12 |
| |
|
13 |
| |
|
14 |
| |
|
15 |
| |
|
16 |
| |
|
17 |
91
| public ArrayType(SourceInfo in_sourceInfo, String in_name, Type in_elementType) {
|
|
18 |
91
| super(in_sourceInfo, in_name);
|
|
19 |
| |
|
20 |
91
| if (in_elementType == null) {
|
|
21 |
0
| throw new java.lang.IllegalArgumentException("Parameter 'elementType' to the ArrayType constructor was null. This class may not have null field values.");
|
|
22 |
| } |
|
23 |
91
| _elementType = in_elementType;
|
|
24 |
| } |
|
25 |
| |
|
26 |
78
| final public Type getElementType() { return _elementType; }
|
|
27 |
| |
|
28 |
22
| public <RetType> RetType visit(JExpressionIFVisitor<RetType> visitor) { return visitor.forArrayType(this); }
|
|
29 |
0
| public void visit(JExpressionIFVisitor_void visitor) { visitor.forArrayType(this); }
|
|
30 |
| |
|
31 |
| |
|
32 |
| |
|
33 |
| |
|
34 |
| |
|
35 |
0
| public java.lang.String toString() {
|
|
36 |
0
| java.io.StringWriter w = new java.io.StringWriter();
|
|
37 |
0
| output(w);
|
|
38 |
0
| return w.toString();
|
|
39 |
| } |
|
40 |
| |
|
41 |
| |
|
42 |
| |
|
43 |
| |
|
44 |
0
| public void output(java.io.Writer writer) {
|
|
45 |
0
| outputHelp(new TabPrintWriter(writer, 2));
|
|
46 |
| } |
|
47 |
| |
|
48 |
78
| public void outputHelp(TabPrintWriter writer) {
|
|
49 |
78
| writer.print("ArrayType" + ":");
|
|
50 |
78
| writer.indent();
|
|
51 |
| |
|
52 |
78
| writer.startLine("");
|
|
53 |
78
| writer.print("sourceInfo = ");
|
|
54 |
78
| SourceInfo temp_sourceInfo = getSourceInfo();
|
|
55 |
78
| if (temp_sourceInfo == null) {
|
|
56 |
0
| writer.print("null");
|
|
57 |
| } else { |
|
58 |
78
| writer.print(temp_sourceInfo);
|
|
59 |
| } |
|
60 |
| |
|
61 |
78
| writer.startLine("");
|
|
62 |
78
| writer.print("name = ");
|
|
63 |
78
| String temp_name = getName();
|
|
64 |
78
| if (temp_name == null) {
|
|
65 |
0
| writer.print("null");
|
|
66 |
| } else { |
|
67 |
78
| writer.print(temp_name);
|
|
68 |
| } |
|
69 |
| |
|
70 |
78
| writer.startLine("");
|
|
71 |
78
| writer.print("elementType = ");
|
|
72 |
78
| Type temp_elementType = getElementType();
|
|
73 |
78
| if (temp_elementType == null) {
|
|
74 |
0
| writer.print("null");
|
|
75 |
| } else { |
|
76 |
78
| temp_elementType.outputHelp(writer);
|
|
77 |
| } |
|
78 |
78
| writer.unindent();
|
|
79 |
| } |
|
80 |
| |
|
81 |
| |
|
82 |
| |
|
83 |
| |
|
84 |
| |
|
85 |
| |
|
86 |
0
| public boolean equals(java.lang.Object obj) {
|
|
87 |
0
| if (obj == null) return false;
|
|
88 |
0
| if ((obj.getClass() != this.getClass()) || (obj.hashCode() != this.hashCode())) {
|
|
89 |
0
| return false;
|
|
90 |
| } else { |
|
91 |
0
| ArrayType casted = (ArrayType) obj;
|
|
92 |
0
| if (! (getName() == casted.getName())) return false;
|
|
93 |
0
| if (! (getElementType().equals(casted.getElementType()))) return false;
|
|
94 |
0
| return true;
|
|
95 |
| } |
|
96 |
| } |
|
97 |
| |
|
98 |
| |
|
99 |
| |
|
100 |
| |
|
101 |
| |
|
102 |
| |
|
103 |
| |
|
104 |
0
| protected int generateHashCode() {
|
|
105 |
0
| int code = getClass().hashCode();
|
|
106 |
0
| code ^= 0;
|
|
107 |
0
| code ^= getName().hashCode();
|
|
108 |
0
| code ^= getElementType().hashCode();
|
|
109 |
0
| return code;
|
|
110 |
| } |
|
111 |
| } |