Package org.checkerframework.javacutil

Class SystemUtil

java.lang.Object

org.checkerframework.javacutil.SystemUtil

public class SystemUtil
extends Object

This file contains basic utility functions.

Field Summary

Fields

Modifier and Type	Field	Description
static final com.google.common.base.Splitter	COLON_SPLITTER	A splitter that splits on colons.
static final com.google.common.base.Splitter	COMMA_SPLITTER	A splitter that splits on commas.
static final com.google.common.base.Splitter	DOT_SPLITTER	A splitter that splits on periods.
static final int	jreVersion	The major version number of the Java runtime (JRE), such as 8, 11, or 17.
static final com.google.common.base.Splitter	PATH_SEPARATOR_SPLITTER	A splitter that splits on File.pathSeparator.

Method Summary

Modifier and Type	Method	Description
static final List<String>	getPathsProperty(String propName)	Like System.getProperty, but splits on the path separator and never returns null.
static @Nullable String	getReleaseValue(ProcessingEnvironment env)	Returns the release value passed to the compiler or null if release was not passed.
static @Nullable String	getToolsJar()	Returns the pathname to the tools.jar file, or null if it does not exist.

Methods inherited from class java.lang.Object

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

Field Details

DOT_SPLITTER

public static final com.google.common.base.Splitter DOT_SPLITTER

A splitter that splits on periods. The result contains no empty strings.

COMMA_SPLITTER

public static final com.google.common.base.Splitter COMMA_SPLITTER

A splitter that splits on commas. The result contains no empty strings.

COLON_SPLITTER

public static final com.google.common.base.Splitter COLON_SPLITTER

A splitter that splits on colons. The result contains no empty strings.

PATH_SEPARATOR_SPLITTER

public static final com.google.common.base.Splitter PATH_SEPARATOR_SPLITTER

A splitter that splits on File.pathSeparator. The result contains no empty strings.

jreVersion

public static final int jreVersion

The major version number of the Java runtime (JRE), such as 8, 11, or 17.

Method Details

getPathsProperty

public static final List<String> getPathsProperty(String propName)

Like System.getProperty, but splits on the path separator and never returns null.

Parameters:

propName - a system property name

Returns:

the paths in the system property; may be an empty array

getReleaseValue

public static @Nullable String getReleaseValue(ProcessingEnvironment env)

Returns the release value passed to the compiler or null if release was not passed.

Parameters:

env - the ProcessingEnvironment

Returns:

the release value or null if none was passed

getToolsJar

public static @Nullable String getToolsJar()

Returns the pathname to the tools.jar file, or null if it does not exist. Returns null on Java 9 and later.

Returns:

the pathname to the tools.jar file, or null