|
7
|
1 " Vim syntax file
|
|
|
2 " Language: B (A Formal Method with refinement and mathematical proof)
|
|
1620
|
3 " Maintainer: Mathieu Clabaut <mathieu.clabaut@gmail.com>
|
|
|
4 " Contributor: Csaba Hoch
|
|
|
5 " LastChange: 8 Dec 2007
|
|
7
|
6
|
|
|
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
|
|
|
17 " A bunch of useful B keywords
|
|
1620
|
18 syn keyword bStatement MACHINE MODEL SEES OPERATIONS INCLUDES DEFINITIONS CONSTRAINTS CONSTANTS VARIABLES CONCRETE_CONSTANTS CONCRETE_VARIABLES ABSTRACT_CONSTANTS ABSTRACT_VARIABLES HIDDEN_CONSTANTS HIDDEN_VARIABLES ASSERT ASSERTIONS EXTENDS IMPLEMENTATION REFINEMENT IMPORTS USES INITIALISATION INVARIANT PROMOTES PROPERTIES REFINES SETS VALUES VARIANT VISIBLE_CONSTANTS VISIBLE_VARIABLES THEORY XLS THEOREMS LOCAL_OPERATIONS
|
|
7
|
19 syn keyword bLabel CASE IN EITHER OR CHOICE DO OF
|
|
|
20 syn keyword bConditional IF ELSE SELECT ELSIF THEN WHEN
|
|
|
21 syn keyword bRepeat WHILE FOR
|
|
|
22 syn keyword bOps bool card conc closure closure1 dom first fnc front not or id inter iseq iseq1 iterate last max min mod perm pred prj1 prj2 ran rel rev seq seq1 size skip succ tail union
|
|
|
23 syn keyword bKeywords LET VAR BE IN BEGIN END POW POW1 FIN FIN1 PRE SIGMA STRING UNION IS ANY WHERE
|
|
|
24
|
|
|
25 syn keyword bBoolean TRUE FALSE bfalse btrue
|
|
|
26 syn keyword bConstant PI MAXINT MININT User_Pass PatchProver PatchProverH0 PatchProverB0 FLAT ARI DED SUB RES
|
|
|
27 syn keyword bGuard binhyp band bnot bguard bsearch bflat bfresh bguardi bget bgethyp barith bgetresult bresult bgoal bmatch bmodr bnewv bnum btest bpattern bprintf bwritef bsubfrm bvrb blvar bcall bappend bclose
|
|
|
28
|
|
|
29 syn keyword bLogic or not
|
|
1620
|
30 syn match bLogic "\(!\|#\|%\|&\|+->>\|+->\|-->>\|->>\|-->\|->\|/:\|/<:\|/<<:\|/=\|/\\\|/|\\\|::\|:\|;:\|<+\|<->\|<--\|<-\|<:\|<<:\|<<|\|<=>\|<|\|==\|=>\|>+>>\|>->\|>+>\|||\||->\)"
|
|
|
31 syn match bNothing /:=/
|
|
7
|
32
|
|
|
33 syn keyword cTodo contained TODO FIXME XXX
|
|
|
34
|
|
|
35 " String and Character constants
|
|
|
36 " Highlight special characters (those which have a backslash) differently
|
|
|
37 syn match bSpecial contained "\\[0-7][0-7][0-7]\=\|\\."
|
|
|
38 syn region bString start=+"+ skip=+\\\\\|\\"+ end=+"+ contains=bSpecial
|
|
|
39 syn match bCharacter "'[^\\]'"
|
|
|
40 syn match bSpecialCharacter "'\\.'"
|
|
|
41 syn match bSpecialCharacter "'\\[0-7][0-7]'"
|
|
|
42 syn match bSpecialCharacter "'\\[0-7][0-7][0-7]'"
|
|
|
43
|
|
|
44 "catch errors caused by wrong parenthesis
|
|
|
45 syn region bParen transparent start='(' end=')' contains=ALLBUT,bParenError,bIncluded,bSpecial,bTodo,bUserLabel,bBitField
|
|
|
46 syn match bParenError ")"
|
|
|
47 syn match bInParen contained "[{}]"
|
|
|
48
|
|
|
49 "integer number, or floating point number without a dot and with "f".
|
|
|
50 syn case ignore
|
|
|
51 syn match bNumber "\<[0-9]\+\>"
|
|
|
52 "syn match bIdentifier "\<[a-z_][a-z0-9_]*\>"
|
|
|
53 syn case match
|
|
|
54
|
|
|
55 syn region bComment start="/\*" end="\*/" contains=bTodo
|
|
|
56 syn match bComment "//.*" contains=bTodo
|
|
|
57 syntax match bCommentError "\*/"
|
|
|
58
|
|
|
59 syn keyword bType INT INTEGER BOOL NAT NATURAL NAT1 NATURAL1
|
|
|
60
|
|
|
61 syn region bPreCondit start="^\s*#\s*\(if\>\|ifdef\>\|ifndef\>\|elif\>\|else\>\|endif\>\)" skip="\\$" end="$" contains=bComment,bString,bCharacter,bNumber,bCommentError
|
|
|
62 syn region bIncluded contained start=+"+ skip=+\\\\\|\\"+ end=+"+
|
|
|
63 syn match bIncluded contained "<[^>]*>"
|
|
|
64 syn match bInclude "^\s*#\s*include\>\s*["<]" contains=bIncluded
|
|
|
65
|
|
|
66 syn region bDefine start="^\s*#\s*\(define\>\|undef\>\)" skip="\\$" end="$" contains=ALLBUT,bPreCondit,bIncluded,bInclude,bDefine,bInParen
|
|
|
67 syn region bPreProc start="^\s*#\s*\(pragma\>\|line\>\|warning\>\|warn\>\|error\>\)" skip="\\$" end="$" contains=ALLBUT,bPreCondit,bIncluded,bInclude,bDefine,bInParen
|
|
|
68
|
|
|
69 syn sync ccomment bComment minlines=10
|
|
|
70
|
|
|
71 " Define the default highlighting.
|
|
|
72 " For version 5.7 and earlier: only when not done already
|
|
|
73 " For version 5.8 and later: only when an item doesn't have highlighting yet
|
|
|
74
|
|
|
75 if version >= 508 || !exists("did_b_syntax_inits")
|
|
|
76 if version < 508
|
|
|
77 let did_b_syntax_inits = 1
|
|
|
78 command -nargs=+ HiLink hi link <args>
|
|
|
79 else
|
|
|
80 command -nargs=+ HiLink hi def link <args>
|
|
|
81 endif
|
|
|
82
|
|
|
83 " The default methods for highlighting. Can be overridden later
|
|
|
84 HiLink bLabel Label
|
|
|
85 HiLink bUserLabel Label
|
|
|
86 HiLink bConditional Conditional
|
|
|
87 HiLink bRepeat Repeat
|
|
|
88 HiLink bLogic Special
|
|
|
89 HiLink bCharacter Character
|
|
|
90 HiLink bSpecialCharacter bSpecial
|
|
|
91 HiLink bNumber Number
|
|
|
92 HiLink bFloat Float
|
|
|
93 HiLink bOctalError bError
|
|
|
94 HiLink bParenError bError
|
|
|
95 " HiLink bInParen bError
|
|
|
96 HiLink bCommentError bError
|
|
|
97 HiLink bBoolean Identifier
|
|
|
98 HiLink bConstant Identifier
|
|
|
99 HiLink bGuard Identifier
|
|
|
100 HiLink bOperator Operator
|
|
|
101 HiLink bKeywords Operator
|
|
|
102 HiLink bOps Identifier
|
|
|
103 HiLink bStructure Structure
|
|
|
104 HiLink bStorageClass StorageClass
|
|
|
105 HiLink bInclude Include
|
|
|
106 HiLink bPreProc PreProc
|
|
|
107 HiLink bDefine Macro
|
|
|
108 HiLink bIncluded bString
|
|
|
109 HiLink bError Error
|
|
|
110 HiLink bStatement Statement
|
|
|
111 HiLink bPreCondit PreCondit
|
|
|
112 HiLink bType Type
|
|
|
113 HiLink bCommentError bError
|
|
|
114 HiLink bCommentString bString
|
|
|
115 HiLink bComment2String bString
|
|
|
116 HiLink bCommentSkip bComment
|
|
|
117 HiLink bString String
|
|
|
118 HiLink bComment Comment
|
|
|
119 HiLink bSpecial SpecialChar
|
|
|
120 HiLink bTodo Todo
|
|
|
121 "hi link bIdentifier Identifier
|
|
|
122 delcommand HiLink
|
|
|
123 endif
|
|
|
124
|
|
1121
|
125 let b:current_syntax = "b"
|
|
7
|
126
|
|
|
127 " vim: ts=8
|
