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

Packages that use PrettyPrintOptions.Global

org.eclipse.ocl.examples.codegen.common
org.eclipse.ocl.examples.pivot.prettyprint

Uses of PrettyPrintOptions.Global in org.eclipse.ocl.examples.codegen.common

Methods in org.eclipse.ocl.examples.codegen.common that return PrettyPrintOptions.Global

protected static PrettyPrintOptions.Global

PivotQueries.createOptions(Visitable element)

Uses of PrettyPrintOptions.Global in org.eclipse.ocl.examples.pivot.prettyprint

Methods in org.eclipse.ocl.examples.pivot.prettyprint that return PrettyPrintOptions.Global

static PrettyPrintOptions.Global	PrettyPrinter.createOptions(Namespace scope)
abstract PrettyPrintOptions.Global	PrettyPrintOptions.getGlobalOptions()
PrettyPrintOptions.Global	PrettyPrintOptions.Global.getGlobalOptions()
PrettyPrintOptions.Global	PrettyPrintOptions.Local.getGlobalOptions()