X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FAtom.java;h=daa3d495e75c50a6dc04b6f31ccd7b23c1bc116e;hp=0989bc0d717b39da90bc390d1bd7ebc4c1e169d7;hb=2c1c0293545f3d12c23220fd05c663e6aa3f3de1;hpb=173e1696d10a91db6f5a919dbb2b2ed2c6e2a227 diff --git a/src/edu/berkeley/sbp/Atom.java b/src/edu/berkeley/sbp/Atom.java index 0989bc0..daa3d49 100644 --- a/src/edu/berkeley/sbp/Atom.java +++ b/src/edu/berkeley/sbp/Atom.java @@ -7,12 +7,24 @@ import edu.berkeley.sbp.util.*; import edu.berkeley.sbp.*; import edu.berkeley.sbp.*; -/** an element which matches exactly one input token */ -public abstract class Atom extends Element implements Topology> { +/** + * an element which matches some set of one-token-long input strings. + * + *

+ * This class is a topology over itself (yes, that's sort of Frege'd + * up) so that Atoms can be intersected and unioned with each other + * to result in other Atom's (rather than raw Topology's, which + * are not Elements). If you want the latter, use the + * getTokenTopology() method. + *

+ */ +public abstract class Atom extends Element implements Topology> { - public abstract Topology underlying(); - public abstract String toString(); - public StringBuffer toString(StringBuffer sb) { sb.append(this); return sb; } + /** the set (topology) of tokens that can match this element */ + public abstract Topology getTokenTopology(); + + StringBuffer toString(StringBuffer sb) { sb.append(this); return sb; } } +