| Modifier and Type | Method and Description |
|---|---|
static StdOutputter |
getInstance()
This class acts as a singleton.
|
void |
log(java.lang.String className,
java.lang.String methodName,
java.lang.String message,
int logLevel)
This method prints a log message on std out
|
static void |
main(java.lang.String[] args) |
void |
proof(java.lang.String testCase,
java.lang.String proof)
This method prints a proof on std out.
|
static void |
releaseInstance()
This method releases the only instance of this class.
|
void |
result(java.lang.String testCase,
java.lang.String result)
This method prints a result on std out.
|
void |
setLogLevel(int logLevel) |
public static StdOutputter getInstance()
public static void releaseInstance()
public void log(java.lang.String className,
java.lang.String methodName,
java.lang.String message,
int logLevel)
public void result(java.lang.String testCase,
java.lang.String result)
public void proof(java.lang.String testCase,
java.lang.String proof)
public void setLogLevel(int logLevel)
public static void main(java.lang.String[] args)
Copyright (c) 2004. All Rights Reserved.