promela.vim (1728B)
1 " Vim syntax file 2 " Language: ProMeLa 3 " Maintainer: Maurizio Tranchero <maurizio.tranchero@polito.it> - <maurizio.tranchero@gmail.com> 4 " First Release: Mon Oct 16 08:49:46 CEST 2006 5 " Last Change: Thu Aug 7 21:22:48 CEST 2008 6 " Version: 0.5 7 8 " quit when a syntax file was already loaded 9 if exists("b:current_syntax") 10 finish 11 endif 12 13 " case is significant 14 " syn case ignore 15 " ProMeLa Keywords 16 syn keyword promelaStatement proctype if else while chan do od fi break goto unless 17 syn keyword promelaStatement active assert label atomic 18 syn keyword promelaFunctions skip timeout run 19 syn keyword promelaTodo contained TODO 20 " ProMeLa Types 21 syn keyword promelaType bit bool byte short int 22 " Operators and special characters 23 syn match promelaOperator "!" 24 syn match promelaOperator "?" 25 syn match promelaOperator "->" 26 syn match promelaOperator "=" 27 syn match promelaOperator "+" 28 syn match promelaOperator "*" 29 syn match promelaOperator "/" 30 syn match promelaOperator "-" 31 syn match promelaOperator "<" 32 syn match promelaOperator ">" 33 syn match promelaOperator "<=" 34 syn match promelaOperator ">=" 35 syn match promelaSpecial "\[" 36 syn match promelaSpecial "\]" 37 syn match promelaSpecial ";" 38 syn match promelaSpecial "::" 39 " ProMeLa Comments 40 syn region promelaComment start="/\*" end="\*/" contains=promelaTodo,@Spell 41 syn match promelaComment "//.*" contains=promelaTodo,@Spell 42 43 " Class Linking 44 hi def link promelaStatement Statement 45 hi def link promelaType Type 46 hi def link promelaComment Comment 47 hi def link promelaOperator Type 48 hi def link promelaSpecial Special 49 hi def link promelaFunctions Special 50 hi def link promelaString String 51 hi def link promelaTodo Todo 52 53 let b:current_syntax = "promela"