checkpoint
[sbp.git] / src / edu / berkeley / sbp / misc / CharTopology.java
1 package edu.berkeley.sbp.misc;
2 import edu.berkeley.sbp.*;
3 import edu.berkeley.sbp.util.*;
4
5 public class CharTopology extends IntegerTopology<Character> implements Functor<Character,Integer> {
6
7     public CharTopology()               { super(null); }
8     public CharTopology(Range.Set r)    { super(null, r); }
9     public CharTopology(char a, char b) { super(null, a, b); }
10
11     public Integer invoke(Character c) { return (int)c.charValue(); }
12
13     public String toString() {
14         StringBuffer sb = new StringBuffer();
15         sb.append('[');
16         Range.Set ranges = getRanges();
17         if (ranges.size() == -1 || ranges.size() > Character.MAX_VALUE/2) {
18             sb.append('~');
19             ranges = ranges.complement();
20         }
21         ranges = ranges.intersect(new Range.Set(new Range(0, Character.MAX_VALUE)));
22         for(Range r : ranges) {
23             if (r.isMinNegInf() || r.isMaxPosInf()) throw new Error("should not happen");
24             if (r.getMin()==r.getMax()) {
25                 sb.append(esc((char)r.getMin()));
26             } else{
27                 sb.append(esc((char)r.getMin()));
28                 sb.append('-');
29                 sb.append(esc((char)r.getMax()));
30             }
31         }
32         sb.append(']');
33         return sb.toString();
34     }
35
36     private String esc(char c) { return StringUtil.escapify(c+"", "[]-~\\\"\'"); }
37
38 }