change naming: use pred/succ rather than parent/child

[sbp.git] / src / edu / berkeley / sbp / Node.java

diff --git a/src/edu/berkeley/sbp/Node.java b/src/edu/berkeley/sbp/Node.java
index b6f4585..ccc2516 100644 (file)
--- a/src/edu/berkeley/sbp/Node.java
+++ b/src/edu/berkeley/sbp/Node.java
@@ -1,17 +1,18 @@
-// Copyright 2006 all rights reserved; see LICENSE file for BSD-style license
+// Copyright 2006-2007 all rights reserved; see LICENSE file for BSD-style license
 
 package edu.berkeley.sbp;
 import edu.berkeley.sbp.*;
 import edu.berkeley.sbp.util.*;
 import edu.berkeley.sbp.Parser.Table.*;
-import edu.berkeley.sbp.Sequence.Position;
+import edu.berkeley.sbp.Sequence.Pos;
+import edu.berkeley.sbp.Sequence.Pos;
 import java.io.*;
 import java.util.*;
 import java.lang.reflect.*;
 
 /** a node in the GSS */
 final class Node
-    implements Invokable<Position, Result>,
+    implements Invokable<Pos, Result>,
                IntegerMappable,
                GraphViz.ToGraphViz,
                Iterable<Result> {
@@ -28,31 +29,31 @@ final class Node
     public void check() {
         if (destroyed) return;
         boolean dead = true;
-        // - all nodes must have a parent
+        // - 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 : children)
+        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;
-        while(children.size()>0)
-            for(Result r : children) {
-                children.remove(r);
+        while(successors.size()>0)
+            for(Result r : successors) {
+                successors.remove(r);
                 r.destroy();
                 break;
             }
         while(results.size()>0)
             for(Result r : results) {
                 results.remove(r);
-                r.removeChild(this);
+                r.removeSucc(this);
                 break;
             }
         results = null;
-        children = null;
+        successors = null;
     }
 
     //////////////////////////////////////////////////////////////////////
@@ -65,30 +66,30 @@ final class Node
     private final boolean fromEmptyReduction;
     //private       FastSet<Result> results = new FastSet<Result>();
     private       HashSet<Result> results = new HashSet<Result>();
-    private       HashSet<Result> children = new HashSet<Result>();
+    private       HashSet<Result> successors = new HashSet<Result>();
 
-    public final void invoke(Position r, Result only) {
+    public final void invoke(Pos r, Result only) {
         boolean emptyProductions = only==null;
-        if (emptyProductions != (r.pos==0)) return;
-        if (r.pos!=0)  reduce(r, r.pos-1, phase(), only);
+        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());
-            new Result(r.rewrite(region, phase().parser().cache()), this, r, phase());
+            new Result(r.rewrite(region), this, r, phase());
         }
     }
 
-    private void reduce(Position r, int pos, GSS.Phase target, Result only) {
+    private void reduce(Pos r, int pos, GSS.Phase target, Result only) {
         Forest[] holder = r.holder;
         Forest old = holder[pos];
         if (results==null) return;   // FIXME: this should not happen
         for(Result res : results)
             if (only == null || res == only) {
-                Node child = res.parent();
+                Node pred = res.pred();
                 holder[pos] = res.getForest();
-                if (pos>0)  child.reduce(r, pos-1, target, null);
+                if (pos>0)  pred.reduce(r, pos-1, target, null);
                 else {
-                    Input.Region region = child.phase().getLocation().createRegion(target.getLocation());
-                    new Reduction(child, r, r.rewrite(region, phase().parser().cache()), target);
+                    Input.Region region = pred.phase().getLocation().createRegion(target.getLocation());
+                    new Reduction(pred, r, r.rewrite(region), target);
                 }
             }
         holder[pos] = old;
@@ -104,11 +105,11 @@ final class Node
         state.invokeEpsilonReductions(phase().token, this);
     }
 
-    // Add/Remove Children/Results //////////////////////////////////////////////////////////////////////////////
+    // Add/Remove Successors/Results //////////////////////////////////////////////////////////////////////////////
 
-    public void removeChild(Result child)   {
-        if (children==null) return;
-        children.remove(child);
+    public void removeSucc(Result succ)   {
+        if (successors==null) return;
+        successors.remove(succ);
         check();
     }
     public void removeResult(Result result) {
@@ -116,14 +117,14 @@ final class Node
         results.remove(result);
         check();
     }
-    public void addChild(Result child)      {
-        if (children==null) return;   // FIXME: this should not happen
-        children.add(child);
+    public void addSucc(Result succ)      {
+        if (successors==null) return;   // FIXME: this should not happen
+        successors.add(succ);
     }
     public void addResult(Result r) {
         if (results.contains(r)) return;
         results.add(r);
-        r.addChild(this);
+        r.addSucc(this);
         if (!fromEmptyReduction) state.invokeReductions(phase().getToken(), this, r);
     }
 
@@ -135,7 +136,7 @@ final class Node
         GraphViz.Node n = gv.createNode(this);
         n.label = "state["+state.toInt()+"]";
         n.shape = "rectangle";
-        boolean hasparents = false;
+        boolean haspreds = false;
         for(Result r : results) n.edge(r, "");
         n.color = state.doomed ? "red" : "green";
         ((GraphViz.Group)phase().toGraphViz(gv)).add(n);