diff options
| -rw-r--r-- | llm-tools-hl-test.el | 114 | ||||
| -rw-r--r-- | llm-tools-hl.el | 94 |
2 files changed, 106 insertions, 102 deletions
diff --git a/llm-tools-hl-test.el b/llm-tools-hl-test.el index f247ee3..e796ac8 100644 --- a/llm-tools-hl-test.el +++ b/llm-tools-hl-test.el | |||
| @@ -6,22 +6,18 @@ | |||
| 6 | (let* ((content "\ | 6 | (let* ((content "\ |
| 7 | const TITLE = \"Mr\"; | 7 | const TITLE = \"Mr\"; |
| 8 | export function greet(name) { | 8 | export function greet(name) { |
| 9 | return [ | 9 | \treturn [ |
| 10 | TITLE, | 10 | \t TITLE, |
| 11 | name?.trim() || \"guest\", | 11 | \t name?.trim() || \"guest\", |
| 12 | ].join(\" \"); | 12 | \t].join(\" \"); |
| 13 | }") | 13 | }") |
| 14 | (file (make-temp-file nil nil nil content)) | 14 | (file (make-temp-file nil nil nil content)) |
| 15 | (actual (llm-tools--hl-file-read file)) | 15 | (actual (llm-tools--hl-file-read file))) |
| 16 | (expected "1vx|const TITLE = \"Mr\"; | ||
| 17 | 2in|export function greet(name) { | ||
| 18 | 3gv| return [ | ||
| 19 | 4ei| TITLE, | ||
| 20 | 5ff| name?.trim() || \"guest\", | ||
| 21 | 6cc| ].join(" "); | ||
| 22 | 7gv|}")) | ||
| 23 | (unwind-protect | 16 | (unwind-protect |
| 24 | (should (equal actual expected)) | 17 | (progn |
| 18 | (should (= (length (string-lines actual)) 7)) | ||
| 19 | (should (string-match-p "\\`1vx|const TITLE" actual)) | ||
| 20 | (should (string-match-p "7gv|}\\'" actual))) | ||
| 25 | (delete-file file)))) | 21 | (delete-file file)))) |
| 26 | 22 | ||
| 27 | (ert-deftest llm-tools--hl-anchor-to-line-num-test () | 23 | (ert-deftest llm-tools--hl-anchor-to-line-num-test () |
| @@ -83,9 +79,8 @@ export function greet(name) { | |||
| 83 | (ert-deftest llm-tools--hl-apply-replace-single-line () | 79 | (ert-deftest llm-tools--hl-apply-replace-single-line () |
| 84 | (let* ((content "line1\nline2\nline3\n") | 80 | (let* ((content "line1\nline2\nline3\n") |
| 85 | (file (make-temp-file nil nil nil content)) | 81 | (file (make-temp-file nil nil nil content)) |
| 86 | (lines (string-lines content)) | 82 | (anchor (llm-tools--hl-file-line-hash file 2)) |
| 87 | (h2 (llm-tools--hl-hash (elt lines 1))) | 83 | (patch (format "@@ %s\n= %s..%s\n~REPLACED" file anchor anchor))) |
| 88 | (patch (format "@@ %s\n= 2%s..2%s\n~REPLACED" file h2 h2))) | ||
| 89 | (unwind-protect | 84 | (unwind-protect |
| 90 | (progn | 85 | (progn |
| 91 | (llm-tools--hl-apply patch) | 86 | (llm-tools--hl-apply patch) |
| @@ -100,25 +95,23 @@ export function greet(name) { | |||
| 100 | (ert-deftest llm-tools--hl-apply-insert-after () | 95 | (ert-deftest llm-tools--hl-apply-insert-after () |
| 101 | (let* ((content "A\nB\nC\n") | 96 | (let* ((content "A\nB\nC\n") |
| 102 | (file (make-temp-file nil nil nil content)) | 97 | (file (make-temp-file nil nil nil content)) |
| 103 | (anchor (format "+ %s" (llm-tools--hl-file-line-hash file 1))) | 98 | (anchor (llm-tools--hl-file-line-hash file 1)) |
| 104 | (patch (format "@@ %s\n%s\n~NEW" file anchor))) | 99 | (patch (format "@@ %s\n+ %s\n~NEW" file anchor))) |
| 105 | (unwind-protect | 100 | (unwind-protect |
| 106 | (progn | 101 | (progn |
| 107 | (llm-tools--hl-apply patch) | 102 | (llm-tools--hl-apply patch) |
| 108 | (let ((lines (llm-tools--hl-file-lines file))) | 103 | (should (equal (llm-tools--hl-file-lines file) '("A" "NEW" "B" "C")))) |
| 109 | (should (equal lines '("A" "NEW" "B" "C"))))) | ||
| 110 | (delete-file file)))) | 104 | (delete-file file)))) |
| 111 | 105 | ||
| 112 | (ert-deftest llm-tools--hl-apply-insert-before () | 106 | (ert-deftest llm-tools--hl-apply-insert-before () |
| 113 | (let* ((content "A\nB\nC\n") | 107 | (let* ((content "A\nB\nC\n") |
| 114 | (file (make-temp-file nil nil nil content)) | 108 | (file (make-temp-file nil nil nil content)) |
| 115 | (anchor (format "< %s" (llm-tools--hl-file-line-hash file 3))) | 109 | (anchor (llm-tools--hl-file-line-hash file 3)) |
| 116 | (patch (format "@@ %s\n%s\n~NEW" file anchor))) | 110 | (patch (format "@@ %s\n< %s\n~NEW" file anchor))) |
| 117 | (unwind-protect | 111 | (unwind-protect |
| 118 | (progn | 112 | (progn |
| 119 | (llm-tools--hl-apply patch) | 113 | (llm-tools--hl-apply patch) |
| 120 | (let ((lines (llm-tools--hl-file-lines file))) | 114 | (should (equal (llm-tools--hl-file-lines file) '("A" "B" "NEW" "C")))) |
| 121 | (should (equal lines '("A" "B" "NEW" "C"))))) | ||
| 122 | (delete-file file)))) | 115 | (delete-file file)))) |
| 123 | 116 | ||
| 124 | (ert-deftest llm-tools--hl-apply-append-to-eof () | 117 | (ert-deftest llm-tools--hl-apply-append-to-eof () |
| @@ -128,20 +121,18 @@ export function greet(name) { | |||
| 128 | (unwind-protect | 121 | (unwind-protect |
| 129 | (progn | 122 | (progn |
| 130 | (llm-tools--hl-apply patch) | 123 | (llm-tools--hl-apply patch) |
| 131 | (let ((lines (llm-tools--hl-file-lines file))) | 124 | (should (equal (llm-tools--hl-file-lines file) '("A" "B" "APPENDED")))) |
| 132 | (should (equal lines '("A" "B" "APPENDED"))))) | ||
| 133 | (delete-file file)))) | 125 | (delete-file file)))) |
| 134 | 126 | ||
| 135 | (ert-deftest llm-tools--hl-apply-delete () | 127 | (ert-deftest llm-tools--hl-apply-delete () |
| 136 | (let* ((content "A\nB\nC\n") | 128 | (let* ((content "A\nB\nC\n") |
| 137 | (file (make-temp-file nil nil nil content)) | 129 | (file (make-temp-file nil nil nil content)) |
| 138 | (anchor (llm-tools--hl-file-line-hash file 2)) | 130 | (anchor (llm-tools--hl-file-line-hash file 2)) |
| 139 | (patch (format "@@ %s\n- 2%s..2%s" file anchor anchor))) | 131 | (patch (format "@@ %s\n- %s..%s" file anchor anchor))) |
| 140 | (unwind-protect | 132 | (unwind-protect |
| 141 | (progn | 133 | (progn |
| 142 | (llm-tools--hl-apply patch) | 134 | (llm-tools--hl-apply patch) |
| 143 | (let ((lines (llm-tools--hl-file-lines file))) | 135 | (should (equal (llm-tools--hl-file-lines file) '("A" "C")))) |
| 144 | (should (equal lines '("A" "C"))))) | ||
| 145 | (delete-file file)))) | 136 | (delete-file file)))) |
| 146 | 137 | ||
| 147 | (ert-deftest llm-tools--hl-apply-blank-line () | 138 | (ert-deftest llm-tools--hl-apply-blank-line () |
| @@ -149,12 +140,11 @@ export function greet(name) { | |||
| 149 | (let* ((content "A\nB\nC\n") | 140 | (let* ((content "A\nB\nC\n") |
| 150 | (file (make-temp-file nil nil nil content)) | 141 | (file (make-temp-file nil nil nil content)) |
| 151 | (anchor (llm-tools--hl-file-line-hash file 2)) | 142 | (anchor (llm-tools--hl-file-line-hash file 2)) |
| 152 | (patch (format "@@ %s\n= 2%s..2%s" file anchor anchor))) | 143 | (patch (format "@@ %s\n= %s..%s" file anchor anchor))) |
| 153 | (unwind-protect | 144 | (unwind-protect |
| 154 | (progn | 145 | (progn |
| 155 | (llm-tools--hl-apply patch) | 146 | (llm-tools--hl-apply patch) |
| 156 | (let ((lines (llm-tools--hl-file-lines file))) | 147 | (should (equal (llm-tools--hl-file-lines file) '("A" "" "C")))) |
| 157 | (should (equal lines '("A" "" "C"))))) | ||
| 158 | (delete-file file)))) | 148 | (delete-file file)))) |
| 159 | 149 | ||
| 160 | (ert-deftest llm-tools--hl-apply-offset-tracking () | 150 | (ert-deftest llm-tools--hl-apply-offset-tracking () |
| @@ -163,7 +153,7 @@ export function greet(name) { | |||
| 163 | (file (make-temp-file nil nil nil content)) | 153 | (file (make-temp-file nil nil nil content)) |
| 164 | (a1 (llm-tools--hl-file-line-hash file 1)) | 154 | (a1 (llm-tools--hl-file-line-hash file 1)) |
| 165 | (a3 (llm-tools--hl-file-line-hash file 3)) | 155 | (a3 (llm-tools--hl-file-line-hash file 3)) |
| 166 | (patch (format "@@ %s\n+ 1%s\n~X\n~Y\n- 3%s..3%s" file a1 a3 a3))) | 156 | (patch (format "@@ %s\n+ %s\n~X\n~Y\n- %s..%s" file a1 a3 a3))) |
| 167 | (unwind-protect | 157 | (unwind-protect |
| 168 | (progn | 158 | (progn |
| 169 | (llm-tools--hl-apply patch) | 159 | (llm-tools--hl-apply patch) |
| @@ -177,7 +167,7 @@ export function greet(name) { | |||
| 177 | (file2 (make-temp-file nil nil nil "X\nY\n")) | 167 | (file2 (make-temp-file nil nil nil "X\nY\n")) |
| 178 | (a1 (llm-tools--hl-file-line-hash file1 1)) | 168 | (a1 (llm-tools--hl-file-line-hash file1 1)) |
| 179 | (a2 (llm-tools--hl-file-line-hash file2 2)) | 169 | (a2 (llm-tools--hl-file-line-hash file2 2)) |
| 180 | (patch (format "@@ %s\n+ 1%s\n~NEW1\n@@ %s\n= 2%s..2%s\n~NEW2" | 170 | (patch (format "@@ %s\n+ %s\n~NEW1\n@@ %s\n= %s..%s\n~NEW2" |
| 181 | file1 a1 file2 a2 a2))) | 171 | file1 a1 file2 a2 a2))) |
| 182 | (unwind-protect | 172 | (unwind-protect |
| 183 | (progn | 173 | (progn |
| @@ -192,7 +182,7 @@ export function greet(name) { | |||
| 192 | (let* ((content "A\nB\n") | 182 | (let* ((content "A\nB\n") |
| 193 | (file (make-temp-file nil nil nil content)) | 183 | (file (make-temp-file nil nil nil content)) |
| 194 | (a1 (llm-tools--hl-file-line-hash file 1)) | 184 | (a1 (llm-tools--hl-file-line-hash file 1)) |
| 195 | (patch (format "@@ %s\n= 1%s..1%s\n~ONE\n~TWO\n~THREE" file a1 a1))) | 185 | (patch (format "@@ %s\n= %s..%s\n~ONE\n~TWO\n~THREE" file a1 a1))) |
| 196 | (unwind-protect | 186 | (unwind-protect |
| 197 | (progn | 187 | (progn |
| 198 | (llm-tools--hl-apply patch) | 188 | (llm-tools--hl-apply patch) |
| @@ -292,29 +282,29 @@ export function greet(name) { | |||
| 292 | (unwind-protect | 282 | (unwind-protect |
| 293 | (progn | 283 | (progn |
| 294 | (should (string= (llm-tools--hl-file-line-hash file 1) | 284 | (should (string= (llm-tools--hl-file-line-hash file 1) |
| 295 | (llm-tools--hl-hash "first"))) | 285 | (concat "1" (llm-tools--hl-hash "first")))) |
| 296 | (should (string= (llm-tools--hl-file-line-hash file 2) | 286 | (should (string= (llm-tools--hl-file-line-hash file 2) |
| 297 | (llm-tools--hl-hash "second"))) | 287 | (concat "2" (llm-tools--hl-hash "second")))) |
| 298 | (should (string= (llm-tools--hl-file-line-hash file 3) | 288 | (should (string= (llm-tools--hl-file-line-hash file 3) |
| 299 | (llm-tools--hl-hash "third")))) | 289 | (concat "3" (llm-tools--hl-hash "third"))))) |
| 300 | (delete-file file)))) | 290 | (delete-file file)))) |
| 301 | 291 | ||
| 302 | ;; --- llm-tools--split-patch-sections --- | 292 | ;; --- llm-tools--split-patch-sections --- |
| 303 | (ert-deftest llm-tools--split-patch-sections-single-file-test () | 293 | (ert-deftest llm-tools--split-patch-sections-single-file-test () |
| 304 | "Test splitting a patch with one file section." | 294 | "Test splitting a patch with one file section." |
| 305 | (let ((patch "@@ foo.ts\n= 1vx..1vx\n~hello")) | 295 | (let ((patch "@@ foo.el\n= 1vx..1vx\n~hello")) |
| 306 | (let ((sections (llm-tools--split-patch-sections patch))) | 296 | (let ((sections (llm-tools--split-patch-sections patch))) |
| 307 | (should (= (length sections) 1)) | 297 | (should (= (length sections) 1)) |
| 308 | (should (string= (car (car sections)) "foo.ts")) | 298 | (should (string= (car (car sections)) "foo.el")) |
| 309 | (should (string-match-p "= 1vx" (cdr (car sections))))))) | 299 | (should (string-match-p "= 1vx" (cdr (car sections))))))) |
| 310 | 300 | ||
| 311 | (ert-deftest llm-tools--split-patch-sections-multi-file-test () | 301 | (ert-deftest llm-tools--split-patch-sections-multi-file-test () |
| 312 | "Test splitting a patch with multiple file sections." | 302 | "Test splitting a patch with multiple file sections." |
| 313 | (let ((patch "@@ a.ts\n+ 1vx\n~X\n@@ b.ts\n- 2in..2in")) | 303 | (let ((patch "@@ a.el\n+ 1vx\n~X\n@@ b.el\n- 2in..2in")) |
| 314 | (let ((sections (llm-tools--split-patch-sections patch))) | 304 | (let ((sections (llm-tools--split-patch-sections patch))) |
| 315 | (should (= (length sections) 2)) | 305 | (should (= (length sections) 2)) |
| 316 | (should (string= (car (car sections)) "a.ts")) | 306 | (should (string= (car (car sections)) "a.el")) |
| 317 | (should (string= (car (cadr sections)) "b.ts"))))) | 307 | (should (string= (car (cadr sections)) "b.el"))))) |
| 318 | 308 | ||
| 319 | (ert-deftest llm-tools--split-patch-sections-empty-test () | 309 | (ert-deftest llm-tools--split-patch-sections-empty-test () |
| 320 | "Test splitting an empty or invalid patch." | 310 | "Test splitting an empty or invalid patch." |
| @@ -324,7 +314,7 @@ export function greet(name) { | |||
| 324 | ;; --- llm-tools--hl-get-anchors --- | 314 | ;; --- llm-tools--hl-get-anchors --- |
| 325 | (ert-deftest llm-tools--hl-get-anchors-test () | 315 | (ert-deftest llm-tools--hl-get-anchors-test () |
| 326 | "Test extracting anchors from a patch." | 316 | "Test extracting anchors from a patch." |
| 327 | (let ((patch "@@ test.ts\n+ 4ei\n~X\n= 3gv..6be\n~Y\n- 5ff..5ff")) | 317 | (let ((patch "@@ test.el\n+ 4ei\n~X\n= 3gv..6be\n~Y\n- 5ff..5ff")) |
| 328 | (let ((anchors (llm-tools--hl-get-anchors patch))) | 318 | (let ((anchors (llm-tools--hl-get-anchors patch))) |
| 329 | (should (= (length anchors) 1)) | 319 | (should (= (length anchors) 1)) |
| 330 | (let ((file-anchors (cdr (car anchors)))) | 320 | (let ((file-anchors (cdr (car anchors)))) |
| @@ -335,7 +325,7 @@ export function greet(name) { | |||
| 335 | 325 | ||
| 336 | (ert-deftest llm-tools--hl-get-anchors-eof-bof-test () | 326 | (ert-deftest llm-tools--hl-get-anchors-eof-bof-test () |
| 337 | "Test that EOF/BOF anchors are extracted correctly." | 327 | "Test that EOF/BOF anchors are extracted correctly." |
| 338 | (let ((patch "@@ test.ts\n+ EOF\n~X\n< BOF\n~Y")) | 328 | (let ((patch "@@ test.el\n+ EOF\n~X\n< BOF\n~Y")) |
| 339 | (let ((anchors (llm-tools--hl-get-anchors patch))) | 329 | (let ((anchors (llm-tools--hl-get-anchors patch))) |
| 340 | (let ((file-anchors (cdr (car anchors)))) | 330 | (let ((file-anchors (cdr (car anchors)))) |
| 341 | (should (member "EOF" file-anchors)) | 331 | (should (member "EOF" file-anchors)) |
| @@ -375,19 +365,19 @@ export function greet(name) { | |||
| 375 | ;; --- llm-tools--hl-group-by-file --- | 365 | ;; --- llm-tools--hl-group-by-file --- |
| 376 | (ert-deftest llm-tools--hl-group-by-file-test () | 366 | (ert-deftest llm-tools--hl-group-by-file-test () |
| 377 | "Test grouping sections by file path." | 367 | "Test grouping sections by file path." |
| 378 | (let* ((sec1 (cons "a.ts" "body1")) | 368 | (let* ((sec1 (cons "a.el" "body1")) |
| 379 | (sec2 (cons "b.ts" "body2")) | 369 | (sec2 (cons "b.el" "body2")) |
| 380 | (sec3 (cons "a.ts" "body3")) | 370 | (sec3 (cons "a.el" "body3")) |
| 381 | (sections (list sec1 sec2 sec3))) | 371 | (sections (list sec1 sec2 sec3))) |
| 382 | (let ((grouped (llm-tools--hl-group-by-file sections))) | 372 | (let ((grouped (llm-tools--hl-group-by-file sections))) |
| 383 | (let ((total 0)) | 373 | (let ((total 0)) |
| 384 | (dolist (g grouped) | 374 | (dolist (g grouped) |
| 385 | (cl-incf total (length (cdr g)))) | 375 | (cl-incf total (length (cdr g)))) |
| 386 | (should (= total 3))) | 376 | (should (= total 3))) |
| 387 | (let ((a-group (rassoc "a.ts" grouped))) | 377 | (let ((a-group (assoc "a.el" grouped))) |
| 388 | (should a-group) | 378 | (should a-group) |
| 389 | (should (= (length (cdr a-group)) 2))) | 379 | (should (= (length (cdr a-group)) 2))) |
| 390 | (let ((b-group (rassoc "b.ts" grouped))) | 380 | (let ((b-group (assoc "b.el" grouped))) |
| 391 | (should b-group) | 381 | (should b-group) |
| 392 | (should (= (length (cdr b-group)) 1)))))) | 382 | (should (= (length (cdr b-group)) 1)))))) |
| 393 | 383 | ||
| @@ -449,10 +439,10 @@ export function greet(name) { | |||
| 449 | "Test that malformed insert anchors are flagged." | 439 | "Test that malformed insert anchors are flagged." |
| 450 | (let ((op (make-hl-verify-op :type 'insert-after :anchor "bad" :payload '("x")))) | 440 | (let ((op (make-hl-verify-op :type 'insert-after :anchor "bad" :payload '("x")))) |
| 451 | (let ((errors (llm-tools--hl-validate-anchors (list op)))) | 441 | (let ((errors (llm-tools--hl-validate-anchors (list op)))) |
| 452 | (should (= (length errors) 1)))) | 442 | (should (> (length errors) 0)))) |
| 453 | (let ((op (make-hl-verify-op :type 'insert-after :anchor "" :payload '("x")))) | 443 | (let ((op (make-hl-verify-op :type 'insert-after :anchor "" :payload '("x")))) |
| 454 | (let ((errors (llm-tools--hl-validate-anchors (list op)))) | 444 | (let ((errors (llm-tools--hl-validate-anchors (list op)))) |
| 455 | (should (= (length errors) 1))))) | 445 | (should (> (length errors) 0))))) |
| 456 | 446 | ||
| 457 | (ert-deftest llm-tools--hl-validate-anchors-range-valid-test () | 447 | (ert-deftest llm-tools--hl-validate-anchors-range-valid-test () |
| 458 | "Test valid range anchors pass validation." | 448 | "Test valid range anchors pass validation." |
| @@ -474,18 +464,18 @@ export function greet(name) { | |||
| 474 | ;; --- llm-tools--hl-verify-section --- | 464 | ;; --- llm-tools--hl-verify-section --- |
| 475 | (ert-deftest llm-tools--hl-verify-section-clean-test () | 465 | (ert-deftest llm-tools--hl-verify-section-clean-test () |
| 476 | "Test that a well-formed section produces no errors." | 466 | "Test that a well-formed section produces no errors." |
| 477 | (let ((section (cons "test.ts" "\n+ 4ei\n~payload"))) | 467 | (let ((section (cons "test.el" "\n+ 4ei\n~payload"))) |
| 478 | (should (= (length (llm-tools--hl-verify-section section)) 0)))) | 468 | (should (= (length (llm-tools--hl-verify-section section)) 0)))) |
| 479 | 469 | ||
| 480 | (ert-deftest llm-tools--hl-verify-section-missing-payload-test () | 470 | (ert-deftest llm-tools--hl-verify-section-missing-payload-test () |
| 481 | "Test that an insert without payload produces an error." | 471 | "Test that an insert without payload produces an error." |
| 482 | (let ((section (cons "test.ts" "\n+ 4ei"))) | 472 | (let ((section (cons "test.el" "\n+ 4ei"))) |
| 483 | (should (> (length (llm-tools--hl-verify-section section)) 0)))) | 473 | (should (> (length (llm-tools--hl-verify-section section)) 0)))) |
| 484 | 474 | ||
| 485 | ;; --- llm-tools--hl-verify-structure --- | 475 | ;; --- llm-tools--hl-verify-structure --- |
| 486 | (ert-deftest llm-tools--hl-verify-structure-clean-test () | 476 | (ert-deftest llm-tools--hl-verify-structure-clean-test () |
| 487 | "Test that a structurally valid patch produces no errors." | 477 | "Test that a structurally valid patch produces no errors." |
| 488 | (let ((patch "@@ test.ts\n+ 4ei\n~payload")) | 478 | (let ((patch "@@ test.el\n+ 4ei\n~payload")) |
| 489 | (should (= (length (llm-tools--hl-verify-structure patch)) 0)))) | 479 | (should (= (length (llm-tools--hl-verify-structure patch)) 0)))) |
| 490 | 480 | ||
| 491 | (ert-deftest llm-tools--hl-verify-structure-errors-test () | 481 | (ert-deftest llm-tools--hl-verify-structure-errors-test () |
| @@ -502,8 +492,8 @@ export function greet(name) { | |||
| 502 | "Test that anchors matching file content return t." | 492 | "Test that anchors matching file content return t." |
| 503 | (let* ((content "hello\nworld\n") | 493 | (let* ((content "hello\nworld\n") |
| 504 | (file (make-temp-file nil nil nil content)) | 494 | (file (make-temp-file nil nil nil content)) |
| 505 | (h1 (llm-tools--hl-file-line-hash file 1)) | 495 | (anchor (llm-tools--hl-file-line-hash file 1)) |
| 506 | (patch (format "@@ %s\n+ %s\n~new" file h1))) | 496 | (patch (format "@@ %s\n+ %s\n~new" file anchor))) |
| 507 | (unwind-protect | 497 | (unwind-protect |
| 508 | (let ((results (llm-tools--hl-verify-anchors patch))) | 498 | (let ((results (llm-tools--hl-verify-anchors patch))) |
| 509 | (should (= (length results) 1)) | 499 | (should (= (length results) 1)) |
| @@ -545,8 +535,8 @@ export function greet(name) { | |||
| 545 | "Test that a valid patch returns empty string." | 535 | "Test that a valid patch returns empty string." |
| 546 | (let* ((content "hello\nworld\n") | 536 | (let* ((content "hello\nworld\n") |
| 547 | (file (make-temp-file nil nil nil content)) | 537 | (file (make-temp-file nil nil nil content)) |
| 548 | (h1 (llm-tools--hl-file-line-hash file 1)) | 538 | (anchor (llm-tools--hl-file-line-hash file 1)) |
| 549 | (patch (format "@@ %s\n+ %s\n~new" file h1))) | 539 | (patch (format "@@ %s\n+ %s\n~new" file anchor))) |
| 550 | (unwind-protect | 540 | (unwind-protect |
| 551 | (should (string= (llm-tools--hl-verify patch) "")) | 541 | (should (string= (llm-tools--hl-verify patch) "")) |
| 552 | (delete-file file)))) | 542 | (delete-file file)))) |
| @@ -575,8 +565,8 @@ export function greet(name) { | |||
| 575 | "Test that a valid patch is applied successfully via llm-tools--hl-edit." | 565 | "Test that a valid patch is applied successfully via llm-tools--hl-edit." |
| 576 | (let* ((content "hello\nworld\n") | 566 | (let* ((content "hello\nworld\n") |
| 577 | (file (make-temp-file nil nil nil content)) | 567 | (file (make-temp-file nil nil nil content)) |
| 578 | (h1 (llm-tools--hl-file-line-hash file 1)) | 568 | (anchor (llm-tools--hl-file-line-hash file 1)) |
| 579 | (patch (format "@@ %s\n+ %s\n~new" file h1))) | 569 | (patch (format "@@ %s\n+ %s\n~new" file anchor))) |
| 580 | (unwind-protect | 570 | (unwind-protect |
| 581 | (let ((result (llm-tools--hl-edit patch))) | 571 | (let ((result (llm-tools--hl-edit patch))) |
| 582 | (should (string-match "Finished" result)) | 572 | (should (string-match "Finished" result)) |
diff --git a/llm-tools-hl.el b/llm-tools-hl.el index 61c4919..1854acb 100644 --- a/llm-tools-hl.el +++ b/llm-tools-hl.el | |||
| @@ -96,8 +96,9 @@ Each element is a line number and two-character hash, like `1vx'." | |||
| 96 | 96 | ||
| 97 | (defun llm-tools--hl-file-line-hash (file n) | 97 | (defun llm-tools--hl-file-line-hash (file n) |
| 98 | "Return the hash of the Nth line in FILE." | 98 | "Return the hash of the Nth line in FILE." |
| 99 | (let ((lines (llm-tools--hl-file-lines file))) | 99 | (let* ((lines (llm-tools--hl-file-lines file)) |
| 100 | (llm-tools--hl-hash (elt lines (1- n))))) | 100 | (bigram (llm-tools--hl-hash (elt lines (1- n))))) |
| 101 | (format "%d%s" n bigram))) | ||
| 101 | 102 | ||
| 102 | ;;;; Diff Validation | 103 | ;;;; Diff Validation |
| 103 | ;; TODO this should also validate the operators (e.g. any invalid | 104 | ;; TODO this should also validate the operators (e.g. any invalid |
| @@ -116,26 +117,28 @@ Each element is a line number and two-character hash, like `1vx'." | |||
| 116 | Skips comment lines and blank lines." | 117 | Skips comment lines and blank lines." |
| 117 | (let (ops op) | 118 | (let (ops op) |
| 118 | (dolist (line (string-lines section-body)) | 119 | (dolist (line (string-lines section-body)) |
| 119 | (when (string-match-p "\\S-" line) | 120 | (let ((trimmed (string-trim line))) |
| 120 | (let ((ch (substring line 0 1))) | 121 | (when (and (not (string-empty-p trimmed)) |
| 121 | (pcase ch | 122 | (not (string-prefix-p "#" trimmed))) |
| 122 | ("#" nil) | 123 | (let ((ch (substring trimmed 0 1))) |
| 123 | ("~" | 124 | (pcase ch |
| 124 | (when op | 125 | ("~" |
| 125 | (setf (hl-verify-op-payload op) | 126 | (when op |
| 126 | (append (hl-verify-op-payload op) (list (substring line 1)))))) | 127 | (setf (hl-verify-op-payload op) |
| 127 | (_ | 128 | (append (hl-verify-op-payload op) |
| 128 | (when op (push op ops)) | 129 | (list (substring trimmed 1)))))) |
| 129 | (setq op (make-hl-verify-op | 130 | (_ |
| 130 | :type (pcase ch | 131 | (when op (push op ops)) |
| 131 | ("+" 'insert-after) | 132 | (setq op (make-hl-verify-op |
| 132 | ("<" 'insert-before) | 133 | :type (pcase ch |
| 133 | ("-" 'delete) | 134 | ("+" 'insert-after) |
| 134 | ("=" 'replace)) | 135 | ("<" 'insert-before) |
| 135 | :anchor (substring line 2) | 136 | ("-" 'delete) |
| 136 | :raw line)))))) | 137 | ("=" 'replace)) |
| 138 | :anchor (string-trim (substring trimmed 1)) | ||
| 139 | :raw trimmed)))))))) | ||
| 137 | (when op (push op ops)) | 140 | (when op (push op ops)) |
| 138 | (nreverse ops)))) | 141 | (nreverse ops))) |
| 139 | 142 | ||
| 140 | (defun llm-tools--hl-validate-no-payload-before-op (ops) | 143 | (defun llm-tools--hl-validate-no-payload-before-op (ops) |
| 141 | "Check that no payload lines appear before the first op." | 144 | "Check that no payload lines appear before the first op." |
| @@ -149,7 +152,7 @@ Skips comment lines and blank lines." | |||
| 149 | (let (errors) | 152 | (let (errors) |
| 150 | (dolist (op ops) | 153 | (dolist (op ops) |
| 151 | (when (and (memq (hl-verify-op-type op) '(insert-after insert-before)) | 154 | (when (and (memq (hl-verify-op-type op) '(insert-after insert-before)) |
| 152 | (not (hl-verify-op-payload op))) | 155 | (null (hl-verify-op-payload op))) |
| 153 | (push (format "Insert operation (%s) has no payload lines following it" | 156 | (push (format "Insert operation (%s) has no payload lines following it" |
| 154 | (hl-verify-op-type op)) | 157 | (hl-verify-op-type op)) |
| 155 | errors))) | 158 | errors))) |
| @@ -174,30 +177,41 @@ Skips comment lines and blank lines." | |||
| 174 | (when (and anchor | 177 | (when (and anchor |
| 175 | (not (string= anchor "EOF")) | 178 | (not (string= anchor "EOF")) |
| 176 | (not (string= anchor "BOF"))) | 179 | (not (string= anchor "BOF"))) |
| 177 | (unless (and (>= (length anchor) 3) | 180 | (if (or (< (length anchor) 3) |
| 178 | (string-match-p "\\`[0-9]" anchor)) | 181 | (not (string-match-p "^[0-9]" anchor))) |
| 179 | (push (format "Invalid anchor %S (expected LINEHASH or EOF/BOF)" anchor) | 182 | (push (format "Invalid anchor %S (expected LINEHASH like '5ff' or EOF/BOF)" anchor) |
| 180 | errors)))) | 183 | errors)))) |
| 181 | ((or 'delete 'replace) | 184 | ((or 'delete 'replace) |
| 182 | (let ((parts (split-string anchor "\\.\\."))) | 185 | (let ((parts (split-string anchor "\\.\\."))) |
| 183 | (unless (= (length parts) 2) | 186 | (if (not (= (length parts) 2)) |
| 184 | (push (format "Invalid range %S (expected A..B)" anchor) | 187 | (push (format "Invalid range %S (expected A..B)" anchor) errors) |
| 185 | errors)) | 188 | (dolist (part parts) |
| 186 | (dolist (part parts) | 189 | (when (or (< (length part) 3) |
| 187 | (unless (and (>= (length part) 3) | 190 | (not (string-match-p "^[0-9]" part))) |
| 188 | (string-match-p "\\`[0-9]" part)) | 191 | (push (format "Invalid anchor %S in range (expected numeric line anchor like '5ff')" part) |
| 189 | (push (format "Invalid anchor %S in range (expected numeric line anchor)" part) | 192 | errors)))))))) |
| 190 | errors))))))) | 193 | errors) |
| 191 | errors))) | 194 | (nreverse errors))) |
| 192 | 195 | ||
| 193 | (defun llm-tools--hl-verify-section (section) | 196 | (defun llm-tools--hl-verify-section (section) |
| 194 | "Validate a single SECTION. Returns a list of error strings." | 197 | "Validate a single SECTION. Returns a list of error strings." |
| 195 | (let ((ops (llm-tools--hl-parse-section-ops (cdr section)))) | 198 | (let ((ops (llm-tools--hl-parse-section-ops (cdr section)))) |
| 196 | (append | 199 | (let (errors) |
| 197 | (llm-tools--hl-validate-no-payload-before-op ops) | 200 | ;; Inserts must have payload |
| 198 | (llm-tools--hl-validate-insert-has-payload ops) | 201 | (dolist (op ops) |
| 199 | (llm-tools--hl-validate-delete-no-payload ops) | 202 | (when (and (memq (hl-verify-op-type op) '(insert-after insert-before)) |
| 200 | (llm-tools--hl-validate-anchors ops)))) | 203 | (null (hl-verify-op-payload op))) |
| 204 | (push (format "Insert operation (%s) has no payload lines following it" | ||
| 205 | (hl-verify-op-type op)) | ||
| 206 | errors))) | ||
| 207 | ;; Deletes must not have payload | ||
| 208 | (dolist (op ops) | ||
| 209 | (when (and (eq (hl-verify-op-type op) 'delete) | ||
| 210 | (hl-verify-op-payload op)) | ||
| 211 | (push "Delete operation (-) must not have payload lines" errors))) | ||
| 212 | ;; Anchor validation | ||
| 213 | (setq errors (append errors (llm-tools--hl-validate-anchors ops))) | ||
| 214 | (nreverse errors)))) | ||
| 201 | 215 | ||
| 202 | (defun llm-tools--hl-verify-structure (patch) | 216 | (defun llm-tools--hl-verify-structure (patch) |
| 203 | "Validate the structural integrity of PATCH. | 217 | "Validate the structural integrity of PATCH. |
