Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 57 lines (52 sloc) 1.823 kb
490fa97 updated for version 7.2a
vimboss authored
1 " Vim syntax file
0dcecca updated for version 7.2-000
vimboss authored
2 " Language: ProMeLa
490fa97 updated for version 7.2a
vimboss authored
3 " Maintainer: Maurizio Tranchero <maurizio.tranchero@polito.it> - <maurizio.tranchero@gmail.com>
4 " First Release: Mon Oct 16 08:49:46 CEST 2006
0dcecca updated for version 7.2-000
vimboss authored
5 " Last Change: Thu Aug 7 21:22:48 CEST 2008
6 " Version: 0.5
490fa97 updated for version 7.2a
vimboss authored
7
8 " For version 5.x: Clear all syntax items
9 " For version 6.x: Quit when a syntax file was already loaded
10 if version < 600
11 syntax clear
12 elseif exists("b:current_syntax")
13 finish
14 endif
15
16 " case is significant
17 " syn case ignore
18 " ProMeLa Keywords
19 syn keyword promelaStatement proctype if else while chan do od fi break goto unless
20 syn keyword promelaStatement active assert label atomic
21 syn keyword promelaFunctions skip timeout run
0dcecca updated for version 7.2-000
vimboss authored
22 syn keyword promelaTodo contained TODO
490fa97 updated for version 7.2a
vimboss authored
23 " ProMeLa Types
24 syn keyword promelaType bit bool byte short int
25 " Operators and special characters
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 promelaOperator ">"
36 syn match promelaOperator "<="
37 syn match promelaOperator ">="
38 syn match promelaSpecial "\["
39 syn match promelaSpecial "\]"
40 syn match promelaSpecial ";"
41 syn match promelaSpecial "::"
0dcecca updated for version 7.2-000
vimboss authored
42 " ProMeLa Comments
43 syn region promelaComment start="/\*" end="\*/" contains=promelaTodo,@Spell
44 syn match promelaComment "//.*" contains=promelaTodo,@Spell
490fa97 updated for version 7.2a
vimboss authored
45
46 " Class Linking
0dcecca updated for version 7.2-000
vimboss authored
47 hi def link promelaStatement Statement
48 hi def link promelaType Type
49 hi def link promelaComment Comment
50 hi def link promelaOperator Type
51 hi def link promelaSpecial Special
52 hi def link promelaFunctions Special
490fa97 updated for version 7.2a
vimboss authored
53 hi def link promelaString String
0dcecca updated for version 7.2-000
vimboss authored
54 hi def link promelaTodo Todo
490fa97 updated for version 7.2a
vimboss authored
55
56 let b:current_syntax = "promela"
Something went wrong with that request. Please try again.