equal
deleted
inserted
replaced
92 public String getPattern() { |
92 public String getPattern() { |
93 return pattern; |
93 return pattern; |
94 } |
94 } |
95 |
95 |
96 private static final String nl = |
96 private static final String nl = |
97 java.security.AccessController |
97 GetPropertyAction.getProperty("line.separator"); |
98 .doPrivileged(new GetPropertyAction("line.separator")); |
|
99 |
98 |
100 /** |
99 /** |
101 * Returns a multi-line string containing the description of the syntax |
100 * Returns a multi-line string containing the description of the syntax |
102 * error and its index, the erroneous regular-expression pattern, and a |
101 * error and its index, the erroneous regular-expression pattern, and a |
103 * visual indication of the error index within the pattern. |
102 * visual indication of the error index within the pattern. |