Merge pull request #435 from viperproject/nklose/better-snippets

Improve snippets
viperproject · Feb 16, 2024 · 612c58a · 612c58a
2 parents f19820d + d665e61
commit 612c58a
Showing 1 changed file with 18 additions and 4 deletions.
diff --git a/client/snippets/viper.json b/client/snippets/viper.json
@@ -7,19 +7,33 @@
         "description": "Access permission"
     },
     "Precondition": {
-        "prefix": "precondition",
+        "prefix": "requires",
         "body": [
-            "requires ${1:true)"
+            "requires ${1:true}"
         ],
         "description": "Precondition"
     },
     "Postcondition": {
-        "prefix": "postcondition|ensures",
+        "prefix": "ensures",
         "body": [
-            "ensures $(1:true)"
+            "ensures ${1:true}"
         ],
         "description": "Postcondition"
     },
+    "Decreases": {
+        "prefix": "decreases",
+        "body": [
+            "decreases"
+        ],
+        "description": "Decreases clause"
+    },
+    "Invariant": {
+        "prefix": "invariant",
+        "body": [
+            "invariant ${1:true}"
+        ],
+        "description": "Loop invariant"
+    },
     "Method": {
         "prefix": "method",
         "body": [