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...] |