langtools/test/tools/javac/annotations/typeAnnotations/referenceinfos/NestedTypes.java
author mchung
Wed, 27 May 2015 13:25:18 -0700
changeset 30846 2b3f379840f0
parent 30730 d3ce7619db2c
permissions -rw-r--r--
8074432: Move jdeps and javap to jdk.jdeps module Reviewed-by: jjg, alanb, erikj
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
     1
/*
30730
d3ce7619db2c 8076543: Add @modules as needed to the langtools tests
akulyakh
parents: 26532
diff changeset
     2
 * Copyright (c) 2012, 2015, Oracle and/or its affiliates. All rights reserved.
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
     4
 *
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
     7
 * published by the Free Software Foundation.
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
     8
 *
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    13
 * accompanied this code).
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    14
 *
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    18
 *
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    21
 * questions.
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    22
 */
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    23
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    24
import static com.sun.tools.classfile.TypeAnnotation.TargetType.*;
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    25
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    26
/*
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    27
 * @test
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    28
 * @bug 8042451 8044009 8044010
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    29
 * @summary Test population of reference info for nested types
30846
2b3f379840f0 8074432: Move jdeps and javap to jdk.jdeps module
mchung
parents: 30730
diff changeset
    30
 * @modules jdk.jdeps/com.sun.tools.classfile
26532
aa84b6606229 8056021: checkin for JDK-8027262 breaks Checker Framework
jfranck
parents: 24896
diff changeset
    31
 * @ignore 8057687 emit correct byte code an attributes for type annotations
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    32
 * @compile -g Driver.java ReferenceInfoUtil.java NestedTypes.java
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    33
 * @run main Driver NestedTypes
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    34
 */
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    35
public class NestedTypes {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    36
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    37
    // method parameters
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    38
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    39
    @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    40
            genericLocation = {}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    41
    @TADescription(annotation = "TB", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    42
            genericLocation = {1, 0}, paramIndex = 0)
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    43
    public String testParam1() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    44
        return "void test(@TA Outer.@TB Inner a) { }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    45
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    46
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    47
    @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    48
            genericLocation = {3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    49
    @TADescription(annotation = "TB", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    50
            genericLocation = {3, 0, 1, 0}, paramIndex = 0)
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    51
    public String testParam1b() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    52
        return "void test(List<@TA Outer.@TB Inner> a) { }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    53
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    54
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    55
    // TODO: the tests that use @TA Map.Entry should fail, as
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    56
    // Map cannot be annotated.
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    57
    // We need some tests for the fully qualified name syntax.
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    58
    /*
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    59
    @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    60
            genericLocation = {}, paramIndex = 0)
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    61
    public String testParam1c() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    62
        return "void test(java.util.@TA Map.Entry a) { }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    63
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    64
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    65
    @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    66
                genericLocation = {}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    67
    @TADescription(annotation = "TB", type = METHOD_FORMAL_PARAMETER,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    68
                genericLocation = {1, 0}, paramIndex = 0)
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    69
    })
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    70
    public String testParam1d() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    71
        return "void test(java.util.@TA Map.@TB Entry a) { }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    72
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    73
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    74
    @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    75
            genericLocation = {3, 0}, paramIndex = 0)
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    76
    public String testParam1e() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    77
        return "void test(List<java.util.@TA Map.Entry> a) { }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    78
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    79
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    80
    @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    81
                genericLocation = {3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    82
    @TADescription(annotation = "TB", type = METHOD_FORMAL_PARAMETER,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    83
                genericLocation = {3, 0, 1, 0}, paramIndex = 0)
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    84
    })
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    85
    public String testParam1f() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    86
        return "void test(List<java.util.@TA Map. @TB Entry> a) { }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    87
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    88
    */
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    89
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    90
    @TADescription(annotation = "TB", type = METHOD_FORMAL_PARAMETER,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    91
           genericLocation = {3, 0}, paramIndex = 0)
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    92
    public String testParam1g() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    93
        return "void test(List<java.util.Map. @TB Entry> a) { }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    94
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
    95
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    96
    @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    97
            genericLocation = {}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    98
    @TADescription(annotation = "TB", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
    99
            genericLocation = {1, 0}, paramIndex = 0)
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   100
    public String testParam2() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   101
        return "void test(@TA GOuter<String,String>.@TB GInner<String,String> a) { }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   102
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   103
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   104
    @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   105
            genericLocation = {3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   106
    @TADescription(annotation = "TB", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   107
            genericLocation = {3, 0, 1, 0}, paramIndex = 0)
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   108
    public String testParam2b() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   109
        return "void test(List<@TA GOuter<String,String>.@TB GInner<String,String>> a) { }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   110
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   111
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   112
    @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   113
            genericLocation = {0, 0, 0, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   114
    @TADescription(annotation = "TB", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   115
            genericLocation = {0, 0, 0, 0, 1, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   116
    @TADescription(annotation = "TC", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   117
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   118
    @TADescription(annotation = "TD", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   119
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   120
    @TADescription(annotation = "TE", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   121
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   122
    @TADescription(annotation = "TF", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   123
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   124
    @TADescription(annotation = "TG", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   125
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   126
    @TADescription(annotation = "TH", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   127
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0, 3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   128
    @TADescription(annotation = "TI", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   129
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0, 3, 1}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   130
    @TADescription(annotation = "TJ", type = METHOD_FORMAL_PARAMETER, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   131
    @TADescription(annotation = "TK", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   132
            genericLocation = {0, 0}, paramIndex = 0)
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   133
    public String testParam3() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   134
        return "class Outer {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   135
                " class GInner<X> {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   136
                "  class GInner2<Y, Z> {}\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   137
                "}}\n\n" +
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   138
                "class %TEST_CLASS_NAME% {\n" +
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   139
                " void test(@TA Outer . @TB GInner<@TC List<@TD Object @TE[] @TF[]>>. @TG GInner2<@TH Integer, @TI Object> @TJ[] @TK[] a) { }\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   140
                "}";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   141
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   142
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   143
    @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   144
            genericLocation = {3, 0, 0, 0, 0, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   145
    @TADescription(annotation = "TB", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   146
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   147
    @TADescription(annotation = "TC", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   148
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   149
    @TADescription(annotation = "TD", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   150
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   151
    @TADescription(annotation = "TE", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   152
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   153
    @TADescription(annotation = "TF", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   154
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   155
    @TADescription(annotation = "TG", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   156
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   157
    @TADescription(annotation = "TH", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   158
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   159
    @TADescription(annotation = "TI", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   160
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 1}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   161
    @TADescription(annotation = "TJ", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   162
            genericLocation = {3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   163
    @TADescription(annotation = "TK", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   164
            genericLocation = {3, 0, 0, 0}, paramIndex = 0)
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   165
    public String testParam4() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   166
        return "class Outer {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   167
                " class GInner<X> {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   168
                "  class GInner2<Y, Z> {}\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   169
                "}}\n\n" +
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   170
                "class %TEST_CLASS_NAME% {\n" +
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   171
                " void test(List<@TA Outer . @TB GInner<@TC List<@TD Object @TE[] @TF[]>>. @TG GInner2<@TH Integer, @TI Object> @TJ[] @TK[]> a) { }\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   172
                "}";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   173
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   174
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   175
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   176
    // Local variables
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   177
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   178
    @TADescription(annotation = "TA", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   179
            genericLocation = {},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   180
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   181
    @TADescription(annotation = "TB", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   182
            genericLocation = {1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   183
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   184
    public String testLocal1a() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   185
        return "void test() { @TA Outer.@TB Inner a = null; }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   186
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   187
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   188
    @TADescription(annotation = "TA", type = LOCAL_VARIABLE,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   189
            genericLocation = {},
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   190
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   191
    public String testLocal1b() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   192
        return "void test() { @TA Outer.Inner a = null; }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   193
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   194
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   195
    @TADescription(annotation = "TB", type = LOCAL_VARIABLE,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   196
            genericLocation = {1, 0},
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   197
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   198
    public String testLocal1c() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   199
        return "void test() { Outer.@TB Inner a = null; }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   200
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   201
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   202
    @TADescription(annotation = "TA", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   203
            genericLocation = {},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   204
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   205
    @TADescription(annotation = "TB", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   206
            genericLocation = {1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   207
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   208
    public String testLocal2() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   209
        return "void test() { @TA GOuter<String,String>.@TB GInner<String,String> a = null; }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   210
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   211
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   212
    @TADescription(annotation = "TA", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   213
            genericLocation = {0, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   214
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   215
    @TADescription(annotation = "TB", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   216
            genericLocation = {0, 0, 0, 0, 1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   217
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   218
    @TADescription(annotation = "TC", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   219
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   220
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   221
    @TADescription(annotation = "TD", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   222
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   223
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   224
    @TADescription(annotation = "TE", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   225
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   226
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   227
    @TADescription(annotation = "TF", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   228
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   229
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   230
    @TADescription(annotation = "TG", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   231
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   232
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   233
    @TADescription(annotation = "TH", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   234
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   235
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   236
    @TADescription(annotation = "TI", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   237
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0, 3, 1},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   238
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   239
    @TADescription(annotation = "TJ", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   240
            genericLocation = {},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   241
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   242
    @TADescription(annotation = "TK", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   243
            genericLocation = {0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   244
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   245
    public String testLocal3() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   246
        return "class Outer {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   247
                " class GInner<X> {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   248
                "  class GInner2<Y, Z> {}\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   249
                "}}\n\n" +
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   250
                "class %TEST_CLASS_NAME% {\n" +
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   251
                " void test() { @TA Outer . @TB GInner<@TC List<@TD Object @TE[] @TF[]>>. @TG GInner2<@TH Integer, @TI Object> @TJ[] @TK[] a = null; }\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   252
                "}";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   253
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   254
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   255
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   256
    @TADescription(annotation = "TA", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   257
            genericLocation = {3, 0, 0, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   258
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   259
    @TADescription(annotation = "TB", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   260
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   261
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   262
    @TADescription(annotation = "TC", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   263
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   264
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   265
    @TADescription(annotation = "TD", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   266
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   267
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   268
    @TADescription(annotation = "TE", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   269
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   270
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   271
    @TADescription(annotation = "TF", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   272
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   273
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   274
    @TADescription(annotation = "TG", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   275
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   276
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   277
    @TADescription(annotation = "TH", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   278
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   279
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   280
    @TADescription(annotation = "TI", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   281
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 1},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   282
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   283
    @TADescription(annotation = "TJ", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   284
            genericLocation = {3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   285
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   286
    @TADescription(annotation = "TK", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   287
            genericLocation = {3, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   288
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   289
    public String testLocal4() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   290
        return "class Outer {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   291
                " class GInner<X> {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   292
                "  class GInner2<Y, Z> {}\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   293
                "}}\n\n" +
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   294
                "class %TEST_CLASS_NAME% {\n" +
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   295
                " void test() { List<@TA Outer . @TB GInner<@TC List<@TD Object @TE[] @TF[]>>. @TG GInner2<@TH Integer, @TI Object> @TJ[] @TK[]> a = null; }\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   296
                "}";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   297
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   298
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   299
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   300
    // fields
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   301
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   302
    @TADescription(annotation = "TA", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   303
            genericLocation = {})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   304
    @TADescription(annotation = "TB", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   305
            genericLocation = {1, 0})
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   306
    public String testField1a() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   307
        return "@TA Outer.@TB Inner a;";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   308
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   309
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   310
    @TADescription(annotation = "TA", type = FIELD,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   311
            genericLocation = {})
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   312
    public String testField1b() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   313
        return "@TA Outer.Inner a;";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   314
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   315
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   316
    @TADescription(annotation = "TB", type = FIELD,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   317
            genericLocation = {1, 0})
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   318
    public String testField1c() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   319
        return "Outer.@TB Inner a;";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   320
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   321
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   322
    @TADescription(annotation = "TA", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   323
            genericLocation = {})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   324
    @TADescription(annotation = "TB", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   325
            genericLocation = {1, 0})
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   326
    public String testField2() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   327
        return "@TA GOuter<String,String>.@TB GInner<String,String> a;";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   328
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   329
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   330
    @TADescription(annotation = "TA", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   331
            genericLocation = {0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   332
    @TADescription(annotation = "TB", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   333
            genericLocation = {0, 0, 0, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   334
    @TADescription(annotation = "TC", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   335
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   336
    @TADescription(annotation = "TD", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   337
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   338
    @TADescription(annotation = "TE", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   339
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   340
    @TADescription(annotation = "TF", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   341
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   342
    @TADescription(annotation = "TG", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   343
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   344
    @TADescription(annotation = "TH", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   345
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   346
    @TADescription(annotation = "TI", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   347
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0, 3, 1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   348
    @TADescription(annotation = "TJ", type = FIELD)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   349
    @TADescription(annotation = "TK", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   350
            genericLocation = {0, 0})
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   351
    public String testField3() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   352
        return "class Outer {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   353
                " class GInner<X> {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   354
                "  class GInner2<Y, Z> {}\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   355
                "}}\n\n" +
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   356
                "class %TEST_CLASS_NAME% {\n" +
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   357
                " @TA Outer . @TB GInner<@TC List<@TD Object @TE[] @TF[]>>. @TG GInner2<@TH Integer, @TI Object> @TJ[] @TK[] a;\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   358
                "}";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   359
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   360
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   361
    @TADescription(annotation = "TA", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   362
            genericLocation = {3, 0, 0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   363
    @TADescription(annotation = "TB", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   364
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   365
    @TADescription(annotation = "TC", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   366
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   367
    @TADescription(annotation = "TD", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   368
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   369
    @TADescription(annotation = "TE", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   370
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   371
    @TADescription(annotation = "TF", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   372
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   373
    @TADescription(annotation = "TG", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   374
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   375
    @TADescription(annotation = "TH", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   376
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   377
    @TADescription(annotation = "TI", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   378
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   379
    @TADescription(annotation = "TJ", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   380
            genericLocation = {3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   381
    @TADescription(annotation = "TK", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   382
            genericLocation = {3, 0, 0, 0})
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   383
    public String testField4() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   384
        return "class Outer {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   385
                " class GInner<X> {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   386
                "  class GInner2<Y, Z> {}\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   387
                "}}\n\n" +
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   388
                "class %TEST_CLASS_NAME% {\n" +
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   389
                " List<@TA Outer . @TB GInner<@TC List<@TD Object @TE[] @TF[]>>. @TG GInner2<@TH Integer, @TI Object> @TJ[] @TK[]> a;\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   390
                "}";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   391
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   392
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   393
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   394
    // return types
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   395
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   396
    @TADescription(annotation = "TA", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   397
            genericLocation = {})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   398
    @TADescription(annotation = "TB", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   399
            genericLocation = {1, 0})
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   400
    public String testReturn1() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   401
        return "@TA Outer.@TB Inner test() { return null; }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   402
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   403
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   404
    @TADescription(annotation = "TA", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   405
            genericLocation = {})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   406
    @TADescription(annotation = "TB", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   407
            genericLocation = {1, 0})
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   408
    public String testReturn2() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   409
        return "@TA GOuter<String,String>.@TB GInner<String,String> test() { return null; }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   410
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   411
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   412
    @TADescription(annotation = "TA", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   413
            genericLocation = {0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   414
    @TADescription(annotation = "TB", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   415
            genericLocation = {0, 0, 0, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   416
    @TADescription(annotation = "TC", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   417
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   418
    @TADescription(annotation = "TD", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   419
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   420
    @TADescription(annotation = "TE", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   421
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   422
    @TADescription(annotation = "TF", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   423
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   424
    @TADescription(annotation = "TG", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   425
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   426
    @TADescription(annotation = "TH", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   427
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   428
    @TADescription(annotation = "TI", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   429
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0, 3, 1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   430
    @TADescription(annotation = "TJ", type = METHOD_RETURN)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   431
    @TADescription(annotation = "TK", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   432
            genericLocation = {0, 0})
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   433
    public String testReturn3() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   434
        return "class Outer {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   435
                " class GInner<X> {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   436
                "  class GInner2<Y, Z> {}\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   437
                "}}\n\n" +
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   438
                "class %TEST_CLASS_NAME% {\n" +
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   439
                " @TA Outer . @TB GInner<@TC List<@TD Object @TE[] @TF[]>>. @TG GInner2<@TH Integer, @TI Object> @TJ[] @TK[] test() { return null; }\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   440
                "}";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   441
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   442
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   443
    @TADescription(annotation = "TA", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   444
            genericLocation = {3, 0, 0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   445
    @TADescription(annotation = "TB", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   446
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   447
    @TADescription(annotation = "TC", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   448
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   449
    @TADescription(annotation = "TD", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   450
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   451
    @TADescription(annotation = "TE", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   452
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   453
    @TADescription(annotation = "TF", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   454
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   455
    @TADescription(annotation = "TG", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   456
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   457
    @TADescription(annotation = "TH", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   458
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   459
    @TADescription(annotation = "TI", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   460
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   461
    @TADescription(annotation = "TJ", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   462
            genericLocation = {3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   463
    @TADescription(annotation = "TK", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   464
            genericLocation = {3, 0, 0, 0})
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   465
    public String testReturn4() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   466
        return "class Outer {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   467
                " class GInner<X> {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   468
                "  class GInner2<Y, Z> {}\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   469
                "}}\n\n" +
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   470
                "class %TEST_CLASS_NAME% {\n" +
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   471
                " List<@TA Outer . @TB GInner<@TC List<@TD Object @TE[] @TF[]>>. @TG GInner2<@TH Integer, @TI Object> @TJ[] @TK[]> test() { return null; }\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   472
                "}";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   473
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   474
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   475
    @TADescription(annotation = "TA", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   476
                genericLocation = {3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   477
    @TADescription(annotation = "TB", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   478
                genericLocation = {3, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   479
    @TADescription(annotation = "TC", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   480
                genericLocation = {3, 0, 3, 1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   481
    @TADescription(annotation = "TD", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   482
                genericLocation = {3, 0, 3, 1, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   483
    @TADescription(annotation = "TE", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   484
                genericLocation = {3, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   485
    @TADescription(annotation = "TF", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   486
                genericLocation = {3, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   487
    @TADescription(annotation = "TG", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   488
                genericLocation = {3, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   489
    @TADescription(annotation = "TH", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   490
                genericLocation = {3, 0, 1, 0, 3, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   491
    @TADescription(annotation = "TI", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   492
                genericLocation = {3, 0, 1, 0, 3, 0, 3, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   493
    @TADescription(annotation = "TJ", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   494
                genericLocation = {3, 0, 1, 0, 1, 0})
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   495
    public String testReturn5() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   496
        return "class GOuter<A, B> {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   497
                " class GInner<X> {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   498
                "  class GInner2<Y, Z> {}\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   499
                "}}\n\n" +
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   500
                "class %TEST_CLASS_NAME% {\n" +
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   501
                " List<@TA GOuter<@TB String, @TC List<@TD Object>> . @TE GInner<@TF List<@TG Object @TH[] @TI[]>>. @TJ GInner2<String, String>> test() { return null; }\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   502
                "}";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   503
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   504
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   505
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   506
    // type parameters
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   507
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   508
    @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   509
                genericLocation = {}, paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   510
    @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   511
                genericLocation = {1, 0}, paramIndex = 0, boundIndex = 0)
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   512
    public String testTypeparam1() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   513
        return "<X extends @TA Outer.@TB Inner> X test() { return null; }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   514
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   515
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   516
    @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   517
                genericLocation = {}, paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   518
    @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   519
                genericLocation = {1, 0}, paramIndex = 0, boundIndex = 0)
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   520
    public String testTypeparam2() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   521
        return "<X extends @TA GOuter<String,String>.@TB GInner<String,String>> X test() { return null; }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   522
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   523
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   524
    @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   525
                genericLocation = {},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   526
                paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   527
    @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   528
                genericLocation = {1, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   529
                paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   530
    @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   531
                genericLocation = {1, 0, 3, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   532
                paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   533
    @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   534
                genericLocation = {1, 0, 3, 0, 3, 0, 0, 0, 0, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   535
                paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   536
    @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   537
                genericLocation = {1, 0, 3, 0, 3, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   538
                paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   539
    @TADescription(annotation = "TF", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   540
                genericLocation = {1, 0, 3, 0, 3, 0, 0, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   541
                paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   542
    @TADescription(annotation = "TG", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   543
                genericLocation = {1, 0, 1, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   544
                paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   545
    @TADescription(annotation = "TH", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   546
                genericLocation = {1, 0, 1, 0, 3, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   547
                paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   548
    @TADescription(annotation = "TI", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   549
                genericLocation = {1, 0, 1, 0, 3, 1},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   550
                paramIndex = 0, boundIndex = 0)
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   551
    public String testTypeparam3() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   552
        return "class Outer {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   553
                " class GInner<X> {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   554
                "  class GInner2<Y, Z> {}\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   555
                "}}\n\n" +
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   556
                "class %TEST_CLASS_NAME% {\n" +
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   557
                " <X extends @TA Outer . @TB GInner<@TC List<@TD Object @TE[] @TF[]>>. @TG GInner2<@TH Integer, @TI Object>> X test() { return null; }\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   558
                "}";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   559
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   560
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   561
    @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   562
                genericLocation = {3, 0, 0, 0, 0, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   563
                paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   564
    @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   565
                genericLocation = {3, 0, 0, 0, 0, 0, 1, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   566
                paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   567
    @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   568
                genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   569
                paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   570
    @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   571
                genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   572
                paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   573
    @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   574
                genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   575
                paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   576
    @TADescription(annotation = "TF", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   577
                genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   578
                paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   579
    @TADescription(annotation = "TG", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   580
                genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   581
                paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   582
    @TADescription(annotation = "TH", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   583
                genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   584
                paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   585
    @TADescription(annotation = "TI", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   586
                genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 1},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   587
                paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   588
    @TADescription(annotation = "TJ", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   589
                genericLocation = {3, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   590
                paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   591
    @TADescription(annotation = "TK", type = METHOD_TYPE_PARAMETER_BOUND,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   592
                genericLocation = {3, 0, 0, 0},
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   593
                paramIndex = 0, boundIndex = 1)
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   594
    public String testTypeparam4() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   595
        return "class Outer {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   596
                " class GInner<X> {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   597
                "  class GInner2<Y, Z> {}\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   598
                "}}\n\n" +
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   599
                "class %TEST_CLASS_NAME% {\n" +
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   600
                " <X extends List<@TA Outer . @TB GInner<@TC List<@TD Object @TE[] @TF[]>>. @TG GInner2<@TH Integer, @TI Object> @TJ[] @TK[]>> X test() { return null; }\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   601
                "}";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   602
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   603
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   604
    @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   605
                genericLocation = {3, 0}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   606
    @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   607
                genericLocation = {3, 0, 3, 0}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   608
    @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   609
                genericLocation = {3, 0, 3, 1}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   610
    @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   611
                genericLocation = {3, 0, 3, 1, 3, 0}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   612
    @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   613
                genericLocation = {3, 0, 1, 0}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   614
    @TADescription(annotation = "TF", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   615
                genericLocation = {3, 0, 1, 0, 3, 0}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   616
    @TADescription(annotation = "TG", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   617
                genericLocation = {3, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   618
    @TADescription(annotation = "TH", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   619
                genericLocation = {3, 0, 1, 0, 3, 0, 3, 0}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   620
    @TADescription(annotation = "TI", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   621
                genericLocation = {3, 0, 1, 0, 3, 0, 3, 0, 0, 0}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   622
    @TADescription(annotation = "TJ", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   623
                genericLocation = {3, 0, 1, 0, 1, 0}, paramIndex = 0, boundIndex = 1)
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   624
    public String testTypeparam5() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   625
        return "class GOuter<A, B> {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   626
                " class GInner<X> {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   627
                "  class GInner2<Y, Z> {}\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   628
                "}}\n\n" +
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   629
                "class %TEST_CLASS_NAME% {\n" +
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   630
                " <X extends List<@TA GOuter<@TB String, @TC List<@TD Object>> . @TE GInner<@TF List<@TG Object @TH[] @TI[]>>. @TJ GInner2<String, String>>> X test() { return null; }\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   631
                "}";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   632
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   633
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   634
    @TADescription(annotation = "TA", type = FIELD,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   635
            genericLocation = {3, 0, 1, 0})
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   636
    public String testUses1a() {
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   637
        return "class %TEST_CLASS_NAME% { class Inner {}    List<@TA Inner> f; }";
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   638
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   639
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   640
    @TADescription(annotation = "TA", type = FIELD,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   641
            genericLocation = {3, 0})
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   642
    public String testUses1b() {
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   643
        return "class %TEST_CLASS_NAME% { class Inner {}    List<@TA %TEST_CLASS_NAME%.Inner> f; }";
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   644
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   645
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   646
    @TADescription(annotation = "TA", type = FIELD,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   647
            genericLocation = {3, 0, 1, 0, 1, 0})
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   648
    @TestClass("%TEST_CLASS_NAME%$Inner")
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   649
    public String testUses2a() {
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   650
        return "class %TEST_CLASS_NAME% { class Inner { class Inner2{}    List<@TA Inner2> f; }}";
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   651
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   652
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   653
    @TADescription(annotation = "TA", type = FIELD,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   654
            genericLocation = {3, 0, 1, 0})
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   655
    @TestClass("%TEST_CLASS_NAME%$Inner")
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   656
    public String testUses2b() {
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   657
        return "class %TEST_CLASS_NAME% { class Inner { class Inner2{}    List<@TA Inner.Inner2> f; }}";
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   658
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   659
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   660
    @TADescription(annotation = "TA", type = FIELD,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   661
            genericLocation = {3, 0, 1, 0, 1, 0})
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   662
    @TestClass("%TEST_CLASS_NAME%$Inner")
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   663
    public String testUses2c() {
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   664
        return "class %TEST_CLASS_NAME% { class Inner { class Inner2{}    List<Inner.@TA Inner2> f; }}";
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   665
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   666
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   667
    @TADescription(annotation = "TA", type = FIELD,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   668
            genericLocation = {3, 0})
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   669
    @TestClass("%TEST_CLASS_NAME%$Inner")
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   670
    public String testUses2d() {
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   671
        return "class %TEST_CLASS_NAME%{ class Inner { class Inner2{}    List<@TA %TEST_CLASS_NAME%.Inner.Inner2> f; }}";
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   672
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   673
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   674
    @TADescription(annotation = "TA", type = FIELD,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   675
            genericLocation = {3, 0, 1, 0})
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   676
    @TestClass("%TEST_CLASS_NAME%$Inner")
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   677
    public String testUses2e() {
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   678
        return "class %TEST_CLASS_NAME% { class Inner { class Inner2{}    List<%TEST_CLASS_NAME%.@TA Inner.Inner2> f; }}";
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   679
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   680
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   681
    @TADescription(annotation = "TA", type = FIELD,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   682
            genericLocation = {3, 0, 1, 0, 1, 0})
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   683
    @TestClass("%TEST_CLASS_NAME%$Inner")
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   684
    public String testUses2f() {
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   685
        return "class %TEST_CLASS_NAME% { class Inner { class Inner2{}    List<%TEST_CLASS_NAME%.Inner.@TA Inner2> f; }}";
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   686
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   687
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   688
    @TADescription(annotation = "TA", type = FIELD,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   689
            genericLocation = {3, 0, 1, 0, 1, 0})
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   690
    @TestClass("%TEST_CLASS_NAME%$Inner")
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   691
    public String testUses3a() {
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   692
        return "class %TEST_CLASS_NAME% { class Inner<A, B> { class Inner2<C, D>{}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   693
                "    List<%TEST_CLASS_NAME%.Inner.@TA Inner2> f; }}";
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   694
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   695
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   696
    @TADescription(annotation = "TA", type = FIELD,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   697
            genericLocation = {3, 0, 1, 0})
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   698
    @TestClass("%TEST_CLASS_NAME%$Inner")
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   699
    public String testUses3b() {
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   700
        return "class %TEST_CLASS_NAME% { class Inner<A, B> { class Inner2<C, D>{}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   701
                "    List<%TEST_CLASS_NAME%.@TA Inner.Inner2> f; }}";
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   702
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   703
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   704
    @TADescription(annotation = "TA", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   705
                genericLocation = {})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   706
    @TADescription(annotation = "TB", type = FIELD,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   707
                genericLocation = {3, 0})
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   708
    public String testUses4() {
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   709
        return "class %TEST_CLASS_NAME% { static class TInner {}\n" +
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   710
                "    @TA TInner f; \n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   711
                "    List<@TB TInner> g; }";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   712
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   713
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   714
    @TADescription(annotation = "TA", type = FIELD,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   715
            genericLocation = {3, 0, 1, 0, 3, 1})
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   716
    @TestClass("%TEST_CLASS_NAME%$Inner")
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   717
    public String testUses3c() {
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   718
        return "class %TEST_CLASS_NAME% { class Inner<A, B> { class Inner2<C, D>{}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   719
                "    List<%TEST_CLASS_NAME%.Inner<String, @TA Object>.Inner2<%TEST_CLASS_NAME%, %TEST_CLASS_NAME%>> f; }}";
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   720
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   721
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   722
    @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER, paramIndex=0)
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   723
    public String testFullyQualified1() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   724
        return "void testme(java.security.@TA ProtectionDomain protectionDomain) {}";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   725
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   726
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   727
    @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER, paramIndex=0,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   728
            genericLocation = {3, 0})
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   729
    public String testFullyQualified2() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   730
        return "void testme(List<java.security.@TA ProtectionDomain> protectionDomain) {}";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   731
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   732
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   733
    @TADescription(annotation = "TA", type = LOCAL_VARIABLE,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   734
                genericLocation = {},
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   735
                lvarOffset = ReferenceInfoUtil.IGNORE_VALUE,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   736
                lvarLength = ReferenceInfoUtil.IGNORE_VALUE,
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   737
                lvarIndex = ReferenceInfoUtil.IGNORE_VALUE)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   738
    @TADescription(annotation = "TB", type = LOCAL_VARIABLE,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   739
                genericLocation = {1, 0},
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   740
                lvarOffset = ReferenceInfoUtil.IGNORE_VALUE,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   741
                lvarLength = ReferenceInfoUtil.IGNORE_VALUE,
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   742
                lvarIndex = ReferenceInfoUtil.IGNORE_VALUE)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   743
    @TADescription(annotation = "TC", type = LOCAL_VARIABLE,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   744
                // Only classes count, not methods.
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   745
                genericLocation = {1, 0, 1, 0},
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   746
                lvarOffset = ReferenceInfoUtil.IGNORE_VALUE,
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   747
                lvarLength = ReferenceInfoUtil.IGNORE_VALUE,
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   748
                lvarIndex = ReferenceInfoUtil.IGNORE_VALUE)
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   749
    @TestClass("Outer$Inner")
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   750
    public String testMethodNesting1() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   751
        return "class Outer {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   752
                " class Inner {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   753
                "  void foo() {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   754
                "    class MInner {}\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   755
                "    @TA Outer . @TB Inner l1 = null;\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   756
                "    @TC MInner l2 = null;\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   757
                "  }\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   758
                "}}\n";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   759
    }
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   760
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   761
    @TADescription(annotation = "TA", type = NEW,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   762
                genericLocation = {},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   763
                offset = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   764
    @TADescription(annotation = "TB", type = NEW,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   765
                genericLocation = {1, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   766
                offset = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   767
    @TADescription(annotation = "TC", type = NEW,
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   768
                // Only classes count, not methods.
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   769
                genericLocation = {1, 0, 1, 0},
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   770
                offset = 12)
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   771
    @TestClass("Outer$Inner")
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   772
    public String testMethodNesting2() {
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   773
        return "class Outer {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   774
                " class Inner {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   775
                "  void foo() {\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   776
                "    class MInner {}\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   777
                "    Object o1 = new @TA Outer . @TB Inner();" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   778
                "    Object o2 = new @TC MInner();\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   779
                "  }\n" +
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   780
                "}}\n";
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
   781
    }
17578
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   782
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   783
    @TADescription(annotation = "TA", type = CLASS_EXTENDS,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   784
                genericLocation = {}, typeIndex = -1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   785
    @TADescription(annotation = "TB", type = CLASS_EXTENDS,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   786
                genericLocation = {3, 0}, typeIndex = -1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   787
    @TADescription(annotation = "TC", type = CLASS_EXTENDS,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   788
                genericLocation = {3, 1}, typeIndex = -1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   789
    @TADescription(annotation = "TD", type = CLASS_EXTENDS,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   790
                genericLocation = {1, 0}, typeIndex = -1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   791
    @TADescription(annotation = "TE", type = CLASS_EXTENDS,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   792
                genericLocation = {1, 0, 3, 0}, typeIndex = -1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   793
    @TADescription(annotation = "TF", type = CLASS_EXTENDS,
17578
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   794
                genericLocation = {1, 0, 3, 1}, typeIndex = -1)
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   795
    @TestClass("GOuter$GInner$Test")
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   796
    public String testExtends1() {
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   797
        return "class GOuter<A, B> {\n" +
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   798
                "  class GInner<X, Y> {\n" +
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   799
                "    class Test extends @TA GOuter<@TB String, @TC String>.@TD GInner<@TE String, @TF String> {}" +
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   800
                "  }" +
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   801
                "}";
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   802
    }
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   803
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   804
    @TADescription(annotation = "TA", type = CLASS_TYPE_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   805
                genericLocation = {}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   806
    @TADescription(annotation = "TB", type = CLASS_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   807
                genericLocation = {}, paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   808
    @TADescription(annotation = "TC", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   809
                genericLocation = {})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   810
    @TADescription(annotation = "TD", type = FIELD,
17578
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   811
                genericLocation = {3, 0})
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   812
    @TestClass("%TEST_CLASS_NAME%$1Nested")
17578
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   813
    public String testNestedInMethod1() {
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   814
        return "class %TEST_CLASS_NAME% {\n" +
17578
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   815
                "  void foobar() {\n" +
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   816
                "    class Nested<@TA X extends @TB Object> {\n" +
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   817
                "      @TC List<@TD Object> f;\n" +
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   818
                "    }\n" +
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   819
                "  }" +
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   820
                "}";
46ac954e4a84 8013852: update reference impl for type-annotations
jjg
parents: 15557
diff changeset
   821
    }
24896
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   822
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   823
    @TADescription(annotation = "RTAs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   824
            genericLocation = {}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   825
    @TADescription(annotation = "RTBs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   826
            genericLocation = {1, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   827
    public String testParamRepeatableAnnotation1() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   828
        return "void test(@RTA @RTA Outer.@RTB @RTB Inner a) { }";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   829
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   830
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   831
    @TADescription(annotation = "RTAs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   832
            genericLocation = {3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   833
    @TADescription(annotation = "RTBs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   834
            genericLocation = {3, 0, 1, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   835
    public String testParamRepeatableAnnotation1b() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   836
        return "void test(List<@RTA @RTA Outer.@RTB @RTB Inner> a) { }";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   837
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   838
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   839
    @TADescription(annotation = "RTBs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   840
            genericLocation = {3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   841
    public String testParamRepeatableAnnotation1g() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   842
        return "void test(List<java.util.Map. @RTB @RTB Entry> a) { }";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   843
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   844
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   845
    @TADescription(annotation = "RTAs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   846
            genericLocation = {}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   847
    @TADescription(annotation = "RTBs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   848
            genericLocation = {1, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   849
    public String testParamRepeatableAnnotation2() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   850
        return "void test(@RTA @RTA GOuter<String,String>.@RTB @RTB GInner<String,String> a) { }";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   851
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   852
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   853
    @TADescription(annotation = "RTAs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   854
            genericLocation = {3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   855
    @TADescription(annotation = "RTBs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   856
            genericLocation = {3, 0, 1, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   857
    public String testParamRepeatableAnnotation2b() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   858
        return "void test(List<@RTA @RTA GOuter<String,String>.@RTB @RTB GInner<String,String>> a) { }";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   859
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   860
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   861
    @TADescription(annotation = "RTAs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   862
            genericLocation = {0, 0, 0, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   863
    @TADescription(annotation = "RTBs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   864
            genericLocation = {0, 0, 0, 0, 1, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   865
    @TADescription(annotation = "RTCs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   866
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   867
    @TADescription(annotation = "RTDs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   868
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   869
    @TADescription(annotation = "RTEs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   870
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   871
    @TADescription(annotation = "RTFs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   872
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   873
    @TADescription(annotation = "RTGs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   874
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   875
    @TADescription(annotation = "RTHs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   876
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0, 3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   877
    @TADescription(annotation = "RTIs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   878
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0, 3, 1}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   879
    @TADescription(annotation = "RTJs", type = METHOD_FORMAL_PARAMETER, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   880
    @TADescription(annotation = "RTKs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   881
            genericLocation = {0, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   882
    public String testParamRepeatableAnnotation3() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   883
        return "class Outer {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   884
                " class GInner<X> {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   885
                "  class GInner2<Y, Z> {}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   886
                "}}\n\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   887
                "class %TEST_CLASS_NAME% {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   888
                " void test(@RTA @RTA Outer . @RTB @RTB GInner<@RTC @RTC List<@RTD @RTD Object" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   889
                " @RTE @RTE[] @RTF @RTF[]>>. @RTG @RTG GInner2<@RTH @RTH Integer, @RTI @RTI Object>" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   890
                " @RTJ @RTJ[] @RTK @RTK[] a) { }\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   891
                "}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   892
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   893
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   894
    @TADescription(annotation = "RTAs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   895
            genericLocation = {3, 0, 0, 0, 0, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   896
    @TADescription(annotation = "RTBs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   897
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   898
    @TADescription(annotation = "RTCs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   899
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   900
    @TADescription(annotation = "RTDs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   901
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   902
    @TADescription(annotation = "RTEs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   903
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   904
    @TADescription(annotation = "RTFs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   905
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   906
    @TADescription(annotation = "RTGs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   907
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   908
    @TADescription(annotation = "RTHs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   909
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   910
    @TADescription(annotation = "RTIs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   911
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 1}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   912
    @TADescription(annotation = "RTJs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   913
            genericLocation = {3, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   914
    @TADescription(annotation = "RTKs", type = METHOD_FORMAL_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   915
            genericLocation = {3, 0, 0, 0}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   916
    public String testParamRepeatableAnnotation4() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   917
        return "class Outer {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   918
                " class GInner<X> {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   919
                "  class GInner2<Y, Z> {}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   920
                "}}\n\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   921
                "class %TEST_CLASS_NAME% {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   922
                " void test(List<@RTA @RTA Outer . @RTB @RTB GInner<@RTC @RTC List<@RTD @RTD Object" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   923
                " @RTE @RTE[] @RTF @RTF[]>>. @RTG @RTG GInner2<@RTH @RTH Integer," +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   924
                " @RTI @RTI Object> @RTJ @RTJ[] @RTK @RTK[]> a) { }\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   925
                "}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   926
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   927
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   928
    // Local variables
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   929
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   930
    @TADescription(annotation = "RTAs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   931
            genericLocation = {},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   932
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   933
    @TADescription(annotation = "RTBs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   934
            genericLocation = {1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   935
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   936
    public String testLocalRepeatableAnnotation1a() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   937
        return "void test() { @RTA @RTA Outer.@RTB @RTB Inner a = null; }";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   938
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   939
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   940
    @TADescription(annotation = "RTAs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   941
            genericLocation = {},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   942
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   943
    public String testLocalRepeatableAnnotation1b() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   944
        return "void test() { @RTA @RTA Outer.Inner a = null; }";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   945
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   946
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   947
    @TADescription(annotation = "RTBs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   948
            genericLocation = {1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   949
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   950
    public String testLocalRepeatableAnnotation1c() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   951
        return "void test() { Outer.@RTB @RTB Inner a = null; }";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   952
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   953
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   954
    @TADescription(annotation = "RTAs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   955
            genericLocation = {},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   956
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   957
    @TADescription(annotation = "RTBs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   958
            genericLocation = {1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   959
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   960
    public String testLocalRepeatableAnnotation2() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   961
        return "void test() { @RTA @RTA GOuter<String,String>.@RTB @RTB GInner<String,String> a = null; }";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   962
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   963
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   964
    @TADescription(annotation = "RTAs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   965
            genericLocation = {0, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   966
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   967
    @TADescription(annotation = "RTBs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   968
            genericLocation = {0, 0, 0, 0, 1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   969
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   970
    @TADescription(annotation = "RTCs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   971
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   972
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   973
    @TADescription(annotation = "RTDs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   974
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   975
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   976
    @TADescription(annotation = "RTEs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   977
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   978
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   979
    @TADescription(annotation = "RTFs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   980
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   981
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   982
    @TADescription(annotation = "RTGs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   983
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   984
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   985
    @TADescription(annotation = "RTHs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   986
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   987
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   988
    @TADescription(annotation = "RTIs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   989
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0, 3, 1},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   990
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   991
    @TADescription(annotation = "RTJs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   992
            genericLocation = {},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   993
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   994
    @TADescription(annotation = "RTKs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   995
            genericLocation = {0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   996
            lvarOffset = {5}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   997
    public String testLocalRepeatableAnnotation3() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   998
        return "class Outer {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
   999
                " class GInner<X> {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1000
                "  class GInner2<Y, Z> {}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1001
                "}}\n\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1002
                "class %TEST_CLASS_NAME% {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1003
                " void test() { @RTA @RTA Outer . @RTB @RTB GInner<@RTC @RTC List<@RTD @RTD Object" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1004
                " @RTE @RTE[] @RTF @RTF[]>>. @RTG @RTG GInner2<@RTH @RTH Integer, @RTI @RTI Object>" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1005
                " @RTJ @RTJ[] @RTK @RTK[] a = null; }\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1006
                "}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1007
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1008
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1009
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1010
    @TADescription(annotation = "RTAs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1011
            genericLocation = {3, 0, 0, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1012
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1013
    @TADescription(annotation = "RTBs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1014
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1015
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1016
    @TADescription(annotation = "RTCs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1017
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1018
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1019
    @TADescription(annotation = "RTDs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1020
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1021
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1022
    @TADescription(annotation = "RTEs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1023
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1024
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1025
    @TADescription(annotation = "RTFs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1026
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1027
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1028
    @TADescription(annotation = "RTGs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1029
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1030
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1031
    @TADescription(annotation = "RTHs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1032
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1033
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1034
    @TADescription(annotation = "RTIs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1035
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 1},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1036
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1037
    @TADescription(annotation = "RTJs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1038
            genericLocation = {3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1039
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1040
    @TADescription(annotation = "RTKs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1041
            genericLocation = {3, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1042
            lvarOffset = {2}, lvarLength = {1}, lvarIndex = {1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1043
    public String testLocalRepeatableAnnotation4() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1044
        return "class Outer {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1045
                " class GInner<X> {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1046
                "  class GInner2<Y, Z> {}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1047
                "}}\n\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1048
                "class %TEST_CLASS_NAME% {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1049
                " void test() { List<@RTA @RTA Outer . @RTB @RTB GInner<@RTC @RTC List<@RTD @RTD" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1050
                " Object @RTE @RTE [] @RTF @RTF []>>. @RTG @RTG GInner2<@RTH @RTH" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1051
                " Integer, @RTI @RTI Object> @RTJ @RTJ [] @RTK @RTK []> a = null; }\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1052
                "}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1053
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1054
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1055
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1056
    // fields
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1057
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1058
    @TADescription(annotation = "RTAs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1059
            genericLocation = {})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1060
    @TADescription(annotation = "RTBs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1061
            genericLocation = {1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1062
    public String testFieldRepeatableAnnotation1a() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1063
        return "@RTA @RTA Outer.@RTB @RTB Inner a;";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1064
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1065
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1066
    @TADescription(annotation = "RTAs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1067
            genericLocation = {})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1068
    public String testFieldRepeatableAnnotation1b() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1069
        return "@RTA @RTA Outer.Inner a;";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1070
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1071
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1072
    @TADescription(annotation = "RTBs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1073
            genericLocation = {1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1074
    public String testFieldRepeatableAnnotation1c() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1075
        return "Outer.@RTB @RTB Inner a;";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1076
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1077
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1078
    @TADescription(annotation = "RTAs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1079
            genericLocation = {})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1080
    @TADescription(annotation = "RTBs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1081
            genericLocation = {1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1082
    public String testFieldRepeatableAnnotation2() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1083
        return "@RTA @RTA GOuter<String,String>.@RTB @RTB GInner<String,String> a;";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1084
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1085
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1086
    @TADescription(annotation = "RTAs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1087
            genericLocation = {0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1088
    @TADescription(annotation = "RTBs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1089
            genericLocation = {0, 0, 0, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1090
    @TADescription(annotation = "RTCs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1091
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1092
    @TADescription(annotation = "RTDs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1093
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1094
    @TADescription(annotation = "RTEs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1095
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1096
    @TADescription(annotation = "RTFs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1097
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1098
    @TADescription(annotation = "RTGs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1099
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1100
    @TADescription(annotation = "RTHs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1101
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1102
    @TADescription(annotation = "RTIs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1103
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0, 3, 1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1104
    @TADescription(annotation = "RTJs", type = FIELD)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1105
    @TADescription(annotation = "RTKs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1106
            genericLocation = {0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1107
    public String testFieldRepeatableAnnotation3() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1108
        return "class Outer {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1109
                " class GInner<X> {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1110
                "  class GInner2<Y, Z> {}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1111
                "}}\n\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1112
                "class %TEST_CLASS_NAME% {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1113
                " @RTA @RTA Outer . @RTB @RTB GInner<@RTC @RTC List<@RTD @RTD Object @RTE @RTE[] @RTF @RTF[]>>." +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1114
                " @RTG @RTG GInner2<@RTH @RTH Integer, @RTI @RTI Object> @RTJ @RTJ[] @RTK @RTK[] a;\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1115
                "}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1116
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1117
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1118
    @TADescription(annotation = "RTAs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1119
            genericLocation = {3, 0, 0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1120
    @TADescription(annotation = "RTBs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1121
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1122
    @TADescription(annotation = "RTCs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1123
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1124
    @TADescription(annotation = "RTDs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1125
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1126
    @TADescription(annotation = "RTEs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1127
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1128
    @TADescription(annotation = "RTFs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1129
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1130
    @TADescription(annotation = "RTGs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1131
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1132
    @TADescription(annotation = "RTHs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1133
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1134
    @TADescription(annotation = "RTIs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1135
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1136
    @TADescription(annotation = "RTJs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1137
            genericLocation = {3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1138
    @TADescription(annotation = "RTKs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1139
            genericLocation = {3, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1140
    public String testFieldRepeatableAnnotation4() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1141
        return "class Outer {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1142
                " class GInner<X> {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1143
                "  class GInner2<Y, Z> {}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1144
                "}}\n\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1145
                "class %TEST_CLASS_NAME% {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1146
                " List<@RTA @RTA Outer . @RTB @RTB GInner<@RTC @RTC List<@RTD @RTD Object" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1147
                " @RTE @RTE[] @RTF @RTF[]>>. @RTG @RTG GInner2<@RTH @RTH Integer," +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1148
                " @RTI @RTI Object> @RTJ @RTJ[] @RTK @RTK[]> a;\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1149
                "}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1150
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1151
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1152
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1153
    // return types
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1154
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1155
    @TADescription(annotation = "RTAs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1156
            genericLocation = {})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1157
    @TADescription(annotation = "RTBs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1158
            genericLocation = {1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1159
    public String testReturnRepeatableAnnotation1() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1160
        return "@RTA @RTA Outer.@RTB @RTB Inner test() { return null; }";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1161
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1162
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1163
    @TADescription(annotation = "RTAs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1164
            genericLocation = {})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1165
    @TADescription(annotation = "RTBs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1166
            genericLocation = {1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1167
    public String testReturnRepeatableAnnotation2() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1168
        return "@RTA @RTA GOuter<String,String>." +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1169
                "@RTB @RTB GInner<String,String> test() { return null; }";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1170
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1171
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1172
    @TADescription(annotation = "RTAs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1173
            genericLocation = {0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1174
    @TADescription(annotation = "RTBs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1175
            genericLocation = {0, 0, 0, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1176
    @TADescription(annotation = "RTCs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1177
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1178
    @TADescription(annotation = "RTDs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1179
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1180
    @TADescription(annotation = "RTEs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1181
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1182
    @TADescription(annotation = "RTFs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1183
            genericLocation = {0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1184
    @TADescription(annotation = "RTGs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1185
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1186
    @TADescription(annotation = "RTHs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1187
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1188
    @TADescription(annotation = "RTIs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1189
            genericLocation = {0, 0, 0, 0, 1, 0, 1, 0, 3, 1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1190
    @TADescription(annotation = "RTJs", type = METHOD_RETURN)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1191
    @TADescription(annotation = "RTKs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1192
            genericLocation = {0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1193
    public String testReturnRepeatableAnnotation3() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1194
        return "class Outer {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1195
                " class GInner<X> {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1196
                "  class GInner2<Y, Z> {}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1197
                "}}\n\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1198
                "class %TEST_CLASS_NAME% {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1199
                " @RTA @RTA Outer . @RTB @RTB GInner<@RTC @RTC List<@RTD @RTD Object @RTE @RTE[]" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1200
                " @RTF @RTF[]>>. @RTG @RTG GInner2<@RTH @RTH Integer," +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1201
                " @RTI @RTI Object> @RTJ @RTJ[] @RTK @RTK[] test() { return null; }\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1202
                "}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1203
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1204
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1205
    @TADescription(annotation = "RTAs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1206
            genericLocation = {3, 0, 0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1207
    @TADescription(annotation = "RTBs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1208
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1209
    @TADescription(annotation = "RTCs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1210
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1211
    @TADescription(annotation = "RTDs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1212
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1213
    @TADescription(annotation = "RTEs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1214
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1215
    @TADescription(annotation = "RTFs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1216
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1217
    @TADescription(annotation = "RTGs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1218
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1219
    @TADescription(annotation = "RTHs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1220
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1221
    @TADescription(annotation = "RTIs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1222
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1223
    @TADescription(annotation = "RTJs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1224
            genericLocation = {3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1225
    @TADescription(annotation = "RTKs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1226
            genericLocation = {3, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1227
    public String testReturnRepeatableAnnotation4() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1228
        return "class Outer {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1229
                " class GInner<X> {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1230
                "  class GInner2<Y, Z> {}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1231
                "}}\n\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1232
                "class %TEST_CLASS_NAME% {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1233
                " List<@RTA @RTA Outer . @RTB @RTB GInner<@RTC @RTC List<@RTD @RTD Object" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1234
                " @RTE @RTE[] @RTF @RTF[]>>. @RTG @RTG GInner2<@RTH @RTH Integer," +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1235
                " @RTI @RTI Object> @RTJ @RTJ[] @RTK @RTK[]> test() { return null; }\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1236
                "}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1237
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1238
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1239
    @TADescription(annotation = "RTAs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1240
            genericLocation = {3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1241
    @TADescription(annotation = "RTBs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1242
            genericLocation = {3, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1243
    @TADescription(annotation = "RTCs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1244
            genericLocation = {3, 0, 3, 1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1245
    @TADescription(annotation = "RTDs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1246
            genericLocation = {3, 0, 3, 1, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1247
    @TADescription(annotation = "RTEs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1248
            genericLocation = {3, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1249
    @TADescription(annotation = "RTFs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1250
            genericLocation = {3, 0, 1, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1251
    @TADescription(annotation = "RTGs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1252
            genericLocation = {3, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1253
    @TADescription(annotation = "RTHs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1254
            genericLocation = {3, 0, 1, 0, 3, 0, 3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1255
    @TADescription(annotation = "RTIs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1256
            genericLocation = {3, 0, 1, 0, 3, 0, 3, 0, 0, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1257
    @TADescription(annotation = "RTJs", type = METHOD_RETURN,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1258
            genericLocation = {3, 0, 1, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1259
    public String testReturnRepeatableAnnotation5() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1260
        return "class GOuter<A, B> {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1261
                " class GInner<X> {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1262
                "  class GInner2<Y, Z> {}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1263
                "}}\n\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1264
                "class %TEST_CLASS_NAME% {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1265
                " List<@RTA @RTA GOuter<@RTB @RTB String, @RTC @RTC List<@RTD @RTD Object>> ." +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1266
                " @RTE @RTE GInner<@RTF @RTF List<@RTG @RTG Object @RTH @RTH[] @RTI @RTI[]>>." +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1267
                " @RTJ @RTJ GInner2<String, String>> test() { return null; }\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1268
                "}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1269
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1270
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1271
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1272
    // type parameters
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1273
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1274
    @TADescription(annotation = "RTAs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1275
            genericLocation = {}, paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1276
    @TADescription(annotation = "RTBs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1277
            genericLocation = {1, 0}, paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1278
    public String testTypeparamRepeatableAnnotation1() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1279
        return "<X extends @RTA @RTA Outer.@RTB @RTB Inner> X test() { return null; }";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1280
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1281
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1282
    @TADescription(annotation = "RTAs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1283
            genericLocation = {}, paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1284
    @TADescription(annotation = "RTBs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1285
            genericLocation = {1, 0}, paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1286
    public String testTypeparamRepeatableAnnotation2() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1287
        return "<X extends @RTA @RTA GOuter<String,String>.@RTB @RTB GInner<String,String>> X test() { return null; }";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1288
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1289
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1290
    @TADescription(annotation = "RTAs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1291
            genericLocation = {},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1292
            paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1293
    @TADescription(annotation = "RTBs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1294
            genericLocation = {1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1295
            paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1296
    @TADescription(annotation = "RTCs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1297
            genericLocation = {1, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1298
            paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1299
    @TADescription(annotation = "RTDs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1300
            genericLocation = {1, 0, 3, 0, 3, 0, 0, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1301
            paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1302
    @TADescription(annotation = "RTEs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1303
            genericLocation = {1, 0, 3, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1304
            paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1305
    @TADescription(annotation = "RTFs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1306
            genericLocation = {1, 0, 3, 0, 3, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1307
            paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1308
    @TADescription(annotation = "RTGs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1309
            genericLocation = {1, 0, 1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1310
            paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1311
    @TADescription(annotation = "RTHs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1312
            genericLocation = {1, 0, 1, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1313
            paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1314
    @TADescription(annotation = "RTIs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1315
            genericLocation = {1, 0, 1, 0, 3, 1},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1316
            paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1317
    public String testTypeparamRepeatableAnnotation3() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1318
        return "class Outer {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1319
                " class GInner<X> {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1320
                "  class GInner2<Y, Z> {}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1321
                "}}\n\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1322
                "class %TEST_CLASS_NAME% {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1323
                " <X extends @RTA @RTA Outer . @RTB @RTB GInner<@RTC @RTC List<@RTD @RTD Object" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1324
                " @RTE @RTE[] @RTF @RTF[]>>. @RTG @RTG GInner2<@RTH @RTH Integer," +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1325
                " @RTI @RTI Object>> X test() { return null; }\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1326
                "}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1327
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1328
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1329
    @TADescription(annotation = "RTAs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1330
            genericLocation = {3, 0, 0, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1331
            paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1332
    @TADescription(annotation = "RTBs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1333
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1334
            paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1335
    @TADescription(annotation = "RTCs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1336
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1337
            paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1338
    @TADescription(annotation = "RTDs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1339
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1340
            paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1341
    @TADescription(annotation = "RTEs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1342
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1343
            paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1344
    @TADescription(annotation = "RTFs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1345
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1346
            paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1347
    @TADescription(annotation = "RTGs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1348
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1349
            paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1350
    @TADescription(annotation = "RTHs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1351
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1352
            paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1353
    @TADescription(annotation = "RTIs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1354
            genericLocation = {3, 0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 1},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1355
            paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1356
    @TADescription(annotation = "RTJs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1357
            genericLocation = {3, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1358
            paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1359
    @TADescription(annotation = "RTKs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1360
            genericLocation = {3, 0, 0, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1361
            paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1362
    public String testTypeparamRepeatableAnnotation4() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1363
        return "class Outer {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1364
                " class GInner<X> {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1365
                "  class GInner2<Y, Z> {}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1366
                "}}\n\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1367
                "class %TEST_CLASS_NAME% {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1368
                " <X extends List<@RTA @RTA Outer . @RTB @RTB GInner<@RTC @RTC List<@RTD @RTD Object" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1369
                " @RTE @RTE[] @RTF @RTF[]>>. @RTG @RTG GInner2<@RTH @RTH Integer," +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1370
                " @RTI @RTI Object> @RTJ @RTJ[] @RTK @RTK[]>> X test() { return null; }\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1371
                "}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1372
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1373
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1374
    @TADescription(annotation = "RTAs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1375
            genericLocation = {3, 0}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1376
    @TADescription(annotation = "RTBs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1377
            genericLocation = {3, 0, 3, 0}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1378
    @TADescription(annotation = "RTCs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1379
            genericLocation = {3, 0, 3, 1}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1380
    @TADescription(annotation = "RTDs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1381
            genericLocation = {3, 0, 3, 1, 3, 0}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1382
    @TADescription(annotation = "RTEs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1383
            genericLocation = {3, 0, 1, 0}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1384
    @TADescription(annotation = "RTFs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1385
            genericLocation = {3, 0, 1, 0, 3, 0}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1386
    @TADescription(annotation = "RTGs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1387
            genericLocation = {3, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0, 0}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1388
    @TADescription(annotation = "RTHs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1389
            genericLocation = {3, 0, 1, 0, 3, 0, 3, 0}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1390
    @TADescription(annotation = "RTIs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1391
            genericLocation = {3, 0, 1, 0, 3, 0, 3, 0, 0, 0}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1392
    @TADescription(annotation = "RTJs", type = METHOD_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1393
            genericLocation = {3, 0, 1, 0, 1, 0}, paramIndex = 0, boundIndex = 1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1394
    public String testTypeparamRepeatableAnnotation5() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1395
        return "class GOuter<A, B> {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1396
                " class GInner<X> {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1397
                "  class GInner2<Y, Z> {}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1398
                "}}\n\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1399
                "class %TEST_CLASS_NAME% {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1400
                " <X extends List<@RTA @RTA GOuter<@RTB @RTB String, @RTC @RTC List<@RTD @RTD Object>> ." +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1401
                " @RTE @RTE GInner<@RTF @RTF List<@RTG @RTG Object @RTH @RTH[] @RTI @RTI[]>>." +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1402
                " @RTJ @RTJ GInner2<String, String>>> X test() { return null; }\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1403
                "}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1404
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1405
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1406
    @TADescription(annotation = "RTAs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1407
            genericLocation = {3, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1408
    public String testUsesRepeatableAnnotation1a() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1409
        return "class %TEST_CLASS_NAME% { class Inner {}    List<@RTA @RTA Inner> f; }";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1410
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1411
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1412
    @TADescription(annotation = "RTAs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1413
            genericLocation = {3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1414
    public String testUsesRepeatableAnnotation1b() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1415
        return "class %TEST_CLASS_NAME% { class Inner {}    List<@RTA @RTA %TEST_CLASS_NAME%.Inner> f; }";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1416
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1417
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1418
    @TADescription(annotation = "RTAs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1419
            genericLocation = {3, 0, 1, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1420
    @TestClass("%TEST_CLASS_NAME%$Inner")
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1421
    public String testUsesRepeatableAnnotation2a() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1422
        return "class %TEST_CLASS_NAME% { class Inner { class Inner2{}    List<@RTA @RTA Inner2> f; }}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1423
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1424
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1425
    @TADescription(annotation = "RTAs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1426
            genericLocation = {3, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1427
    @TestClass("%TEST_CLASS_NAME%$Inner")
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1428
    public String testUsesRepeatableAnnotation2b() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1429
        return "class %TEST_CLASS_NAME% { class Inner { class Inner2{}    List<@RTA @RTA Inner.Inner2> f; }}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1430
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1431
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1432
    @TADescription(annotation = "RTAs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1433
            genericLocation = {3, 0, 1, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1434
    @TestClass("%TEST_CLASS_NAME%$Inner")
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1435
    public String testUsesRepeatableAnnotation2c() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1436
        return "class %TEST_CLASS_NAME% { class Inner { class Inner2{}    List<Inner.@RTA @RTA Inner2> f; }}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1437
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1438
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1439
    @TADescription(annotation = "RTAs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1440
            genericLocation = {3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1441
    @TestClass("%TEST_CLASS_NAME%$Inner")
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1442
    public String testUsesRepeatableAnnotation2d() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1443
        return "class %TEST_CLASS_NAME%{ class Inner { class Inner2{}" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1444
                "    List<@RTA @RTA %TEST_CLASS_NAME%.Inner.Inner2> f; }}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1445
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1446
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1447
    @TADescription(annotation = "RTAs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1448
            genericLocation = {3, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1449
    @TestClass("%TEST_CLASS_NAME%$Inner")
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1450
    public String testUsesRepeatableAnnotation2e() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1451
        return "class %TEST_CLASS_NAME% { class Inner { class Inner2{}" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1452
                "    List<%TEST_CLASS_NAME%.@RTA @RTA Inner.Inner2> f; }}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1453
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1454
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1455
    @TADescription(annotation = "RTAs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1456
            genericLocation = {3, 0, 1, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1457
    @TestClass("%TEST_CLASS_NAME%$Inner")
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1458
    public String testUsesRepeatableAnnotation2f() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1459
        return "class %TEST_CLASS_NAME% { class Inner { class Inner2{}" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1460
                "    List<%TEST_CLASS_NAME%.Inner.@RTA @RTA Inner2> f; }}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1461
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1462
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1463
    @TADescription(annotation = "RTAs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1464
            genericLocation = {3, 0, 1, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1465
    @TestClass("%TEST_CLASS_NAME%$Inner")
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1466
    public String testUsesRepeatableAnnotation3a() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1467
        return "class %TEST_CLASS_NAME% { class Inner<A, B> { class Inner2<C, D>{}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1468
                "    List<%TEST_CLASS_NAME%.Inner.@RTA @RTA Inner2> f; }}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1469
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1470
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1471
    @TADescription(annotation = "RTAs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1472
            genericLocation = {3, 0, 1, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1473
    @TestClass("%TEST_CLASS_NAME%$Inner")
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1474
    public String testUsesRepeatableAnnotation3b() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1475
        return "class %TEST_CLASS_NAME% { class Inner<A, B> { class Inner2<C, D>{}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1476
                "    List<%TEST_CLASS_NAME%.@RTA @RTA Inner.Inner2> f; }}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1477
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1478
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1479
    @TADescription(annotation = "RTAs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1480
            genericLocation = {})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1481
    @TADescription(annotation = "RTBs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1482
            genericLocation = {3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1483
    public String testUsesRepeatableAnnotation4() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1484
        return "class %TEST_CLASS_NAME% { static class TInner {}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1485
                "    @RTA @RTA TInner f; \n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1486
                "    List<@RTB @RTB TInner> g; }";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1487
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1488
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1489
    @TADescription(annotation = "RTAs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1490
            genericLocation = {3, 0, 1, 0, 3, 1})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1491
    @TestClass("%TEST_CLASS_NAME%$Inner")
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1492
    public String testUsesRepeatableAnnotation3c() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1493
        return "class %TEST_CLASS_NAME% { class Inner<A, B> { class Inner2<C, D>{}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1494
                "    List<%TEST_CLASS_NAME%.Inner<String," +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1495
                " @RTA @RTA Object>.Inner2<%TEST_CLASS_NAME%, %TEST_CLASS_NAME%>> f; }}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1496
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1497
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1498
    @TADescription(annotation = "RTAs", type = METHOD_FORMAL_PARAMETER, paramIndex=0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1499
    public String testFullyQualifiedRepeatableAnnotation1() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1500
        return "void testme(java.security.@RTA @RTA ProtectionDomain protectionDomain) {}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1501
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1502
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1503
    @TADescription(annotation = "RTAs", type = METHOD_FORMAL_PARAMETER, paramIndex=0,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1504
            genericLocation = {3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1505
    public String testFullyQualifiedRepeatableAnnotation2() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1506
        return "void testme(List<java.security.@RTA @RTA ProtectionDomain> protectionDomain) {}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1507
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1508
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1509
    @TADescription(annotation = "RTAs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1510
            genericLocation = {},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1511
            lvarOffset = ReferenceInfoUtil.IGNORE_VALUE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1512
            lvarLength = ReferenceInfoUtil.IGNORE_VALUE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1513
            lvarIndex = ReferenceInfoUtil.IGNORE_VALUE)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1514
    @TADescription(annotation = "RTBs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1515
            genericLocation = {1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1516
            lvarOffset = ReferenceInfoUtil.IGNORE_VALUE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1517
            lvarLength = ReferenceInfoUtil.IGNORE_VALUE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1518
            lvarIndex = ReferenceInfoUtil.IGNORE_VALUE)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1519
    @TADescription(annotation = "RTCs", type = LOCAL_VARIABLE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1520
            // Only classes count, not methods.
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1521
            genericLocation = {1, 0, 1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1522
            lvarOffset = ReferenceInfoUtil.IGNORE_VALUE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1523
            lvarLength = ReferenceInfoUtil.IGNORE_VALUE,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1524
            lvarIndex = ReferenceInfoUtil.IGNORE_VALUE)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1525
    @TestClass("Outer$Inner")
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1526
    public String testMethodNestingRepeatableAnnotation1() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1527
        return "class Outer {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1528
                " class Inner {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1529
                "  void foo() {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1530
                "    class MInner {}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1531
                "    @RTA @RTA Outer . @RTB @RTB Inner l1 = null;\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1532
                "    @RTC @RTC MInner l2 = null;\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1533
                "  }\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1534
                "}}\n";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1535
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1536
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1537
    @TADescription(annotation = "RTAs", type = NEW,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1538
            genericLocation = {},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1539
            offset = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1540
    @TADescription(annotation = "RTBs", type = NEW,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1541
            genericLocation = {1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1542
            offset = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1543
    @TADescription(annotation = "RTCs", type = NEW,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1544
            // Only classes count, not methods.
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1545
            genericLocation = {1, 0, 1, 0},
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1546
            offset = 12)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1547
    @TestClass("Outer$Inner")
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1548
    public String testMethodNestingRepeatableAnnotation2() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1549
        return "class Outer {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1550
                " class Inner {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1551
                "  void foo() {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1552
                "    class MInner {}\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1553
                "    Object o1 = new @RTA @RTA Outer . @RTB @RTB Inner();" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1554
                "    Object o2 = new @RTC @RTC MInner();\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1555
                "  }\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1556
                "}}\n";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1557
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1558
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1559
    @TADescription(annotation = "RTAs", type = CLASS_EXTENDS,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1560
            genericLocation = {}, typeIndex = -1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1561
    @TADescription(annotation = "RTBs", type = CLASS_EXTENDS,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1562
            genericLocation = {3, 0}, typeIndex = -1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1563
    @TADescription(annotation = "RTCs", type = CLASS_EXTENDS,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1564
            genericLocation = {3, 1}, typeIndex = -1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1565
    @TADescription(annotation = "RTDs", type = CLASS_EXTENDS,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1566
            genericLocation = {1, 0}, typeIndex = -1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1567
    @TADescription(annotation = "RTEs", type = CLASS_EXTENDS,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1568
            genericLocation = {1, 0, 3, 0}, typeIndex = -1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1569
    @TADescription(annotation = "RTFs", type = CLASS_EXTENDS,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1570
            genericLocation = {1, 0, 3, 1}, typeIndex = -1)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1571
    @TestClass("GOuter$GInner$Test")
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1572
    public String testExtendsRepeatableAnnotation1() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1573
        return "class GOuter<A, B> {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1574
                "  class GInner<X, Y> {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1575
                "    class Test extends @RTA @RTA GOuter<@RTB @RTB String," +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1576
                " @RTC @RTC String>.@RTD @RTD GInner<@RTE @RTE String, @RTF @RTF String> {}" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1577
                "  }" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1578
                "}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1579
    }
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1580
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1581
    @TADescription(annotation = "RTAs", type = CLASS_TYPE_PARAMETER,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1582
            genericLocation = {}, paramIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1583
    @TADescription(annotation = "RTBs", type = CLASS_TYPE_PARAMETER_BOUND,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1584
            genericLocation = {}, paramIndex = 0, boundIndex = 0)
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1585
    @TADescription(annotation = "RTCs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1586
            genericLocation = {})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1587
    @TADescription(annotation = "RTDs", type = FIELD,
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1588
            genericLocation = {3, 0})
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1589
    @TestClass("%TEST_CLASS_NAME%$1Nested")
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1590
    public String testNestedInMethodRepeatableAnnotation1() {
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1591
        return "class %TEST_CLASS_NAME% {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1592
                "  void foobar() {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1593
                "    class Nested<@RTA @RTA X extends @RTB @RTB Object> {\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1594
                "      @RTC @RTC List<@RTD @RTD Object> f;\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1595
                "    }\n" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1596
                "  }" +
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1597
                "}";
986d876a9121 8042451: Write tests for all possible kinds of type annotation
aeremeev
parents: 17578
diff changeset
  1598
    }
15385
ee1eebe7e210 8006775: JSR 308: Compiler changes in JDK8
jjg
parents:
diff changeset
  1599
}