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

Packages that use PrettyPrintOptions.Global

Package	Description
org.eclipse.ocl.examples.codegen.java
org.eclipse.ocl.examples.pivot.prettyprint

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

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

Modifier and Type	Method and Description
static PrettyPrintOptions.Global	JavaStream.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

Modifier and Type	Method and Description
static PrettyPrintOptions.Global	PrettyPrinter.createOptions(Namespace scope)
abstract PrettyPrintOptions.Global	PrettyPrintOptions.getGlobalOptions()
PrettyPrintOptions.Global	PrettyPrintOptions.Global.getGlobalOptions()
PrettyPrintOptions.Global	PrettyPrintOptions.Local.getGlobalOptions()