8005220: RFE to write javap tests for repeating annotations
Reviewed-by: jjg
This commit is contained in:
parent
582c062a6d
commit
1e91824535
400
langtools/test/tools/javap/output/RepeatingTypeAnnotations.java
Normal file
400
langtools/test/tools/javap/output/RepeatingTypeAnnotations.java
Normal file
@ -0,0 +1,400 @@
|
||||
/*
|
||||
* Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
|
||||
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
|
||||
*
|
||||
* This code is free software; you can redistribute it and/or modify it
|
||||
* under the terms of the GNU General Public License version 2 only, as
|
||||
* published by the Free Software Foundation.
|
||||
*
|
||||
* This code is distributed in the hope that it will be useful, but WITHOUT
|
||||
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
||||
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
||||
* version 2 for more details (a copy is included in the LICENSE file that
|
||||
* accompanied this code).
|
||||
*
|
||||
* You should have received a copy of the GNU General Public License version
|
||||
* 2 along with this work; if not, write to the Free Software Foundation,
|
||||
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
|
||||
*
|
||||
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
|
||||
* or visit www.oracle.com if you need additional information or have any
|
||||
* questions.
|
||||
*/
|
||||
|
||||
/*
|
||||
* @test
|
||||
* @bug 8005220
|
||||
* @summary javap must display repeating annotations
|
||||
*/
|
||||
import java.io.*;
|
||||
import java.util.*;
|
||||
|
||||
/**
|
||||
* This class extends the abstract {@link Tester} test-driver, and
|
||||
* encapusulates a number of test-case classes (i.e. classes extending
|
||||
* this class and annotated with {@code TestCase}).
|
||||
* <p>
|
||||
* By default (no argument), this test runs all test-cases, except
|
||||
* if annotated with {@code ignore}.
|
||||
* <p>
|
||||
* Individual test cases can be executed using a run action.
|
||||
* <p>
|
||||
* Example: @run main RepeatingTypeAnnotations RepeatingTypeAnnotations$TC4
|
||||
* <p>
|
||||
* Note: when specific test-cases are run, additional debug output is
|
||||
* produced to help debugging. Test annotated with {@code ignore}
|
||||
* can be executed explicitly.
|
||||
*/
|
||||
public class RepeatingTypeAnnotations extends Tester {
|
||||
|
||||
/**
|
||||
* Main method instantiates test and run test-cases.
|
||||
*/
|
||||
public static void main(String... args) throws Exception {
|
||||
Tester tester = new RepeatingTypeAnnotations();
|
||||
tester.run(args);
|
||||
}
|
||||
|
||||
/**
|
||||
* Testcases are classes extending {@code RepeatingTypeAnnotations},
|
||||
* and calling {@link setSrc}, followed by one or more invocations
|
||||
* of {@link verify} in the body of the constructor.
|
||||
*/
|
||||
public RepeatingTypeAnnotations() {
|
||||
setSrc(new TestSource(template));
|
||||
}
|
||||
|
||||
/**
|
||||
* Common template for test cases. The line TESTCASE is
|
||||
* replaced with the specific lines of individual tests.
|
||||
*/
|
||||
private static final String[] template = {
|
||||
"import java.lang.annotation.*;",
|
||||
"class Test {",
|
||||
" @Repeatable(As.class)",
|
||||
" @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})",
|
||||
" @Retention(RetentionPolicy.CLASS)",
|
||||
" @interface A {",
|
||||
" Class f() default int.class;",
|
||||
" }",
|
||||
|
||||
" @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})",
|
||||
" @Retention(RetentionPolicy.CLASS)",
|
||||
" @interface As { A[] value(); }",
|
||||
|
||||
" @Repeatable(Bs.class)",
|
||||
" @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})",
|
||||
" @Retention(RetentionPolicy.CLASS)",
|
||||
" @interface B {",
|
||||
" Class f() default int.class;",
|
||||
" }",
|
||||
|
||||
" @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})",
|
||||
" @Retention(RetentionPolicy.CLASS)",
|
||||
" @interface Bs { B[] value(); }",
|
||||
|
||||
" @Repeatable(Cs.class)",
|
||||
" @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})",
|
||||
" @Retention(RetentionPolicy.RUNTIME)",
|
||||
" @interface C {",
|
||||
" Class f() default int.class;",
|
||||
" }",
|
||||
|
||||
" @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})",
|
||||
" @Retention(RetentionPolicy.RUNTIME)",
|
||||
" @interface Cs { C[] value(); }",
|
||||
"TESTCASE",
|
||||
"}"
|
||||
};
|
||||
|
||||
/*
|
||||
* The test cases covers annotation in the following locations:
|
||||
* - static and non-static fields
|
||||
* - local variables
|
||||
* - constructor and method return type and parameter types
|
||||
* - casts in class and method contexts.
|
||||
* For the above locations the test-cases covers:
|
||||
* - single annotation type
|
||||
* - two annotation types with same retention
|
||||
* - two annotation types with different retention
|
||||
* - three annotation types, two of same retention, one different.
|
||||
*/
|
||||
|
||||
@TestCase
|
||||
@ignore // 8008082:missing type annotation for cast
|
||||
public static class TC1 extends RepeatingTypeAnnotations {
|
||||
public TC1() {
|
||||
setSrc(" static String so = \"hello world\";",
|
||||
" public @A @A @A Object o = (@A @A @A String) Test.so;");
|
||||
verify("RuntimeInvisibleTypeAnnotations",
|
||||
"0: #25(#26=[@#27(),@#27(),@#27()]): FIELD",
|
||||
"1: #25(#26=[@#27(),@#27(),@#27()]): CAST, offset=5");
|
||||
}
|
||||
}
|
||||
|
||||
@TestCase
|
||||
public static class TC2 extends RepeatingTypeAnnotations {
|
||||
public TC2() {
|
||||
setSrc(" static String so = \"hello world\";",
|
||||
" public @A @B @A Object o = (@B @A @B String) Test.so;");
|
||||
verify("RuntimeInvisibleTypeAnnotations",
|
||||
"0: #25(#26=[@#27(),@#27()]): FIELD",
|
||||
"1: #28(): FIELD",
|
||||
"2: #29(#26=[@#28(),@#28()]): CAST, offset=5",
|
||||
"3: #27(): CAST, offset=5");
|
||||
}
|
||||
}
|
||||
|
||||
@TestCase
|
||||
public static class TC3 extends RepeatingTypeAnnotations {
|
||||
public TC3() {
|
||||
setSrc(" static String so = \"hello world\";",
|
||||
" public @A @A @C Object o = (@B @C @B String) Test.so;");
|
||||
verify("RuntimeInvisibleTypeAnnotations",
|
||||
"0: #25(): FIELD",
|
||||
"1: #25(): CAST, offset=5",
|
||||
"RuntimeVisibleTypeAnnotations",
|
||||
"0: #27(#28=[@#29(),@#29()]): FIELD",
|
||||
"1: #30(#28=[@#31(),@#31()]): CAST, offset=5");
|
||||
}
|
||||
}
|
||||
|
||||
@TestCase
|
||||
public static class TC4 extends RepeatingTypeAnnotations {
|
||||
public TC4() {
|
||||
setSrc(" static String so = \"hello world\";",
|
||||
" public @A @B @C Object o = (@C @B @A String) Test.so;");
|
||||
verify("RuntimeInvisibleTypeAnnotations",
|
||||
"RuntimeVisibleTypeAnnotations",
|
||||
"0: #25(): FIELD",
|
||||
"1: #25(): CAST, offset=5",
|
||||
"0: #27(): FIELD",
|
||||
"1: #28(): FIELD",
|
||||
"2: #28(): CAST, offset=5",
|
||||
"3: #27(): CAST, offset=5");
|
||||
}
|
||||
}
|
||||
|
||||
@TestCase
|
||||
@ignore // 8008082:missing type annotation for cast
|
||||
public static class TC5 extends RepeatingTypeAnnotations {
|
||||
public TC5() {
|
||||
setSrc(" static String so = \"hello world\";",
|
||||
" public static @A @A @A Object o = (@B @B @B String) Test.so;");
|
||||
verify("RuntimeInvisibleTypeAnnotations",
|
||||
"0: #25(#26=[@#27(),@#27(),@#27()]): FIELD",
|
||||
"1: #28(#26=[@#29(),@#29(),@#29()]): CAST, offset=5, type_index=0");
|
||||
}
|
||||
}
|
||||
|
||||
@TestCase
|
||||
public static class TC6 extends RepeatingTypeAnnotations {
|
||||
public TC6() {
|
||||
setSrc(" static String so = \"hello world\";",
|
||||
" public static @A @B @A Object o = (@B @A @B String) Test.so;");
|
||||
verify("RuntimeInvisibleTypeAnnotations",
|
||||
"0: #25(#26=[@#27(),@#27()]): FIELD",
|
||||
"1: #28(): FIELD",
|
||||
"2: #29(#26=[@#28(),@#28()]): CAST, offset=5",
|
||||
"3: #27(): CAST, offset=5");
|
||||
}
|
||||
}
|
||||
|
||||
@TestCase
|
||||
public static class TC7 extends RepeatingTypeAnnotations {
|
||||
public TC7() {
|
||||
setSrc(" static String so = \"hello world\";",
|
||||
" public static @A @A @C Object o = (@B @C @B String) Test.so;");
|
||||
verify("RuntimeInvisibleTypeAnnotations",
|
||||
"RuntimeVisibleTypeAnnotations",
|
||||
"0: #25(): FIELD",
|
||||
"1: #25(): CAST, offset=5",
|
||||
"0: #27(#28=[@#29(),@#29()]): FIELD",
|
||||
"1: #30(#28=[@#31(),@#31()]): CAST, offset=5");
|
||||
}
|
||||
}
|
||||
|
||||
@TestCase
|
||||
public static class TC8 extends RepeatingTypeAnnotations {
|
||||
public TC8() {
|
||||
setSrc(" static String so = \"hello world\";",
|
||||
" public static @A @B @C Object o = (@C @B @A String) Test.so;");
|
||||
verify("RuntimeInvisibleTypeAnnotations",
|
||||
"RuntimeVisibleTypeAnnotations",
|
||||
"0: #25(): FIELD",
|
||||
"1: #25(): CAST, offset=5",
|
||||
"0: #27(): FIELD",
|
||||
"1: #28(): FIELD",
|
||||
"2: #28(): CAST, offset=5",
|
||||
"3: #27(): CAST, offset=5");
|
||||
}
|
||||
}
|
||||
|
||||
@TestCase
|
||||
@ignore // 8008082:missing type annotation for cast
|
||||
public static class TC9 extends RepeatingTypeAnnotations {
|
||||
public TC9() {
|
||||
setSrc(" public Test(@A @A @A Object o, @A int i, long l) {",
|
||||
" @A @A @A String ls = (@B @B @B String) o;",
|
||||
" }");
|
||||
verify("RuntimeInvisibleTypeAnnotations",
|
||||
"0: #34(#35=[@#36(),@#36(),@#36()]): METHOD_FORMAL_PARAMETER, param_index=0",
|
||||
"1: #36(): METHOD_FORMAL_PARAMETER, param_index=1",
|
||||
"2: #37(#35=[@#38(),@#38(),@#38()]): CAST, offset=4, type_index=0",
|
||||
"3: #34(#35=[@#36(),@#36(),@#36()]): LOCAL_VARIABLE, {start_pc=10, length=1, index=5}");
|
||||
}
|
||||
}
|
||||
|
||||
@TestCase
|
||||
public static class TC10 extends RepeatingTypeAnnotations {
|
||||
public TC10() {
|
||||
setSrc(" public Test(@A @A @B Object o, @A @B int i, long l) {",
|
||||
" @A @A @B String ls = (@B @A @B String) o;",
|
||||
" }");
|
||||
verify("RuntimeInvisibleTypeAnnotations:",
|
||||
"0: #34(#35=[@#36(),@#36()]): METHOD_FORMAL_PARAMETER, param_index=0",
|
||||
"1: #37(): METHOD_FORMAL_PARAMETER, param_index=0",
|
||||
"2: #36(): METHOD_FORMAL_PARAMETER, param_index=1",
|
||||
"3: #37(): METHOD_FORMAL_PARAMETER, param_index=1",
|
||||
"4: #38(#35=[@#37(),@#37()]): CAST, offset=4, type_index=0",
|
||||
"5: #36(): CAST, offset=4, type_index=0",
|
||||
"6: #34(#35=[@#36(),@#36()]): LOCAL_VARIABLE, {start_pc=10, length=1, index=5}",
|
||||
"7: #37(): LOCAL_VARIABLE, {start_pc=10, length=1, index=5}");
|
||||
}
|
||||
}
|
||||
|
||||
@TestCase
|
||||
public static class TC11 extends RepeatingTypeAnnotations {
|
||||
public TC11() {
|
||||
setSrc(" public Test(@C @C @A Object o, @A @B int i, long l) {",
|
||||
" @C @C @A String ls = (@A @A @C String) o;",
|
||||
" }");
|
||||
verify("RuntimeInvisibleTypeAnnotations",
|
||||
"RuntimeVisibleTypeAnnotations",
|
||||
"0: #34(#35=[@#36(),@#36()]): METHOD_FORMAL_PARAMETER, param_index=0",
|
||||
"1: #36(): CAST, offset=4",
|
||||
"2: #34(#35=[@#36(),@#36()]): LOCAL_VARIABLE, {start_pc=10, length=1, index=5}",
|
||||
"0: #38(): METHOD_FORMAL_PARAMETER, param_index=0",
|
||||
"1: #38(): METHOD_FORMAL_PARAMETER, param_index=1",
|
||||
"2: #39(): METHOD_FORMAL_PARAMETER, param_index=1",
|
||||
"3: #40(#35=[@#38(),@#38()]): CAST, offset=4",
|
||||
"4: #38(): LOCAL_VARIABLE, {start_pc=10, length=1, index=5}");
|
||||
}
|
||||
}
|
||||
|
||||
@TestCase
|
||||
public static class TC12 extends RepeatingTypeAnnotations {
|
||||
public TC12() {
|
||||
setSrc(" public Test(@A @B @C Object o, @A @C int i, long l) {",
|
||||
" @A @B @C String ls = (@C @A @B String) o;",
|
||||
" }");
|
||||
verify("RuntimeInvisibleTypeAnnotations",
|
||||
"RuntimeVisibleTypeAnnotations",
|
||||
"0: #34(): METHOD_FORMAL_PARAMETER, param_index=0",
|
||||
"1: #34(): METHOD_FORMAL_PARAMETER, param_index=1",
|
||||
"2: #34(): CAST, offset=4",
|
||||
"3: #34(): LOCAL_VARIABLE, {start_pc=10, length=1, index=5}",
|
||||
"0: #36(): METHOD_FORMAL_PARAMETER, param_index=0",
|
||||
"1: #37(): METHOD_FORMAL_PARAMETER, param_index=0",
|
||||
"2: #36(): METHOD_FORMAL_PARAMETER, param_index=1",
|
||||
"3: #36(): CAST, offset=4",
|
||||
"4: #37(): CAST, offset=4",
|
||||
"5: #36(): LOCAL_VARIABLE, {start_pc=10, length=1, index=5}",
|
||||
"6: #37(): LOCAL_VARIABLE, {start_pc=10, length=1, index=5}");
|
||||
}
|
||||
}
|
||||
|
||||
@TestCase
|
||||
@ignore // 8008082:missing type annotation for cast
|
||||
public static class TC13 extends RepeatingTypeAnnotations {
|
||||
public TC13() {
|
||||
setSrc(" public @A @A @A String foo(@A @A @A Object o, @A int i, long l) {",
|
||||
" @A @A @A String ls = (@B @B @B String) o;",
|
||||
" return (@A @A @A String) o;",
|
||||
" }");
|
||||
verify("RuntimeInvisibleTypeAnnotations",
|
||||
"0: #36(#37=[@#38(),@#38(),@#38()]): METHOD_RETURN",
|
||||
"1: #36(#37=[@#38(),@#38(),@#38()]): METHOD_FORMAL_PARAMETER, param_index=0",
|
||||
"2: #38(): METHOD_FORMAL_PARAMETER, param_index=1",
|
||||
"3: #39(#37=[@#40(),@#40(),@#40()]): CAST, offset=0, type_index=0",
|
||||
"4: #36(#37=[@#38(),@#38(),@#38()]): CAST, offset=6, type_index=0",
|
||||
"5: #36(#37=[@#38(),@#38(),@#38()]): LOCAL_VARIABLE, {start_pc=6, length=5, index=5}");
|
||||
}
|
||||
}
|
||||
|
||||
@TestCase
|
||||
public static class TC14 extends RepeatingTypeAnnotations {
|
||||
public TC14() {
|
||||
setSrc(" public @A @B @B String foo(@A @A @B Object o, @A @B int i, long l) {",
|
||||
" @A @A @B String ls = (@B @A @B String) o;",
|
||||
" return (@A @B @B String) o;",
|
||||
" }");
|
||||
verify("RuntimeInvisibleTypeAnnotations",
|
||||
"0: #36(): METHOD_RETURN",
|
||||
"1: #37(#38=[@#39(),@#39()]): METHOD_RETURN",
|
||||
"2: #40(#38=[@#36(),@#36()]): METHOD_FORMAL_PARAMETER, param_index=0",
|
||||
"3: #39(): METHOD_FORMAL_PARAMETER, param_index=0",
|
||||
"4: #36(): METHOD_FORMAL_PARAMETER, param_index=1",
|
||||
"5: #39(): METHOD_FORMAL_PARAMETER, param_index=1",
|
||||
"6: #37(#38=[@#39(),@#39()]): CAST, offset=0",
|
||||
"7: #36(): CAST, offset=0",
|
||||
"8: #36(): CAST, offset=6",
|
||||
"9: #37(#38=[@#39(),@#39()]): CAST, offset=6",
|
||||
"10: #40(#38=[@#36(),@#36()]): LOCAL_VARIABLE, {start_pc=6, length=5, index=5}",
|
||||
"11: #39(): LOCAL_VARIABLE, {start_pc=6, length=5, index=5}");
|
||||
}
|
||||
}
|
||||
|
||||
@TestCase
|
||||
public static class TC15 extends RepeatingTypeAnnotations {
|
||||
public TC15() {
|
||||
setSrc(" public @A @A @C String foo(@C @C @A Object o, @A @B int i, long l) {",
|
||||
" @C @C @A String ls = (@A @A @C String) o;",
|
||||
" return (@C @B @B String) o;",
|
||||
" }");
|
||||
verify("RuntimeInvisibleTypeAnnotations",
|
||||
"RuntimeVisibleTypeAnnotations",
|
||||
"0: #36(): METHOD_RETURN",
|
||||
"1: #37(#38=[@#36(),@#36()]): METHOD_FORMAL_PARAMETER, param_index=0",
|
||||
"2: #36(): CAST, offset=0",
|
||||
"3: #36(): CAST, offset=6",
|
||||
"4: #37(#38=[@#36(),@#36()]): LOCAL_VARIABLE, {start_pc=6, length=5, index=5}",
|
||||
"0: #40(#38=[@#41(),@#41()]): METHOD_RETURN",
|
||||
"1: #41(): METHOD_FORMAL_PARAMETER, param_index=0",
|
||||
"2: #41(): METHOD_FORMAL_PARAMETER, param_index=1",
|
||||
"3: #42(): METHOD_FORMAL_PARAMETER, param_index=1",
|
||||
"4: #40(#38=[@#41(),@#41()]): CAST, offset=0",
|
||||
"5: #43(#38=[@#42(),@#42()]): CAST, offset=6",
|
||||
"6: #41(): LOCAL_VARIABLE, {start_pc=6, length=5, index=5}");
|
||||
}
|
||||
}
|
||||
|
||||
@TestCase
|
||||
public static class TC16 extends RepeatingTypeAnnotations {
|
||||
public TC16() {
|
||||
setSrc(" public @A @B @C String foo(@A @B @C Object o, @A @C int i, long l) {",
|
||||
" @A @B @C String ls = (@C @A @B String) o;",
|
||||
" return (@B @A @C String) o;",
|
||||
" }");
|
||||
verify("RuntimeInvisibleTypeAnnotations",
|
||||
"RuntimeVisibleTypeAnnotations",
|
||||
"0: #36(): METHOD_RETURN",
|
||||
"1: #36(): METHOD_FORMAL_PARAMETER, param_index=0",
|
||||
"2: #36(): METHOD_FORMAL_PARAMETER, param_index=1",
|
||||
"3: #36(): CAST, offset=0",
|
||||
"4: #36(): CAST, offset=6",
|
||||
"5: #36(): LOCAL_VARIABLE, {start_pc=6, length=5, index=5}",
|
||||
"0: #38(): METHOD_RETURN",
|
||||
"1: #39(): METHOD_RETURN",
|
||||
"2: #38(): METHOD_FORMAL_PARAMETER, param_index=0",
|
||||
"3: #39(): METHOD_FORMAL_PARAMETER, param_index=0",
|
||||
"4: #38(): METHOD_FORMAL_PARAMETER, param_index=1",
|
||||
"5: #38(): CAST, offset=0",
|
||||
"6: #39(): CAST, offset=0",
|
||||
"7: #39(): CAST, offset=6",
|
||||
"8: #38(): CAST, offset=6",
|
||||
"9: #38(): LOCAL_VARIABLE, {start_pc=6, length=5, index=5}",
|
||||
"10: #39(): LOCAL_VARIABLE, {start_pc=6, length=5, index=5}");
|
||||
}
|
||||
}
|
||||
}
|
389
langtools/test/tools/javap/output/Tester.java
Normal file
389
langtools/test/tools/javap/output/Tester.java
Normal file
@ -0,0 +1,389 @@
|
||||
/*
|
||||
* Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
|
||||
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
|
||||
*
|
||||
* This code is free software; you can redistribute it and/or modify it
|
||||
* under the terms of the GNU General Public License version 2 only, as
|
||||
* published by the Free Software Foundation.
|
||||
*
|
||||
* This code is distributed in the hope that it will be useful, but WITHOUT
|
||||
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
||||
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
||||
* version 2 for more details (a copy is included in the LICENSE file that
|
||||
* accompanied this code).
|
||||
*
|
||||
* You should have received a copy of the GNU General Public License version
|
||||
* 2 along with this work; if not, write to the Free Software Foundation,
|
||||
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
|
||||
*
|
||||
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
|
||||
* or visit www.oracle.com if you need additional information or have any
|
||||
* questions.
|
||||
*/
|
||||
|
||||
import java.io.*;
|
||||
import java.util.*;
|
||||
import java.lang.annotation.*;
|
||||
import java.lang.reflect.InvocationTargetException;
|
||||
|
||||
/**
|
||||
* {@code Tester} is an abstract test-driver that provides the logic
|
||||
* to execute test-cases, grouped by test classes.
|
||||
* A test class is a main class extending this class, that instantiate
|
||||
* itself, and calls the {@link run} method, passing any command line
|
||||
* arguments.
|
||||
* <p>
|
||||
* The {@code run} method, expects arguments to identify test-case classes.
|
||||
* A test-case class is a class extending the test class, and annotated
|
||||
* with {@code TestCase}.
|
||||
* <p>
|
||||
* If no test-cases are specified, the test class directory is searched for
|
||||
* co-located test-case classes (i.e. any class extending the test class,
|
||||
* annotated with {@code TestCase}).
|
||||
* <p>
|
||||
* Besides serving to group test-cases, extending the driver allow
|
||||
* setting up a test-case template, and possibly overwrite default
|
||||
* test-driver behaviour.
|
||||
*/
|
||||
public abstract class Tester {
|
||||
|
||||
private static boolean debug = false;
|
||||
private static final PrintStream out = System.err;
|
||||
private static final PrintStream err = System.err;
|
||||
|
||||
|
||||
protected void run(String... args) throws Exception {
|
||||
|
||||
final File classesdir = new File(System.getProperty("test.classes", "."));
|
||||
|
||||
String[] classNames = args;
|
||||
|
||||
// If no test-cases are specified, we regard all co-located classes
|
||||
// as potential test-cases.
|
||||
if (args.length == 0) {
|
||||
final String pattern = ".*\\.class";
|
||||
final File classFiles[] = classesdir.listFiles(new FileFilter() {
|
||||
public boolean accept(File f) {
|
||||
return f.getName().matches(pattern);
|
||||
}
|
||||
});
|
||||
ArrayList<String> names = new ArrayList<String>(classFiles.length);
|
||||
for (File f : classFiles) {
|
||||
String fname = f.getName();
|
||||
names.add(fname.substring(0, fname.length() -6));
|
||||
}
|
||||
classNames = names.toArray(new String[names.size()]);
|
||||
} else {
|
||||
debug = true;
|
||||
}
|
||||
// Test-cases must extend the driver type, and be marked
|
||||
// @TestCase. Other arguments (classes) are ignored.
|
||||
// Test-cases are instantiated, and thereby executed.
|
||||
for (String clname : classNames) {
|
||||
try {
|
||||
final Class tclass = Class.forName(clname);
|
||||
if (!getClass().isAssignableFrom(tclass)) continue;
|
||||
TestCase anno = (TestCase) tclass.getAnnotation(TestCase.class);
|
||||
if (anno == null) continue;
|
||||
if (!debug) {
|
||||
ignore i = (ignore) tclass.getAnnotation(ignore.class);
|
||||
if (i != null) {
|
||||
out.println("Ignore: " + clname);
|
||||
ignored++;
|
||||
continue;
|
||||
}
|
||||
}
|
||||
out.println("TestCase: " + clname);
|
||||
cases++;
|
||||
Tester tc = (Tester) tclass.getConstructor().newInstance();
|
||||
if (tc.errors > 0) {
|
||||
error("" + tc.errors + " test points failed in " + clname);
|
||||
errors += tc.errors - 1;
|
||||
fcases++;
|
||||
}
|
||||
} catch(ReflectiveOperationException roe) {
|
||||
error("Warning: " + clname + " - ReflectiveOperationException");
|
||||
roe.printStackTrace(err);
|
||||
} catch(Exception unknown) {
|
||||
error("Warning: " + clname + " - uncaught exception");
|
||||
unknown.printStackTrace(err);
|
||||
}
|
||||
}
|
||||
|
||||
String imsg = ignored > 0 ? " (" + ignored + " ignored)" : "";
|
||||
if (errors > 0)
|
||||
throw new Error(errors + " error, in " + fcases + " of " + cases + " test-cases" + imsg);
|
||||
else
|
||||
err.println("" + cases + " test-cases executed" + imsg + ", no errors");
|
||||
}
|
||||
|
||||
|
||||
/**
|
||||
* Test-cases must be marked with the {@code TestCase} annotation,
|
||||
* as well as extend {@code Tester} (or an driver extension
|
||||
* specified as the first argument to the {@code main()} method.
|
||||
*/
|
||||
@Retention(RetentionPolicy.RUNTIME)
|
||||
@interface TestCase { }
|
||||
|
||||
/**
|
||||
* Individual test-cases failing due to product bugs, may temporarily
|
||||
* be excluded by marking them like this:
|
||||
* @ignore // 1234567:bug synopsis
|
||||
*/
|
||||
@Retention(RetentionPolicy.RUNTIME)
|
||||
@interface ignore { }
|
||||
|
||||
/**
|
||||
* Test-cases are classes extending {@code Tester}, and
|
||||
* calling {@link setSrc}, followed by one or more invocations
|
||||
* of {@link verify} in the body of the constructor.
|
||||
* <p>
|
||||
* Sets a default test-case template, which is empty except
|
||||
* for a key of {@code "TESTCASE"}.
|
||||
* Subclasses will typically call {@code setSrc(TestSource)}
|
||||
* to setup a useful test-case template.
|
||||
*/
|
||||
public Tester() {
|
||||
this.testCase = this.getClass().getName();
|
||||
src = new TestSource("TESTCASE");
|
||||
}
|
||||
|
||||
/**
|
||||
* Set the top-level source template.
|
||||
*/
|
||||
protected Tester setSrc(TestSource src) {
|
||||
this.src = src;
|
||||
return this;
|
||||
}
|
||||
|
||||
/**
|
||||
* Convenience method for calling {@code innerSrc("TESTCASE", ...)}.
|
||||
*/
|
||||
protected Tester setSrc(String... lines) {
|
||||
return innerSrc("TESTCASE", lines);
|
||||
}
|
||||
|
||||
/**
|
||||
* Convenience method for calling {@code innerSrc(key, new TestSource(...))}.
|
||||
*/
|
||||
protected Tester innerSrc(String key, String... lines) {
|
||||
return innerSrc(key, new TestSource(lines));
|
||||
}
|
||||
|
||||
/**
|
||||
* Specialize the testcase template, setting replacement content
|
||||
* for the specified key.
|
||||
*/
|
||||
protected Tester innerSrc(String key, TestSource content) {
|
||||
if (src == null) {
|
||||
src = new TestSource(key);
|
||||
}
|
||||
src.setInner(key, content);
|
||||
return this;
|
||||
}
|
||||
|
||||
/**
|
||||
* On the first invocation, call {@code execute()} to compile
|
||||
* the test-case source and process the resulting class(se)
|
||||
* into verifiable output.
|
||||
* <p>
|
||||
* Verify that the output matches each of the regular expressions
|
||||
* given as argument.
|
||||
* <p>
|
||||
* Any failure to match constitutes a test failure, but doesn't
|
||||
* abort the test-case.
|
||||
* <p>
|
||||
* Any exception (e.g. bad regular expression syntax) results in
|
||||
* a test failure, and aborts the test-case.
|
||||
*/
|
||||
protected void verify(String... expect) {
|
||||
if (!didExecute) {
|
||||
try {
|
||||
execute();
|
||||
} catch(Exception ue) {
|
||||
throw new Error(ue);
|
||||
} finally {
|
||||
didExecute = true;
|
||||
}
|
||||
}
|
||||
if (output == null) {
|
||||
error("output is null");
|
||||
return;
|
||||
}
|
||||
for (String e: expect) {
|
||||
// Escape regular expressions (to allow input to be literals).
|
||||
// Notice, characters to be escaped are themselves identified
|
||||
// using regular expressions
|
||||
String rc[] = { "(", ")", "[", "]", "{", "}", "$" };
|
||||
for (String c : rc) {
|
||||
e = e.replace(c, "\\" + c);
|
||||
}
|
||||
// DEBUG: Uncomment this to test modulo constant pool index.
|
||||
// e = e.replaceAll("#[0-9]{2}", "#[0-9]{2}");
|
||||
if (!output.matches("(?s).*" + e + ".*")) {
|
||||
if (!didPrint) {
|
||||
out.println(output);
|
||||
didPrint = true;
|
||||
}
|
||||
error("not matched: '" + e + "'");
|
||||
} else if(debug) {
|
||||
out.println("matched: '" + e + "'");
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
/**
|
||||
* Calls {@code writeTestFile()} to write out the test-case source
|
||||
* content to a file, then call {@code compileTestFile()} to
|
||||
* compile it, and finally run the {@link process} method to produce
|
||||
* verifiable output. The default {@code process} method runs javap.
|
||||
* <p>
|
||||
* If an exception occurs, it results in a test failure, and
|
||||
* aborts the test-case.
|
||||
*/
|
||||
protected void execute() throws IOException {
|
||||
err.println("TestCase: " + testCase);
|
||||
writeTestFile();
|
||||
compileTestFile();
|
||||
process();
|
||||
}
|
||||
|
||||
/**
|
||||
* Generate java source from test-case.
|
||||
* TBD: change to use javaFileObject, possibly make
|
||||
* this class extend JavaFileObject.
|
||||
*/
|
||||
protected void writeTestFile() throws IOException {
|
||||
javaFile = new File("Test.java");
|
||||
FileWriter fw = new FileWriter(javaFile);
|
||||
BufferedWriter bw = new BufferedWriter(fw);
|
||||
PrintWriter pw = new PrintWriter(bw);
|
||||
for (String line : src) {
|
||||
pw.println(line);
|
||||
if (debug) out.println(line);
|
||||
}
|
||||
pw.close();
|
||||
}
|
||||
|
||||
/**
|
||||
* Compile the Java source code.
|
||||
*/
|
||||
protected void compileTestFile() {
|
||||
String path = javaFile.getPath();
|
||||
String params[] = { "-source", "1.8", "-g", path };
|
||||
int rc = com.sun.tools.javac.Main.compile(params);
|
||||
if (rc != 0)
|
||||
throw new Error("compilation failed. rc=" + rc);
|
||||
classFile = new File(path.substring(0, path.length() - 5) + ".class");
|
||||
}
|
||||
|
||||
|
||||
/**
|
||||
* Process class file to generate output for verification.
|
||||
* The default implementation simply runs javap. This might be
|
||||
* overwritten to generate output in a different manner.
|
||||
*/
|
||||
protected void process() {
|
||||
String testClasses = "."; //System.getProperty("test.classes", ".");
|
||||
StringWriter sw = new StringWriter();
|
||||
PrintWriter pw = new PrintWriter(sw);
|
||||
String[] args = { "-v", "-classpath", testClasses, "Test" };
|
||||
int rc = com.sun.tools.javap.Main.run(args, pw);
|
||||
if (rc != 0)
|
||||
throw new Error("javap failed. rc=" + rc);
|
||||
pw.close();
|
||||
output = sw.toString();
|
||||
if (debug) {
|
||||
out.println(output);
|
||||
didPrint = true;
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
|
||||
private String testCase;
|
||||
private TestSource src;
|
||||
private File javaFile = null;
|
||||
private File classFile = null;
|
||||
private String output = null;
|
||||
private boolean didExecute = false;
|
||||
private boolean didPrint = false;
|
||||
|
||||
|
||||
protected void error(String msg) {
|
||||
err.println("Error: " + msg);
|
||||
errors++;
|
||||
}
|
||||
|
||||
private int cases;
|
||||
private int fcases;
|
||||
private int errors;
|
||||
private int ignored;
|
||||
|
||||
/**
|
||||
* The TestSource class provides a simple container for
|
||||
* test cases. It contains an array of source code lines,
|
||||
* where zero or more lines may be markers for nested lines.
|
||||
* This allows representing templates, with specialization.
|
||||
* <P>
|
||||
* This may be generalized to support more advance combo
|
||||
* tests, but presently it's only used with a static template,
|
||||
* and one level of specialization.
|
||||
*/
|
||||
public class TestSource implements Iterable<String> {
|
||||
|
||||
private String[] lines;
|
||||
private Hashtable<String, TestSource> innerSrc;
|
||||
|
||||
public TestSource(String... lines) {
|
||||
this.lines = lines;
|
||||
innerSrc = new Hashtable<String, TestSource>();
|
||||
}
|
||||
|
||||
public void setInner(String key, TestSource inner) {
|
||||
innerSrc.put(key, inner);
|
||||
}
|
||||
|
||||
public void setInner(String key, String... lines) {
|
||||
innerSrc.put(key, new TestSource(lines));
|
||||
}
|
||||
|
||||
public Iterator<String> iterator() {
|
||||
return new LineIterator();
|
||||
}
|
||||
|
||||
private class LineIterator implements Iterator<String> {
|
||||
|
||||
int nextLine = 0;
|
||||
Iterator<String> innerIt = null;
|
||||
|
||||
public boolean hasNext() {
|
||||
return nextLine < lines.length;
|
||||
}
|
||||
|
||||
public String next() {
|
||||
if (!hasNext()) throw new NoSuchElementException();
|
||||
String str = lines[nextLine];
|
||||
TestSource inner = innerSrc.get(str);
|
||||
if (inner == null) {
|
||||
nextLine++;
|
||||
return str;
|
||||
}
|
||||
if (innerIt == null) {
|
||||
innerIt = inner.iterator();
|
||||
}
|
||||
if (innerIt.hasNext()) {
|
||||
return innerIt.next();
|
||||
}
|
||||
innerIt = null;
|
||||
nextLine++;
|
||||
return next();
|
||||
}
|
||||
|
||||
public void remove() {
|
||||
throw new UnsupportedOperationException();
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
Loading…
x
Reference in New Issue
Block a user