- public int toInt() { return idx; }
-
- boolean destroyed = false;
-
- public void check() {
- if (destroyed) return;
- boolean dead = true;
- // - all nodes must have a predecessor
- // - non-doomed nodes must either:
- // - be on the frontier or
- // - have a non-doomed node closer to the frontier than themself
- if (phase.isFrontier()) dead = false;
- else for(Result r : successors)
- if (state.doomed) { if (r.usedByAnyNode()) { dead = false; break; } }
- else { if (r.usedByNonDoomedNode()) { dead = false; break; } }
- dead |= results.size()==0;
- if (!dead) return;
- destroyed = true;
- if (phase() != null && phase().hash != null)
- phase().hash.remove(state, predPhase);
- while(successors.size()>0)
- for(Result r : successors) {
- successors.remove(r);
- r.removePred(this);
- break;
- }
- while(results.size()>0)
- for(Result r : results) {
- results.remove(r);
- r.removeSucc(this);
- break;
- }
- results = null;
- successors = null;
- }
-
- //////////////////////////////////////////////////////////////////////
-
- private static int node_idx = 0;
- private final int idx = node_idx++;
-
- private final GSS.Phase phase;
- private final GSS.Phase predPhase;
- private final Parser.Table.State state;
- private boolean fromEmptyReduction;
- private FastSet<Result> results = new FastSet<Result>();
- private FastSet<Result> successors = new FastSet<Result>();
- //private HashSet<Result> results = new HashSet<Result>();
- //private HashSet<Result> successors = new HashSet<Result>();
-
- public final void invoke(Pos r, Result only, Object o) {
- boolean emptyProductions = only==null;
- if (emptyProductions != (r.numPops()==0)) return;
- if (r.numPops()!=0) reduce(r, r.numPops()-1, phase(), only);
- else {
- Input.Region region = phase().getLocation().createRegion(phase().getLocation());
- phase().newNodeFromReduction(r.rewrite(region), r, this);
- }
- }
-
- private void reduce(Pos r, int pos, GSS.Phase target, Result only) {
- for(Result res : results)
- if (only == null || res == only)
- for(Node pred : res.getPreds())
- reduce2(r, pos, target, pred, res.getForest());
- }
-
- void reduce2(Pos r, int pos, GSS.Phase target, Node pred, Forest f) {
- Forest[] holder = r.holder;
- Forest old = pos >= holder.length ? null : holder[pos];
- if (pos < holder.length) holder[pos] = f;
- if (pos>0) pred.reduce(r, pos-1, target, null);
- else {
- Input.Region region = pred.phase().getLocation().createRegion(target.getLocation());
- new Reduction(pred, r, r.rewrite(region), target);
- }
- if (pos < holder.length) holder[pos] = old;
- }