checkers.util

Class CheckerMain

@NonNull java.lang.Object

checkers.util.CheckerMain

public class CheckerMain
extends @NonNull Object

The main class for the Checkers when using the binary distribution, that delegates the compilation invocation to javac.

The class has two responsibilities:

• it adds the annotated JDK to the bootclasspath
• if invoked when the compiler classes is in the bootclasspath (e.g. with Apple JVM), it restarts the JVM and prepends the JSR 308 compiler to bootclasspath.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	CheckerMain.CLibrary Helper class to invoke the libc system() native call Using the system() native call, rather than Runtime.exec(), to handle IO "redirection"

Constructor Summary

Constructors

Constructor and Description
CheckerMain()

Method Summary

Methods

Modifier and Type	Method and Description
static @ReadOnly String	findPathJar(Class<?> context) Find the jar file containing the annotated JDK (i.e.
static void	main(String[] args)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CheckerMain

public CheckerMain()

Method Detail

main

public static void main(String[] args)
                 throws Exception

Throws:

Exception

findPathJar

public static @ReadOnly String findPathJar(Class<?> context)
                           throws IllegalStateException

Find the jar file containing the annotated JDK (i.e. jar containing this file

Throws:

IllegalStateException