checkers.util
Class CheckerMain

java.lang.Object
  extended by 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:


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 Summary
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