de.uka.ilkd.pp
Interface PrettyPrintable

public interface PrettyPrintable

An interface for objects that can pretty print themselves. The prettyPrint(DataLayouter) method will be called by DataLayouter.print(Object) for objects that implement this interface. According to the intended use of DataLayouter, the produced output should correspond to what Object.toString() returns, except for added indentation and whitespace.

Author:

Martin Giese

Method Summary

<Exc extends java.lang.Exception> void

prettyPrint(DataLayouter<Exc> l) Pretty prints this to the DataLayouter l.

Method Detail

prettyPrint

<Exc extends java.lang.Exception> void prettyPrint(DataLayouter<Exc> l)
                 throws Exc extends java.lang.Exception

Pretty prints this to the DataLayouter l. Will be called by DataLayouter.print(Object) for objects that implement this interface. According to the intended use of DataLayouter, the produced output should correspond to what Object.toString() returns, except for added indentation and whitespace.

The implementation must end any blocks it begins. It must not close l. It may pass through any exceptions of type Exc that are thrown by calls to methods of l

Parameters:

l - the DataLayouter the object will be printed to.

Throws:

Exc extends java.lang.Exception