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(Topology<Character> it)  { this(((IntegerTopology<Character>)it.unwrap()).getRanges()); }
11     public CharTopology(char a, char b) { super(null, a, b); }
12
13     public Integer invoke(Character c) { return (int)c.charValue(); }
14
15     public String toString() {
16         StringBuffer sb = new StringBuffer();
17         Range.Set ranges = getRanges();
18         if (ranges.size() == -1 || ranges.size() > Character.MAX_VALUE/2) {
19             sb.append('~');
20             ranges = ranges.complement();
21         }
22         sb.append('[');
23         ranges = ranges.intersect(new Range.Set(new Range(0, Character.MAX_VALUE)));
24         for(Range r : ranges) {
25             if (r.isMinNegInf() || r.isMaxPosInf()) throw new Error("should not happen");
26             if (r.getMin()==r.getMax()) {
27                 sb.append(esc((char)r.getMin()));
28             } else{
29                 sb.append(esc((char)r.getMin()));
30                 sb.append('-');
31                 sb.append(esc((char)r.getMax()));
32             }
33         }
34         sb.append(']');
35         return sb.toString();
36     }
37
38     private String esc(char c) {
39         return StringUtil.escapify(c+"", "[]-~\\\"\'\n\r");
40     }
41
42 }