1 package edu.berkeley.sbp.util;
4 import java.lang.reflect.*;
5 import java.lang.ref.*;
6 import edu.berkeley.sbp.util.*;
7 import edu.berkeley.sbp.*;
9 /** implementation of <tt>Topology</tt> for any class for which there is a mapping to the <tt>int</tt>s */
10 public class IntegerTopology<V extends IntegerMappable> implements Topology<V> {
11 private final Range.Set rs;
13 private static final IntegerTopology empty = new IntegerTopology();
15 public Range.Set getRanges() { return new Range.Set(rs); }
17 public IntegerTopology() { this(new Range.Set()); }
18 public IntegerTopology(V v) { this(v.toInt()); }
19 public IntegerTopology(V a, V b) { this(a.toInt(), b.toInt()); }
20 public IntegerTopology(int a) { this(a, a); }
21 public IntegerTopology(int a, int b) { this(new Range(a, b)); }
22 public IntegerTopology(Range r) { this(new Range.Set(r)); }
23 public IntegerTopology(Range.Set rs) { this.rs = rs; }
25 public Topology<V> empty() { return (Topology<V>)empty; }
27 public boolean contains(V v) { return rs.contains(v.toInt()); }
29 public Topology<V> complement() { return new IntegerTopology<V>(rs.complement()); }
30 public Topology<V> intersect(Topology<V> t) { return new IntegerTopology<V>(rs.intersect(((IntegerTopology<V>)t.unwrap()).rs)); }
31 public Topology<V> minus(Topology<V> t) { return new IntegerTopology<V>(rs.intersect(((IntegerTopology<V>)t.unwrap()).rs.complement())); }
32 public Topology<V> union(Topology<V> t) { return new IntegerTopology<V>(rs.union(((IntegerTopology<V>)t.unwrap()).rs)); }
33 public boolean disjoint(Topology<V> t) { return rs.intersect(((IntegerTopology<V>)t.unwrap()).rs).size()==0; }
34 public boolean containsAll(Topology<V> t) { return rs.containsAll(((IntegerTopology<V>)t.unwrap()).rs); }
36 public Topology<V> unwrap() { return this; }
37 public int hashCode() { return rs.hashCode(); }
38 public boolean equals(Object o) { return o!=null && o instanceof IntegerTopology && ((IntegerTopology<V>)o).rs.equals(rs); }
40 // FIXME: this is currently char-range specific
42 public String toString() {
43 String classname = this.getClass().getName().replace('$', '.');
44 if (rs==null) return "new " + classname + "()";
45 StringBuffer sb = new StringBuffer();
48 sb.append("(new Range.Set(new Range[] { ");
50 sb.append("new Range(");
51 if (r.isMinNegInf() && r.isMaxPosInf()) {
52 sb.append("true, true");
53 } else if (r.isMinNegInf()) {
55 sb.append(r.getMax());
56 } else if (r.isMaxPosInf()) {
57 sb.append(r.getMin());
60 sb.append(r.getMin());
62 sb.append(r.getMax());
66 sb.append("new Range() }))");