jdk8-mips64-public/langtools: comparison test/tools/javac/varargs/warning/Warn4.java

-:d33b91f360fc
+:46cf751559ae
+/*
+* Copyright 2010 Sun Microsystems, Inc.  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 Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
+* CA 95054 USA or visit www.sun.com if you need additional information or
+* have any questions.
+*/
+/**
+* @test
+* @bug     6945418
+* @summary Project Coin: Simplified Varargs Method Invocation
+* @author  mcimadamore
+* @run main Warn4
+*/
+import com.sun.source.util.JavacTask;
+import java.net.URI;
+import java.util.Arrays;
+import java.util.Set;
+import java.util.HashSet;
+import javax.tools.Diagnostic;
+import javax.tools.JavaCompiler;
+import javax.tools.JavaFileObject;
+import javax.tools.SimpleJavaFileObject;
+import javax.tools.ToolProvider;
+public class Warn4 {
+final static Warning[] error = null;
+final static Warning[] none = new Warning[] {};
+final static Warning[] vararg = new Warning[] { Warning.VARARGS };
+final static Warning[] unchecked = new Warning[] { Warning.UNCHECKED };
+final static Warning[] both = new Warning[] { Warning.VARARGS, Warning.UNCHECKED };
+enum Warning {
+UNCHECKED("unchecked"),
+VARARGS("varargs");
+String category;
+Warning(String category) {
+this.category = category;
+}
+boolean isEnabled(XlintOption xlint, SuppressLevel suppressLevel) {
+return Arrays.asList(xlint.enabledWarnings).contains(this);
+}
+boolean isSuppressed(SuppressLevel suppressLevel) {
+return Arrays.asList(suppressLevel.suppressedWarnings).contains(VARARGS);
+}
+}
+enum XlintOption {
+NONE(),
+UNCHECKED(Warning.UNCHECKED),
+VARARGS(Warning.VARARGS),
+ALL(Warning.UNCHECKED, Warning.VARARGS);
+Warning[] enabledWarnings;
+XlintOption(Warning... enabledWarnings) {
+this.enabledWarnings = enabledWarnings;
+}
+String getXlintOption() {
+StringBuilder buf = new StringBuilder();
+String sep = "";
+for (Warning w : enabledWarnings) {
+buf.append(sep);
+buf.append(w.category);
+sep=",";
+}
+return "-Xlint:" +
+(this == NONE ? "none" : buf.toString());
+}
+}
+enum SuppressLevel {
+NONE(),
+UNCHECKED(Warning.UNCHECKED),
+VARARGS(Warning.VARARGS),
+ALL(Warning.UNCHECKED, Warning.VARARGS);
+Warning[] suppressedWarnings;
+SuppressLevel(Warning... suppressedWarnings) {
+this.suppressedWarnings = suppressedWarnings;
+}
+String getSuppressAnnotation() {
+StringBuilder buf = new StringBuilder();
+String sep = "";
+for (Warning w : suppressedWarnings) {
+buf.append(sep);
+buf.append("\"");
+buf.append(w.category);
+buf.append("\"");
+sep=",";
+}
+return this == NONE ? "" :
+"@SuppressWarnings({" + buf.toString() + "})";
+}
+}
+enum Signature {
+EXTENDS_TVAR("<Z> void #name(List<? extends Z>#arity arg) { #body }",
+new Warning[][] {both, both, both, both, error, both, both, both, error}),
+SUPER_TVAR("<Z> void #name(List<? super Z>#arity arg) { #body }",
+new Warning[][] {error, both, error, both, error, error, both, both, error}),
+UNBOUND("void #name(List<?>#arity arg) { #body }",
+new Warning[][] {none, none, none, none, none, none, none, none, error}),
+INVARIANT_TVAR("<Z> void #name(List<Z>#arity arg) { #body }",
+new Warning[][] {both, both, both, both, error, both, both, both, error}),
+TVAR("<Z> void #name(Z#arity arg) { #body }",
+new Warning[][] {both, both, both, both, both, both, both, both, vararg}),
+EXTENDS("void #name(List<? extends String>#arity arg) { #body }",
+new Warning[][] {error, error, error, error, error, both, error, both, error}),
+SUPER("void #name(List<? super String>#arity arg) { #body }",
+new Warning[][] {error, error, error, error, error, error, both, both, error}),
+INVARIANT("void #name(List<String>#arity arg) { #body }",
+new Warning[][] {error, error, error, error, error, error, error, both, error}),
+UNPARAMETERIZED("void #name(String#arity arg) { #body }",
+new Warning[][] {error, error, error, error, error, error, error, error, none});
+String template;
+Warning[][] warnings;
+Signature(String template, Warning[][] warnings) {
+this.template = template;
+this.warnings = warnings;
+}
+boolean isApplicableTo(Signature other) {
+return warnings[other.ordinal()] != null;
+}
+boolean giveUnchecked(Signature other) {
+return warnings[other.ordinal()] == unchecked ||
+warnings[other.ordinal()] == both;
+}
+boolean giveVarargs(Signature other) {
+return warnings[other.ordinal()] == vararg ||
+warnings[other.ordinal()] == both;
+}
+}
+public static void main(String... args) throws Exception {
+for (XlintOption xlint : XlintOption.values()) {
+for (SuppressLevel suppressLevel : SuppressLevel.values()) {
+for (Signature vararg_meth : Signature.values()) {
+for (Signature client_meth : Signature.values()) {
+if (vararg_meth.isApplicableTo(client_meth)) {
+test(xlint,
+suppressLevel,
+vararg_meth,
+client_meth);
+}
+}
+}
+}
+}
+}
+static void test(XlintOption xlint, SuppressLevel suppressLevel,
+Signature vararg_meth, Signature client_meth) throws Exception {
+final JavaCompiler tool = ToolProvider.getSystemJavaCompiler();
+JavaSource source = new JavaSource(suppressLevel, vararg_meth, client_meth);
+DiagnosticChecker dc = new DiagnosticChecker();
+JavacTask ct = (JavacTask)tool.getTask(null, null, dc,
+Arrays.asList(xlint.getXlintOption()), null, Arrays.asList(source));
+ct.generate(); //to get mandatory notes
+check(dc.warnings,
+dc.notes,
+new boolean[] {vararg_meth.giveUnchecked(client_meth),
+vararg_meth.giveVarargs(client_meth)},
+source, xlint, suppressLevel);
+}
+static void check(Set<Warning> warnings, Set<Warning> notes, boolean[] warnArr, JavaSource source, XlintOption xlint, SuppressLevel suppressLevel) {
+boolean badOutput = false;
+for (Warning wkind : Warning.values()) {
+badOutput |= (warnArr[wkind.ordinal()] && !wkind.isSuppressed(suppressLevel)) !=
+(wkind.isEnabled(xlint, suppressLevel) ?
+warnings.contains(wkind) :
+notes.contains(wkind));
+}
+if (badOutput) {
+throw new Error("invalid diagnostics for source:\n" +
+source.getCharContent(true) +
+"\nOptions: " + xlint.getXlintOption() +
+"\nExpected unchecked warning: " + warnArr[0] +
+"\nExpected unsafe vararg warning: " + warnArr[1] +
+"\nWarnings: " + warnings +
+"\nNotes: " + notes);
+}
+}
+static class JavaSource extends SimpleJavaFileObject {
+String source;
+public JavaSource(SuppressLevel suppressLevel, Signature vararg_meth, Signature client_meth) {
+super(URI.create("myfo:/Test.java"), JavaFileObject.Kind.SOURCE);
+String meth1 = vararg_meth.template.replace("#arity", "...");
+meth1 = meth1.replace("#name", "m");
+meth1 = meth1.replace("#body", "");
+meth1 = suppressLevel.getSuppressAnnotation() + meth1;
+String meth2 = client_meth.template.replace("#arity", "");
+meth2 = meth2.replace("#name", "test");
+meth2 = meth2.replace("#body", "m(arg);");
+source = "import java.util.List;\n" +
+"class Test {\n" + meth1 +
+"\n" + meth2 + "\n}\n";
+}
+@Override
+public CharSequence getCharContent(boolean ignoreEncodingErrors) {
+return source;
+}
+}
+static class DiagnosticChecker implements javax.tools.DiagnosticListener<JavaFileObject> {
+Set<Warning> warnings = new HashSet<>();
+Set<Warning> notes = new HashSet<>();
+public void report(Diagnostic<? extends JavaFileObject> diagnostic) {
+if (diagnostic.getKind() == Diagnostic.Kind.MANDATORY_WARNING ||
+diagnostic.getKind() == Diagnostic.Kind.WARNING) {
+warnings.add(diagnostic.getCode().contains("varargs") ?
+Warning.VARARGS :
+Warning.UNCHECKED);
+}
+else if (diagnostic.getKind() == Diagnostic.Kind.NOTE) {
+notes.add(diagnostic.getCode().contains("varargs") ?
+Warning.VARARGS :
+Warning.UNCHECKED);
+}
+}
+}
+}

Mercurial > jdk8-mips64-public > langtools / file comparison

comparison: test/tools/javac/varargs/warning/Warn4.java

test/tools/javac/varargs/warning/Warn4.java