randoop

Class Globals

java.lang.Object

randoop.Globals

public class Globals
extends java.lang.Object

Various general global variables used throughout Randoop.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private static class	Globals.NullOutputStream Discards anything written to it.

Field Summary

Fields

Modifier and Type	Field and Description
static java.io.PrintStream	blackHole A PrintStream whose contents are ignored.
static int	COLWIDTH Column width for printing messages.
static int	INDENTWIDTH Number of spaces for leading indentation for printing messages.
static @Regex(value=0) java.lang.String	lineSep The system-specific line separator string.
static java.lang.String	RANDOOP_VERSION The version number for Randoop.

Constructor Summary

Constructors

Constructor and Description
Globals()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	getClassPath() Return the Java classpath.
static java.lang.String	getRandoopVersion() Return the version number for Randoop.

Methods inherited from class java.lang.Object

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

Field Detail

RANDOOP_VERSION

public static final java.lang.String RANDOOP_VERSION

The version number for Randoop.

See Also:

Constant Field Values

lineSep

public static final @Regex(value=0) java.lang.String lineSep

The system-specific line separator string.

blackHole

public static java.io.PrintStream blackHole

A PrintStream whose contents are ignored.

COLWIDTH

public static final int COLWIDTH

Column width for printing messages.

See Also:

Constant Field Values

INDENTWIDTH

public static final int INDENTWIDTH

Number of spaces for leading indentation for printing messages.

See Also:

Constant Field Values

Constructor Detail

Globals

public Globals()

Method Detail

getRandoopVersion

public static java.lang.String getRandoopVersion()

Return the version number for Randoop.

Returns:

the version number for Randoop

getClassPath

public static java.lang.String getClassPath()

Return the Java classpath.

Returns:

the Java classpath