Interval: left-inclusive, right-exclusive (priority).
Holder for position tracking information across edits.
A Substitution from an Interval in the original String to an Interval in the new String.
Produces a replacer function for a regex-replace-compatible replacement CharSequence
.
Produces a replacer function for a regex-replace-compatible replacement CharSequence
.
Each effective replacement (match whose replacement is different from the matched String)
will append a corresponding Subst
to the resulting Repl
.
scala.util.matching.Regex#replaceFirstIn
Produces a replacer function for a char-per-char replacement.
Produces a replacer function for a char-per-char replacement.
Whenever replacer
yields Some(str)
, str
will replace the input Char
in the resulting edit, maintaining the Repl
tracking info.
Preprocess a regex replacement template, providing Match => String
replacer.
Preprocess a regex replacement template, providing Match => String
replacer.
Replacement String template
If true, will try to parse named groups in template
A function yielding a consolidated replacement String for a given Regex.Match
scala.util.matching.Regex#groupNames
,java.util.regex.Matcher#replaceAll(java.lang.String) for replacement template syntax
true
if current Java implementation supports inline-named capturing groups in regex Pattern.
true
if current Java implementation supports inline-named capturing groups in regex Pattern.
Should be true
for Java >= 7, false otherwise.
java.util.regex.Pattern