X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FElement.java;h=a37e96036d65206b6be4f5e56c9970ef168f2d0b;hb=8fb8d27ebcaad8074b9d52b31d32406d522e5a57;hp=f88ce87034116c22d58ac64dff9b5aa7f2f3db3a;hpb=9ded11559a1b6f817e99355b1c9e2c88042e91d4;p=sbp.git
diff --git a/src/edu/berkeley/sbp/Element.java b/src/edu/berkeley/sbp/Element.java
index f88ce87..a37e960 100644
--- a/src/edu/berkeley/sbp/Element.java
+++ b/src/edu/berkeley/sbp/Element.java
@@ -1,24 +1,46 @@
+// (C) 2006-2007 all rights reserved; see LICENSE file for BSD-style license
+
package edu.berkeley.sbp;
-import edu.berkeley.sbp.util.*;
-import edu.berkeley.sbp.*;
-import edu.berkeley.sbp.*;
-import java.io.*;
import java.util.*;
-import java.lang.reflect.*;
-import java.lang.ref.*;
-/** the root superclass for all components of the grammar (terminals, nonterminals, literals, etc) */
-public abstract class Element {
+/**
+ *
+ * the root superclass for all components of the grammar (terminals,
+ * nonterminals, literals, etc)
+ *
+ */
+public abstract class Element implements SequenceOrElement {
+
+ /** sorry, you can't make up new, custom elements */
+ Element() { }
+
+ /** a more verbose version of toString() for displaying whole grammars */
+ abstract StringBuffer toString(StringBuffer sb);
- /** if this element always matches exactly one token, return a topology covering exactly those possible tokens, otherwise null */
- abstract Topology toAtom();
- public Topology toAtom0() { return 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;
+ /** a slow and inefficient epsilon-ness checker used when constructing parse trees (see Union.epsilonForm()) */
+ public static boolean possiblyEpsilon(SequenceOrElement e) {
+ if (e instanceof Atom) return false;
+ if (e instanceof Sequence) {
+ Sequence s = (Sequence)e;
+ for(Sequence.Pos p = s.firstp(); !p.isLast(); p = p.next())
+ if (!possiblyEpsilon(p.element()))
+ return false;
+ return true;
+ }
+ if (e instanceof Union) {
+ Union u = (Union)e;
+ if (u.visiting) return true;
+ try {
+ u.visiting = true;
+ for(Sequence s : u)
+ if (possiblyEpsilon(s))
+ return true;
+ return false;
+ } finally {
+ u.visiting = false;
+ }
+ }
+ throw new Error();
}
+ boolean visiting = false;
}