Skip to content

Commit 3ebae45

Browse files
authored
chore: Add new Manifest.kind for build.gradle.kts files (#406)
- [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.50.0. See https://atd.readthedocs.io/en/latest/atdgen-tutorial.html#smooth-protocol-upgrades Note that the types related to the semgrep-core JSON output or the semgrep-core RPC do not need to be backward compatible! - [ ] Any accompanying changes in `semgrep-proprietary` are approved and ready to merge once this PR is merged
1 parent 875f9eb commit 3ebae45

File tree

7 files changed

+44
-8
lines changed

7 files changed

+44
-8
lines changed

semgrep_output_v1.atd

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2493,6 +2493,8 @@ type manifest_kind
24932493
(* A Gradle build.gradle build file
24942494
* https://docs.gradle.org/current/userguide/build_file_basics.html *)
24952495
| BuildGradle
2496+
(* A Gradle build.gradle.kts file, which uses Kotlin instead of Groovy. *)
2497+
| BuildGradleKts
24962498
(* A Gradle settings.gradle file
24972499
* https://docs.gradle.org/current/userguide/settings_file_basics.html.
24982500
* Multi-project builds are defined by settings.gradle rather than

semgrep_output_v1.jsonschema

Lines changed: 1 addition & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

semgrep_output_v1.proto

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

semgrep_output_v1.py

Lines changed: 20 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

semgrep_output_v1.ts

Lines changed: 5 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

semgrep_output_v1_j.ml

Lines changed: 11 additions & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

semgrep_output_v1_j.mli

Lines changed: 4 additions & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)