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<Character> {
  11     private String esc(char c) { return StringUtil.escapify(c+"", "[]-~\\\"\'"); }
  12     private Topology<Character> t;
  13     public CharRange(char a) { this(a,a); }
  14     public CharRange(char a, char b) { this(new CharTopology(a, b)); }
  15     public CharRange(Topology<Character> t) { this.t = t; }
  16     public Topology<Character> top() { return t; }
  17     public String toString() {
  18         StringBuffer sb = new StringBuffer();
  19         sb.append('[');
  20         Range.Set ranges = ((IntegerTopology)top()).getRanges();
  21         if (ranges.size() == -1 || ranges.size() > Character.MAX_VALUE/2) {
  22             sb.append('~');
  23             ranges = ranges.complement();
  24         }
  25         ranges = ranges.intersect(all);
  26         for(Range r : ranges) {
  27             if (r.isMinNegInf() || r.isMaxPosInf()) throw new Error("should not happen");
  28             if (r.getMin()==r.getMax()) {
  29                 sb.append(esc((char)r.getMin()));
  30             } else{
  31                 sb.append(esc((char)r.getMin()));
  32                 sb.append('-');
  33                 sb.append(esc((char)r.getMax()));
  34             }
  35         }
  36         sb.append(']');
  37         return sb.toString();
  38     }
  39
  40     public static final char left       = (char)9998;
  41     public static final char right      = (char)9999;
  42     public static final Atom leftBrace  = new CharRange(left,left)   { public String toString() { return "{"; } };
  43     public static final Atom rightBrace = new CharRange(right,right) { public String toString() { return "}"; } };
  44
  45     public static Atom set(Range.Set r) { return new CharRange(new CharTopology(r)); }
  46     private static final Range.Set all = new Range.Set(new Range(0, Character.MAX_VALUE));
  47
  48     /** returns an element which exactly matches the string given */
  49     public static Element string(String s) {
  50         if (s.length() == 0) return Union.epsilon;
  51         final String escapified = "\""+StringUtil.escapify(s, "\"\r\n\\")+"\"";
  52         Element ret;
  53         if (s.length() == 1) {
  54             ret =
  55                 new CharRange(s.charAt(0)) {
  56                     public String toString() { return escapified; } };
  57         } else {
  58             Union ret2 = new Union("\""+s+"\"_str", true) {
  59                     public String toString() { return escapified; } };
  60             Element[] refs = new Element[s.length()];
  61             for(int i=0; i<refs.length; i++) refs[i] = new CharRange(s.charAt(i));
  62             ret2.add(Sequence.constant(refs, s, null, null));
  63             ret = ret2;
  64         }
  65         return ret;
  66     }
  67
  68 }