langtools/src/share/classes/com/sun/tools/javac/code/Attribute.java
author jfranck
Tue, 20 Aug 2013 17:21:47 +0200
changeset 19507 323f001d6be1
parent 18646 e628560a86d1
child 21010 5ffe0d8a5e24
permissions -rw-r--r--
8019243: AnnotationTypeMismatchException instead of MirroredTypeException Reviewed-by: jjg
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
10
06bc494ca11e Initial load
duke
parents:
diff changeset
     1
/*
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents: 14961
diff changeset
     2
 * Copyright (c) 2003, 2013, Oracle and/or its affiliates. All rights reserved.
10
06bc494ca11e Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
06bc494ca11e Initial load
duke
parents:
diff changeset
     4
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
06bc494ca11e Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3149
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
10
06bc494ca11e Initial load
duke
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3149
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    10
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
06bc494ca11e Initial load
duke
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
06bc494ca11e Initial load
duke
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
06bc494ca11e Initial load
duke
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
06bc494ca11e Initial load
duke
parents:
diff changeset
    15
 * accompanied this code).
06bc494ca11e Initial load
duke
parents:
diff changeset
    16
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
06bc494ca11e Initial load
duke
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
06bc494ca11e Initial load
duke
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
06bc494ca11e Initial load
duke
parents:
diff changeset
    20
 *
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3149
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3149
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3149
diff changeset
    23
 * questions.
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    24
 */
06bc494ca11e Initial load
duke
parents:
diff changeset
    25
06bc494ca11e Initial load
duke
parents:
diff changeset
    26
package com.sun.tools.javac.code;
06bc494ca11e Initial load
duke
parents:
diff changeset
    27
06bc494ca11e Initial load
duke
parents:
diff changeset
    28
import java.util.LinkedHashMap;
06bc494ca11e Initial load
duke
parents:
diff changeset
    29
import java.util.Map;
06bc494ca11e Initial load
duke
parents:
diff changeset
    30
import javax.lang.model.element.AnnotationMirror;
06bc494ca11e Initial load
duke
parents:
diff changeset
    31
import javax.lang.model.element.AnnotationValue;
06bc494ca11e Initial load
duke
parents:
diff changeset
    32
import javax.lang.model.element.AnnotationValueVisitor;
06bc494ca11e Initial load
duke
parents:
diff changeset
    33
import javax.lang.model.type.DeclaredType;
06bc494ca11e Initial load
duke
parents:
diff changeset
    34
import com.sun.tools.javac.code.Symbol.*;
06bc494ca11e Initial load
duke
parents:
diff changeset
    35
import com.sun.tools.javac.util.*;
06bc494ca11e Initial load
duke
parents:
diff changeset
    36
06bc494ca11e Initial load
duke
parents:
diff changeset
    37
/** An annotation value.
06bc494ca11e Initial load
duke
parents:
diff changeset
    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.
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    41
 *  This code and its internal interfaces are subject to change or
06bc494ca11e Initial load
duke
parents:
diff changeset
    42
 *  deletion without notice.</b>
06bc494ca11e Initial load
duke
parents:
diff changeset
    43
 */
06bc494ca11e Initial load
duke
parents:
diff changeset
    44
