checkers.util
Class CheckerMain

java.lang.Object
  checkers.util.CheckerMain

public class CheckerMain
extends 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 in the bootclasspath (e.g. with Apple JVM), it restarts the JVM and prepend JSR 308 compiler to bootclasspath.

Nested Class Summary

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 and Description

CheckerMain()

Method Summary

Modifier and Type	Method and Description
static 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 String findPathJar(Class<?> context)
                          throws IllegalStateException

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

Throws:

IllegalStateException