public class SourcePrinter extends Object
Modifier and Type | Method and Description |
---|---|
Position |
getCursor() |
String |
getSource() |
SourcePrinter |
indent() |
SourcePrinter |
print(String arg) |
SourcePrinter |
println() |
SourcePrinter |
println(String arg) |
String |
toString() |
SourcePrinter |
unindent() |
void |
wrapToColumn(int column)
Performs a new line and indent, then prints enough space characters until aligned to the specified column.
|
public SourcePrinter indent()
public SourcePrinter unindent()
public SourcePrinter print(String arg)
public SourcePrinter println(String arg)
public SourcePrinter println()
public Position getCursor()
public void wrapToColumn(int column)
column
- the column to align topublic String getSource()
Copyright © 2007–2017. All rights reserved.