public final class PrettyPrintData extends Object
Modifier and Type | Field and Description |
---|---|
static String |
DEFAULTTAB
default tab value.
|
Constructor and Description |
---|
PrettyPrintData() |
Modifier and Type | Method and Description |
---|---|
String |
decreaseLineHeaderLevel() |
String |
getCurrentLineHeader() |
int |
getLevel() |
String |
getLineHeader() |
String |
increaseLineHeaderLevel() |
void |
setLineHeader(String newLineHeader) |
public static final String DEFAULTTAB
public final String getLineHeader()
public final void setLineHeader(String newLineHeader)
newLineHeader
- the LineHeader to setpublic final String increaseLineHeaderLevel()
public final String decreaseLineHeaderLevel()
public final int getLevel()
public final String getCurrentLineHeader()
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.