org.eclipse.ocl.examples.pivot.prettyprint
Class PrettyPrintExprVisitor.Printer

java.lang.Object
  org.eclipse.ocl.examples.pivot.prettyprint.PrettyPrintExprVisitor.Printer

Enclosing class:

PrettyPrintExprVisitor

public static class PrettyPrintExprVisitor.Printer
extends java.lang.Object

Constructor Summary

PrettyPrintExprVisitor.Printer()

Method Summary

java.lang.String

prettyPrint(Visitable element, Namespace scope)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PrettyPrintExprVisitor.Printer

public PrettyPrintExprVisitor.Printer()

Method Detail

prettyPrint

public java.lang.String prettyPrint(Visitable element,
                                    Namespace scope)