X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Fchr%2FCharRange.java;fp=src%2Fedu%2Fberkeley%2Fsbp%2Fchr%2FCharRange.java;h=123e6cac7bd8bcec0ef4c7681ccdc70ea1b98388;hp=deea38e3a9713e5726010d83b611c676a1d08372;hb=36c0a6a931c043959183226705e14a6a6b82c5d2;hpb=927dc9b785de472f2237c5adbc4d2ad12f16cc2d

diff --git a/src/edu/berkeley/sbp/chr/CharRange.java b/src/edu/berkeley/sbp/chr/CharRange.java
index deea38e..123e6ca 100644
--- a/src/edu/berkeley/sbp/chr/CharRange.java
+++ b/src/edu/berkeley/sbp/chr/CharRange.java
@@ -27,11 +27,12 @@ public class CharRange extends Atom<Character> {
     public String toString() { return t.toString(); }
 
     /** returns an element which exactly matches the string given */
-    public static Element string(String s) {
-        if (s.length() == 0) return Union.epsilon;
+    public static Element string(String s) { return string(s, true); }
+    public static Element string(String s, boolean share) {
+        if (share && s.length() == 0) return Union.epsilon;
         final String escapified = "\""+StringUtil.escapify(s, "\"\r\n\\")+"\"";
         Element ret;
-        if (s.length() == 1) {
+        if (share && s.length() == 1) {
             ret =
                 new CharRange(s.charAt(0)) {
                     public String toString() { return escapified; } };