From d3a56050406bda802d0dc4b3c24f83cbb0c06620 Mon Sep 17 00:00:00 2001 From: adam Date: Sun, 1 Jan 2006 21:30:29 -0500 Subject: [PATCH] Atom implements Topology darcs-hash:20060102023029-5007d-776e61936cd54692719ce80500103159e0c075ec.gz --- src/edu/berkeley/sbp/Atom.java | 19 ++++++++++++++++++- 1 file changed, 18 insertions(+), 1 deletion(-) diff --git a/src/edu/berkeley/sbp/Atom.java b/src/edu/berkeley/sbp/Atom.java index 0722d0b..8c702a1 100644 --- a/src/edu/berkeley/sbp/Atom.java +++ b/src/edu/berkeley/sbp/Atom.java @@ -8,7 +8,7 @@ import edu.berkeley.sbp.*; import edu.berkeley.sbp.*; /** an element which matches exactly one input token */ -public abstract class Atom extends Element { +public abstract class Atom extends Element implements Topology { private final Topology rt; @@ -26,5 +26,22 @@ public abstract class Atom extends Element { /** declared abstract to force subclasses to override it in a useful manner */ public abstract String toString(); + + // Topology Thunks ////////////////////////////////////////////////////////////////////////////// + + public void add(Topology t) { rt.add(t); } + public void add(T t) { rt.add(t); } + public void remove(Topology t) { rt.remove(t); } + public void remove(T t) { rt.remove(t); } + public Topology dup() { return rt.dup(); } + public boolean contains(T v) { return rt.contains(v); } + public Topology fresh() { return rt.fresh(); } + public Topology intersect(Topology t) { return rt.intersect(t); } + public Topology minus(Topology t) { return rt.minus(t); } + public Topology union(Topology t) { return rt.union(t); } + public Topology complement() { return rt.complement(); } + public boolean disjoint(Topology t) { return rt.disjoint(t); } + public boolean containsAll(Topology t) { return rt.containsAll(t); } + } -- 1.7.10.4