AST_CatchesElem.java

// Automatically generated code.  Edit at your own risk!
// Generated by bali2jak v2002.09.03.



public class AST_CatchesElem extends AstListNode {

    public Catch getCatch () {
        
        return (Catch) arg [0] ;
    }

    public AST_CatchesElem setParms (Catch arg0) {
        
        super.setParms (arg0) ;     /* Catch */
        return (AST_CatchesElem) this ;
    }

}