public abstract class Attribute implements AnnotationValue {
06bc494ca11e Initial load
duke
parents:
diff changeset
    45
06bc494ca11e Initial load
duke
parents:
diff changeset
    46
    /** The type of the annotation element. */
06bc494ca11e Initial load
duke
parents:
diff changeset
    47
    public Type type;
06bc494ca11e Initial load
duke
parents:
diff changeset
    48
06bc494ca11e Initial load
duke
parents:
diff changeset
    49
    public Attribute(Type type) {
06bc494ca11e Initial load
duke
parents:
diff changeset
    50
        this.type = type;
06bc494ca11e Initial load
duke
parents:
diff changeset
    51
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
    52
06bc494ca11e Initial load
duke
parents:
diff changeset
    53
    public abstract void accept(Visitor v);
06bc494ca11e Initial load
duke
parents:
diff changeset
    54
06bc494ca11e Initial load
duke
parents:
diff changeset
    55
    public Object getValue() {
06bc494ca11e Initial load
duke
parents:
diff changeset
    56
        throw new UnsupportedOperationException();
06bc494ca11e Initial load
duke
parents:
diff changeset
    57
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
    58
06bc494ca11e Initial load
duke
parents:
diff changeset
    59
    public <R, P> R accept(AnnotationValueVisitor<R, P> v, P p) {
06bc494ca11e Initial load
duke
parents:
diff changeset
    60
        throw new UnsupportedOperationException();
06bc494ca11e Initial load
duke
parents:
diff changeset
    61
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
    62
14961
e731935052af 8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents: 14359
diff changeset
    63
    public boolean isSynthesized() {
e731935052af 8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents: 14359
diff changeset
    64
        return false;
e731935052af 8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents: 14359
diff changeset
    65
    }
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    66
06bc494ca11e Initial load
duke
parents:
diff changeset
    67
    /** The value for an annotation element of primitive type or String. */
06bc494ca11e Initial load
duke
parents:
diff changeset
    68
    public static class Constant extends Attribute {
06bc494ca11e Initial load
duke
parents:
diff changeset
    69
        public final Object value;
06bc494ca11e Initial load
duke
parents:
diff changeset
    70
        public void accept(Visitor v) { v.visitConstant(this); }
06bc494ca11e Initial load
duke
parents:
diff changeset
    71
        public Constant(Type type, Object value) {
06bc494ca11e Initial load
duke
parents:
diff changeset
    72
            super(type);
06bc494ca11e Initial load
duke
parents:
diff changeset
    73
            this.value = value;
06bc494ca11e Initial load
duke
parents:
diff changeset
    74
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
    75
        public String toString() {
06bc494ca11e Initial load
duke
parents:
diff changeset
    76
            return Constants.format(value, type);
06bc494ca11e Initial load
duke
parents:
diff changeset
    77
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
    78
        public Object getValue() {
06bc494ca11e Initial load
duke
parents:
diff changeset
    79
            return Constants.decode(value, type);
06bc494ca11e Initial load
duke
parents:
diff changeset
    80
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
    81
        public <R, P> R accept(AnnotationValueVisitor<R, P> v, P p) {
06bc494ca11e Initial load
duke
parents:
diff changeset
    82
            if (value instanceof String)
06bc494ca11e Initial load
duke
parents:
diff changeset
    83
                return v.visitString((String) value, p);
06bc494ca11e Initial load
duke
parents:
diff changeset
    84
            if (value instanceof Integer) {
06bc494ca11e Initial load
duke
parents:
diff changeset
    85
                int i = (Integer) value;
18646
e628560a86d1 8017104: javac should have a class for primitive types that inherits from Type
vromero
parents: 17578
diff changeset
    86
                switch (type.getTag()) {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    87
                case BOOLEAN:   return v.visitBoolean(i != 0, p);
06bc494ca11e Initial load
duke
parents:
diff changeset
    88
                case CHAR:      return v.visitChar((char) i, p);
06bc494ca11e Initial load
duke
parents:
diff changeset
    89
                case BYTE:      return v.visitByte((byte) i, p);
06bc494ca11e Initial load
duke
parents:
diff changeset
    90
                case SHORT:     return v.visitShort((short) i, p);
06bc494ca11e Initial load
duke
parents:
diff changeset
    91
                case INT:       return v.visitInt(i, p);
06bc494ca11e Initial load
duke
parents:
diff changeset
    92
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
    93
            }
18646
e628560a86d1 8017104: javac should have a class for primitive types that inherits from Type
vromero
parents: 17578
diff changeset
    94
            switch (type.getTag()) {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    95
            case LONG:          return v.visitLong((Long) value, p);
06bc494ca11e Initial load
duke
parents:
diff changeset
    96
            case FLOAT:         return v.visitFloat((Float) value, p);
06bc494ca11e Initial load
duke
parents:
diff changeset
    97
            case DOUBLE:        return v.visitDouble((Double) value, p);
06bc494ca11e Initial load
duke
parents:
diff changeset
    98
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
    99
            throw new AssertionError("Bad annotation element value: " + value);
06bc494ca11e Initial load
duke
parents:
diff changeset
   100
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   101
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   102
06bc494ca11e Initial load
duke
parents:
diff changeset
   103
    /** The value for an annotation element of type java.lang.Class,
06bc494ca11e Initial load
duke
parents:
diff changeset
   104
     *  represented as a ClassSymbol.
06bc494ca11e Initial load
duke
parents:
diff changeset
   105
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   106
    public static class Class extends Attribute {
13689
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents: 8032
diff changeset
   107
        public final Type classType;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   108
        public void accept(Visitor v) { v.visitClass(this); }
06bc494ca11e Initial load
duke
parents:
diff changeset
   109
        public Class(Types types, Type type) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   110
            super(makeClassType(types, type));
13689
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents: 8032
diff changeset
   111
            this.classType = type;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   112
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   113
        static Type makeClassType(Types types, Type type) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   114
            Type arg = type.isPrimitive()
06bc494ca11e Initial load
duke
parents:
diff changeset
   115
                ? types.boxedClass(type).type
06bc494ca11e Initial load
duke
parents:
diff changeset
   116
                : types.erasure(type);
06bc494ca11e Initial load
duke
parents:
diff changeset
   117
            return new Type.ClassType(types.syms.classType.getEnclosingType(),
06bc494ca11e Initial load
duke
parents:
diff changeset
   118
                                      List.of(arg),
06bc494ca11e Initial load
duke
parents:
diff changeset
   119
                                      types.syms.classType.tsym);
06bc494ca11e Initial load
duke
parents:
diff changeset
   120
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   121
        public String toString() {
13689
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents: 8032
diff changeset
   122
            return classType + ".class";
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   123
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   124
        public Type getValue() {
13689
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents: 8032
diff changeset
   125
            return classType;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   126
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   127
        public <R, P> R accept(AnnotationValueVisitor<R, P> v, P p) {
13689
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents: 8032
diff changeset
   128
            return v.visitType(classType, p);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   129
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   130
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   131
06bc494ca11e Initial load
duke
parents:
diff changeset
   132
    /** A compound annotation element value, the type of which is an
06bc494ca11e Initial load
duke
parents:
diff changeset
   133
     *  attribute interface.
06bc494ca11e Initial load
duke
parents:
diff changeset
   134
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   135
    public static class Compound extends Attribute implements AnnotationMirror {
06bc494ca11e Initial load
duke
parents:
diff changeset
   136
        /** The attributes values, as pairs.  Each pair contains a
06bc494ca11e Initial load
duke
parents:
diff changeset
   137
         *  reference to the accessing method in the attribute interface
06bc494ca11e Initial load
duke
parents:
diff changeset
   138
         *  and the value to be returned when that method is called to
06bc494ca11e Initial load
duke
parents:
diff changeset
   139
         *  access this attribute.
06bc494ca11e Initial load
duke
parents:
diff changeset
   140
         */
06bc494ca11e Initial load
duke
parents:
diff changeset
   141
        public final List<Pair<MethodSymbol,Attribute>> values;
14961
e731935052af 8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents: 14359
diff changeset
   142
e731935052af 8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents: 14359
diff changeset
   143
        private boolean synthesized = false;
e731935052af 8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents: 14359
diff changeset
   144
e731935052af 8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents: 14359
diff changeset
   145
        @Override
e731935052af 8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents: 14359
diff changeset
   146
        public boolean isSynthesized() {
e731935052af 8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents: 14359
diff changeset
   147
            return synthesized;
e731935052af 8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents: 14359
diff changeset
   148
        }
e731935052af 8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents: 14359
diff changeset
   149
e731935052af 8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents: 14359
diff changeset
   150
        public void setSynthesized(boolean synthesized) {
e731935052af 8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents: 14359
diff changeset
   151
            this.synthesized = synthesized;
e731935052af 8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents: 14359
diff changeset
   152
        }
e731935052af 8005098: Provide isSynthesized() information on Attribute.Compound
jfranck
parents: 14359
diff changeset
   153
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   154
        public Compound(Type type,
06bc494ca11e Initial load
duke
parents:
diff changeset
   155
                        List<Pair<MethodSymbol,Attribute>> values) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   156
            super(type);
06bc494ca11e Initial load
duke
parents:
diff changeset
   157
            this.values = values;
06bc494ca11e Initial load
duke
parents:
diff changeset
   158
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   159
        public void accept(Visitor v) { v.visitCompound(this); }
06bc494ca11e Initial load
duke
parents:
diff changeset
   160
06bc494ca11e Initial load
duke
parents:
diff changeset
   161
        /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   162
         * Returns a string representation of this annotation.
06bc494ca11e Initial load
duke
parents:
diff changeset
   163
         * String is of one of the forms:
06bc494ca11e Initial load
duke
parents:
diff changeset
   164
         *     @com.example.foo(name1=val1, name2=val2)
06bc494ca11e Initial load
duke
parents:
diff changeset
   165
         *     @com.example.foo(val)
06bc494ca11e Initial load
duke
parents:
diff changeset
   166
         *     @com.example.foo
06bc494ca11e Initial load
duke
parents:
diff changeset
   167
         * Omit parens for marker annotations, and omit "value=" when allowed.
06bc494ca11e Initial load
duke
parents:
diff changeset
   168
         */
06bc494ca11e Initial load
duke
parents:
diff changeset
   169
        public String toString() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   170
            StringBuilder buf = new StringBuilder();
06bc494ca11e Initial load
duke
parents:
diff changeset
   171
            buf.append("@");
06bc494ca11e Initial load
duke
parents:
diff changeset
   172
            buf.append(type);
06bc494ca11e Initial load
duke
parents:
diff changeset
   173
            int len = values.length();
06bc494ca11e Initial load
duke
parents:
diff changeset
   174
            if (len > 0) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   175
                buf.append('(');
06bc494ca11e Initial load
duke
parents:
diff changeset
   176
                boolean first = true;
06bc494ca11e Initial load
duke
parents:
diff changeset
   177
                for (Pair<MethodSymbol, Attribute> value : values) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   178
                    if (!first) buf.append(", ");
06bc494ca11e Initial load
duke
parents:
diff changeset
   179
                    first = false;
06bc494ca11e Initial load
duke
parents:
diff changeset
   180
06bc494ca11e Initial load
duke
parents:
diff changeset
   181
                    Name name = value.fst.name;
1260
a772ba9ba43d 6574134: Allow for alternative implementation of Name Table with garbage collection of name bytes
jjg
parents: 1206
diff changeset
   182
                    if (len > 1 || name != name.table.names.value) {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   183
                        buf.append(name);
06bc494ca11e Initial load
duke
parents:
diff changeset
   184
                        buf.append('=');
06bc494ca11e Initial load
duke
parents:
diff changeset
   185
                    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   186
                    buf.append(value.snd);
06bc494ca11e Initial load
duke
parents:
diff changeset
   187
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
   188
                buf.append(')');
06bc494ca11e Initial load
duke
parents:
diff changeset
   189
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   190
            return buf.toString();
06bc494ca11e Initial load
duke
parents:
diff changeset
   191
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   192
06bc494ca11e Initial load
duke
parents:
diff changeset
   193
        public Attribute member(Name member) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   194
            for (Pair<MethodSymbol,Attribute> pair : values)
06bc494ca11e Initial load
duke
parents:
diff changeset
   195
                if (pair.fst.name == member) return pair.snd;
06bc494ca11e Initial load
duke
parents:
diff changeset
   196
            return null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   197
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   198
06bc494ca11e Initial load
duke
parents:
diff changeset
   199
        public Attribute.Compound getValue() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   200
            return this;
06bc494ca11e Initial load
duke
parents:
diff changeset
   201
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   202
06bc494ca11e Initial load
duke
parents:
diff changeset
   203
        public <R, P> R accept(AnnotationValueVisitor<R, P> v, P p) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   204
            return v.visitAnnotation(this, p);
06bc494ca11e Initial load
duke
parents:
diff changeset
   205
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   206
06bc494ca11e Initial load
duke
parents:
diff changeset
   207
        public DeclaredType getAnnotationType() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   208
            return (DeclaredType) type;
06bc494ca11e Initial load
duke
parents:
diff changeset
   209
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   210
06bc494ca11e Initial load
duke
parents:
diff changeset
   211
        public Map<MethodSymbol, Attribute> getElementValues() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   212
            Map<MethodSymbol, Attribute> valmap =
06bc494ca11e Initial load
duke
parents:
diff changeset
   213
                new LinkedHashMap<MethodSymbol, Attribute>();
06bc494ca11e Initial load
duke
parents:
diff changeset
   214
            for (Pair<MethodSymbol, Attribute> value : values)
06bc494ca11e Initial load
duke
parents:
diff changeset
   215
                valmap.put(value.fst, value.snd);
06bc494ca11e Initial load
duke
parents:
diff changeset
   216
            return valmap;
06bc494ca11e Initial load
duke
parents:
diff changeset
   217
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   218
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   219
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents: 14961
diff changeset
   220
    public static class TypeCompound extends Compound {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents: 14961
diff changeset
   221
        public TypeAnnotationPosition position;
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents: 14961
diff changeset
   222
        public TypeCompound(Compound compound,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents: 14961
diff changeset
   223
                TypeAnnotationPosition position) {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents: 14961
diff changeset
   224
            this(compound.type, compound.values, position);
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents: 14961
diff changeset
   225
        }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents: 14961
diff changeset
   226
        public TypeCompound(Type type,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents: 14961
diff changeset
   227
                List<Pair<MethodSymbol, Attribute>> values,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents: 14961
diff changeset
   228
                TypeAnnotationPosition position) {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents: 14961
diff changeset
   229
            super(type, values);
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents: 14961
diff changeset
   230
            this.position = position;
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents: 14961
diff changeset
   231
        }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents: 14961
diff changeset
   232
17578
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   233
        public boolean hasUnknownPosition() {
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   234
            return position == null || position.type == TargetType.UNKNOWN;
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   235
        }
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   236
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   237
        public boolean isContainerTypeCompound() {
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   238
            if (isSynthesized() && values.size() == 1)
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   239
                return getFirstEmbeddedTC() != null;
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   240
            return false;
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   241
        }
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   242
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   243
        private TypeCompound getFirstEmbeddedTC() {
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   244
            if (values.size() == 1) {
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   245
                Pair<MethodSymbol, Attribute> val = values.get(0);
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   246
                if (val.fst.getSimpleName().contentEquals("value")
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   247
                        && val.snd instanceof Array) {
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   248
                    Array arr = (Array) val.snd;
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   249
                    if (arr.values.length != 0
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   250
                            && arr.values[0] instanceof Attribute.TypeCompound)
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   251
                        return (Attribute.TypeCompound) arr.values[0];
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   252
                }
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   253
            }
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   254
            return null;
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   255
        }
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   256
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   257
        public boolean tryFixPosition() {
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   258
            if (!isContainerTypeCompound())
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   259
                return false;
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   260
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   261
            TypeCompound from = getFirstEmbeddedTC();
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   262
            if (from != null && from.position != null &&
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   263
                    from.position.type != TargetType.UNKNOWN) {
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   264
                position = from.position;
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   265
                return true;
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   266
            }
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   267
            return false;
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15385
diff changeset
   268
        }
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents: 14961
diff changeset
   269
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents: 14961
diff changeset
   270
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   271
    /** The value for an annotation element of an array type.
06bc494ca11e Initial load
duke
parents:
diff changeset
   272
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   273
    public static class Array extends Attribute {
06bc494ca11e Initial load
duke
parents:
diff changeset
   274
        public final Attribute[] values;
06bc494ca11e Initial load
duke
parents:
diff changeset
   275
        public Array(Type type, Attribute[] values) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   276
            super(type);
06bc494ca11e Initial load
duke
parents:
diff changeset
   277
            this.values = values;
06bc494ca11e Initial load
duke
parents:
diff changeset
   278
        }
13689
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents: 8032
diff changeset
   279
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents: 8032
diff changeset
   280
        public Array(Type type, List<Attribute> values) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents: 8032
diff changeset
   281
            super(type);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents: 8032
diff changeset
   282
            this.values = values.toArray(new Attribute[values.size()]);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents: 8032
diff changeset
   283
        }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents: 8032
diff changeset
   284
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   285
        public void accept(Visitor v) { v.visitArray(this); }
06bc494ca11e Initial load
duke
parents:
diff changeset
   286
        public String toString() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   287
            StringBuilder buf = new StringBuilder();
06bc494ca11e Initial load
duke
parents:
diff changeset
   288
            buf.append('{');
06bc494ca11e Initial load
duke
parents:
diff changeset
   289
            boolean first = true;
06bc494ca11e Initial load
duke
parents:
diff changeset
   290
            for (Attribute value : values) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   291
                if (!first)
06bc494ca11e Initial load
duke
parents:
diff changeset
   292
                    buf.append(", ");
06bc494ca11e Initial load
duke
parents:
diff changeset
   293
                first = false;
06bc494ca11e Initial load
duke
parents:
diff changeset
   294
                buf.append(value);
06bc494ca11e Initial load
duke
parents:
diff changeset
   295
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   296
            buf.append('}');
06bc494ca11e Initial load
duke
parents:
diff changeset
   297
            return buf.toString();
06bc494ca11e Initial load
duke
parents:
diff changeset
   298
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   299
        public List<Attribute> getValue() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   300
            return List.from(values);
06bc494ca11e Initial load
duke
parents:
diff changeset
   301
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   302
        public <R, P> R accept(AnnotationValueVisitor<R, P> v, P p) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   303
            return v.visitArray(getValue(), p);
06bc494ca11e Initial load
duke
parents:
diff changeset
   304
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   305
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   306
06bc494ca11e Initial load
duke
parents:
diff changeset
   307
    /** The value for an annotation element of an enum type.
06bc494ca11e Initial load
duke
parents:
diff changeset
   308
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   309
    public static class Enum extends Attribute {
06bc494ca11e Initial load
duke
parents:
diff changeset
   310
        public VarSymbol value;
06bc494ca11e Initial load
duke
parents:
diff changeset
   311
        public Enum(Type type, VarSymbol value) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   312
            super(type);
8032
e1aa25ccdabb 6396503: javac should not require assertions enabled
jjg
parents: 8031
diff changeset
   313
            this.value = Assert.checkNonNull(value);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   314
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   315
        public void accept(Visitor v) { v.visitEnum(this); }
06bc494ca11e Initial load
duke
parents:
diff changeset
   316
        public String toString() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   317
            return value.enclClass() + "." + value;     // qualified name
06bc494ca11e Initial load
duke
parents:
diff changeset
   318
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   319
        public VarSymbol getValue() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   320
            return value;
06bc494ca11e Initial load
duke
parents:
diff changeset
   321
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   322
        public <R, P> R accept(AnnotationValueVisitor<R, P> v, P p) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   323
            return v.visitEnumConstant(value, p);
06bc494ca11e Initial load
duke
parents:
diff changeset
   324
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   325
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   326
06bc494ca11e Initial load
duke
parents:
diff changeset
   327
    public static class Error extends Attribute {
06bc494ca11e Initial load
duke
parents:
diff changeset
   328
        public Error(Type type) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   329
            super(type);
06bc494ca11e Initial load
duke
parents:
diff changeset
   330
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   331
        public void accept(Visitor v) { v.visitError(this); }
06bc494ca11e Initial load
duke
parents:
diff changeset
   332
        public String toString() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   333
            return "<error>";
06bc494ca11e Initial load
duke
parents:
diff changeset
   334
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   335
        public String getValue() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   336
            return toString();
06bc494ca11e Initial load
duke
parents:
diff changeset
   337
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   338
        public <R, P> R accept(AnnotationValueVisitor<R, P> v, P p) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   339
            return v.visitString(toString(), p);
06bc494ca11e Initial load
duke
parents:
diff changeset
   340
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   341
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   342
19507
323f001d6be1 8019243: AnnotationTypeMismatchException instead of MirroredTypeException
jfranck
parents: 18646
diff changeset
   343
    public static class UnresolvedClass extends Error {
323f001d6be1 8019243: AnnotationTypeMismatchException instead of MirroredTypeException
jfranck
parents: 18646
diff changeset
   344
        public Type classType;
323f001d6be1 8019243: AnnotationTypeMismatchException instead of MirroredTypeException
jfranck
parents: 18646
diff changeset
   345
        public UnresolvedClass(Type type, Type classType) {
323f001d6be1 8019243: AnnotationTypeMismatchException instead of MirroredTypeException
jfranck
parents: 18646
diff changeset
   346
            super(type);
323f001d6be1 8019243: AnnotationTypeMismatchException instead of MirroredTypeException
jfranck
parents: 18646
diff changeset
   347
            this.classType = classType;
323f001d6be1 8019243: AnnotationTypeMismatchException instead of MirroredTypeException
jfranck
parents: 18646
diff changeset
   348
        }
323f001d6be1 8019243: AnnotationTypeMismatchException instead of MirroredTypeException
jfranck
parents: 18646
diff changeset
   349
    }
323f001d6be1 8019243: AnnotationTypeMismatchException instead of MirroredTypeException
jfranck
parents: 18646
diff changeset
   350
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   351
    /** A visitor type for dynamic dispatch on the kind of attribute value. */
06bc494ca11e Initial load
duke
parents:
diff changeset
   352
    public static interface Visitor {
06bc494ca11e Initial load
duke
parents:
diff changeset
   353
        void visitConstant(Attribute.Constant value);
06bc494ca11e Initial load
duke
parents:
diff changeset
   354
        void visitClass(Attribute.Class clazz);
06bc494ca11e Initial load
duke
parents:
diff changeset
   355
        void visitCompound(Attribute.Compound compound);
06bc494ca11e Initial load
duke
parents:
diff changeset
   356
        void visitArray(Attribute.Array array);
06bc494ca11e Initial load
duke
parents:
diff changeset
   357
        void visitEnum(Attribute.Enum e);
06bc494ca11e Initial load
duke
parents:
diff changeset
   358
        void visitError(Attribute.Error e);
06bc494ca11e Initial load
duke
parents:
diff changeset
   359
    }
6575
ae1798028008 6960424: new option -Xpkginfo for better control of when package-info.class is generated
jjg
parents: 5847
diff changeset
   360
ae1798028008 6960424: new option -Xpkginfo for better control of when package-info.class is generated
jjg
parents: 5847
diff changeset
   361
    /** A mirror of java.lang.annotation.RetentionPolicy. */
ae1798028008 6960424: new option -Xpkginfo for better control of when package-info.class is generated
jjg
parents: 5847
diff changeset
   362
    public static enum RetentionPolicy {
ae1798028008 6960424: new option -Xpkginfo for better control of when package-info.class is generated
jjg
parents: 5847
diff changeset
   363
        SOURCE,
ae1798028008 6960424: new option -Xpkginfo for better control of when package-info.class is generated
jjg
parents: 5847
diff changeset
   364
        CLASS,
ae1798028008 6960424: new option -Xpkginfo for better control of when package-info.class is generated
jjg
parents: 5847
diff changeset
   365
        RUNTIME
ae1798028008 6960424: new option -Xpkginfo for better control of when package-info.class is generated
jjg
parents: 5847
diff changeset
   366
    }
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   367
}