Home | History | Annotate | Download | only in java_cup

Lines Matching refs:prod

124       production   prod;
152       prod = (production)e.nextElement();
153       prod.set_nullable(prod.check_nullable());
168       production   prod;
185           prod = (production)p.nextElement();
188           prod_first = prod.check_first_set();
219   public void add_production(production prod) throws internal_error
222       if (prod == null || prod.lhs() == null || prod.lhs().the_symbol() != this)
227       _productions.put(prod,prod);