framework/jtreg/variablenamedefault/Driver.java

/*
 * @test
 * @summary Test variable name defaults.
 *
 * @clean lib.Test use.UseTest
 * @compile lib/Test.java
 * @compile -processor org.checkerframework.framework.testchecker.variablenamedefault.VariableNameDefaultChecker use/UseTest.java -XDrawDiagnostics
 *
 * @clean lib.Test use.UseTest
 * @compile -g lib/Test.java
 * @compile/fail/ref=UseTest1.out -processor org.checkerframework.framework.testchecker.variablenamedefault.VariableNameDefaultChecker use/UseTest.java -XDrawDiagnostics
 *
 * @clean lib.Test use.UseTest
 * @compile -processor org.checkerframework.framework.testchecker.variablenamedefault.VariableNameDefaultChecker lib/Test.java
 * @compile/fail/ref=UseTest2.out -processor org.checkerframework.framework.testchecker.variablenamedefault.VariableNameDefaultChecker use/UseTest.java -XDrawDiagnostics
 *
 * @clean lib.Test use.UseTest
 * @compile/fail/ref=UseTest1.out -processor org.checkerframework.framework.testchecker.variablenamedefault.VariableNameDefaultChecker use/UseTest.java lib/Test.java -XDrawDiagnostics
 */
class Driver {}