Package | Description |
---|---|
org.eclipse.ocl.pivot.internal.prettyprint |
Modifier and Type | Class and Description |
---|---|
static class |
PrettyPrintOptions.Global
Global PrettyPrintOptions apply regardless of pretty printer nesting.
|
static class |
PrettyPrintOptions.Local
Local PrettyPrintOptions may be overridden in nested pretty printer contexts.
|
Modifier and Type | Method and Description |
---|---|
static PrettyPrinter |
PrettyPrinter.createNamePrinter(Element element,
PrettyPrintOptions options) |
static PrettyPrinter |
PrettyPrinter.createPrinter(Element element,
PrettyPrintOptions options) |
static java.lang.String |
PrettyPrinter.print(Element element,
PrettyPrintOptions options) |
static java.lang.String |
PrettyPrinter.printName(Element element,
PrettyPrintOptions options) |
static java.lang.String |
PrettyPrinter.printType(Element element,
PrettyPrintOptions options) |
Constructor and Description |
---|
Local(PrettyPrintOptions options,
Namespace scope) |