X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FWalk.java;h=04e36aeb47f1aae6e3db58083fdeb67a80b65cd1;hp=380d09bda11236d3d4e30e1fec9f19da314cc5b6;hb=6a2ea790f843e058c7e67d3c7d1deebadcfe1fd5;hpb=3468ad83256a1b996f5ddc4406a040ee72f0274a diff --git a/src/edu/berkeley/sbp/Walk.java b/src/edu/berkeley/sbp/Walk.java index 380d09b..04e36ae 100644 --- a/src/edu/berkeley/sbp/Walk.java +++ b/src/edu/berkeley/sbp/Walk.java @@ -75,9 +75,9 @@ abstract class Walk { } - // Token-Set ////////////////////////////////////////////////////////////////////////////// + // Input-Set ////////////////////////////////////////////////////////////////////////////// - static abstract class WalkTokenSet extends Walk> { + static abstract class WalkTokenSet extends Walk> { public Topology cs; public WalkTokenSet(Topology cs) { this.cs = cs; } public WalkTokenSet(Topology cs, Cache c) { super(c); this.cs = cs; } @@ -85,7 +85,7 @@ abstract class Walk { public Topology walkAtom(Atom r) { cs = cs.union(r); return cs; } } - static class First extends WalkTokenSet { + static class First extends WalkTokenSet { public First(Topology cs, Walk.Cache cache) { super(cs, cache); } public Topology sequence(Sequence seq) { for(Position p = seq.firstp(); p!=null && !p.isLast(); p = p.next()) { @@ -96,7 +96,7 @@ abstract class Walk { } } - static class Follow extends WalkTokenSet { + static class Follow extends WalkTokenSet { private final Element me; private final HashSet all; private boolean eof = false; @@ -172,7 +172,7 @@ abstract class Walk { public HashMap follow = new HashMap(); public HashMapBag ys = new HashMapBag(); public HashMap atoms = new HashMap(); - public Topology first(Element e, Topology empty) { + public Topology first(Element e, Topology empty) { return new Walk.First(empty, this).walk(e); } }