13577c6faSBram Moolenaar" Vim syntax file 23577c6faSBram Moolenaar" Language: ProMeLa 33577c6faSBram Moolenaar" Maintainer: Maurizio Tranchero <[email protected]> - <[email protected]> 43577c6faSBram Moolenaar" First Release: Mon Oct 16 08:49:46 CEST 2006 5ed39e1d5SBram Moolenaar" Last Change: Thu Aug 7 21:22:48 CEST 2008 6ed39e1d5SBram Moolenaar" Version: 0.5 73577c6faSBram Moolenaar 8*89bcfda6SBram Moolenaar" quit when a syntax file was already loaded 9*89bcfda6SBram Moolenaarif exists("b:current_syntax") 103577c6faSBram Moolenaar finish 113577c6faSBram Moolenaarendif 123577c6faSBram Moolenaar 133577c6faSBram Moolenaar" case is significant 143577c6faSBram Moolenaar" syn case ignore 153577c6faSBram Moolenaar" ProMeLa Keywords 163577c6faSBram Moolenaarsyn keyword promelaStatement proctype if else while chan do od fi break goto unless 173577c6faSBram Moolenaarsyn keyword promelaStatement active assert label atomic 183577c6faSBram Moolenaarsyn keyword promelaFunctions skip timeout run 19ed39e1d5SBram Moolenaarsyn keyword promelaTodo contained TODO 203577c6faSBram Moolenaar" ProMeLa Types 213577c6faSBram Moolenaarsyn keyword promelaType bit bool byte short int 223577c6faSBram Moolenaar" Operators and special characters 233577c6faSBram Moolenaarsyn match promelaOperator "!" 243577c6faSBram Moolenaarsyn match promelaOperator "?" 253577c6faSBram Moolenaarsyn match promelaOperator "->" 263577c6faSBram Moolenaarsyn match promelaOperator "=" 273577c6faSBram Moolenaarsyn match promelaOperator "+" 283577c6faSBram Moolenaarsyn match promelaOperator "*" 293577c6faSBram Moolenaarsyn match promelaOperator "/" 303577c6faSBram Moolenaarsyn match promelaOperator "-" 313577c6faSBram Moolenaarsyn match promelaOperator "<" 323577c6faSBram Moolenaarsyn match promelaOperator ">" 333577c6faSBram Moolenaarsyn match promelaOperator "<=" 343577c6faSBram Moolenaarsyn match promelaOperator ">=" 353577c6faSBram Moolenaarsyn match promelaSpecial "\[" 363577c6faSBram Moolenaarsyn match promelaSpecial "\]" 373577c6faSBram Moolenaarsyn match promelaSpecial ";" 383577c6faSBram Moolenaarsyn match promelaSpecial "::" 39ed39e1d5SBram Moolenaar" ProMeLa Comments 40ed39e1d5SBram Moolenaarsyn region promelaComment start="/\*" end="\*/" contains=promelaTodo,@Spell 41ed39e1d5SBram Moolenaarsyn match promelaComment "//.*" contains=promelaTodo,@Spell 423577c6faSBram Moolenaar 433577c6faSBram Moolenaar" Class Linking 443577c6faSBram Moolenaarhi def link promelaStatement Statement 453577c6faSBram Moolenaarhi def link promelaType Type 463577c6faSBram Moolenaarhi def link promelaComment Comment 473577c6faSBram Moolenaarhi def link promelaOperator Type 483577c6faSBram Moolenaarhi def link promelaSpecial Special 493577c6faSBram Moolenaarhi def link promelaFunctions Special 503577c6faSBram Moolenaarhi def link promelaString String 51ed39e1d5SBram Moolenaarhi def link promelaTodo Todo 523577c6faSBram Moolenaar 533577c6faSBram Moolenaarlet b:current_syntax = "promela" 54