public abstract class NodePrinter
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
private static class |
NodePrinter.NodeListIteratorWrapper
Wrapper for a NodeListIterator that allows the next pointer to be moved to any index.
|
| Modifier and Type | Field and Description |
|---|---|
private int |
_defaultIndent |
private java.io.PrintStream |
_defaultStream |
| Constructor and Description |
|---|
NodePrinter() |
NodePrinter(int defaultIndent) |
NodePrinter(java.io.PrintStream defaultStream) |
NodePrinter(java.io.PrintStream defaultStream,
int defaultIndent) |
| Modifier and Type | Method and Description |
|---|---|
protected abstract void |
print(java.io.PrintStream stream,
Node node,
int indent,
int indentIncrement)
Print the contents of the given node, indenting it indent spaces.
|
void |
print(TypeCheckingList.TypeCheckingListIterator itr)
Print the contents of itr using the default indent
|
void |
print(TypeCheckingList.TypeCheckingListIterator itr,
int indent)
Print the contents of itr indenting each line indent spaces.
|
void |
print(TypeCheckingList.TypeCheckingListIterator itr,
int indent,
int indentIncrement)
Print the contents of itr to the default stream.
|
void |
print(TypeCheckingList.TypeCheckingListIterator itr,
java.io.PrintStream stream)
Print the contents of itr to the given stream
|
void |
print(TypeCheckingList.TypeCheckingListIterator itr,
java.io.PrintStream stream,
int indent)
Print the contents of itr to the given stream indenting each line indent spaces.
|
void |
print(TypeCheckingList.TypeCheckingListIterator itr,
java.io.PrintStream stream,
int indent,
int indentIncrement)
Print the contents of itr to the given stream.
|
private java.io.PrintStream _defaultStream
private int _defaultIndent
public NodePrinter()
public NodePrinter(int defaultIndent)
public NodePrinter(java.io.PrintStream defaultStream)
public NodePrinter(java.io.PrintStream defaultStream,
int defaultIndent)
protected abstract void print(java.io.PrintStream stream,
Node node,
int indent,
int indentIncrement)
public void print(TypeCheckingList.TypeCheckingListIterator itr)
public void print(TypeCheckingList.TypeCheckingListIterator itr, java.io.PrintStream stream)
public void print(TypeCheckingList.TypeCheckingListIterator itr, java.io.PrintStream stream, int indent)
public void print(TypeCheckingList.TypeCheckingListIterator itr, int indent)
public void print(TypeCheckingList.TypeCheckingListIterator itr, int indent, int indentIncrement)
public void print(TypeCheckingList.TypeCheckingListIterator itr, java.io.PrintStream stream, int indent, int indentIncrement)