public class IndentingLineSink
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
Indent |
_indent |
java.lang.String |
_lineEnd |
Constructor and Description |
---|
IndentingLineSink() |
IndentingLineSink(java.io.File file) |
IndentingLineSink(java.io.File file,
IndentingLineSinkOptions options) |
IndentingLineSink(IndentingLineSinkOptions options) |
IndentingLineSink(java.io.Writer writer) |
IndentingLineSink(java.io.Writer writer,
IndentingLineSinkOptions options) |
Modifier and Type | Method and Description |
---|---|
void |
close() |
void |
decrementLevel() |
void |
endLine() |
void |
incrementLevel() |
int |
level() |
int |
lineNr()
Returns the nominal line number.
|
void |
sinkPiece(java.lang.String piece) |
java.lang.String |
toString() |
void |
writeLine(java.lang.String coreLine)
Writes a line with indentation
|
public final Indent _indent
public final java.lang.String _lineEnd
public IndentingLineSink()
public IndentingLineSink(IndentingLineSinkOptions options)
public IndentingLineSink(java.io.File file)
public IndentingLineSink(java.io.File file, IndentingLineSinkOptions options)
public IndentingLineSink(java.io.Writer writer)
public IndentingLineSink(java.io.Writer writer, IndentingLineSinkOptions options)
public void incrementLevel()
public void decrementLevel()
public int level()
public void writeLine(java.lang.String coreLine)
coreLine
- For correct indentation, it is assumed that this contains no new lines.public void sinkPiece(java.lang.String piece)
public void endLine()
public void close()
public int lineNr()
public java.lang.String toString()
toString
in class java.lang.Object