Driver.java example

Explorer
checker-framework-master
/*
 * @test
 * @summary Test for Issue 141
 *
 * @compile -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker -AprintErrorStack Appendable.java Driver.java InputSupplier.java Readable.java CharStreams.java Files.java OutputStreamWriter.java Closeable.java InputStreamReader.java OutputSupplier.java
 * @compile -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker -AprintErrorStack Files.java
 *
 * @compile -XDrawDiagnostics -processor org.checkerframework.checker.regex.RegexChecker -AprintErrorStack Appendable.java Driver.java InputSupplier.java Readable.java CharStreams.java Files.java OutputStreamWriter.java Closeable.java InputStreamReader.java OutputSupplier.java
 * @compile -XDrawDiagnostics -processor org.checkerframework.checker.regex.RegexChecker -AprintErrorStack Files.java
 *
 */
class Driver {}