From 99b37f1b3f345c21ef91c4a00d0812074ebc1283 Mon Sep 17 00:00:00 2001 From: Mikael Mayer Date: Wed, 25 Sep 2024 16:56:13 -0400 Subject: [PATCH] Support for @-syntax for attributes --- syntaxes/Dafny.tmLanguage | 43 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) diff --git a/syntaxes/Dafny.tmLanguage b/syntaxes/Dafny.tmLanguage index 9980a951..30570749 100644 --- a/syntaxes/Dafny.tmLanguage +++ b/syntaxes/Dafny.tmLanguage @@ -262,6 +262,49 @@ patterns + + begin + @([\w'\?]+)\( + beginCaptures + + 1 + + name + entity.other.attribute-name.dafny + + + end + \) + name + attribute + patterns + + + include + #code + + + + + + begin + @([\w'\?]+)(?!\() + beginCaptures + + 1 + + name + entity.other.attribute-name.dafny + + + end + (?<=[\w'\?]+) + name + attribute + patterns + + + begin \{:(\w+)