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

Packages that use PrettyPrinter

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

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

Methods in org.eclipse.ocl.pivot.internal.prettyprint that return PrettyPrinter

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

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

Constructor and Description
EssentialOCLPrettyPrintVisitor(PrettyPrinter context)
PrettyPrintVisitor(PrettyPrinter context)

Uses of PrettyPrinter in org.eclipse.ocl.pivot.internal.resource

Methods in org.eclipse.ocl.pivot.internal.resource with parameters of type PrettyPrinter

Modifier and Type	Method and Description
PrettyPrintVisitor	ASResourceFactory.createPrettyPrintVisitor(PrettyPrinter prettyPrinter) Create a visitor to provide a pretty printed representation of one or more elements in the resource.
PrettyPrintVisitor	AbstractASResourceFactory.createPrettyPrintVisitor(PrettyPrinter prettyPrinter)