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(Topology<Character> t) { this.t = t; }
  14     public Topology<Character> 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(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     public static final Atom leftBrace  = CharToken.leftBrace;
  38     public static final Atom rightBrace = CharToken.rightBrace;
  39     public static Atom set(Range.Set r) { return new CharRange(new IntegerTopology<Character>(CharToken.c2i, r)); }
  40     private static final Range.Set all = new Range.Set(new Range(0, Character.MAX_VALUE));
  41
  42     /** returns an element which exactly matches the string given */
  43     public static Element string(String s) {
  44         if (s.length() == 0) return Union.epsilon;
  45         final String escapified = "\""+StringUtil.escapify(s, "\"\r\n\\")+"\"";
  46         Element ret;
  47         if (s.length() == 1) {
  48             ret =
  49                 new CharRange(new IntegerTopology<Character>(CharToken.c2i, (int)s.charAt(0))) {
  50                     public String toString() { return escapified; } };
  51         } else {
  52             Union ret2 = new Union("\""+s+"\"_str", true) {
  53                     public String toString() { return escapified; } };
  54             Element[] refs = new Element[s.length()];
  55             for(int i=0; i<refs.length; i++) refs[i] = new CharRange(new IntegerTopology<Character>(CharToken.c2i, (int)s.charAt(i)));
  56             ret2.add(Sequence.constant(refs, s, null, null));
  57             ret = ret2;
  58         }
  59         return ret;
  60     }
  61
  62 }