public class CheckerDevelMain extends CheckerMain
BOOT_CLASS_PATH_REGEX, checkersJar, javacJar, jdkJar, jreVersion, JVM_OPTS_REGEX
Constructor and Description |
---|
CheckerDevelMain(File searchPath,
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
|
Modifier and Type | Method and Description |
---|---|
void |
addMainArgs(List<String> args) |
void |
assertValidState() |
protected List<String> |
createCompilationBootclasspath(List<String> argsList) |
protected List<String> |
createCpOpts(List<String> argsList) |
protected List<String> |
createRuntimeBootclasspath(List<String> argsList) |
static void |
main(String[] args) |
collectArgLists, expandArgs, extractArg, extractBootClassPath, extractCpOpts, extractFileArg, extractJvmOpts, extractOptWPattern, findPathTo, invokeCompiler, prepFilePath
public static void main(String[] args)
public void assertValidState()
assertValidState
in class CheckerMain
protected List<String> createRuntimeBootclasspath(List<String> argsList)
createRuntimeBootclasspath
in class CheckerMain
public void addMainArgs(List<String> args)
addMainArgs
in class CheckerMain
protected List<String> createCompilationBootclasspath(List<String> argsList)
createCompilationBootclasspath
in class CheckerMain
protected List<String> createCpOpts(List<String> argsList)
createCpOpts
in class CheckerMain