Merge pull request #416 from viperproject/nklose/adt-decreases-highli…

…ghting Added syntax highlighting for adt and decreases
viperproject · Jan 25, 2024 · 55526b3 · 55526b3
2 parents efcec3a + 087838c
commit 55526b3
Showing 1 changed file with 20 additions and 1 deletion.
diff --git 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>