// 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 ;
}
}