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

Packages that use PrettyPrinter

org.eclipse.ocl.examples.pivot.prettyprint
org.eclipse.ocl.examples.pivot.resource

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

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

static PrettyPrinter	PrettyPrinter.createNamePrinter(Element element, PrettyPrintOptions options)
static PrettyPrinter	PrettyPrinter.createPrinter(Element element, PrettyPrintOptions options)

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

EssentialOCLPrettyPrintVisitor(PrettyPrinter context)

PrettyPrintVisitor(PrettyPrinter context)

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

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

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)