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

Packages that use PrettyPrintOptions.Global

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

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

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