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



public class PatsElem extends AstListNode {

    public Pat getPat () {
        
        return (Pat) arg [0] ;
    }

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

    public PatsElem setParms (Pat arg0) {
        
        super.setParms(arg0) ;     /* Pat */
        return (PatsElem) this ;
    }

}
