org.checkerframework.framework.util

Class PluginUtil

java.lang.Object

org.checkerframework.framework.util.PluginUtil

public class PluginUtil
extends Object

This file contains basic utility functions that should be reused to create a command-line call to CheckerMain.

NOTE: There are multiple copies of this file in the following projects/locations:

 checker-framework-eclipse-plugin/
     org.checkerframework.eclipse.util.PluginUtil

 checker-framework/
     org.checkerframework.framework.util.PluginUtil
 

These files MUST be IDENTICAL after the package descriptor.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PluginUtil.CheckerProp

Field Summary

Fields

Modifier and Type	Field and Description
static String	JAVAC_PATH_OPT Option name for specifying an alternative javac.jar location.
static String	JDK_PATH_OPT Option name for specifying an alternative jdk.jar location.

Constructor Summary

Constructors

Constructor and Description
PluginUtil()

Method Summary

Modifier and Type	Method and Description
static String	escapeQuotesAndSlashes(String toEscape)
static String	fileArgToStr(File fileArg)
static List<String>	getBooleanProp(Map<PluginUtil.CheckerProp,Object> props, PluginUtil.CheckerProp prop, String tag)
static List<String>	getCmd(String executable, File javacPath, File jdkPath, File srcFofn, String processors, String checkerHome, String javaHome, File classPathFofn, String bootClassPath, Map<PluginUtil.CheckerProp,Object> props, PrintStream out, boolean procOnly, String outputDirectory)
static List<String>	getCmdArgsOnly(File javacPath, File jdkPath, File srcFofn, String processors, String checkerHome, String javaHome, File classpathFofn, String bootClassPath, Map<PluginUtil.CheckerProp,Object> props, PrintStream out, boolean procOnly, String outputDirectory)
static List<String>	getCmdArgsOnly(File srcFofn, String processors, String checkerHome, String javaHome, File classpathFofn, String bootClassPath, Map<PluginUtil.CheckerProp,Object> props, PrintStream out, boolean procOnly, String outputDirectory)
static String	getJavaCommand(String javaHome, PrintStream out)
static String	getJdkJarName() Determine the version of the JRE that we are currently running and select a jdkX.jar where X is the version of Java that is being run (e.g.
static String	getJdkJarPrefix() Determine the version of the JRE that we are currently running and select a jdkX where X is the version of Java that is being run (e.g.
static double	getJreVersion() Extract the first two version numbers from java.version (e.g.
static List<String>	getStringProp(Map<PluginUtil.CheckerProp,Object> props, PluginUtil.CheckerProp prop, String tag, String... extras)
static boolean	isWindows()
static String	join(String delimiter, Iterable<?> values)
static <T> String	join(String delimiter, T[] objs)
static List<String>	readFile(File argFile) Return a list of Strings, one per line of the file.
static List<File>	toFiles(List<String> fileNames)
static List<String>	toJavaOpts(List<String> opts)
static String	wrapArg(String classpath)
static void	writeFile(File destination, List<String> contents) Write the strings to the file, one per line.
static void	writeFofn(File destination, File... files) Takes a list of files and writes it as a "File of file names" (i.e.
static void	writeFofn(File destination, List<File> files) Takes a list of files and writes it as a "File of file names" (i.e.
static File	writeTmpCpFile(String prefix, boolean deleteOnExit, String classpath)
static File	writeTmpFile(String prefix, String suffix, boolean deleteOnExit, List<String> args) Write the strings to a temporary file.
static File	writeTmpFofn(String prefix, String suffix, boolean deleteOnExit, List<File> files)
static File	writeTmpSrcFofn(String prefix, boolean deleteOnExit, List<File> files)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

JAVAC_PATH_OPT

public static final String JAVAC_PATH_OPT

Option name for specifying an alternative javac.jar location. The accompanying value MUST be the path to the jar file (NOT the path to its encompassing directory)

See Also:

Constant Field Values

JDK_PATH_OPT

public static final String JDK_PATH_OPT

Option name for specifying an alternative jdk.jar location. The accompanying value MUST be the path to the jar file (NOT the path to its encompassing directory)

See Also:

Constant Field Values

Constructor Detail

PluginUtil

public PluginUtil()

Method Detail

toFiles

public static List<File> toFiles(List<String> fileNames)

writeFofn

public static void writeFofn(File destination,
                             List<File> files)
                      throws IOException

Takes a list of files and writes it as a "File of file names" (i.e. a file with one filepath on each line) to the destination file, overwriting the destination file if it exists. Note the filepath used is the absolute filepath

Parameters:

destination - the fofn file we are writing. This file will contain newline separated list of absolute file paths.

files - the files to write to the destination file

Throws:

IOException

writeFofn

public static void writeFofn(File destination,
                             File... files)
                      throws IOException

Takes a list of files and writes it as a "File of file names" (i.e. a file with one filepath on each line) to the destination file, overwriting the destination file if it exists. Note the filepath used is the absolute filepath

Parameters:

destination - the fofn file we are writing. This file will contain newline separated list of absolute file paths.

files - the files to write to the destination file

Throws:

IOException

writeTmpFofn

public static File writeTmpFofn(String prefix,
                                String suffix,
                                boolean deleteOnExit,
                                List<File> files)
                         throws IOException

Throws:

IOException

writeTmpFile

public static File writeTmpFile(String prefix,
                                String suffix,
                                boolean deleteOnExit,
                                List<String> args)
                         throws IOException

Write the strings to a temporary file.

Parameters:

deleteOnExit - if true, delete the file on program exit

Throws:

IOException

writeFile

public static void writeFile(File destination,
                             List<String> contents)
                      throws IOException

Write the strings to the file, one per line.

Throws:

IOException

readFile

public static List<String> readFile(File argFile)
                             throws IOException

Return a list of Strings, one per line of the file.

Throws:

IOException

join

public static <T> String join(String delimiter,
                              T[] objs)

join

public static String join(String delimiter,
                          Iterable<?> values)

getStringProp

public static List<String> getStringProp(Map<PluginUtil.CheckerProp,Object> props,
                                         PluginUtil.CheckerProp prop,
                                         String tag,
                                         String... extras)

getBooleanProp

public static List<String> getBooleanProp(Map<PluginUtil.CheckerProp,Object> props,
                                          PluginUtil.CheckerProp prop,
                                          String tag)

writeTmpSrcFofn

public static File writeTmpSrcFofn(String prefix,
                                   boolean deleteOnExit,
                                   List<File> files)
                            throws IOException

Throws:

IOException

writeTmpCpFile

public static File writeTmpCpFile(String prefix,
                                  boolean deleteOnExit,
                                  String classpath)
                           throws IOException

Throws:

IOException

isWindows

public static boolean isWindows()

wrapArg

public static String wrapArg(String classpath)

escapeQuotesAndSlashes

public static String escapeQuotesAndSlashes(String toEscape)

getJavaCommand

public static String getJavaCommand(String javaHome,
                                    PrintStream out)

fileArgToStr

public static String fileArgToStr(File fileArg)

getCmd

public static List<String> getCmd(String executable,
                                  File javacPath,
                                  File jdkPath,
                                  File srcFofn,
                                  String processors,
                                  String checkerHome,
                                  String javaHome,
                                  File classPathFofn,
                                  String bootClassPath,
                                  Map<PluginUtil.CheckerProp,Object> props,
                                  PrintStream out,
                                  boolean procOnly,
                                  String outputDirectory)

toJavaOpts

public static List<String> toJavaOpts(List<String> opts)

getCmdArgsOnly

public static List<String> getCmdArgsOnly(File srcFofn,
                                          String processors,
                                          String checkerHome,
                                          String javaHome,
                                          File classpathFofn,
                                          String bootClassPath,
                                          Map<PluginUtil.CheckerProp,Object> props,
                                          PrintStream out,
                                          boolean procOnly,
                                          String outputDirectory)

getCmdArgsOnly

public static List<String> getCmdArgsOnly(File javacPath,
                                          File jdkPath,
                                          File srcFofn,
                                          String processors,
                                          String checkerHome,
                                          String javaHome,
                                          File classpathFofn,
                                          String bootClassPath,
                                          Map<PluginUtil.CheckerProp,Object> props,
                                          PrintStream out,
                                          boolean procOnly,
                                          String outputDirectory)

getJreVersion

public static double getJreVersion()

Extract the first two version numbers from java.version (e.g. 1.6 from 1.6.whatever)

Returns:

the first two version numbers from java.version (e.g. 1.6 from 1.6.whatever)

getJdkJarPrefix

public static String getJdkJarPrefix()

Determine the version of the JRE that we are currently running and select a jdkX where X is the version of Java that is being run (e.g. 6, 7, ...)

Returns:

"jdkX" where X is the version of Java that is being run (e.g. 6, 7, ...)

getJdkJarName

public static String getJdkJarName()

Determine the version of the JRE that we are currently running and select a jdkX.jar where X is the version of Java that is being run (e.g. 6, 7, ...)

Returns:

the jdkX.jar where X is the version of Java that is being run (e.g. 6, 7, ...)