Lines Matching refs:part
36 production_part part;
56 part = _the_production.rhs(_dot_pos);
57 if (!part.is_action())
58 _symbol_after_dot = ((symbol_part)part).the_symbol();
84 /** The position of the "dot" -- this indicates the part of the production
90 /** The position of the "dot" -- this indicates the part of the production
209 production_part part;
226 /* print the name of the part */
233 part = _the_production.rhs(i);
234 if (part == null)
236 else if (part.is_action())
238 else if (((symbol_part)part).the_symbol() != null &&
239 ((symbol_part)part).the_symbol().name() != null)
240 result += ((symbol_part)part).the_symbol().name() + " ";
