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