author | mcimadamore |
Fri, 15 Feb 2013 16:28:07 +0000 | |
changeset 16292 | 3be2cdacb3b3 |
parent 15718 | 8e54c8e43d38 |
child 24895 | dd091d389fbf |
permissions | -rw-r--r-- |
3150 | 1 |
/* |
15385 | 2 |
* Copyright (c) 2008, 2013, Oracle and/or its affiliates. All rights reserved. |
3150 | 3 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 |
* |
|
5 |
* This code is free software; you can redistribute it and/or modify it |
|
6 |
* under the terms of the GNU General Public License version 2 only, as |
|
5520 | 7 |
* published by the Free Software Foundation. Oracle designates this |
3150 | 8 |
* particular file as subject to the "Classpath" exception as provided |
5520 | 9 |
* by Oracle in the LICENSE file that accompanied this code. |
3150 | 10 |
* |
11 |
* This code is distributed in the hope that it will be useful, but WITHOUT |
|
12 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
13 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
14 |
* version 2 for more details (a copy is included in the LICENSE file that |
|
15 |
* accompanied this code). |
|
16 |
* |
|
17 |
* You should have received a copy of the GNU General Public License version |
|
18 |
* 2 along with this work; if not, write to the Free Software Foundation, |
|
19 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
|
20 |
* |
|
5520 | 21 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
22 |
* or visit www.oracle.com if you need additional information or have any |
|
23 |
* questions. |
|
3150 | 24 |
*/ |
25 |
||
26 |
package com.sun.tools.javac.code; |
|
27 |
||
15385 | 28 |
import com.sun.tools.javac.util.Assert; |
14258 | 29 |
|
3150 | 30 |
/** |
31 |
* Describes the type of program element an extended annotation (or extended |
|
32 |
* compound attribute) targets. |
|
33 |
* |
|
34 |
* By comparison, a Tree.Kind has enum values for all elements in the AST, and |
|
35 |
* it does not provide enough resolution for type arguments (i.e., whether an |
|
36 |
* annotation targets a type argument in a local variable, method return type, |
|
37 |
* or a typecast). |
|
38 |
* |
|
5847
1908176fd6e3
6944312: Potential rebranding issues in openjdk/langtools repository sources
jjg
parents:
5520
diff
changeset
|
39 |
* <p><b>This is NOT part of any supported API. |
1908176fd6e3
6944312: Potential rebranding issues in openjdk/langtools repository sources
jjg
parents:
5520
diff
changeset
|
40 |
* If you write code that depends on this, you do so at your own risk. |
3150 | 41 |
* This code and its internal interfaces are subject to change or |
42 |
* deletion without notice.</b> |
|
43 |
*/ |
|
15385 | 44 |
// Code duplicated in com.sun.tools.classfile.TypeAnnotation.TargetType |
3150 | 45 |
public enum TargetType { |
15385 | 46 |
/** For annotations on a class type parameter declaration. */ |
47 |
CLASS_TYPE_PARAMETER(0x00), |
|
3150 | 48 |
|
15385 | 49 |
/** For annotations on a method type parameter declaration. */ |
50 |
METHOD_TYPE_PARAMETER(0x01), |
|
3150 | 51 |
|
52 |
/** For annotations on the type of an "extends" or "implements" clause. */ |
|
15385 | 53 |
CLASS_EXTENDS(0x10), |
54 |
||
55 |
/** For annotations on a bound of a type parameter of a class. */ |
|
56 |
CLASS_TYPE_PARAMETER_BOUND(0x11), |
|
57 |
||
58 |
/** For annotations on a bound of a type parameter of a method. */ |
|
59 |
METHOD_TYPE_PARAMETER_BOUND(0x12), |
|
3150 | 60 |
|
15385 | 61 |
/** For annotations on a field. */ |
62 |
FIELD(0x13), |
|
63 |
||
64 |
/** For annotations on a method return type. */ |
|
65 |
METHOD_RETURN(0x14), |
|
66 |
||
67 |
/** For annotations on the method receiver. */ |
|
68 |
METHOD_RECEIVER(0x15), |
|
69 |
||
70 |
/** For annotations on a method parameter. */ |
|
71 |
METHOD_FORMAL_PARAMETER(0x16), |
|
3150 | 72 |
|
73 |
/** For annotations on a throws clause in a method declaration. */ |
|
15385 | 74 |
THROWS(0x17), |
3150 | 75 |
|
15385 | 76 |
/** For annotations on a local variable. */ |
77 |
LOCAL_VARIABLE(0x40, true), |
|
78 |
||
79 |
/** For annotations on a resource variable. */ |
|
80 |
RESOURCE_VARIABLE(0x41, true), |
|
3150 | 81 |
|
15385 | 82 |
/** For annotations on an exception parameter. */ |
83 |
EXCEPTION_PARAMETER(0x42, true), |
|
3150 | 84 |
|
15385 | 85 |
/** For annotations on a type test. */ |
15718 | 86 |
INSTANCEOF(0x43, true), |
3150 | 87 |
|
15385 | 88 |
/** For annotations on an object creation expression. */ |
15718 | 89 |
NEW(0x44, true), |
90 |
||
91 |
/** For annotations on a constructor reference receiver. */ |
|
92 |
CONSTRUCTOR_REFERENCE(0x45, true), |
|
93 |
||
94 |
/** For annotations on a method reference receiver. */ |
|
95 |
METHOD_REFERENCE(0x46, true), |
|
96 |
||
97 |
/** For annotations on a typecast. */ |
|
98 |
CAST(0x47, true), |
|
3150 | 99 |
|
15385 | 100 |
/** For annotations on a type argument of an object creation expression. */ |
15718 | 101 |
CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT(0x48, true), |
3150 | 102 |
|
15385 | 103 |
/** For annotations on a type argument of a method call. */ |
15718 | 104 |
METHOD_INVOCATION_TYPE_ARGUMENT(0x49, true), |
3150 | 105 |
|
15718 | 106 |
/** For annotations on a type argument of a constructor reference. */ |
107 |
CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT(0x4A, true), |
|
3150 | 108 |
|
15385 | 109 |
/** For annotations on a type argument of a method reference. */ |
15718 | 110 |
METHOD_REFERENCE_TYPE_ARGUMENT(0x4B, true), |
3150 | 111 |
|
112 |
/** For annotations with an unknown target. */ |
|
15385 | 113 |
UNKNOWN(0xFF); |
3150 | 114 |
|
15718 | 115 |
private static final int MAXIMUM_TARGET_TYPE_VALUE = 0x4B; |
3150 | 116 |
|
117 |
private final int targetTypeValue; |
|
15385 | 118 |
private final boolean isLocal; |
3150 | 119 |
|
15385 | 120 |
private TargetType(int targetTypeValue) { |
121 |
this(targetTypeValue, false); |
|
3150 | 122 |
} |
123 |
||
15385 | 124 |
private TargetType(int targetTypeValue, boolean isLocal) { |
125 |
if (targetTypeValue < 0 |
|
126 |
|| targetTypeValue > 255) |
|
127 |
Assert.error("Attribute type value needs to be an unsigned byte: " + String.format("0x%02X", targetTypeValue)); |
|
128 |
this.targetTypeValue = targetTypeValue; |
|
129 |
this.isLocal = isLocal; |
|
3150 | 130 |
} |
131 |
||
3151
41800a86aad3
6854796: update JSR308 impl with latest code from type-annotations repo
jjg
parents:
3150
diff
changeset
|
132 |
/** |
41800a86aad3
6854796: update JSR308 impl with latest code from type-annotations repo
jjg
parents:
3150
diff
changeset
|
133 |
* Returns whether or not this TargetType represents an annotation whose |
41800a86aad3
6854796: update JSR308 impl with latest code from type-annotations repo
jjg
parents:
3150
diff
changeset
|
134 |
* target is exclusively a tree in a method body |
41800a86aad3
6854796: update JSR308 impl with latest code from type-annotations repo
jjg
parents:
3150
diff
changeset
|
135 |
* |
41800a86aad3
6854796: update JSR308 impl with latest code from type-annotations repo
jjg
parents:
3150
diff
changeset
|
136 |
* Note: wildcard bound targets could target a local tree and a class |
41800a86aad3
6854796: update JSR308 impl with latest code from type-annotations repo
jjg
parents:
3150
diff
changeset
|
137 |
* member declaration signature tree |
41800a86aad3
6854796: update JSR308 impl with latest code from type-annotations repo
jjg
parents:
3150
diff
changeset
|
138 |
*/ |
41800a86aad3
6854796: update JSR308 impl with latest code from type-annotations repo
jjg
parents:
3150
diff
changeset
|
139 |
public boolean isLocal() { |
15385 | 140 |
return isLocal; |
3151
41800a86aad3
6854796: update JSR308 impl with latest code from type-annotations repo
jjg
parents:
3150
diff
changeset
|
141 |
} |
41800a86aad3
6854796: update JSR308 impl with latest code from type-annotations repo
jjg
parents:
3150
diff
changeset
|
142 |
|
3150 | 143 |
public int targetTypeValue() { |
144 |
return this.targetTypeValue; |
|
145 |
} |
|
146 |
||
14801
d66cab4ef397
8003967: detect and remove all mutable implicit static enum fields in langtools
vromero
parents:
14258
diff
changeset
|
147 |
private static final TargetType[] targets; |
3150 | 148 |
|
14801
d66cab4ef397
8003967: detect and remove all mutable implicit static enum fields in langtools
vromero
parents:
14258
diff
changeset
|
149 |
static { |
d66cab4ef397
8003967: detect and remove all mutable implicit static enum fields in langtools
vromero
parents:
14258
diff
changeset
|
150 |
targets = new TargetType[MAXIMUM_TARGET_TYPE_VALUE + 1]; |
3150 | 151 |
TargetType[] alltargets = values(); |
152 |
for (TargetType target : alltargets) { |
|
15385 | 153 |
if (target.targetTypeValue != UNKNOWN.targetTypeValue) |
3150 | 154 |
targets[target.targetTypeValue] = target; |
155 |
} |
|
156 |
for (int i = 0; i <= MAXIMUM_TARGET_TYPE_VALUE; ++i) { |
|
157 |
if (targets[i] == null) |
|
158 |
targets[i] = UNKNOWN; |
|
159 |
} |
|
160 |
} |
|
161 |
||
162 |
public static boolean isValidTargetTypeValue(int tag) { |
|
15385 | 163 |
if (tag == UNKNOWN.targetTypeValue) |
3150 | 164 |
return true; |
165 |
||
166 |
return (tag >= 0 && tag < targets.length); |
|
167 |
} |
|
168 |
||
169 |
public static TargetType fromTargetTypeValue(int tag) { |
|
15385 | 170 |
if (tag == UNKNOWN.targetTypeValue) |
3150 | 171 |
return UNKNOWN; |
172 |
||
173 |
if (tag < 0 || tag >= targets.length) |
|
15385 | 174 |
Assert.error("Unknown TargetType: " + tag); |
3150 | 175 |
return targets[tag]; |
176 |
} |
|
177 |
} |