orc.trace.values
Class SomeValue

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

All Implemented Interfaces:

java.io.Serializable, Term, Value

public class SomeValue
extends OptionValue

See Also:

Serialized Form

Field Summary

Value

content

Constructor Summary

SomeValue(Value content)

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

content

public final Value content

Constructor Detail

SomeValue

public SomeValue(Value content)

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)