X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Fchr%2FCharAtom.java;h=7774283007d5eeecb920113b263ea73c8d4f506e;hb=062890b2da58d55687949e119d96179edc09b403;hp=45c85b95a1ca94c7af6f891a2b0746d216db94d0;hpb=987a3f1d9ae796bb8db1294654125b07255128a5;p=sbp.git diff --git a/src/edu/berkeley/sbp/chr/CharAtom.java b/src/edu/berkeley/sbp/chr/CharAtom.java index 45c85b9..7774283 100644 --- a/src/edu/berkeley/sbp/chr/CharAtom.java +++ b/src/edu/berkeley/sbp/chr/CharAtom.java @@ -1,4 +1,4 @@ -// Copyright 2006 all rights reserved; see LICENSE file for BSD-style license +// Copyright 2006-2007 all rights reserved; see LICENSE file for BSD-style license package edu.berkeley.sbp.chr; import java.io.*; @@ -23,9 +23,9 @@ public class CharAtom extends Atom { public static final char left = (char)9998; public static final char right = (char)9999; - public static final Atom leftBrace = new CharAtom(left,left) { public String toString() { return "\\{"; } }; - public static final Atom rightBrace = new CharAtom(right,right) { public String toString() { return "\\}"; } }; - public static final Atom braces = new CharAtom(left,right) { public String toString() { return "[\\{\\}]"; } }; + public static final Atom leftBrace = new CharAtom(left,left) { public String toString() { return ">>"; } }; + public static final Atom rightBrace = new CharAtom(right,right) { public String toString() { return "<<"; } }; + //public static final Atom braces = new CharAtom(left,right) { public String toString() { return "[\\{\\}]"; } }; public static Atom set(Range.Set r) { return new CharAtom(new CharTopology(r)); } public String toString() { return t.toString(); } @@ -45,7 +45,7 @@ public class CharAtom extends Atom { public String toString() { return escapified; } }; Element[] refs = new Element[s.length()]; for(int i=0; i { private static Union emptyString = new Union("()"); static { // FIXME: force this to be dropped wherever used! - emptyString.add(Sequence.create(new Element[0], "")); + emptyString.add(Sequence.create("", new Element[0])); } public Topology> unwrap() { return this; }