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() Assert that required jars exist.
protected java.util.List<java.lang.String>	createCompilationBootclasspath(java.util.List<java.lang.String> argsList) Returns the compilation bootclasspath from argsList and appends jdkJar if using Java 8.
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()

Description copied from class: CheckerMain

Assert that required jars exist.

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)

Description copied from class: CheckerMain

Returns the compilation bootclasspath from argsList and appends jdkJar if using Java 8.

Overrides:

createCompilationBootclasspath in class CheckerMain

Parameters:

argsList - args to add

Returns:

the compilation bootclasspath from argsList and appends jdkJar if using Java 8

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