- public String toString() {
- try {
- StringBuffer sb = new StringBuffer();
- sb.append('/');
- sb.append(get("source"));
- sb.append('/');
- if(global) sb.append('g');
- if(Boolean.TRUE.equals(get("ignoreCase"))) sb.append('i');
- if(Boolean.TRUE.equals(get("multiline"))) sb.append('m');
- return sb.toString();
- } catch (JSExn e) {
- throw new Error("this should never happen");
- }
+ String coerceToString() {
+ StringBuffer sb = new StringBuffer();
+ sb.append('/');
+ sb.append(pattern);
+ sb.append('/');
+ if(global) sb.append('g');
+ if((flags & RE.REG_ICASE) != 0) sb.append('i');
+ if((flags & RE.REG_MULTILINE) != 0) sb.append('m');
+ return sb.toString();