1" Vim syntax file 2" Language: ProMeLa 3" Maintainer: Maurizio Tranchero <[email protected]> - <[email protected]> 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 9if exists("b:current_syntax") 10 finish 11endif 12 13" case is significant 14" syn case ignore 15" ProMeLa Keywords 16syn keyword promelaStatement proctype if else while chan do od fi break goto unless 17syn keyword promelaStatement active assert label atomic 18syn keyword promelaFunctions skip timeout run 19syn keyword promelaTodo contained TODO 20" ProMeLa Types 21syn keyword promelaType bit bool byte short int 22" Operators and special characters 23syn match promelaOperator "!" 24syn match promelaOperator "?" 25syn match promelaOperator "->" 26syn match promelaOperator "=" 27syn match promelaOperator "+" 28syn match promelaOperator "*" 29syn match promelaOperator "/" 30syn match promelaOperator "-" 31syn match promelaOperator "<" 32syn match promelaOperator ">" 33syn match promelaOperator "<=" 34syn match promelaOperator ">=" 35syn match promelaSpecial "\[" 36syn match promelaSpecial "\]" 37syn match promelaSpecial ";" 38syn match promelaSpecial "::" 39" ProMeLa Comments 40syn region promelaComment start="/\*" end="\*/" contains=promelaTodo,@Spell 41syn match promelaComment "//.*" contains=promelaTodo,@Spell 42 43" Class Linking 44hi def link promelaStatement Statement 45hi def link promelaType Type 46hi def link promelaComment Comment 47hi def link promelaOperator Type 48hi def link promelaSpecial Special 49hi def link promelaFunctions Special 50hi def link promelaString String 51hi def link promelaTodo Todo 52 53let b:current_syntax = "promela" 54