Mercurial > vim

comparison runtime/syntax/promela.vim @ 1702:5232b9862f23 v7.2 v7.2.000

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated for version 7.2-000
author vimboss
date Sat, 09 Aug 2008 17:55:22 +0000
parents 73fe8baea242
children 43efa4f5a8ea
comparison
equal deleted inserted replaced
1701:4577899b8ff1 1702:5232b9862f23
1 " Vim syntax file 1 " Vim syntax file
2 " Language: ProMeLa 2 " Language: ProMeLa
3 " Maintainer: Maurizio Tranchero <maurizio.tranchero@polito.it> - <maurizio.tranchero@gmail.com> 3 " Maintainer: Maurizio Tranchero <maurizio.tranchero@polito.it> - <maurizio.tranchero@gmail.com>
4 " First Release: Mon Oct 16 08:49:46 CEST 2006 4 " First Release: Mon Oct 16 08:49:46 CEST 2006
5 " Last Change: Sat May 16 12:20:43 CEST 2007 5 " Last Change: Thu Aug 7 21:22:48 CEST 2008
6 " Version: 0.2 6 " Version: 0.5
7 7
8 " For version 5.x: Clear all syntax items 8 " For version 5.x: Clear all syntax items
9 " For version 6.x: Quit when a syntax file was already loaded 9 " For version 6.x: Quit when a syntax file was already loaded
10 if version < 600 10 if version < 600
11 syntax clear 11 syntax clear
17 " syn case ignore 17 " syn case ignore
18 " ProMeLa Keywords 18 " ProMeLa Keywords
19 syn keyword promelaStatement proctype if else while chan do od fi break goto unless 19 syn keyword promelaStatement proctype if else while chan do od fi break goto unless
20 syn keyword promelaStatement active assert label atomic 20 syn keyword promelaStatement active assert label atomic
21 syn keyword promelaFunctions skip timeout run 21 syn keyword promelaFunctions skip timeout run
22 " check what it is the following 22 syn keyword promelaTodo contained TODO
23 " ProMeLa Types 23 " ProMeLa Types
24 syn keyword promelaType bit bool byte short int 24 syn keyword promelaType bit bool byte short int
25 " ProMeLa Regions
26 syn region promelaComment start="\/\/" end="$" keepend
27 syn region promelaString start="\"" end="\""
28 " syn region promelaComment start="//" end="$" contains=ALL
29 " syn region promelaComment start="/\*" end="\*/" contains=ALL
30 " ProMeLa Comment
31 syn match promelaComment "\/.*$"
32 syn match promelaComment "/\*.*\*/"
33 " Operators and special characters 25 " Operators and special characters
34 syn match promelaOperator "!" 26 syn match promelaOperator "!"
35 syn match promelaOperator "?" 27 syn match promelaOperator "?"
36 syn match promelaOperator "->" 28 syn match promelaOperator "->"
37 syn match promelaOperator "=" 29 syn match promelaOperator "="
45 syn match promelaOperator ">=" 37 syn match promelaOperator ">="
46 syn match promelaSpecial "\[" 38 syn match promelaSpecial "\["
47 syn match promelaSpecial "\]" 39 syn match promelaSpecial "\]"
48 syn match promelaSpecial ";" 40 syn match promelaSpecial ";"
49 syn match promelaSpecial "::" 41 syn match promelaSpecial "::"
42 " ProMeLa Comments
43 syn region promelaComment start="/\*" end="\*/" contains=promelaTodo,@Spell
44 syn match promelaComment "//.*" contains=promelaTodo,@Spell
50 45
51 " Class Linking 46 " Class Linking
52 hi def link promelaStatement Statement 47 hi def link promelaStatement Statement
53 hi def link promelaType Type 48 hi def link promelaType Type
54 hi def link promelaComment Comment 49 hi def link promelaComment Comment
55 hi def link promelaOperator Type 50 hi def link promelaOperator Type
56 hi def link promelaSpecial Special 51 hi def link promelaSpecial Special
57 hi def link promelaFunctions Special 52 hi def link promelaFunctions Special
58 hi def link promelaString String 53 hi def link promelaString String
54 hi def link promelaTodo Todo
59 55
60 let b:current_syntax = "promela" 56 let b:current_syntax = "promela"