Class NamedException

Used to implement catch/throw named handlers as in Guile: (catch 'key (lambda () ... (throw 'key ARGS ...) ...) (lambda (KEY ARGS ...) HANDLER))

public NamedException(String name,
                      Object[] args)

public Object applyHandler(Object key,
                           Procedure handler)
            throws Throwable

public void checkMatch(Object key)

public String toString()