X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FWalk.java;h=a92bcb8eaa6d875f243b3e74d76398e169c552d1;hb=87449191636461647906b08434a8ca7036cbadef;hp=092d1ffff0fef4022fdeb4e5455969fa578617bf;hpb=3ee451bce342d4bb61ad6235ba57bdf817bfdd1a;p=sbp.git diff --git a/src/edu/berkeley/sbp/Walk.java b/src/edu/berkeley/sbp/Walk.java index 092d1ff..a92bcb8 100644 --- a/src/edu/berkeley/sbp/Walk.java +++ b/src/edu/berkeley/sbp/Walk.java @@ -18,7 +18,7 @@ abstract class Walk { public Walk() { this(null); } public Walk(Cache c) { this.c = c; } - public T sequence(Sequence s) { + public T walkSequence(Sequence s) { T ret = bottom(s); for(Position p = s.firstp(); p!=null && !p.isLast(); p = p.next()) ret = sequence(s, ret, walk(p.element())); @@ -36,7 +36,7 @@ abstract class Walk { protected T walk2(SequenceOrElement e) { if (e instanceof Atom) return walkAtom((Atom)e); - else if (e instanceof Sequence) return sequence((Sequence)e); + else if (e instanceof Sequence) return walkSequence((Sequence)e); else if (e instanceof Union) { T ret = bottom(e); for(Sequence s : (Union)e) { @@ -57,7 +57,7 @@ abstract class Walk { public final HashSet walk() { return walk(e); } public YieldSet(SequenceOrElement e, Cache c) { super(c); this.e = e; } public HashSet bottom(SequenceOrElement e) { return acc; } - public HashSet sequence(Sequence seq) { return bottom(seq); } + public HashSet walkSequence(Sequence seq) { return bottom(seq); } public HashSet walkAtom(Atom r) { c.atoms.put(e, c.atoms.get(e)==null ? r : c.atoms.get(e).union(r)); return super.walkAtom(r); @@ -95,7 +95,7 @@ abstract class Walk { static class First extends WalkTokenSet { public First(Topology cs, Walk.Cache cache) { super(cs, cache); } - public Topology sequence(Sequence seq) { + public Topology walkSequence(Sequence seq) { for(Position p = seq.firstp(); p!=null && !p.isLast(); p = p.next()) { walk(p.element()); if (!c.possiblyEpsilon(p.element())) break; @@ -109,9 +109,10 @@ abstract class Walk { private final HashSet all; private boolean eof = false; public boolean includesEof() { return eof; } - public Follow(Topology cs, SequenceOrElement me, HashSet all, Cache c) { super(cs, c); this.me = me; this.all = all; } + public Follow(Topology cs, SequenceOrElement me, HashSet all, Cache c) { + super(cs, c); this.me = me; this.all = all; } public Topology bottom(SequenceOrElement e) { return cs; } - public Topology sequence(Sequence seq) { return cs; } + public Topology walkSequence(Sequence seq) { return cs; } public Topology walkAtom(Atom r) { return walk((SequenceOrElement)r); } public Topology walk(SequenceOrElement e) { if (acc.contains(e)) return bottom(e);