chore(lockfileless): Added rest of ManifestKinds (#301)

This PR introduces the rest of the manifest kinds we support to the `ManifestKind` type's possible values. - [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
semgrep · Oct 24, 2024 · 2bc0e2b · 2bc0e2b
1 parent 5149397
commit 2bc0e2b
Show file tree

Hide file tree

Showing 6 changed files with 402 additions and 3 deletions.
diff --git a/semgrep_output_v1.atd b/semgrep_output_v1.atd
@@ -1815,8 +1815,20 @@ type output_format = [
 
 (* TODO: merge with Manifest_kind.ml *)
 type manifest_kind = [
+  | RequirementsIn (* Manifest file for pip *)
+  | PackageJson
+  | Gemfile
+  | GoMod
+  | CargoToml
   | PomXml
   | BuildGradle
+  | ComposerJson
+  | NugetManifestJson
+  | PubspecYaml
+  | PackageSwift
+  | MixExs
+  | Pipfile
+  | PyprojectToml
 ]
 
 type manifest = {

diff --git a/semgrep_output_v1.jsonschema b/semgrep_output_v1.jsonschema
diff --git a/semgrep_output_v1.proto b/semgrep_output_v1.proto
diff --git a/semgrep_output_v1.py b/semgrep_output_v1.py