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, CHECKER_QUAL_PATH_OPT, checkerJar, checkerQualJar, FULLY_QUALIFIED_SUBTYPING_CHECKER, JAVAC_PATH_OPT, javacJar, JDK_PATH_OPT, 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() Assert that required jars exist.
protected List<String>	createCompilationBootclasspath(List<String> argsList) Returns the compilation bootclasspath from argsList.
protected List<String>	createCpOpts(List<String> argsList)
protected List<String>	createPpOpts(List<String> argsList)
protected List<String>	createRuntimeClasspath(List<String> argsList)
static void	main(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(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()

Description copied from class: CheckerMain

Assert that required jars exist.

Overrides:

assertValidState in class CheckerMain

createRuntimeClasspath

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

Overrides:

createRuntimeClasspath in class CheckerMain

createCompilationBootclasspath

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

Description copied from class: CheckerMain

Returns the compilation bootclasspath from argsList.

Overrides:

createCompilationBootclasspath in class CheckerMain

Parameters:

argsList - args to add

Returns:

the compilation bootclasspath from argsList

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