| lalr_item.java | 31 public class lalr_item extends lr_item_core { class in inherits:lr_item_core
42 public lalr_item(production prod, int pos, terminal_set look) method in class:lalr_item
57 public lalr_item(production prod, terminal_set look) throws internal_error method in class:lalr_item
67 public lalr_item(production prod) throws internal_error method in class:lalr_item
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");
[all...] |
