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(File searchPath, List<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 List<String>	createCompilationBootclasspath(List<String> argsList)
protected List<String>	createCpOpts(List<String> argsList)
protected List<String>	createPpOpts(List<String> argsList)
protected List<String>	createRuntimeBootclasspath(List<String> argsList)
static void	main(String[] args)

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

addMainToArgs, addToClasspath, addToProcessorpath, addToRuntimeBootclasspath, 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(File searchPath,
                        List<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(String[] args)

assertValidState

public void assertValidState()

Overrides:

assertValidState in class CheckerMain

createRuntimeBootclasspath

protected List<String> createRuntimeBootclasspath(List<String> argsList)

Overrides:

createRuntimeBootclasspath in class CheckerMain

createCompilationBootclasspath

protected List<String> createCompilationBootclasspath(List<String> argsList)

Overrides:

createCompilationBootclasspath in class CheckerMain

createCpOpts

protected List<String> createCpOpts(List<String> argsList)

Overrides:

createCpOpts in class CheckerMain

createPpOpts

protected List<String> createPpOpts(List<String> argsList)

Overrides:

createPpOpts in class CheckerMain