diff options
author | kyessenov <unknown> | 2010-06-21 17:15:29 +0000 |
---|---|---|
committer | kyessenov <unknown> | 2010-06-21 17:15:29 +0000 |
commit | aad763551606106bb3f6899c6fd3e42a393c1cb1 (patch) | |
tree | f7c2b84060c7e7ad56112d5bd35784b4fcd29dd9 /Util | |
parent | 5cf9650688fab9e5b04a60d94724de0287780217 (diff) |
A simple highlighting syntax file for Vim.
Diffstat (limited to 'Util')
-rw-r--r-- | Util/vim/syntax/dafny.vim | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/Util/vim/syntax/dafny.vim b/Util/vim/syntax/dafny.vim new file mode 100644 index 00000000..8e1eb9b1 --- /dev/null +++ b/Util/vim/syntax/dafny.vim @@ -0,0 +1,33 @@ +" Vim syntax file +" Language: Dafny +" Author: Kuat Yessenov (6/7/2010) + +syntax clear +syntax case match +syntax keyword dafnyFunction function method +syntax keyword dafnyTypeDef class datatype +syntax keyword dafnyConditional if then else match case +syntax keyword dafnyRepeat for while +syntax keyword dafnyKeyword var ghost assert returns null return call static +syntax keyword dafnyType int bool seq set +syntax keyword dafnyLogic requires ensures modifies reads decreases invariant +syntax keyword dafnyOperator forall exists old + +syntax region dafnyString start=/"/ skip=/\\"/ end=/"/ + +syntax match dafnyComment /\/\/.*/ + +syntax match dafnyOperator "==>" +syntax match dafnyOperator "<==>" +syntax match dafnyOperator "::" + +highlight link dafnyFunction Function +highlight link dafnyTypeDef Typedef +highlight link dafnyConditional Conditional +highlight link dafnyRepeat Repeat +highlight link dafnyKeyword Keyword +highlight link dafnyType Type +highlight link dafnyLogic Debug +highlight link dafnyComment Comment +highlight link dafnyString String +highlight link dafnyOperator Operator |