replaceSourceRange method
Implementation
FlarkEditResult replaceSourceRange(
int start,
int end,
String replacement, {
int? expectedRevision,
bool replaceAll = false,
}) {
final rejected = _guard(expectedRevision);
if (rejected != null) return rejected;
return _result(
_editor!.replaceSourceRange(
start,
end,
replacement,
replaceAll: replaceAll,
),
);
}