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