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