src/edu/berkeley/sbp/misc/CharRange.java

   1 package edu.berkeley.sbp.misc;
   2 import java.io.*;
   3 import java.util.*;
   4 import java.lang.reflect.*;
   5 import java.lang.ref.*;
   6 import edu.berkeley.sbp.*;
   7 import edu.berkeley.sbp.Token.Location;
   8 import edu.berkeley.sbp.util.*;
   9
  10 public class CharRange extends Atom<CharToken> {
  11     private String esc(char c) { return StringUtil.escapify(c+"", "[]-~\\\"\'"); }
  12     private Topology<CharToken> t;
  13     public CharRange(Topology<CharToken> t) { this.t = t; }
  14     public Topology<CharToken> top() { return t; }
  15     public String toString() {
  16         StringBuffer sb = new StringBuffer();
  17         sb.append('[');
  18         Range.Set ranges = ((IntegerTopology)top()).getRanges();
  19         if (ranges.size() == -1 || ranges.size() > Character.MAX_VALUE/2) {
  20             sb.append('~');
  21             ranges = ranges.complement();
  22         }
  23         ranges = ranges.intersect(CharToken.all);
  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 }