kawa.lang

Class NamedException


public class NamedException
extends RuntimeException

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

Constructor Summary

NamedException(String name, Object[] args)

Method Summary

Object
applyHandler(Object key, Procedure handler)
void
checkMatch(Object key)
String
toString()

Constructor Details

NamedException

public NamedException(String name,
                      Object[] args)

Method Details

applyHandler

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

checkMatch

public void checkMatch(Object key)

toString

public String toString()