public int getClusterIndex(IParseNode t, int pos) { if (SGLR.isDebugging()) { Tools.debug("getClusterIndex()"); Tools.debug(" t - " + t); Tools.debug(" pos - " + pos); // Tools.debug(indexTable); } AmbKey k = new AmbKey(t, pos); Integer r = indexTable.get(k); return r == null ? -1 : r.intValue(); }
public ParserHistory getHistory() { return myParser.getHistory(); }