|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorc.trace.values.AbstractValue
orc.trace.values.NullValue
public class NullValue
Field Summary | |
---|---|
static NullValue |
singleton
|
Method Summary | |
---|---|
void |
prettyPrint(java.io.Writer out,
int indent)
Pretty-print the term to out. |
Methods inherited from class orc.trace.values.AbstractValue |
---|
toString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final NullValue singleton
Method Detail |
---|
public void prettyPrint(java.io.Writer out, int indent) throws java.io.IOException
Term
java.io.IOException
Terms.indent(Writer, int)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |