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



public class ProductionsElem extends AstListNode {

    public Production getProduction () {
        
        return (Production) arg [0] ;
    }

    public ProductionsElem setParms (AstToken tok0, Production arg0) {
        
        tok = new AstToken [1] ;
        tok [0] = tok0 ;            /* "|" */
        return setParms (arg0) ;    /* Production */
    }

    public ProductionsElem setParms (Production arg0) {
        
        super.setParms (arg0) ;     /* Production */
        return (ProductionsElem) this ;
    }

}
