daikon
Class Runtime

Object
  Runtime

public final class Runtime
extends Object

The Runtime class provides methods for printing values to a Daikon data trace file. Daikon can process the data trace information, either while the target program is running or after-the-fact, to produce likely invariants.

The Daikon front end for Java, named Chicory, modifies the target program by inserting calls to the printing routines of the Runtime class. Neither Chicory nor Daikon calls the methods of the Runtime class; only the target program (as instrumented by Chicory) does, in order to create input to Daikon.

Nested Class Summary

static class	Runtime.AbstractException
static class	Runtime.Unique

Field Summary

static Runtime.AbstractException	abstractException
static PrintStream	dtrace
static boolean	dtrace_closed
static int	dtraceLimit
static boolean	dtraceLimitTerminate
static boolean	no_dtrace
static int	printedRecords
static int	ps_count
static int	time
static Runtime.Unique	unique

Method Summary

static String	classnameFromJvm(String classname) Convert a classname from JVML format to Java format.
static void	incrementRecords()
static void	noMoreOutput()
static void	print_class(PrintStream ps, Object x)
static void	print_Object(PrintStream ps, Object x)
static void	print_quoted_Character(PrintStream ps, Character ch)
static void	print_quoted_String(PrintStream ps, String x)
static void	print_String(PrintStream ps, String x)
static void	println_array_2d_size(PrintStream ps, boolean[][] a)
static void	println_array_2d_size(PrintStream ps, byte[][] a)
static void	println_array_2d_size(PrintStream ps, char[][] a)
static void	println_array_2d_size(PrintStream ps, double[][] a)
static void	println_array_2d_size(PrintStream ps, float[][] a)
static void	println_array_2d_size(PrintStream ps, int[][] a)
static void	println_array_2d_size(PrintStream ps, long[][] a)
static void	println_array_2d_size(PrintStream ps, Object[][] a)
static void	println_array_2d_size(PrintStream ps, short[][] a)
static void	println_array_boolean(PrintStream ps, boolean[] a)
static void	println_array_boolean(PrintStream ps, List<Boolean> v)
static void	println_array_boolean(PrintStream ps, Object[] a)
static void	println_array_byte(PrintStream ps, byte[] a)
static void	println_array_byte(PrintStream ps, List<Byte> v)
static void	println_array_byte(PrintStream ps, Object[] a)
static void	println_array_char_as_chars(PrintStream ps, List<Character> v)
static void	println_array_char_as_chars(PrintStream ps, Object[] a)
static void	println_array_char_as_ints(PrintStream ps, char[] a)
static void	println_array_char_as_ints(PrintStream ps, List<Character> v)
static void	println_array_char_as_ints(PrintStream ps, Object[] a)
static void	println_array_char_as_String(PrintStream ps, char[] a)
static void	println_array_char(PrintStream ps, char[] a)
static void	println_array_char(PrintStream ps, List<Character> v)
static void	println_array_char(PrintStream ps, Object[] a)
static void	println_array_double(PrintStream ps, double[] a)
static void	println_array_double(PrintStream ps, List<Double> v)
static void	println_array_double(PrintStream ps, Object[] a)
static void	println_array_float(PrintStream ps, float[] a)
static void	println_array_float(PrintStream ps, List<Float> v)
static void	println_array_float(PrintStream ps, Object[] a)
static void	println_array_int(PrintStream ps, int[] a)
static void	println_array_int(PrintStream ps, List<Integer> v)
static void	println_array_int(PrintStream ps, Object[] a)
static void	println_array_List_size(PrintStream ps, List[] a)
static void	println_array_List_size(PrintStream ps, List<List<?>> v)
static void	println_array_List_size(PrintStream ps, Object[] a)
static void	println_array_long(PrintStream ps, List<Long> v)
static void	println_array_long(PrintStream ps, long[] a)
static void	println_array_long(PrintStream ps, Object[] a)
static void	println_array_Object_eltclass_and_modbit(PrintStream ps, List<?> v)
static void	println_array_Object_eltclass_and_modbit(PrintStream ps, Object[] a)
static void	println_array_Object_eltclass(PrintStream ps, List<?> v) Deprecated.
static void	println_array_Object_eltclass(PrintStream ps, Object[] a) Deprecated.
static void	println_array_Object(PrintStream ps, List<?> v)
static void	println_array_Object(PrintStream ps, Object[] a)
static void	println_array_short(PrintStream ps, List<Short> v)
static void	println_array_short(PrintStream ps, Object[] a)
static void	println_array_short(PrintStream ps, short[] a)
static void	println_array_String(PrintStream ps, List<String> v)
static void	println_array_String(PrintStream ps, Object[] a)
static void	println_array_String(PrintStream ps, String[] a)
static void	println_class_and_modbit(PrintStream ps, Object x)
static void	println_class(PrintStream ps, Object x)
static void	println_modbit_missing(PrintStream ps)
static void	println_modbit_modified(PrintStream ps)
static void	println_Object(PrintStream ps, Object x)
static void	println_quoted_String_and_modbit(PrintStream ps, String x)
static void	println_quoted_String(PrintStream ps, String x)
static void	println_String(PrintStream ps, String x)
static String	quote(Character ch)
static String	quote(String orig) Quote \, ", \n, and \r characters in the target; return a new string.
static void	setDtrace(String filename, boolean append)
static void	setDtraceMaybe(String default_filename) If the current data trace file is not yet set, then set it.
static byte[]	toBytes(int value)
static byte[]	toBytes(short value)
static int	toInt(byte[] bytes)
static short	toShort(byte[] bytes)

