From 0e445f44021242a7586893a89ed89b7be80e8445 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Tue, 24 Nov 2015 17:36:01 +0100 Subject: [PATCH] Adds some basic snippets to mzn grammar --- snippets/language-mzn.cson | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 snippets/language-mzn.cson diff --git a/snippets/language-mzn.cson b/snippets/language-mzn.cson new file mode 100644 index 0000000..d997768 --- /dev/null +++ b/snippets/language-mzn.cson @@ -0,0 +1,19 @@ +'.source.mzn': + 'import globals': + 'prefix': 'glob' + 'body': 'include "globals.mzn";\n$1' + 'array declaration': + 'prefix': 'arr' + 'body': 'array[$1] of ${2:int}: $3;\n$4' + 'forall': + 'prefix': 'for' + 'body': 'forall($1) (\n\t$2\n)\n$3' + 'forall with in': + 'prefix': 'fori' + 'body': 'forall($1 in $2) (\n\t$3\n)\n$4' + 'sum': + 'prefix': 'sum' + 'body': 'sum($1) (\n\t$2\n)\n$3' + 'sum with in': + 'prefix': 'sumi' + 'body': 'sum($1 in $2) (\n\t$3\n)\n$4'