Class ErrorReporters

java.lang.Object

jmt.common.ErrorReporters

public final class ErrorReporters
extends Object

Global holder of the active ErrorReporter; GUIs install their own at startup.

Method Summary

Modifier and Type	Method	Description
static ErrorReporter	get()
static void	set(ErrorReporter r)	Installs a reporter; null restores the logging default.

Methods inherited from class Object

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

Method Details

get

public static ErrorReporter get()

set

public static void set(ErrorReporter r)

Installs a reporter; null restores the logging default.