langtools/src/share/classes/com/sun/tools/javac/code/Annotations.java
author jfranck
Fri, 31 Aug 2012 10:37:46 +0100
changeset 13689 4d519199a6aa
child 14258 8d2148961366
permissions -rw-r--r--
7151010: Add compiler support for repeating annotations Reviewed-by: jjg, mcimadamore
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
13689
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
     1
/*
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
     2
 * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
     4
 *
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    10
 *
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    15
 * accompanied this code).
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    16
 *
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    20
 *
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    23
 * questions.
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    24
 */
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    25
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    26
package com.sun.tools.javac.code;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    27
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    28
import java.util.Map;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    29
import javax.tools.JavaFileObject;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    30
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    31
import com.sun.tools.javac.comp.Annotate;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    32
import com.sun.tools.javac.comp.AttrContext;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    33
import com.sun.tools.javac.comp.Env;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    34
import com.sun.tools.javac.util.Assert;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    35
import com.sun.tools.javac.util.List;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    36
import com.sun.tools.javac.util.Log;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    37
import com.sun.tools.javac.util.Pair;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    38
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    39
import static com.sun.tools.javac.code.Kinds.PCK;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    40
import com.sun.tools.javac.util.*;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    41
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    42
/**
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    43
 * Container for all annotations (attributes in javac) on a Symbol.
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    44
 *
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    45
 * This class is explicitly mutable. Its contents will change when attributes
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    46
 * are annotated onto the Symbol. However this class depends on the facts that
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    47
 * List (in javac) is immutable.
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    48
 *
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    49
 * An instance of this class can be in one of three states:
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    50
 *
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    51
 * NOT_STARTED indicates that the Symbol this instance belongs to have not been
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    52
 * annotated (yet). Specifically if the declaration is not annotated this
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    53
 * instance will never move past NOT_STARTED. You can never go back to
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    54
 * NOT_STARTED.
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    55
 *
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    56
 * IN_PROGRESS annotations have been found on the declaration. Will be processed
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    57
 * later. You can reset to IN_PROGRESS. While IN_PROGRESS you can set the list
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    58
 * of attributes (and this moves out of the IN_PROGRESS state).
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    59
 *
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    60
 * "unnamed" this Annotations contains some attributes, possibly the final set.
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    61
 * While in this state you can only prepend or append to the attributes not set
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    62
 * it directly. You can also move back to the IN_PROGRESS sate using reset().
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    63
 *
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    64
 * <p><b>This is NOT part of any supported API. If you write code that depends
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    65
 * on this, you do so at your own risk. This code and its internal interfaces
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    66
 * are subject to change or deletion without notice.</b>
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    67
 */
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    68
public class Annotations {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    69
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    70
    private static final List<Attribute.Compound> NOT_STARTED = List.of(null);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    71
    private static final List<Attribute.Compound> IN_PROGRESS = List.of(null);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    72
    /*
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    73
     * This field should never be null
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    74
     */
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    75
    private List<Attribute.Compound> attributes = NOT_STARTED;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    76
    /*
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    77
     * The Symbol this Annotatios belong to
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    78
     */
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    79
    private final Symbol s;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    80
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    81
    public Annotations(Symbol s) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    82
        this.s = s;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    83
    }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    84
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    85
    public List<Attribute.Compound> getAttributes() {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    86
        return filterSentinels(attributes);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    87
    }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    88
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    89
    public void setAttributes(List<Attribute.Compound> a) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    90
        Assert.check(pendingCompletion() || !isStarted());
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    91
        if (a == null) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    92
            throw new NullPointerException();
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    93
        }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    94
        attributes = a;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    95
    }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    96
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    97
    public void setAttributes(Annotations other) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    98
        if (other == null) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
    99
            throw new NullPointerException();
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   100
        }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   101
        setAttributes(other.getAttributes());
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   102
    }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   103
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   104
    public void setAttributesWithCompletion(final Annotate.AnnotateRepeatedContext ctx) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   105
        Assert.check(pendingCompletion() || (!isStarted() && s.kind == PCK));
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   106
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   107
        Map<Symbol.TypeSymbol, ListBuffer<Attribute.Compound>> annotated = ctx.annotated;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   108
        boolean atLeastOneRepeated = false;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   109
        List<Attribute.Compound> buf = List.<Attribute.Compound>nil();
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   110
        for (ListBuffer<Attribute.Compound> lb : annotated.values()) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   111
            if (lb.size() == 1) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   112
                buf = buf.prepend(lb.first());
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   113
            } else { // repeated
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   114
                buf = buf.prepend(new Placeholder(lb.toList(), s));
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   115
                atLeastOneRepeated = true;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   116
            }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   117
        }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   118
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   119
        // Add non-repeating attributes
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   120
        setAttributes(buf.reverse());
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   121
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   122
        if (atLeastOneRepeated) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   123
            // The Symbol s is now annotated with a combination of
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   124
            // finished non-repeating annotations and placeholders for
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   125
            // repeating annotations.
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   126
            //
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   127
            // We need to do this in two passes because when creating
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   128
            // a container for a repeating annotation we must
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   129
            // guarantee that the @ContainedBy on the
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   130
            // contained annotation is fully annotated
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   131
            //
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   132
            // The way we force this order is to do all repeating
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   133
            // annotations in a pass after all non-repeating are
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   134
            // finished. This will work because @ContainedBy
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   135
            // is non-repeating and therefore will be annotated in the
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   136
            // fist pass.
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   137
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   138
            // Queue a pass that will replace Attribute.Placeholders
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   139
            // with Attribute.Compound (made from synthesized containers).
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   140
            ctx.annotateRepeated(new Annotate.Annotator() {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   141
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   142
                @Override
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   143
                public String toString() {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   144
                    return "repeated annotation pass of: " + s + " in: " + s.owner;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   145
                }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   146
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   147
                @Override
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   148
                public void enterAnnotation() {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   149
                    complete(ctx);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   150
                }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   151
            });
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   152
        }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   153
    }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   154
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   155
    public Annotations reset() {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   156
        attributes = IN_PROGRESS;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   157
        return this;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   158
    }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   159
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   160
    public boolean isEmpty() {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   161
        return !isStarted()
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   162
                || pendingCompletion()
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   163
                || attributes.isEmpty();
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   164
    }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   165
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   166
    public boolean pendingCompletion() {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   167
        return attributes == IN_PROGRESS;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   168
    }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   169
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   170
    public Annotations append(List<Attribute.Compound> l) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   171
        attributes = filterSentinels(attributes);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   172
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   173
        if (l.isEmpty()) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   174
            ; // no-op
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   175
        } else if (attributes.isEmpty()) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   176
            attributes = l;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   177
        } else {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   178
            attributes = attributes.appendList(l);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   179
        }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   180
        return this;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   181
    }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   182
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   183
    public Annotations prepend(List<Attribute.Compound> l) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   184
        attributes = filterSentinels(attributes);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   185
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   186
        if (l.isEmpty()) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   187
            ; // no-op
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   188
        } else if (attributes.isEmpty()) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   189
            attributes = l;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   190
        } else {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   191
            attributes = attributes.prependList(l);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   192
        }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   193
        return this;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   194
    }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   195
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   196
    private List<Attribute.Compound> filterSentinels(List<Attribute.Compound> a) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   197
        return (a == IN_PROGRESS || a == NOT_STARTED)
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   198
                ? List.<Attribute.Compound>nil()
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   199
                : a;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   200
    }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   201
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   202
    private boolean isStarted() {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   203
        return attributes != NOT_STARTED;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   204
    }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   205
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   206
    private List<Attribute.Compound> getPlaceholders() {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   207
        List<Attribute.Compound> res = List.<Attribute.Compound>nil();
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   208
        for (Attribute.Compound a : filterSentinels(attributes)) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   209
            if (a instanceof Placeholder) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   210
                res = res.prepend(a);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   211
            }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   212
        }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   213
        return res.reverse();
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   214
    }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   215
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   216
    /*
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   217
     * Replace Placeholders for repeating annotations with their containers
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   218
     */
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   219
    private void complete(Annotate.AnnotateRepeatedContext ctx) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   220
        Assert.check(!pendingCompletion());
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   221
        Log log = ctx.log;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   222
        Env<AttrContext> env = ctx.env;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   223
        JavaFileObject oldSource = log.useSource(env.toplevel.sourcefile);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   224
        try {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   225
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   226
            if (isEmpty()) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   227
                return;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   228
            }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   229
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   230
            List<Attribute.Compound> result = List.nil();
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   231
            for (Attribute.Compound a : getAttributes()) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   232
                if (a instanceof Placeholder) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   233
                    Attribute.Compound replacement = replaceOne((Placeholder) a, ctx);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   234
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   235
                    if (null != replacement) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   236
                        result = result.prepend(replacement);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   237
                    }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   238
                } else {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   239
                    result = result.prepend(a);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   240
                }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   241
            }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   242
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   243
            attributes = result.reverse();
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   244
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   245
            Assert.check(Annotations.this.getPlaceholders().isEmpty());
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   246
        } finally {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   247
            log.useSource(oldSource);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   248
        }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   249
    }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   250
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   251
    private Attribute.Compound replaceOne(Placeholder placeholder, Annotate.AnnotateRepeatedContext ctx) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   252
        Log log = ctx.log;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   253
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   254
        // Process repeated annotations
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   255
        Attribute.Compound validRepeated =
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   256
                ctx.processRepeatedAnnotations(placeholder.getPlaceholderFor());
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   257
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   258
        if (validRepeated != null) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   259
            // Check that the container isn't manually
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   260
            // present along with repeated instances of
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   261
            // its contained annotation.
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   262
            ListBuffer<Attribute.Compound> manualContainer = ctx.annotated.get(validRepeated.type.tsym);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   263
            if (manualContainer != null) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   264
                log.error(ctx.pos.get(manualContainer.first()), "invalid.containedby.annotation.repeated.and.container.present",
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   265
                        manualContainer.first().type.tsym);
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   266
            }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   267
        }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   268
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   269
        // A null return will delete the Placeholder
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   270
        return validRepeated;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   271
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   272
    }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   273
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   274
    private static class Placeholder extends Attribute.Compound {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   275
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   276
        private List<Attribute.Compound> placeholderFor;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   277
        private Symbol on;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   278
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   279
        public Placeholder(List<Attribute.Compound> placeholderFor, Symbol on) {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   280
            super(Type.noType, List.<Pair<Symbol.MethodSymbol, Attribute>>nil());
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   281
            this.placeholderFor = placeholderFor;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   282
            this.on = on;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   283
        }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   284
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   285
        @Override
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   286
        public String toString() {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   287
            return "<placeholder: " + placeholderFor + " on: " + on + ">";
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   288
        }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   289
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   290
        public List<Attribute.Compound> getPlaceholderFor() {
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   291
            return placeholderFor;
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   292
        }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   293
    }
4d519199a6aa 7151010: Add compiler support for repeating annotations
jfranck
parents:
diff changeset
   294
}