blob: 27b7d443a8c12e4e17d61c68a9a8587d72b625c7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
/* FJBG -- Fast Java Bytecode Generator
* Copyright 2002-2012 LAMP/EPFL
* @author Michel Schinz
*/
package ch.epfl.lamp.fjbg;
/**
* Types for Java arrays.
*
* @author Michel Schinz
* @version 1.0
*/
public class JArrayType extends JReferenceType {
protected final JType elementType;
protected String signature = null;
public JArrayType(JType elementType) {
this.elementType = elementType;
}
public int getSize() { return 1; }
public String getSignature() {
if (signature == null)
signature = "[" + elementType.getSignature();
return signature;
}
public String getDescriptor() {
return getSignature();
}
public int getTag() { return T_ARRAY; }
public JType getElementType() { return elementType; }
public String toString() {
return elementType.toString() + "[]";
}
public boolean isArrayType() { return true; }
public boolean isCompatibleWith(JType other) {
if (other instanceof JObjectType)
return (JObjectType)other == JObjectType.JAVA_LANG_OBJECT;
else if (other instanceof JArrayType)
return elementType.isCompatibleWith(((JArrayType)other).elementType);
else return other == JType.REFERENCE;
}
public static JArrayType BOOLEAN = new JArrayType(JType.BOOLEAN);
public static JArrayType BYTE = new JArrayType(JType.BYTE);
public static JArrayType CHAR = new JArrayType(JType.CHAR);
public static JArrayType SHORT = new JArrayType(JType.SHORT);
public static JArrayType INT = new JArrayType(JType.INT);
public static JArrayType FLOAT = new JArrayType(JType.FLOAT);
public static JArrayType LONG = new JArrayType(JType.LONG);
public static JArrayType DOUBLE = new JArrayType(JType.DOUBLE);
public static JArrayType REFERENCE = new JArrayType(JType.REFERENCE);
}
|