class ExceptionSpec extends Object
protected Vector
handlers
protected Token
label
ExceptionSpec(Token label_)
void
addHandler(ExceptionHandler handler)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
protected Token label
protected Vector handlers
public ExceptionSpec(Token label_)
public void addHandler(ExceptionHandler handler)