src/edu/berkeley/sbp/chr/CharAtom.java

   1 // Copyright 2006-2007 all rights reserved; see LICENSE file for BSD-style license
   2
   3 package edu.berkeley.sbp.chr;
   4 import java.io.*;
   5 import java.util.*;
   6 import java.lang.reflect.*;
   7 import java.lang.ref.*;
   8 import edu.berkeley.sbp.*;
   9 import edu.berkeley.sbp.util.*;
  10 import edu.berkeley.sbp.misc.*;
  11 import edu.berkeley.sbp.Input.Location;
  12
  13 public class CharAtom extends Atom<Character> {
  14
  15     public CharAtom() { this(new CharTopology()); }
  16     public CharAtom(char a) { this(a,a); }
  17     public CharAtom(char a, char b) { this(new CharTopology(a, b)); }
  18     public CharAtom(CharTopology t) { this.t = t; }
  19     public CharAtom(Topology<Character> t) { this(t instanceof CharTopology ? (CharTopology)t : new CharTopology(t)); }
  20
  21     private CharTopology t;
  22     public  Topology<Character> top() { return t; }
  23
  24     public static final char left       = (char)9998;
  25     public static final char right      = (char)9999;
  26     public static final Atom leftBrace  = new CharAtom(left,left)   { public String toString() { return ">>"; } };
  27     public static final Atom rightBrace = new CharAtom(right,right) { public String toString() { return "<<"; } };
  28     //public static final Atom braces     = new CharAtom(left,right)   { public String toString() { return "[\\{\\}]"; } };
  29
  30     public static Atom set(Range.Set r) { return new CharAtom(new CharTopology(r)); }
  31     public String toString() { return t.toString(); }
  32
  33     /** returns an element which exactly matches the string given */
  34     public static Element string(String s) { return string(s, true); }
  35     public static Element string(String s, boolean share) {
  36         if (share && s.length() == 0) return emptyString;
  37         final String escapified = "\""+StringUtil.escapify(s, "\"\r\t\n\\")+"\"";
  38         Element ret;
  39         if (share && s.length() == 1) {
  40             ret =
  41                 new CharAtom(s.charAt(0)) {
  42                     public String toString() { return escapified; } };
  43         } else {
  44             Union ret2 = new Union("\""+s+"\"_str", true) {
  45                     public String toString() { return escapified; } };
  46             Element[] refs = new Element[s.length()];
  47             for(int i=0; i<refs.length; i++) refs[i] = new CharAtom(s.charAt(i));
  48             ret2.add(Sequence.create(s, refs));
  49             ret = ret2;
  50         }
  51         return ret;
  52     }
  53
  54     private static Union emptyString = new Union("()");
  55     static {
  56         // FIXME: force this to be dropped wherever used!
  57         emptyString.add(Sequence.create("", new Element[0]));
  58     }
  59
  60     public Topology<Atom<Character>>       unwrap() { return this; }
  61     public Topology<Atom<Character>>       empty()  { return new CharAtom(); }
  62     public Topology<Character>             getTokenTopology()  { return top(); }
  63
  64     public boolean           contains(Atom<Character> v) { return top().containsAll(((CharAtom)v).top()); }
  65     public boolean           disjoint(Topology<Atom<Character>> t) { return top().disjoint(((CharAtom)t).top()); }
  66     public boolean           containsAll(Topology<Atom<Character>> t) { return top().containsAll(((CharAtom)t).top()); }
  67
  68     public Topology<Atom<Character>>       complement() { return new CharAtom(top().complement()); }
  69     public Topology<Atom<Character>>       intersect(Topology<Atom<Character>> t) { return new CharAtom(top().intersect(((CharAtom)t).top())); }
  70     public Topology<Atom<Character>>       minus(Topology<Atom<Character>> t) { return new CharAtom(top().minus(((CharAtom)t).top())); }
  71     public Topology<Atom<Character>>       union(Topology<Atom<Character>> t) { return new CharAtom(top().union(((CharAtom)t).top())); }
  72
  73     public int     hashCode() { return top().hashCode(); }
  74     public boolean equals(Object o) { return o != null && (o instanceof CharAtom) && ((CharAtom)o).top().equals(top()); }
  75
  76 }