orc.trace.values
Class NoneValue

java.lang.Object
  orc.trace.values.AbstractValue
      orc.trace.values.OptionValue
          orc.trace.values.NoneValue

All Implemented Interfaces:

java.io.Serializable, Term, Value

public class NoneValue
extends OptionValue

See Also:

Serialized Form

Field Summary

static NoneValue

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

singleton

public static final NoneValue singleton

Method Detail

prettyPrint

public void prettyPrint(java.io.Writer out,
                        int indent)
                 throws java.io.IOException

Description copied from interface: Term

Pretty-print the term to out. If the term is multiple lines, each newline should be followed by at least indent tabs. The value should not begin or end with a newline.

Throws:

java.io.IOException

See Also:

Terms.indent(Writer, int)