Mercurial > vim

annotate runtime/syntax/murphi.vim @ 12068:e1b34958f118 v8.0.0914

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
patch 8.0.0914: highlight attributes are always combined commit https://github.com/vim/vim/commit/0cd2a94a4030f6bd12eaec44db92db108e33c913 Author: Bram Moolenaar <Bram@vim.org> Date: Sat Aug 12 15:12:30 2017 +0200 patch 8.0.0914: highlight attributes are always combined Problem: Highlight attributes are always combined. Solution: Add the 'nocombine' value to replace attributes instead of combining them. (scauligi, closes #1963)
author Christian Brabandt <cb@256bit.org>
date Sat, 12 Aug 2017 15:15:04 +0200
parents 49c12c93abf3
children 8d76a56861ec
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
11659
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
1 " Vim syntax file
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
2 " Language: Murphi model checking language
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
3 " Maintainer: Matthew Fernandez <matthew.fernandez@gmail.com>
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
4 " Last Change: 2017 May 3
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
5 " Version: 2
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
6 " Remark: Originally authored by Diego Ongaro <ongaro@cs.stanford.edu>
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
7
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
8 if version < 600
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
9 syntax clear
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
10 elseif exists("b:current_syntax")
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
11 finish
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
12 endif
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
13
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
14 " Keywords are case insensitive.
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
15 " Keep these in alphabetical order.
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
16 syntax case ignore
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
17 syn keyword murphiKeyword alias
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
18 syn keyword murphiStructure array
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
19 syn keyword murphiKeyword assert
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
20 syn keyword murphiKeyword begin
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
21 syn keyword murphiType boolean
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
22 syn keyword murphiKeyword by
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
23 syn keyword murphiLabel case
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
24 syn keyword murphiKeyword clear
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
25 syn keyword murphiLabel const
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
26 syn keyword murphiRepeat do
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
27 syn keyword murphiConditional else
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
28 syn keyword murphiConditional elsif
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
29 syn keyword murphiKeyword end
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
30 syn keyword murphiKeyword endalias
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
31 syn keyword murphiRepeat endexists
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
32 syn keyword murphiRepeat endfor
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
33 syn keyword murphiRepeat endforall
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
34 syn keyword murphiKeyword endfunction
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
35 syn keyword murphiConditional endif
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
36 syn keyword murphiKeyword endprocedure
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
37 syn keyword murphiStructure endrecord
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
38 syn keyword murphiKeyword endrule
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
39 syn keyword murphiKeyword endruleset
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
40 syn keyword murphiKeyword endstartstate
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
41 syn keyword murphiConditional endswitch
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
42 syn keyword murphiRepeat endwhile
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
43 syn keyword murphiStructure enum
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
44 syn keyword murphiKeyword error
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
45 syn keyword murphiRepeat exists
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
46 syn keyword murphiBoolean false
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
47 syn keyword murphiRepeat for
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
48 syn keyword murphiRepeat forall
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
49 syn keyword murphiKeyword function
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
50 syn keyword murphiConditional if
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
51 syn keyword murphiKeyword in
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
52 syn keyword murphiKeyword interleaved
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
53 syn keyword murphiLabel invariant
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
54 syn keyword murphiFunction ismember
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
55 syn keyword murphiFunction isundefined
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
56 syn keyword murphiKeyword log
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
57 syn keyword murphiStructure of
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
58 syn keyword murphiType multiset
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
59 syn keyword murphiFunction multisetadd
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
60 syn keyword murphiFunction multisetcount
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
61 syn keyword murphiFunction multisetremove
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
62 syn keyword murphiFunction multisetremovepred
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
63 syn keyword murphiKeyword procedure
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
64 syn keyword murphiKeyword process
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
65 syn keyword murphiKeyword program
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
66 syn keyword murphiKeyword put
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
67 syn keyword murphiStructure record
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
68 syn keyword murphiKeyword return
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
69 syn keyword murphiLabel rule
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
70 syn keyword murphiLabel ruleset
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
71 syn keyword murphiType scalarset
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
72 syn keyword murphiLabel startstate
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
73 syn keyword murphiConditional switch
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
74 syn keyword murphiConditional then
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
75 syn keyword murphiRepeat to
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
76 syn keyword murphiKeyword traceuntil
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
77 syn keyword murphiBoolean true
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
78 syn keyword murphiLabel type
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
79 syn keyword murphiKeyword undefine
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
80 syn keyword murphiStructure union
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
81 syn keyword murphiLabel var
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
82 syn keyword murphiRepeat while
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
83
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
84 syn keyword murphiTodo contained todo xxx fixme
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
85 syntax case match
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
86
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
87 " Integers.
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
88 syn match murphiNumber "\<\d\+\>"
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
89
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
90 " Operators and special characters.
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
91 syn match murphiOperator "[\+\-\*\/%&|=!<>:\?]\|\."
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
92 syn match murphiDelimiter "\(:[^=]\|[;,]\)"
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
93 syn match murphiSpecial "[()\[\]]"
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
94
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
95 " Double equal sign is a common error: use one equal sign for equality testing.
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
96 syn match murphiError "==[^>]"he=e-1
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
97 " Double && and || are errors.
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
98 syn match murphiError "&&\|||"
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
99
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
100 " Strings. This is defined so late so that it overrides previous matches.
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
101 syn region murphiString start=+"+ end=+"+
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
102
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
103 " Comments. This is defined so late so that it overrides previous matches.
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
104 syn region murphiComment start="--" end="$" contains=murphiTodo
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
105 syn region murphiComment start="/\*" end="\*/" contains=murphiTodo
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
106
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
107 " Link the rules to some groups.
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
108 highlight link murphiComment Comment
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
109 highlight link murphiString String
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
110 highlight link murphiNumber Number
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
111 highlight link murphiBoolean Boolean
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
112 highlight link murphiIdentifier Identifier
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
113 highlight link murphiFunction Function
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
114 highlight link murphiStatement Statement
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
115 highlight link murphiConditional Conditional
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
116 highlight link murphiRepeat Repeat
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
117 highlight link murphiLabel Label
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
118 highlight link murphiOperator Operator
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
119 highlight link murphiKeyword Keyword
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
120 highlight link murphiType Type
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
121 highlight link murphiStructure Structure
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
122 highlight link murphiSpecial Special
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
123 highlight link murphiDelimiter Delimiter
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
124 highlight link murphiError Error
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
125 highlight link murphiTodo Todo
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
126
49c12c93abf3 Updated runtime files and translations.
Christian Brabandt <cb@256bit.org>
parents:
diff changeset
127 let b:current_syntax = "murphi"