X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FElement.java;h=896540e904f0868bfe1dd4f68ee3fa630ecde6b9;hp=5f55be697e74ed325aa9cc2d4c83b3f2aefc7ecc;hb=ae0cef03f2e46f6ae6438f9a3e60ca36ff1a4643;hpb=2690f6c749f117a103c57d651d89f1b4fbf1316d diff --git a/src/edu/berkeley/sbp/Element.java b/src/edu/berkeley/sbp/Element.java index 5f55be6..896540e 100644 --- a/src/edu/berkeley/sbp/Element.java +++ b/src/edu/berkeley/sbp/Element.java @@ -10,16 +10,12 @@ import java.lang.ref.*; /** the root superclass for all components of the grammar (terminals, nonterminals, literals, etc) */ public abstract class Element { - /** add all positions reachable from the start of this Element to @rp */ - abstract void reachable(HashSet rp); + /** sorry, you can't make up new, custom elements */ + Element() { } + + abstract StringBuffer toString(StringBuffer sb); + + /** returns the Forest resulting from matching this element against the empty string */ + Forest epsilonForm() { throw new Error("element " + this + " has no epsilon form"); } - abstract Topology toAtom(); - Forest epsilonForm() { throw new Error("no epsilon form: " + this); } - final boolean possiblyEpsilon(Walk.Cache cache) { - Boolean ret = cache==null ? null : cache.possiblyEpsilon.get(this); - if (ret != null) return ret.booleanValue(); - ret = new Walk.PossiblyEpsilon().walk(this) ? Boolean.TRUE : Boolean.FALSE; - if (cache != null) cache.possiblyEpsilon.put(this, ret); - return ret; - } }