Syntax file for Chalice.

1 files changed, 44 insertions, 0 deletions

diff --git a/Util/vim/syntax/chalice.vim b/Util/vim/syntax/chalice.vim
new file mode 100644
index 00000000..2b95d7e4
--- /dev/null
+++ b/Util/vim/syntax/chalice.vim
@@ -0,0 +1,44 @@
+" Vim syntax file
+" Language: Chalice
+" Author: Kuat Yessenov
+" Date: 7/14/2010
+
+syntax clear
+syntax case match
+syntax keyword chaliceFunction function method predicate
+syntax keyword chaliceTypeDef class channel module
+syntax keyword chaliceConditional if then else 
+syntax keyword chaliceRepeat foreach while
+syntax keyword chaliceStatement assert assume call reorder share unshare acquire release lock rd downgrade free fold unfold fork join wait signal send receive 
+syntax keyword chaliceKeyword external var ghost returns where const new between and above below waitlevel lockbottom this result holds
+syntax keyword chaliceType int bool seq token
+syntax keyword chaliceLogic invariant requires ensures lockchange
+syntax keyword chaliceOperator forall exists old fresh old credit acc unfolding in eval ite rd
+syntax keyword chaliceBoolean true false
+  
+syntax region chaliceString start=/"/ skip=/\\"/ end=/"/
+
+syntax match chaliceComment /\/\/.*/
+syntax region chaliceComment start="/\*" end="\*/"
+
+syntax match chaliceNumber /\d\+\>/
+syntax match chaliceIdentifier /\<\w\+\>/
+
+syntax match chaliceOperator "==>"
+syntax match chaliceOperator "<==>"
+syntax match chaliceOperator ":="
+syntax match chaliceOperator "<<"
+
+highlight link chaliceFunction Function
+highlight link chaliceTypeDef Typedef
+highlight link chaliceConditional Conditional
+highlight link chaliceRepeat Repeat
+highlight link chaliceKeyword Keyword
+highlight link chaliceType Type
+highlight link chaliceLogic Debug
+highlight link chaliceComment Comment
+highlight link chaliceString String
+highlight link chaliceNumber Number
+highlight link chaliceOperator Operator
+highlight link chaliceStatement Statement
+highlight link chaliceBoolean Boolean