Methods inherited from class Object

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

Field Detail

unique

public static final Runtime.Unique unique

abstractException

public static final Runtime.AbstractException abstractException

time

public static int time

ps_count

public static int ps_count

dtraceLimit

public static int dtraceLimit

printedRecords

public static int printedRecords

dtraceLimitTerminate

public static boolean dtraceLimitTerminate

dtrace

public static PrintStream dtrace

dtrace_closed

public static boolean dtrace_closed

no_dtrace

public static boolean no_dtrace

Method Detail

classnameFromJvm

public static String classnameFromJvm(String classname)

Convert a classname from JVML format to Java format. For example, convert "[Ljava/lang/Object;" to "java.lang.Object[]".

incrementRecords

public static void incrementRecords()

noMoreOutput

public static void noMoreOutput()

setDtrace

public static void setDtrace(String filename,
                             boolean append)

setDtraceMaybe

public static void setDtraceMaybe(String default_filename)

If the current data trace file is not yet set, then set it. The value of the DTRACEFILE environment variable is used; if that environment variable is not set, then the argument to this method is used instead.

print_Object

public static final void print_Object(PrintStream ps,
                                      Object x)

print_class

public static final void print_class(PrintStream ps,
                                     Object x)

println_modbit_modified

public static final void println_modbit_modified(PrintStream ps)

println_modbit_missing

public static final void println_modbit_missing(PrintStream ps)

println_class_and_modbit

public static final void println_class_and_modbit(PrintStream ps,
                                                  Object x)

print_String

public static final void print_String(PrintStream ps,
                                      String x)

print_quoted_String

public static final void print_quoted_String(PrintStream ps,
                                             String x)

println_quoted_String_and_modbit

public static final void println_quoted_String_and_modbit(PrintStream ps,
                                                          String x)

print_quoted_Character

public static final void print_quoted_Character(PrintStream ps,
                                                Character ch)

quote

public static String quote(String orig)

Quote \, ", \n, and \r characters in the target; return a new string.

quote

public static String quote(Character ch)

println_Object

public static final void println_Object(PrintStream ps,
                                        Object x)

println_class

public static final void println_class(PrintStream ps,
                                       Object x)

println_String

public static final void println_String(PrintStream ps,
                                        String x)

println_quoted_String

public static final void println_quoted_String(PrintStream ps,
                                               String x)

println_array_Object

public static final void println_array_Object(PrintStream ps,
                                              Object[] a)

println_array_Object

public static final void println_array_Object(PrintStream ps,
                                              List<?> v)

println_array_Object_eltclass

@Deprecated
public static final void println_array_Object_eltclass(PrintStream ps,
                                                                  Object[] a)

Deprecated.

println_array_Object_eltclass_and_modbit

public static final void println_array_Object_eltclass_and_modbit(PrintStream ps,
                                                                  Object[] a)

println_array_Object_eltclass

@Deprecated
public static final void println_array_Object_eltclass(PrintStream ps,
                                                                  List<?> v)

Deprecated.

println_array_Object_eltclass_and_modbit

public static final void println_array_Object_eltclass_and_modbit(PrintStream ps,
                                                                  List<?> v)

println_array_2d_size

public static final void println_array_2d_size(PrintStream ps,
                                               Object[][] a)

println_array_List_size

