From f1eabbaa1b4ff1836d0ee8335b31d009203f3775 Mon Sep 17 00:00:00 2001 From: "Vito G. Graffagnino" Date: Tue, 30 Aug 2022 16:06:22 +0100 Subject: fixed zathura integration with texlab using nvim-texlabconfig --- luasnip_snippets/ada.json | 360 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 360 insertions(+) create mode 100644 luasnip_snippets/ada.json (limited to 'luasnip_snippets/ada.json') 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" + } +} -- cgit v1.2.3