org.checkerframework.framework.util

Class CheckerDevelMain

java.lang.Object

org.checkerframework.framework.util.CheckerMain

org.checkerframework.framework.util.CheckerDevelMain

public class CheckerDevelMain
extends CheckerMain

Field Summary

Fields inherited from class org.checkerframework.framework.util.CheckerMain

BOOT_CLASS_PATH_REGEX, CHECKER_BASE_DIR_NAME, CHECKER_BASE_PACKAGE, checkerJar, checkerQualJar, FULLY_QUALIFIED_SUBTYPING_CHECKER, javacJar, jdkJar, JVM_OPTS_REGEX, SUBTYPING_CHECKER_NAME

Constructor Summary

Constructors

Constructor and Description
CheckerDevelMain(java.io.File searchPath, java.util.List<java.lang.String> args) Construct all the relevant file locations and java version given the path to this jar and a set of directories in which to search for jars

Method Summary

Modifier and Type	Method and Description
void	assertValidState()
protected java.util.List<java.lang.String>	createCompilationBootclasspath(java.util.List<java.lang.String> argsList)
protected java.util.List<java.lang.String>	createCpOpts(java.util.List<java.lang.String> argsList)
protected java.util.List<java.lang.String>	createPpOpts(java.util.List<java.lang.String> argsList)
protected java.util.List<java.lang.String>	createRuntimeClasspath(java.util.List<java.lang.String> argsList)
static void	main(java.lang.String[] args)

Methods inherited from class org.checkerframework.framework.util.CheckerMain

addMainToArgs, addToClasspath, addToProcessorpath, addToRuntimeClasspath, collectArgFiles, expandArgFiles, extractArg, extractBootClassPath, extractCpOpts, extractFileArg, extractJvmOpts, extractOptWithPattern, extractPpOpts, findPathTo, getExecArguments, invokeCompiler, matchesCheckerOrSubcheckerFromList, matchesFullyQualifiedProcessor, replaceShorthandProcessor, unshorthandProcessorNames

Methods inherited from class java.lang.Object

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

Constructor Detail

CheckerDevelMain

public CheckerDevelMain(java.io.File searchPath,
                        java.util.List<java.lang.String> args)

Construct all the relevant file locations and java version given the path to this jar and a set of directories in which to search for jars

Method Detail

main

public static void main(java.lang.String[] args)

assertValidState

public void assertValidState()

Overrides:

assertValidState in class CheckerMain

createRuntimeClasspath

protected java.util.List<java.lang.String> createRuntimeClasspath(java.util.List<java.lang.String> argsList)

Overrides:

createRuntimeClasspath in class CheckerMain

createCompilationBootclasspath

protected java.util.List<java.lang.String> createCompilationBootclasspath(java.util.List<java.lang.String> argsList)

Overrides:

createCompilationBootclasspath in class CheckerMain

createCpOpts

protected java.util.List<java.lang.String> createCpOpts(java.util.List<java.lang.String> argsList)

Overrides:

createCpOpts in class CheckerMain

createPpOpts

protected java.util.List<java.lang.String> createPpOpts(java.util.List<java.lang.String> argsList)

Overrides:

createPpOpts in class CheckerMain