private class ScriptNode.DumpState
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.lang.String |
branch_end_line |
java.lang.String |
branch_indent |
java.lang.String |
branch_mid_line |
java.lang.String |
descendant_line |
(package private) int |
level |
java.lang.String |
nonchild_indent |
private java.io.PrintStream |
outputStream |
private java.lang.String |
prefix |
(package private) java.lang.StringBuilder |
sb |
Constructor and Description |
---|
DumpState(java.io.PrintStream outputStream,
java.lang.String initialPrefix) |
Modifier and Type | Method and Description |
---|---|
void |
addNode(java.lang.String description) |
void |
addNode(java.lang.String description,
int positionFromEnd) |
void |
enterScope() |
void |
exitScope() |
java.lang.String |
getCurrentNodePrefix(boolean isLastChild) |
void |
print(java.lang.String text) |
void |
println(java.lang.String text) |
void |
println(java.lang.String s1,
java.lang.String s2,
java.lang.String s3) |
private void |
pushLevel(boolean push) |
public java.lang.String branch_end_line
public java.lang.String branch_indent
public java.lang.String branch_mid_line
public java.lang.String descendant_line
int level
public java.lang.String nonchild_indent
private final java.io.PrintStream outputStream
private java.lang.String prefix
java.lang.StringBuilder sb
public DumpState(java.io.PrintStream outputStream, java.lang.String initialPrefix)
public void addNode(java.lang.String description)
public void addNode(java.lang.String description, int positionFromEnd)
public void enterScope()
public void exitScope()
public java.lang.String getCurrentNodePrefix(boolean isLastChild)
public void print(java.lang.String text)
public void println(java.lang.String text)
public void println(java.lang.String s1, java.lang.String s2, java.lang.String s3)
private void pushLevel(boolean push)