SystemUtil (checker-framework 3.13.0 API)

java.lang.Object
- org.checkerframework.javacutil.SystemUtil

```
public class SystemUtil
extends Object
```
This file contains basic utility functions.

Constructor Summary

Constructors
Constructor and Description

SystemUtil()

Constructors
Constructor and Description
`SystemUtil()`

Method Summary

All Methods Static Methods Concrete Methods Deprecated Methods
Modifier and Type	Method and Description
`static <T> void`	`addWithoutDuplicates(List<T> dest, List<? extends T> source)` Adds, to dest, all the elements of source that are not already in dest.
`static <T> T[]`	`concatenate(T[] array1, T... array2)` Deprecated. use StringsPlume.concatenate
`static <T> T[]`	`concatenate(T firstElt, T[] array, T lastElt)` Deprecated. use PlumeUtil.concat
`static boolean`	`getBooleanSystemProperty(String key)` Deprecated. use UtilPlume.getBooleanSystemProperty
`static boolean`	`getBooleanSystemProperty(String key, boolean defaultValue)` Deprecated. use UtilPlume.getBooleanSystemProperty
`static int`	`getJreVersion()` Returns the major JRE version.
`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.
`static <T> List<T>`	`intersection(List<? extends T> list1, List<? extends T> list2)` Returns a list that contains all the elements that are in both lists: that is, the set difference of the two arguments.
`static String`	`join(CharSequence delimiter, Iterable<?> values)` Deprecated. use `StringsPlume.join`
`static <T> String`	`join(CharSequence delimiter, T[] objs)` Deprecated. use `StringsPlume.join`
`static String`	`joinLines(Iterable<? extends Object> v)` Deprecated. use `StringsPlume.joinLines`
`static <T> String`	`joinLines(T... a)` Deprecated. use `StringsPlume.joinLines`
`static int`	`mapCapacity(Collection<?> c)` Given an expected number of elements, returns the capacity that should be passed to a HashMap or HashSet constructor, so that the set or map will not resize.
`static int`	`mapCapacity(int numElements)` Given an expected number of elements, returns the capacity that should be passed to a HashMap or HashSet constructor, so that the set or map will not resize.
`static int`	`mapCapacity(Map<?,?> m)` Given an expected number of elements, returns the capacity that should be passed to a HashMap or HashSet constructor, so that the set or map will not resize.
`static int`	`mapCapacity(Set<?> s)` Given an expected number of elements, returns the capacity that should be passed to a HashMap or HashSet constructor, so that the set or map will not resize.
`static List<String>`	`readFile(File argFile)` Deprecated. use Files.readAllLines
`static void`	`sleep(long millis)` Deprecated. use SystemPlume.sleep
`static <T> List<T>`	`union(List<T> list1, List<T> list2)` Returns a list that contains all the distinct elements of the two lists: that is, the union of the two arguments.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - SystemUtil
```
public SystemUtil()
```
- Method Detail
  - getBooleanSystemProperty
```
@Deprecated
public static boolean getBooleanSystemProperty(String key)
```
    Deprecated. use UtilPlume.getBooleanSystemProperty
    
    Return true if the system property is set to "true". Return false if the system property is not set or is set to "false". Otherwise, errs.
    
    Parameters:
    
    key - system property to check
    
    Returns:
    
    true if the system property is set to "true". Return false if the system property is not set or is set to "false". Otherwise, errs.
  - getBooleanSystemProperty
```
@Deprecated
public static boolean getBooleanSystemProperty(String key,
                                                           boolean defaultValue)
```
    Deprecated. use UtilPlume.getBooleanSystemProperty
    
    Return its boolean value if the system property is set. Return defaultValue if the system property is not set. Errs if the system property is set to a non-boolean value.
    
    Parameters:
    
    key - system property to check
    
    defaultValue - value to use if the property is not set
    
    Returns:
    
    the boolean value of key or defaultValue if key is not set
  - getJreVersion
```
public static int getJreVersion()
```
    Returns the major JRE version.
    This is different from the version passed to the compiler via --release; use getReleaseValue(ProcessingEnvironment) to get that version.
    Extract the major version number from the "java.version" system property. Two possible formats are considered. Up to Java 8, from a version string like `1.8.whatever`, this method extracts 8. Since Java 9, from a version string like `11.0.1`, this method extracts 11.
    
    Returns:
    
    the major version number from "java.version"
  - 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
  - union
```
public static <T> List<T> union(List<T> list1,
                                List<T> list2)
```
    Returns a list that contains all the distinct elements of the two lists: that is, the union of the two arguments.
    For very short lists, this is likely more efficient than creating a set and converting back to a list.
    
    Type Parameters:
    
    T - the type of the list elements
    
    Parameters:
    
    list1 - a list
    
    list2 - a list
    
    Returns:
    
    a list that contains all the distinct elements of the two lists
  - addWithoutDuplicates
```
public static <T> void addWithoutDuplicates(List<T> dest,
                                            List<? extends T> source)
```
    Adds, to dest, all the elements of source that are not already in dest.
    For very short lists, this is likely more efficient than creating a set and converting back to a list.
    
    Type Parameters:
    
    T - the type of the list elements
    
    Parameters:
    
    dest - a list to add to
    
    source - a list of elements to add
  - intersection
```
public static <T> List<T> intersection(List<? extends T> list1,
                                       List<? extends T> list2)
