summaryrefslogtreecommitdiff
path: root/luasnip_snippets/ada.json
diff options
context:
space:
mode:
authorVito G. Graffagnino <vito@graffagnino.xyz>2022-08-30 16:06:22 +0100
committerVito G. Graffagnino <vito@graffagnino.xyz>2022-08-30 16:06:22 +0100
commitf1eabbaa1b4ff1836d0ee8335b31d009203f3775 (patch)
treebbe77eacaef8ab8a5999e517c3006973c9e3e44c /luasnip_snippets/ada.json
parent823302458ec6c53455a3f34674415c43ce6a3187 (diff)
fixed zathura integration with texlab using nvim-texlabconfig
Diffstat (limited to 'luasnip_snippets/ada.json')
-rw-r--r--luasnip_snippets/ada.json360
1 files changed, 360 insertions, 0 deletions
diff --git a/luasnip_snippets/ada.json b/luasnip_snippets/ada.json
new file mode 100644
index 0000000..2893309
--- /dev/null
+++ b/luasnip_snippets/ada.json
@@ -0,0 +1,360 @@
+{
+ "wi": {
+ "prefix": "wi",
+ "description": "with",
+ "body": "with $1;$0",
+ "luasnip": {
+ "priority": -50
+ }
+ },
+ "ent": {
+ "prefix": "ent",
+ "description": "entry ... when",
+ "body": [
+ "entry $1($2) when $3 is",
+ "begin",
+ "\t$0",
+ "end $1;"
+ ]
+ },
+ "task": {
+ "prefix": "task",
+ "description": "task",
+ "body": [
+ "task $1 is",
+ "\tentry $0",
+ "end $1;"
+ ]
+ },
+ "taskb": {
+ "prefix": "taskb",
+ "description": "task body",
+ "body": [
+ "task body $1 is",
+ "\t$2",
+ "begin",
+ "\t$0",
+ "end $1;"
+ ]
+ },
+ "acc": {
+ "prefix": "acc",
+ "description": "accept",
+ "body": [
+ "accept $1($2) do",
+ "\t$0",
+ "end $1;"
+ ]
+ },
+ "prot": {
+ "prefix": "prot",
+ "description": "protected type",
+ "body": [
+ "protected type $1($2) is",
+ "\t$0",
+ "end $1;"
+ ]
+ },
+ "prob": {
+ "prefix": "prob",
+ "description": "protected body",
+ "body": [
+ "protected body $1 is",
+ "\t$2",
+ "begin",
+ "\t$0",
+ "end $1;"
+ ]
+ },
+ "gen": {
+ "prefix": "gen",
+ "description": "generic type",
+ "body": [
+ "generic",
+ "\ttype $1 is $2;$0"
+ ]
+ },
+ "ty": {
+ "prefix": "ty",
+ "description": "type",
+ "body": "type $1 is $2;$0"
+ },
+ "tyd": {
+ "prefix": "tyd",
+ "description": "type with default value",
+ "body": [
+ "type $1 is $2",
+ "\twith Default_Value => $3;$0"
+ ]
+ },
+ "subty": {
+ "prefix": "subty",
+ "description": "subtype",
+ "body": "subtype $1 is $2;$0"
+ },
+ "dec": {
+ "prefix": "dec",
+ "description": "declare block",
+ "body": [
+ "declare",
+ "\t$1",
+ "begin",
+ "\t$0",
+ "end;"
+ ]
+ },
+ "decn": {
+ "prefix": "decn",
+ "description": "declare named block",
+ "body": [
+ "$1:",
+ "declare",
+ "\t$2",
+ "begin",
+ "\t$0",
+ "end $1;"
+ ]
+ },
+ "ifex": {
+ "prefix": "ifex",
+ "description": "if expression",
+ "body": "if $1 then $2 else $0"
+ },
+ "casex": {
+ "prefix": "casex",
+ "description": "case expression",
+ "body": [
+ "case $1 is",
+ "\twhen $2 => $3,$0"
+ ]
+ },
+ "fora": {
+ "prefix": "fora",
+ "description": "for all",
+ "body": "for all $1 ${2:in} $3 => $0"
+ },
+ "fors": {
+ "prefix": "fors",
+ "description": "for some",
+ "body": "for some $1 ${2:in} $3 => $0"
+ },
+ "if": {
+ "prefix": "if",
+ "description": "if",
+ "body": [
+ "if $1 then",
+ "\t$0",
+ "end if;"
+ ]
+ },
+ "ife": {
+ "prefix": "ife",
+ "description": "if ... else",
+ "body": [
+ "if $1 then",
+ "\t$2",
+ "else",
+ "\t$0",
+ "end if;"
+ ]
+ },
+ "el": {
+ "prefix": "el",
+ "description": "else",
+ "body": [
+ "else",
+ "\t$0"
+ ]
+ },
+ "eif": {
+ "prefix": "eif",
+ "description": "elsif",
+ "body": [
+ "elsif $1 then",
+ "\t$0"
+ ]
+ },
+ "wh": {
+ "prefix": "wh",
+ "description": "while",
+ "body": [
+ "while $1 loop",
+ "\t$0",
+ "end loop;"
+ ]
+ },
+ "nwh": {
+ "prefix": "nwh",
+ "description": "named while",
+ "body": [
+ "$1:",
+ "while $2 loop",
+ "\t$0",
+ "end loop $1;"
+ ]
+ },
+ "for": {
+ "prefix": "for",
+ "description": "for",
+ "body": [
+ "for ${1:I} in $2 loop",
+ "\t$0",
+ "end loop;"
+ ]
+ },
+ "fore": {
+ "prefix": "fore",
+ "description": "for each",
+ "body": [
+ "for $1 of $2 loop",
+ "\t$0",
+ "end loop;"
+ ]
+ },
+ "nfor": {
+ "prefix": "nfor",
+ "description": "named for",
+ "body": [
+ "$1:",
+ "for ${2:I} in $3 loop",
+ "\t$0",
+ "end loop $1;"
+ ]
+ },
+ "nfore": {
+ "prefix": "nfore",
+ "description": "named for each",
+ "body": [
+ "$1:",
+ "for $2 of $3 loop",
+ "\t$0",
+ "end loop $1;"
+ ]
+ },
+ "proc": {
+ "prefix": "proc",
+ "description": "procedure",
+ "body": [
+ "procedure $1($2) is",
+ "\t$3",
+ "begin",
+ "\t$0",
+ "end $1;"
+ ]
+ },
+ "procd": {
+ "prefix": "procd",
+ "description": "procedure declaration",
+ "body": "procedure $1;$0"
+ },
+ "fun": {
+ "prefix": "fun",
+ "description": "function",
+ "body": [
+ "function $1($2) return $3 is",
+ "\t$4",
+ "begin",
+ "\t$0",
+ "end $1;"
+ ]
+ },
+ "fune": {
+ "prefix": "fune",
+ "description": "expression function",
+ "body": [
+ "function $1 return $2 is",
+ "\t($3);$0"
+ ]
+ },
+ "fund": {
+ "prefix": "fund",
+ "description": "function declaration",
+ "body": "function $1 return $2;$0"
+ },
+ "ret": {
+ "prefix": "ret",
+ "description": "extended return",
+ "body": [
+ "return $1 do",
+ "\t$0",
+ "end return;"
+ ]
+ },
+ "rec": {
+ "prefix": "rec",
+ "description": "record",
+ "body": [
+ "record",
+ "\t$0",
+ "end record;"
+ ]
+ },
+ "case": {
+ "prefix": "case",
+ "description": "case",
+ "body": [
+ "case $1 is",
+ "\twhen $2 => $3;$0",
+ "end case;"
+ ]
+ },
+ "whe": {
+ "prefix": "whe",
+ "description": "when",
+ "body": "when $1 => $2;$0"
+ },
+ "wheo": {
+ "prefix": "wheo",
+ "description": "when others",
+ "body": "when others => $1;$0"
+ },
+ "lo": {
+ "prefix": "lo",
+ "description": "loop",
+ "body": [
+ "loop",
+ "\t$0",
+ "end loop;"
+ ]
+ },
+ "nlo": {
+ "prefix": "nlo",
+ "description": "named loop",
+ "body": [
+ "$1:",
+ "loop",
+ "\t$0",
+ "end loop $1;"
+ ]
+ },
+ "ex": {
+ "prefix": "ex",
+ "description": "exit when",
+ "body": "exit when $1;$0"
+ },
+ "put": {
+ "prefix": "put",
+ "description": "Ada.Text_IO.Put",
+ "body": "Ada.Text_IO.Put($1);$0"
+ },
+ "putl": {
+ "prefix": "putl",
+ "description": "Ada.Text_IO.Put_Line",
+ "body": "Ada.Text_IO.Put_Line($1);$0"
+ },
+ "get": {
+ "prefix": "get",
+ "description": "Ada.Text_IO.Get",
+ "body": "Ada.Text_IO.Get($1);$0"
+ },
+ "getl": {
+ "prefix": "getl",
+ "description": "Ada.Text_IO.Get_Line",
+ "body": "Ada.Text_IO.Get_Line($1);$0"
+ },
+ "newline": {
+ "prefix": "newline",
+ "description": "Ada.Text_IO.New_Line",
+ "body": "Ada.Text_IO.New_Line(${1:1});$0"
+ }
+}