Skip to content

Commit 8c781d2

Browse files
authored
feat: add support for move on aptos (#259)
Support for Move language on Aptos --- - [x] I ran `make setup && make` to update the generated code after editing a `.atd` file (TODO: have a CI check) - [ ] 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 9102031 commit 8c781d2

File tree

4 files changed

+45
-0
lines changed

4 files changed

+45
-0
lines changed

Language.ml

+17
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,7 @@ type t =
2323
| Kotlin
2424
| Lisp
2525
| Lua
26+
| Move_on_aptos
2627
| Ocaml
2728
| Php
2829
| Promql
@@ -354,6 +355,22 @@ let list = [
354355
shebangs = [{|lua|}];
355356
tags = [];
356357
};
358+
(*
359+
Move language with Aptos flavor
360+
*)
361+
{
362+
id = Move_on_aptos;
363+
id_string = "move_on_aptos";
364+
name = "Move on Aptos";
365+
keys = [{|move_on_aptos|}];
366+
exts = [{|.move|}];
367+
maturity = Develop;
368+
example_ext = None;
369+
excluded_exts = [];
370+
reverse_exts = None;
371+
shebangs = [];
372+
tags = [];
373+
};
357374
{
358375
id = Ocaml;
359376
id_string = "ocaml";

Language.mli

+1
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,7 @@ type t =
2323
| Kotlin
2424
| Lisp
2525
| Lua
26+
| Move_on_aptos
2627
| Ocaml
2728
| Php
2829
| Promql

generate.py

+9
Original file line numberDiff line numberDiff line change
@@ -401,6 +401,15 @@ def to_json(self):
401401
maturity=Maturity.ALPHA,
402402
shebangs=["lua"]
403403
),
404+
Language(
405+
comment="Move language with Aptos flavor",
406+
id_="move_on_aptos",
407+
name="Move on Aptos",
408+
keys=["move_on_aptos"],
409+
exts=[".move"],
410+
maturity=Maturity.DEVELOP,
411+
shebangs=[]
412+
),
404413
Language(
405414
comment="",
406415
id_="ocaml",

lang.json

+18
Original file line numberDiff line numberDiff line change
@@ -417,6 +417,24 @@
417417
"is_target_language": true,
418418
"tags": []
419419
},
420+
{
421+
"comment": "Move language with Aptos flavor",
422+
"id": "move_on_aptos",
423+
"name": "Move on Aptos",
424+
"keys": [
425+
"move_on_aptos"
426+
],
427+
"maturity": "develop",
428+
"exts": [
429+
".move"
430+
],
431+
"example_ext": null,
432+
"excluded_exts": [],
433+
"reverse_exts": null,
434+
"shebangs": [],
435+
"is_target_language": true,
436+
"tags": []
437+
},
420438
{
421439
"id": "ocaml",
422440
"name": "OCaml",

0 commit comments

Comments
 (0)