org.checkerframework.framework.util

Class CheckerDevelMain

java.lang.Object

org.checkerframework.framework.util.CheckerMain

org.checkerframework.framework.util.CheckerDevelMain

public class CheckerDevelMain
extends CheckerMain

The main entry point to the Checker Framework, for use by Checker Framework developers.

See Also:

CheckerMain

Field Summary

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

BOOT_CLASS_PATH_REGEX, CHECKER_BASE_DIR_NAME, CHECKER_QUAL_PATH_OPT, CHECKER_UTIL_PATH_OPT, checkerJar, checkerQualJar, checkerUtilJar, COMMON_BASE_DIR_NAME, JAVAC_PATH_OPT, javacJar, JDK_PATH_OPT, JVM_OPTS_REGEX

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>	createCpOpts(List<String> argsList)
protected List<String>	createPpOpts(List<String> argsList) Returns processor path options.
protected List<String>	createRuntimeClasspath(List<String> argsList)
static void	main(String[] args) The main method.

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

addMainToArgs, addToClasspath, addToProcessorpath, addToRuntimeClasspath, collectArgFiles, createCompilationBootclasspath, 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)

The main method.

Parameters:

args - command-line arguments

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

createCpOpts

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

Overrides:

createCpOpts in class CheckerMain

createPpOpts

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

Description copied from class: CheckerMain

Returns processor path options.

This method assumes that createCpOpts has already been run.

Overrides:

createPpOpts in class CheckerMain

Parameters:

argsList - arguments

Returns:

processor path options