Java™ Pretty Printer Library v0.5

Class NoExceptions

  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by de.uka.ilkd.pp.NoExceptions
All Implemented Interfaces:

public class NoExceptions
extends java.lang.RuntimeException

A dummy Exception type parameter. This RuntimeException can be used as a type parameter for the other classes in this package if the backend does not throw any (checked) exceptions. For instance, StringBackend implements Backend<NoExceptions> and can be written to using a Layouter<NoExceptions>, etc.

See Also:
Serialized Form

Constructor Summary
NoExceptions(java.lang.String s)
Method Summary
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail


public NoExceptions()


public NoExceptions(java.lang.String s)