com.io7m.jpra.compiler.core

Class JPRAProblemFormatter

java.lang.Object

com.io7m.jpra.compiler.core.JPRAProblemFormatter

All Implemented Interfaces:

JPRAProblemFormatterType

public final class JPRAProblemFormatter
extends Object
implements JPRAProblemFormatterType

Default implementation of the JPRAProblemFormatterType interface.

Method Summary

Modifier and Type	Method and Description
static JPRAProblemFormatterType	newFormatter()
void	onJPRAException(OutputStream os, JPRAException e) Format a message to os based on e.

Methods inherited from class java.lang.Object

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

Method Detail

newFormatter

public static JPRAProblemFormatterType newFormatter()

Returns:

A new formatter

onJPRAException

public void onJPRAException(OutputStream os,
                            JPRAException e)

Description copied from interface: JPRAProblemFormatterType

Format a message to os based on e.

Specified by:

onJPRAException in interface JPRAProblemFormatterType

Parameters:

os - The output

e - The error