Lines Matching defs:lalr_item
31 public class lalr_item extends lr_item_core {
42 public lalr_item(production prod, int pos, terminal_set look)
57 public lalr_item(production prod, terminal_set look) throws internal_error
67 public lalr_item(production prod) throws internal_error
100 public void add_propagate(lalr_item prop_to)
137 ((lalr_item)propagate_items().elementAt(i))
144 /** Produce the new lalr_item that results from shifting the dot one position
147 public lalr_item shift() throws internal_error
149 lalr_item result;
153 throw new internal_error("Attempt to shift past end of an lalr_item");
156 result = new lalr_item(the_production(), dot_pos()+1,
268 public boolean equals(lalr_item other)
279 if (!(other instanceof lalr_item))
282 return equals((lalr_item)other);
