|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PrettyPrintOptions | |
---|---|
org.eclipse.ocl.examples.pivot.prettyprint |
Uses of PrettyPrintOptions in org.eclipse.ocl.examples.pivot.prettyprint |
---|
Subclasses of PrettyPrintOptions in org.eclipse.ocl.examples.pivot.prettyprint | |
---|---|
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. |
Methods in org.eclipse.ocl.examples.pivot.prettyprint with parameters of type PrettyPrintOptions | |
---|---|
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)
|
Constructors in org.eclipse.ocl.examples.pivot.prettyprint with parameters of type PrettyPrintOptions | |
---|---|
PrettyPrintOptions.Local(PrettyPrintOptions options,
Namespace scope)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |