orc.trace.values
Class ListValue

java.lang.Object
  orc.trace.values.AbstractValue
      orc.trace.values.ListValue

All Implemented Interfaces:

java.io.Serializable, java.lang.Iterable<Value>, Term, Value

Direct Known Subclasses:

ConsValue, NilValue

public abstract class ListValue
extends AbstractValue
implements java.lang.Iterable<Value>

See Also:

Serialized Form

Constructor Summary

ListValue()

Method Summary

java.util.Iterator<Value>	iterator()
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

Constructor Detail

ListValue

public ListValue()

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.

Specified by:

prettyPrint in interface Term

Throws:

java.io.IOException

See Also:

Terms.indent(Writer, int)

iterator

public java.util.Iterator<Value> iterator()

Specified by:

iterator in interface java.lang.Iterable<Value>