```
    Returns a list that contains all the elements that are in both lists: that is, the set difference of the two arguments.
    For very short lists, this is likely more efficient than creating a set and converting back to a list.
    
    Type Parameters:
    
    T - the type of the list elements
    
    Parameters:
    
    list1 - a list
    
    list2 - a list
    
    Returns:
    
    a list that contains all the elements of list1 that are not in list2
  - concatenate
```
@Deprecated
public static <T> T[] concatenate(T[] array1,
                                              T... array2)
```
    Deprecated. use StringsPlume.concatenate
    
    Concatenates two arrays. Can be invoked varargs-style.
    
    Type Parameters:
    
    T - the type of the array elements
    
    Parameters:
    
    array1 - the first array
    
    array2 - the second array
    
    Returns:
    
    a new array containing the contents of the given arrays, in order
  - mapCapacity
```
public static int mapCapacity(int numElements)
```
    Given an expected number of elements, returns the capacity that should be passed to a HashMap or HashSet constructor, so that the set or map will not resize.
    
    Parameters:
    
    numElements - the maximum expected number of elements in the map or set
    
    Returns:
    
    the initial capacity to pass to a HashMap or HashSet constructor
  - mapCapacity
```
public static int mapCapacity(Collection<?> c)
```
    Given an expected number of elements, returns the capacity that should be passed to a HashMap or HashSet constructor, so that the set or map will not resize.
    
    Parameters:
    
    c - a collection whose size is the maximum expected number of elements in the map or set
    
    Returns:
    
    the initial capacity to pass to a HashMap or HashSet constructor
  - mapCapacity
```
public static int mapCapacity(Map<?,?> m)
```
    Given an expected number of elements, returns the capacity that should be passed to a HashMap or HashSet constructor, so that the set or map will not resize.
    
    Parameters:
    
    m - a map whose size is the maximum expected number of elements in the map or set
    
    Returns:
    
    the initial capacity to pass to a HashMap or HashSet constructor
  - mapCapacity
```
public static int mapCapacity(Set<?> s)
```
    Given an expected number of elements, returns the capacity that should be passed to a HashMap or HashSet constructor, so that the set or map will not resize.
    
    Parameters:
    
    s - a set whose size is the maximum expected number of elements in the map or set
    
    Returns:
    
    the initial capacity to pass to a HashMap or HashSet constructor
  - readFile
```
@Deprecated
public static List<String> readFile(File argFile)
                                         throws IOException
```
    Deprecated. use Files.readAllLines
    
    Return a list of Strings, one per line of the file.
    
    Parameters:
    
    argFile - argument file
    
    Returns:
    
    a list of Strings, one per line of the file
    
    Throws:
    
    IOException - when reading the argFile
  - join
```
@Deprecated
public static <T> String join(CharSequence delimiter,
                                          T[] objs)
```
    Deprecated. use StringsPlume.join
    
    Returns a new String composed of the string representations of the elements joined together with a copy of the specified delimiter.
    
    Type Parameters:
    
    T - the type of array elements
    
    Parameters:
    
    delimiter - the delimiter that separates each element
    
    objs - the values whose string representations to join together
    
    Returns:
    
    a new string that concatenates the string representations of the elements
  - join
```
@Deprecated
public static String join(CharSequence delimiter,
                                      Iterable<?> values)
```
    Deprecated. use StringsPlume.join
    
    Returns a new String composed of the string representations of the elements joined together with a copy of the specified delimiter.
    
    Parameters:
    
    delimiter - the delimiter that separates each element
    
    values - the values whose string representations to join together
    
    Returns:
    
    a new string that concatenates the string representations of the elements
  - joinLines
```
@Deprecated
 @SafeVarargs
public static <T> String joinLines(T... a)
```
    Deprecated. use StringsPlume.joinLines
    
    Concatenate the string representations of the objects, placing the system-specific line separator between them.
    
    Type Parameters:
    
    T - the type of array elements
    
    Parameters:
    
    a - array of values to concatenate
    
    Returns:
    
    the concatenation of the string representations of the values, each on its own line
  - joinLines
```
@Deprecated
public static String joinLines(Iterable<? extends Object> v)
```
    Deprecated. use StringsPlume.joinLines
    
    Concatenate the string representations of the objects, placing the system-specific line separator between them.
    
    Parameters:
    
    v - list of values to concatenate
    
    Returns:
    
    the concatenation of the string representations of the values, each on its own line
  - sleep
```
@Deprecated
public static void sleep(long millis)
```
    Deprecated. use SystemPlume.sleep
    
    Like Thread.sleep, but does not throw any exceptions, so it is easier for clients to use. Causes the currently executing thread to sleep (temporarily cease execution) for the specified number of milliseconds.
    
    Parameters:
    
    millis - the length of time to sleep in milliseconds
  - concatenate
```
@Deprecated
public static <T> T[] concatenate(T firstElt,
                                              T[] array,
                                              T lastElt)
```
    Deprecated. use PlumeUtil.concat
    
    Concatenates an element, an array, and an element.
    
    Type Parameters:
    
    T - the type of the array elements
    
    Parameters:
    
    firstElt - the first element
    
    array - the array
    
    lastElt - the last elemeent
    
    Returns:
    
    a new array containing first element, the array, and the last element, in that order

Class SystemUtil

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

SystemUtil

Method Detail

getBooleanSystemProperty

getBooleanSystemProperty

getJreVersion

getReleaseValue

getToolsJar

union

addWithoutDuplicates

intersection

concatenate

mapCapacity

mapCapacity

mapCapacity

mapCapacity

readFile

join

join

joinLines

joinLines

sleep

concatenate