FileDocCategorySizeDatePackage
ExceptionSpec.javaAPI DocGlassfish v2 API682Wed Aug 30 15:34:06 BST 2006persistence.antlr

ExceptionSpec

public class ExceptionSpec extends Object

Fields Summary
protected Token
label
protected Vector
handlers
Constructors Summary
public ExceptionSpec(Token label_)

        label = label_;
        handlers = new Vector();
    
Methods Summary
public voidaddHandler(persistence.antlr.ExceptionHandler handler)

        handlers.appendElement(handler);