public static final void println_array_List_size(PrintStream ps,
                                                 List[] a)

println_array_List_size

public static final void println_array_List_size(PrintStream ps,
                                                 Object[] a)

println_array_List_size

public static final void println_array_List_size(PrintStream ps,
                                                 List<List<?>> v)

println_array_String

public static final void println_array_String(PrintStream ps,
                                              String[] a)

println_array_String

public static final void println_array_String(PrintStream ps,
                                              Object[] a)

println_array_String

public static final void println_array_String(PrintStream ps,
                                              List<String> v)

println_array_boolean

public static final void println_array_boolean(PrintStream ps,
                                               boolean[] a)

println_array_boolean

public static final void println_array_boolean(PrintStream ps,
                                               Object[] a)

println_array_boolean

public static final void println_array_boolean(PrintStream ps,
                                               List<Boolean> v)

println_array_2d_size

public static final void println_array_2d_size(PrintStream ps,
                                               boolean[][] a)

println_array_byte

public static final void println_array_byte(PrintStream ps,
                                            byte[] a)

println_array_byte

public static final void println_array_byte(PrintStream ps,
                                            Object[] a)

println_array_byte

public static final void println_array_byte(PrintStream ps,
                                            List<Byte> v)

println_array_2d_size

public static final void println_array_2d_size(PrintStream ps,
                                               byte[][] a)

println_array_char

public static final void println_array_char(PrintStream ps,
                                            char[] a)

println_array_char

public static final void println_array_char(PrintStream ps,
                                            Object[] a)

println_array_char

public static final void println_array_char(PrintStream ps,
                                            List<Character> v)

println_array_char_as_String

public static final void println_array_char_as_String(PrintStream ps,
                                                      char[] a)

println_array_char_as_chars

public static final void println_array_char_as_chars(PrintStream ps,
                                                     Object[] a)

println_array_char_as_chars

public static final void println_array_char_as_chars(PrintStream ps,
                                                     List<Character> v)

println_array_char_as_ints

public static final void println_array_char_as_ints(PrintStream ps,
                                                    char[] a)

println_array_char_as_ints

public static final void println_array_char_as_ints(PrintStream ps,
                                                    Object[] a)

println_array_char_as_ints

public static final void println_array_char_as_ints(PrintStream ps,
                                                    List<Character> v)

println_array_2d_size

public static final void println_array_2d_size(PrintStream ps,
                                               char[][] a)

println_array_double

public static final void println_array_double(PrintStream ps,
                                              double[] a)

println_array_double

public static final void println_array_double(PrintStream ps,
                                              Object[] a)

println_array_double

public static final void println_array_double(PrintStream ps,
                                              List<Double> v)

println_array_2d_size

public static final void println_array_2d_size(PrintStream ps,
                                               double[][] a)

println_array_float

public static final void println_array_float(PrintStream ps,
                                             float[] a)

println_array_float

public static final void println_array_float(PrintStream ps,
                                             Object[] a)

println_array_float

public static final void println_array_float(PrintStream ps,
                                             List<Float> v)

println_array_2d_size

public static final void println_array_2d_size(PrintStream ps,
                                               float[][] a)

println_array_int

public static final void println_array_int(PrintStream ps,
                                           int[] a)

println_array_int

public static final void println_array_int(PrintStream ps,
                                           Object[] a)

println_array_int

public static final void println_array_int(PrintStream ps,
                                           List<Integer> v)

println_array_2d_size

public static final void println_array_2d_size(PrintStream ps,
                                               int[][] a)

println_array_long

public static final void println_array_long(PrintStream ps,
                                            long[] a)

println_array_long

public static final void println_array_long(PrintStream ps,
                                            Object[] a)

println_array_long

public static final void println_array_long(PrintStream ps,
                                            List<Long> v)

println_array_2d_size

public static final void println_array_2d_size(PrintStream ps,
                                               long[][] a)

println_array_short

public static final void println_array_short(PrintStream ps,
                                             short[] a)

println_array_short

public static final void println_array_short(PrintStream ps,
                                             Object[] a)

println_array_short

public static final void println_array_short(PrintStream ps,
                                             List<Short> v)

println_array_2d_size

public static final void println_array_2d_size(PrintStream ps,
                                               short[][] a)

toInt

public static final int toInt(byte[] bytes)

toShort

public static short toShort(byte[] bytes)

toBytes

public static final byte[] toBytes(int value)

toBytes

public static byte[] toBytes(short value)