Skip to content

Commit 2f2de99

Browse files
authored
add support for partial scanning (#297)
Closes [SMS-545](https://linear.app/semgrep/issue/SMS-545). More context in the ticket. This PR doesn't break semgrep's build and can be merged safely. - [x] I ran `make setup && make` to update the generated code after editing a `.atd` file (TODO: have a CI check) - [x] I made sure we're still backward compatible with old versions of the CLI. For example, the Semgrep backend need to still be able to *consume* data generated by Semgrep 1.17.0. See https://atd.readthedocs.io/en/latest/atdgen-tutorial.html#smooth-protocol-upgrades
1 parent 2351c5e commit 2f2de99

7 files changed

+7145
-6809
lines changed

semgrep_output_v1.atd

+10
Original file line numberDiff line numberDiff line change
@@ -1873,3 +1873,13 @@ type function_return
18731873
| RetResolveDependencies of (manifest * resolution_result) list
18741874
| RetDumpRulePartitions of bool
18751875
]
1876+
1877+
(* ----------------------------- *)
1878+
(* Partial scans. Experimental and for internal use only. *)
1879+
(* ----------------------------- *)
1880+
1881+
type partial_scan_result
1882+
<python decorator="dataclass(frozen=True)"> = [
1883+
| PartialScanOk of (ci_scan_results * ci_scan_complete)
1884+
| PartialScanError of ci_scan_failure
1885+
]

semgrep_output_v1.jsonschema

+30
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

semgrep_output_v1.proto

+1-1
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)