• file
• revisions
• annotate
• diff
• comparison
• raw

test/tools/javac/defaultMethods/syntax/TestDefaultMethodsSyntax.java@2eb010b6cb22 (annotated)

test/tools/javac/defaultMethods/syntax/TestDefaultMethodsSyntax.java

Thu, 31 Aug 2017 15:17:03 +0800

author

aoqi

date

Thu, 31 Aug 2017 15:17:03 +0800

changeset 2525

2eb010b6cb22

parent 2227

998b10c43157

parent 0

959103a6100f

permissions

-rw-r--r--

merge

aoqi@0	1	/*
aoqi@0	2	* Copyright (c) 2012, 2013, Oracle and/or its affiliates. All rights reserved.
aoqi@0	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0	4	*
aoqi@0	5	* This code is free software; you can redistribute it and/or modify it
aoqi@0	6	* under the terms of the GNU General Public License version 2 only, as
aoqi@0	7	* published by the Free Software Foundation.
aoqi@0	8	*
aoqi@0	9	* This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
aoqi@0	12	* version 2 for more details (a copy is included in the LICENSE file that
aoqi@0	13	* accompanied this code).
aoqi@0	14	*
aoqi@0	15	* You should have received a copy of the GNU General Public License version
aoqi@0	16	* 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0	18	*
aoqi@0	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0	20	* or visit www.oracle.com if you need additional information or have any
aoqi@0	21	* questions.
aoqi@0	22	*/
aoqi@0	23
aoqi@0	24	/*
aoqi@0	25	* @test
aoqi@0	26	* @bug 7192245 8005851 8005166
aoqi@0	27	* @summary Automatic test for checking set of allowed modifiers on interface methods
aoqi@0	28	*/
aoqi@0	29
aoqi@0	30	import com.sun.source.util.JavacTask;
aoqi@0	31	import java.net.URI;
aoqi@0	32	import java.util.Arrays;
aoqi@0	33	import java.util.List;
aoqi@0	34	import javax.tools.Diagnostic;
aoqi@0	35	import javax.tools.JavaCompiler;
aoqi@0	36	import javax.tools.JavaFileObject;
aoqi@0	37	import javax.tools.SimpleJavaFileObject;
aoqi@0	38	import javax.tools.StandardJavaFileManager;
aoqi@0	39	import javax.tools.ToolProvider;
aoqi@0	40
aoqi@0	41
aoqi@0	42	public class TestDefaultMethodsSyntax {
aoqi@0	43
aoqi@0	44	static int checkCount = 0;
aoqi@0	45
aoqi@0	46	enum VersionKind {
aoqi@0	47	PRE_LAMBDA("7"),
aoqi@0	48	LAMBDA("8");
aoqi@0	49
aoqi@0	50	String versionString;
aoqi@0	51
aoqi@0	52	VersionKind(String versionString) {
aoqi@0	53	this.versionString = versionString;
aoqi@0	54	}
aoqi@0	55
aoqi@0	56	List<String> getOptions() {
aoqi@0	57	return Arrays.asList("-XDallowStaticInterfaceMethods", "-source", versionString);
aoqi@0	58	}
aoqi@0	59	}
aoqi@0	60
aoqi@0	61	enum ModifierKind {
aoqi@0	62	NONE(""),
aoqi@0	63	PUBLIC("public"),
aoqi@0	64	PROTECTED("protected"),
aoqi@0	65	PRIVATE("private"),
aoqi@0	66	ABSTRACT("abstract"),
aoqi@0	67	STATIC("static"),
aoqi@0	68	NATIVE("native"),
aoqi@0	69	SYNCHRONIZED("synchronized"),
aoqi@0	70	FINAL("final"),
aoqi@0	71	STRICTFP("strictfp"),
aoqi@0	72	DEFAULT("default");
aoqi@0	73
aoqi@0	74	String modStr;
aoqi@0	75
aoqi@0	76	private ModifierKind(String modStr) {
aoqi@0	77	this.modStr = modStr;
aoqi@0	78	}
aoqi@0	79
aoqi@0	80	static boolean intersect(ModifierKind mk, ModifierKind... mks) {
aoqi@0	81	for (ModifierKind mk2 : mks) {
aoqi@0	82	if (mk == mk2) return true;
aoqi@0	83	}
aoqi@0	84	return false;
aoqi@0	85	}
aoqi@0	86
aoqi@0	87	static boolean compatible(MethodKind mk, ModifierKind mod1, ModifierKind mod2, EnclosingKind ek) {
aoqi@0	88	if (intersect(ABSTRACT, mod1, mod2) || intersect(NATIVE, mod1, mod2)) {
aoqi@0	89	return mk == MethodKind.NO_BODY;
aoqi@0	90	} else if (intersect(DEFAULT, mod1, mod2) || intersect(STATIC, mod1, mod2)) {
aoqi@0	91	return mk == MethodKind.BODY;
aoqi@0	92	} else {
aoqi@0	93	return ek == EnclosingKind.INTERFACE ?
aoqi@0	94	mk == MethodKind.NO_BODY : mk == MethodKind.BODY;
aoqi@0	95	}
aoqi@0	96	}
aoqi@0	97
aoqi@0	98	boolean compatible(EnclosingKind ek) {
aoqi@0	99	switch (this) {
aoqi@0	100	case PRIVATE:
aoqi@0	101	case PROTECTED:
aoqi@0	102	return ek != EnclosingKind.INTERFACE;
aoqi@0	103	default:
aoqi@0	104	return true;
aoqi@0	105	}
aoqi@0	106	}
aoqi@0	107
aoqi@0	108	static boolean compatible(ModifierKind m1, ModifierKind m2, EnclosingKind ek) {
aoqi@0	109	Result res1 = allowedModifierPairs[m1.ordinal()][m2.ordinal()];
aoqi@0	110	Result res2 = allowedModifierPairs[m2.ordinal()][m1.ordinal()];
aoqi@0	111	if (res1 != res2) {
aoqi@0	112	throw new AssertionError(String.format("Ill-formed table: [%s,%s] != [%s,%s]", m1, m2, m2, m1));
aoqi@0	113	} else {
aoqi@0	114	return res1.compatible(ek, m1, m2);
aoqi@0	115	}
aoqi@0	116	}
aoqi@0	117
aoqi@0	118	interface Result {
aoqi@0	119	boolean compatible(EnclosingKind ek, ModifierKind m1, ModifierKind m2);
aoqi@0	120	}
aoqi@0	121
aoqi@0	122	static final Result T = new Result() {
aoqi@0	123	@Override
aoqi@0	124	public boolean compatible(EnclosingKind ek, ModifierKind m1, ModifierKind m2) {
aoqi@0	125	return true;
aoqi@0	126	}
aoqi@0	127	};
aoqi@0	128
aoqi@0	129	static final Result F = new Result() {
aoqi@0	130	@Override
aoqi@0	131	public boolean compatible(EnclosingKind ek, ModifierKind m1, ModifierKind m2) {
aoqi@0	132	return false;
aoqi@0	133	}
aoqi@0	134	};
aoqi@0	135
aoqi@0	136	static final Result C = new Result() {
aoqi@0	137	@Override
aoqi@0	138	public boolean compatible(EnclosingKind ek, ModifierKind m1, ModifierKind m2) {
aoqi@0	139	return ek != EnclosingKind.INTERFACE;
aoqi@0	140	}
aoqi@0	141	};
aoqi@0	142
aoqi@0	143	static final Result I = new Result() {
aoqi@0	144	@Override
aoqi@0	145	public boolean compatible(EnclosingKind ek, ModifierKind m1, ModifierKind m2) {
aoqi@0	146	return ek == EnclosingKind.INTERFACE;
aoqi@0	147	}
aoqi@0	148	};
aoqi@0	149
aoqi@0	150	static Result[][] allowedModifierPairs = {
aoqi@0	151	/* NONE PUBLIC PROTECTED PRIVATE ABSTRACT STATIC NATIVE SYNCHRONIZED FINAL STRICTFP DEFAULT */
aoqi@0	152	/* NONE */ { T , T , C , C , T , T , C , C , C , C , I },
aoqi@0	153	/* PUBLIC */ { T , F , F , F , T , T , C , C , C , C , I },
aoqi@0	154	/* PROTECTED */ { C , F , F , F , C , C , C , C , C , C , F },
aoqi@0	155	/* PRIVATE */ { C , F , F , F , F , C , C , C , C , C , F },
aoqi@0	156	/* ABSTRACT */ { T , T , C , F , F , F , F , F , F , F , F },
aoqi@0	157	/* STATIC */ { T , T , C , C , F , F , C , C , C , T , F },
aoqi@0	158	/* NATIVE */ { C , C , C , C , F , C , F , C , C , F , F },
aoqi@0	159	/* SYNCHRONIZED */ { C , C , C , C , F , C , C , F , C , C , F },
aoqi@0	160	/* FINAL */ { C , C , C , C , F , C , C , C , F , C , F },
aoqi@0	161	/* STRICTFP */ { C , C , C , C , F , T , F , C , C , F , I },
aoqi@0	162	/* DEFAULT */ { I , I , F , F , F , F , F , F , F , I , F }};
aoqi@0	163	}
aoqi@0	164
aoqi@0	165	enum MethodKind {
aoqi@0	166	NO_BODY("void m();"),
aoqi@0	167	BODY("void m() { }");
aoqi@0	168
aoqi@0	169	String methStr;
aoqi@0	170
aoqi@0	171	private MethodKind(String methStr) {
aoqi@0	172	this.methStr = methStr;
aoqi@0	173	}
aoqi@0	174	}
aoqi@0	175
aoqi@0	176	enum EnclosingKind {
aoqi@0	177	ABSTRACT_CLASS("abstract class Test "),
aoqi@0	178	INTERFACE("interface Test ");
aoqi@0	179
aoqi@0	180	String enclStr;
aoqi@0	181
aoqi@0	182	EnclosingKind(String enclStr) {
aoqi@0	183	this.enclStr = enclStr;
aoqi@0	184	}
aoqi@0	185	}
aoqi@0	186
aoqi@0	187	public static void main(String... args) throws Exception {
aoqi@0	188
aoqi@0	189	//create default shared JavaCompiler - reused across multiple compilations
aoqi@0	190	JavaCompiler comp = ToolProvider.getSystemJavaCompiler();
aoqi@0	191	StandardJavaFileManager fm = comp.getStandardFileManager(null, null, null);
aoqi@0	192
aoqi@0	193	for (VersionKind vk : VersionKind.values()) {
aoqi@0	194	for (EnclosingKind ek : EnclosingKind.values()) {
aoqi@0	195	for (MethodKind mk : MethodKind.values()) {
aoqi@0	196	for (ModifierKind modk1 : ModifierKind.values()) {
aoqi@0	197	for (ModifierKind modk2 : ModifierKind.values()) {
aoqi@0	198	new TestDefaultMethodsSyntax(vk, ek, mk, modk1, modk2).run(comp, fm);
aoqi@0	199	}
aoqi@0	200	}
aoqi@0	201	}
aoqi@0	202	}
aoqi@0	203	}
aoqi@0	204	System.out.println("Total check executed: " + checkCount);
aoqi@0	205	}
aoqi@0	206
aoqi@0	207	VersionKind vk;
aoqi@0	208	EnclosingKind ek;
aoqi@0	209	MethodKind mk;
aoqi@0	210	ModifierKind modk1, modk2;
aoqi@0	211	JavaSource source;
aoqi@0	212	DiagnosticChecker diagChecker;
aoqi@0	213
aoqi@0	214	TestDefaultMethodsSyntax(VersionKind vk, EnclosingKind ek, MethodKind mk, ModifierKind modk1, ModifierKind modk2) {
aoqi@0	215	this.vk = vk;
aoqi@0	216	this.ek = ek;
aoqi@0	217	this.mk = mk;
aoqi@0	218	this.modk1 = modk1;
aoqi@0	219	this.modk2 = modk2;
aoqi@0	220	this.source = new JavaSource();
aoqi@0	221	this.diagChecker = new DiagnosticChecker();
aoqi@0	222	}
aoqi@0	223
aoqi@0	224	class JavaSource extends SimpleJavaFileObject {
aoqi@0	225
aoqi@0	226	String template = "#EK {\n" +
aoqi@0	227	" #MOD1 #MOD2 #METH\n" +
aoqi@0	228	"}\n";
aoqi@0	229
aoqi@0	230	String source;
aoqi@0	231
aoqi@0	232	public JavaSource() {
aoqi@0	233	super(URI.create("myfo:/Test.java"), JavaFileObject.Kind.SOURCE);
aoqi@0	234	source = template.replaceAll("#EK", ek.enclStr)
aoqi@0	235	.replaceAll("#MOD1", modk1.modStr)
aoqi@0	236	.replaceAll("#MOD2", modk2.modStr)
aoqi@0	237	.replaceAll("#METH", mk.methStr);
aoqi@0	238	}
aoqi@0	239
aoqi@0	240	@Override
aoqi@0	241	public CharSequence getCharContent(boolean ignoreEncodingErrors) {
aoqi@0	242	return source;
aoqi@0	243	}
aoqi@0	244	}
aoqi@0	245
aoqi@0	246	void run(JavaCompiler tool, StandardJavaFileManager fm) throws Exception {
aoqi@0	247	JavacTask ct = (JavacTask)tool.getTask(null, fm, diagChecker,
aoqi@0	248	vk.getOptions(), null, Arrays.asList(source));
aoqi@0	249	try {
aoqi@0	250	ct.analyze();
aoqi@0	251	} catch (Throwable ex) {
aoqi@0	252	throw new AssertionError("Error thrown when analyzing the following source:\n" + source.getCharContent(true));
aoqi@0	253	}
aoqi@0	254	check();
aoqi@0	255	}
aoqi@0	256
aoqi@0	257	void check() {
aoqi@0	258	boolean errorExpected = !ModifierKind.compatible(modk1, modk2, ek);
aoqi@0	259
aoqi@0	260	errorExpected |= !ModifierKind.compatible(mk, modk1, modk2, ek);
aoqi@0	261
aoqi@0	262	errorExpected |= !modk1.compatible(ek) || !modk2.compatible(ek);
aoqi@0	263
aoqi@0	264	errorExpected |= ModifierKind.intersect(ModifierKind.DEFAULT, modk1, modk2) &&
aoqi@0	265	vk == VersionKind.PRE_LAMBDA;
aoqi@0	266
aoqi@0	267	errorExpected |= ModifierKind.intersect(ModifierKind.STATIC, modk1, modk2) &&
aoqi@0	268	ek == EnclosingKind.INTERFACE && vk == VersionKind.PRE_LAMBDA;
aoqi@0	269
aoqi@0	270	checkCount++;
aoqi@0	271	if (diagChecker.errorFound != errorExpected) {
aoqi@0	272	throw new AssertionError("Problem when compiling source:\n" + source.getCharContent(true) +
aoqi@0	273	"\nfound error: " + diagChecker.errorFound);
aoqi@0	274	}
aoqi@0	275	}
aoqi@0	276
aoqi@0	277	static class DiagnosticChecker implements javax.tools.DiagnosticListener<JavaFileObject> {
aoqi@0	278
aoqi@0	279	boolean errorFound;
aoqi@0	280
aoqi@0	281	public void report(Diagnostic<? extends JavaFileObject> diagnostic) {
aoqi@0	282	if (diagnostic.getKind() == Diagnostic.Kind.ERROR) {
aoqi@0	283	errorFound = true;
aoqi@0	284	}
aoqi@0	285	}
aoqi@0	286	}
aoqi@0	287	}