Uses of Class
org.eclipse.ocl.examples.pivot.prettyprint.PrettyPrintOptions

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)