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

Packages that use PrettyPrintOptions

Package	Description
org.eclipse.ocl.pivot.internal.prettyprint

Uses of PrettyPrintOptions in org.eclipse.ocl.pivot.internal.prettyprint

Subclasses of PrettyPrintOptions in 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.

Methods in org.eclipse.ocl.pivot.internal.prettyprint with parameters of type PrettyPrintOptions

Modifier and Type	Method and Description
static PrettyPrinter	PrettyPrinter.createNamePrinter(Element element, PrettyPrintOptions options)
static PrettyPrinter	PrettyPrinter.createPrinter(Element element, PrettyPrintOptions options)
static String	PrettyPrinter.print(Element element, PrettyPrintOptions options)
static String	PrettyPrinter.printName(Element element, PrettyPrintOptions options)
static String	PrettyPrinter.printType(Element element, PrettyPrintOptions options)

Constructors in org.eclipse.ocl.pivot.internal.prettyprint with parameters of type PrettyPrintOptions

Constructor and Description
Local(PrettyPrintOptions options, Namespace scope)