| 
 | ||||||||||
| 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.IOExceptionTerms.indent(Writer, int)| 
 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||