Skip to content

Commit

Permalink
Support for @-syntax for attributes
Browse files Browse the repository at this point in the history
  • Loading branch information
@MikaelMayer
MikaelMayer committed Sep 25, 2024
1 parent 542c1c0 commit 99b37f1
Showing 1 changed file with 43 additions and 0 deletions.
43 changes: 43 additions & 0 deletions syntaxes/Dafny.tmLanguage
View file
Original file line number Diff line number Diff line change
Expand Up @@ -262,6 +262,49 @@
<dict>
<key>patterns</key>
<array>
<dict>
<key>begin</key>
<string>@([\w'\?]+)\(</string>
<key>beginCaptures</key>
<dict>
<key>1</key>
<dict>
<key>name</key>
<string>entity.other.attribute-name.dafny</string>
</dict>
</dict>
<key>end</key>
<string>\)</string>
<key>name</key>
<string>attribute</string>
<key>patterns</key>
<array>
<dict>
<key>include</key>
<string>#code</string>
</dict>
</array>
</dict>

<dict>
<key>begin</key>
<string>@([\w'\?]+)(?!\()</string>
<key>beginCaptures</key>
<dict>
<key>1</key>
<dict>
<key>name</key>
<string>entity.other.attribute-name.dafny</string>
</dict>
</dict>
<key>end</key>
<string>(?<=[\w'\?]+)</string>
<key>name</key>
<string>attribute</string>
<key>patterns</key>
<array>
</array>
</dict>
<dict>
<key>begin</key>
<string>\{:(\w+)</string>
Expand Down

0 comments on commit 99b37f1

Please sign in to comment.