|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectjfun.parsec.trace.Traces
public class Traces
This class provides some common trace implementations.
| Constructor Summary | |
|---|---|
Traces()
|
|
| Method Summary | |
|---|---|
static Trace<java.lang.Object> |
printError(java.lang.String name,
java.io.PrintWriter out,
int min_steps)
Create a Trace object that prints error message to output. |
static Trace<java.lang.Object> |
printResult(java.lang.String name,
java.io.PrintWriter out)
Create a Trace object that prints trace message to output when parser succeeds. |
static Trace<java.lang.Object> |
printTrace(java.lang.String name,
java.io.PrintWriter out)
Create a Trace object that prints trace message to output. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public Traces()
| Method Detail |
|---|
public static Trace<java.lang.Object> printError(java.lang.String name,
java.io.PrintWriter out,
int min_steps)
name - the name in the trace message.out - the writer for the output.min_steps - the minimal logical steps consumed to trigger the trace message.
public static Trace<java.lang.Object> printResult(java.lang.String name,
java.io.PrintWriter out)
name - the name in the trace message.out - the writer for the output.
public static Trace<java.lang.Object> printTrace(java.lang.String name,
java.io.PrintWriter out)
name - the name in the trace message.out - the writer for the output.
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||