Package de.uzl.its.swat.witness

Class Witness

java.lang.Object

de.uzl.its.swat.witness.Witness

public class Witness
extends Object

Constructor Summary

Constructors

Constructor	Description
Witness()

Method Summary

Modifier and Type	Method	Description
static void	recordValue(boolean value, int lineNumber, String cname, String desc)
static void	recordValue(byte value, int lineNumber, String cname, String desc)
static void	recordValue(char value, int lineNumber, String cname, String desc)
static void	recordValue(double value, int lineNumber, String cname, String desc)
static void	recordValue(float value, int lineNumber, String cname, String desc)
static void	recordValue(int value, int lineNumber, String cname, String desc)
static void	recordValue(long value, int lineNumber, String cname, String desc)
static void	recordValue(short value, int lineNumber, String cname, String desc)
static void	recordValue(String value, int lineNumber, String cname, String desc)

Methods inherited from class java.lang.Object

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

Constructor Details

Witness

public Witness()

Method Details

recordValue

public static void recordValue(boolean value,
 int lineNumber,
 String cname,
 String desc)

recordValue

public static void recordValue(byte value,
 int lineNumber,
 String cname,
 String desc)

recordValue

public static void recordValue(char value,
 int lineNumber,
 String cname,
 String desc)

recordValue

public static void recordValue(short value,
 int lineNumber,
 String cname,
 String desc)

recordValue

public static void recordValue(int value,
 int lineNumber,
 String cname,
 String desc)

recordValue

public static void recordValue(float value,
 int lineNumber,
 String cname,
 String desc)

recordValue

public static void recordValue(long value,
 int lineNumber,
 String cname,
 String desc)

recordValue

public static void recordValue(double value,
 int lineNumber,
 String cname,
 String desc)

recordValue

public static void recordValue(String value,
 int lineNumber,
 String cname,
 String desc)