Update TextEdits.rsc

Added a convenience function to avoid having to repeat the file location again.
usethesource · Nov 1, 2024 · a10f8cd · a10f8cd
1 parent b74692d
commit a10f8cd
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/org/rascalmpl/library/analysis/diff/edits/TextEdits.rsc b/src/org/rascalmpl/library/analysis/diff/edits/TextEdits.rsc
@@ -35,6 +35,10 @@ data DocumentEdit
     | changed(loc file, list[TextEdit] edits)
     ;
 
+@synopsis{Shorthand for file changes.}
+DocumentEdit changed(list[TextEdit] edits:[replace(loc l, str _), *_])
+    = changed(l.top, edits);
+
 @synopsis{String rewriting operations}
 @description{
 The core operation is to replace a substring with another.
@@ -55,4 +59,4 @@ TextEdit insertBefore(loc range, str insertion, str separator=" ")
 @synopsis{Inserting after a given range.}
 TextEdit insertAfter(loc range, str insertion, str separator=" ")
     = replace(range.top(range.offset + range.length, 0), "<separator><insertion>");
-
+