From e67e5ac326301fb29cd3c95829e7cbe60f8e3bd6 Mon Sep 17 00:00:00 2001
From: Nicolas Klose <nicolas.klose@inf.ethz.ch>
Date: Wed, 24 Jan 2024 17:09:19 +0100
Subject: [PATCH] Added syntax highlighting for adt and decreases

---
 client/syntaxes/Viper.tmLanguage | 21 ++++++++++++++++++++-
 1 file changed, 20 insertions(+), 1 deletion(-)

diff --git a/client/syntaxes/Viper.tmLanguage b/client/syntaxes/Viper.tmLanguage
index 3d70dce6..574beb52 100644
--- a/client/syntaxes/Viper.tmLanguage
+++ b/client/syntaxes/Viper.tmLanguage
@@ -254,6 +254,25 @@
             <key>name</key>
             <string>meta.domain.silver</string>
           </dict>
+          <dict>
+            <key>captures</key>
+            <dict>
+              <key>1</key>
+              <dict>
+                <key>name</key>
+                <string>keyword.declaration.silver</string>
+              </dict>
+              <key>2</key>
+              <dict>
+                <key>name</key>
+                <string>entity.name.function.silver</string>
+              </dict>
+            </dict>
+            <key>match</key>
+            <string>\b(adt)\b</string>
+            <key>name</key>
+            <string>meta.adt.silver</string>
+          </dict>
         </array>
       </dict>
       <key>keywords</key>
@@ -316,7 +335,7 @@
           </dict>
           <dict>
             <key>match</key>
-            <string>\b(requires|ensures|invariant)\b</string>
+            <string>\b(requires|ensures|invariant|decreases)\b</string>
             <key>name</key>
             <string>keyword.other.verification.contracts.silver</string>
           </dict>