jfun.parsec

Class Catch1<T>

java.lang.Object

jfun.parsec.Catch1<T>

All Implemented Interfaces:

java.io.Serializable, Catch<T>

public final class Catch1<T>
extends java.lang.Object
implements Catch<T>, java.io.Serializable

Catch1 implements Catch and recovers the exception only when the exception is the same object that it expects.

Author:

Ben Yu 2004-11-13

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Catch1(T target) Create a Catch1 object.

Method Summary

Methods

Modifier and Type	Method and Description
Parser<T>	catchException(java.lang.Object v, java.lang.Object e) if e is the same as the target object that this Catch object is expecting, it recovers the parser and make v the current return value.

Methods inherited from class java.lang.Object

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

Constructor Detail

Catch1

public Catch1(T target)

Create a Catch1 object.

Parameters:

target - the expected target exception object.

Method Detail

catchException

public Parser<T> catchException(java.lang.Object v,
                       java.lang.Object e)

if e is the same as the target object that this Catch object is expecting, it recovers the parser and make v the current return value.

Specified by:

catchException in interface Catch<T>

Parameters:

v - the return value of the exceptional parser.

e - the exception thrown.

Returns:

the new Parser object.

See Also:

Catch.catchException(java.lang.Object, java.lang.Object)