kawa.lang
Class NamedException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              kawa.lang.NamedException

All Implemented Interfaces:

java.io.Serializable

public class NamedException
extends java.lang.RuntimeException

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

See Also:

Serialized Form

Constructor Summary

NamedException(java.lang.String name, java.lang.Object[] args)

Method Summary

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

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace

Methods inherited from class java.lang.Object

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

Constructor Detail

NamedException

public NamedException(java.lang.String name,
                      java.lang.Object[] args)

Method Detail

checkMatch

public void checkMatch(java.lang.Object key)

applyHandler

public java.lang.Object applyHandler(java.lang.Object key,
                                     Procedure handler)
                              throws java.lang.Throwable

Throws:

java.lang.Throwable

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Throwable