/** returns an element which exactly matches the string given */
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;
+ if (share && s.length() == 0) return epsilon;
final String escapified = "\""+StringUtil.escapify(s, "\"\r\n\\")+"\"";
Element ret;
if (share && s.length() == 1) {
return ret;
}
+ private static Union epsilon = new Union("()");
+ static { epsilon.add(Sequence.empty); }
}