Package randoop

Class Globals

java.lang.Object
randoop.Globals
public class Globals extends Object
Various general global variables used throughout Randoop.

  • Field Details

    • RANDOOP_VERSION

      public static final String RANDOOP_VERSION
      The version number for Randoop.
      See Also:

    • lineSep

      public static final String lineSep
      The system-specific line separator string.

    • blackHole

      public static PrintStream blackHole
      A PrintStream whose contents are ignored.

    • COLWIDTH

      public static final int COLWIDTH
      Column width for printing messages.
      See Also:

    • INDENTWIDTH

      public static final int INDENTWIDTH
      Number of spaces for leading indentation for printing messages.
      See Also:

  • Constructor Details

    • Globals

      public Globals()

  • Method Details

    • getRandoopVersion

      public static String getRandoopVersion()
      Return the version number for Randoop.
      Returns:
      the version number for Randoop

    • getClassPath

      public static String getClassPath()
      Return the Java classpath.
      Returns:
      the Java classpath