Mercurial > vim

comparison runtime/syntax/b.vim @ 7:3fc0f57ecb91 v7.0001

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated for version 7.0001
author vimboss
date Sun, 13 Jun 2004 20:20:40 +0000
parents
children e63691e7c504
comparison
equal deleted inserted replaced
6:c2daee826b8f 7:3fc0f57ecb91
1 " Vim syntax file
2 " Language: B (A Formal Method with refinement and mathematical proof)
3 " Maintainer: Mathieu Clabaut <mathieu.clabaut@free.fr>
4 " LastChange: 25 Apr 2001
5
6
7 " For version 5.x: Clear all syntax items
8 " For version 6.x: Quit when a syntax file was already loaded
9 if version < 600
10 syntax clear
11 elseif exists("b:current_syntax")
12 finish
13 endif
14
15
16 " A bunch of useful B keywords
17 syn keyword bStatement MACHINE 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
18 syn keyword bLabel CASE IN EITHER OR CHOICE DO OF
19 syn keyword bConditional IF ELSE SELECT ELSIF THEN WHEN
20 syn keyword bRepeat WHILE FOR
21 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
22 syn keyword bKeywords LET VAR BE IN BEGIN END POW POW1 FIN FIN1 PRE SIGMA STRING UNION IS ANY WHERE
23 syn match bKeywords "||"
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
30 syn match bLogic "\&\|=>\|<=>"
31
32 syn keyword cTodo contained TODO FIXME XXX
33
34 " String and Character constants
35 " Highlight special characters (those which have a backslash) differently
36 syn match bSpecial contained "\\[0-7][0-7][0-7]\=\|\\."
37 syn region bString start=+"+ skip=+\\\\\|\\"+ end=+"+ contains=bSpecial
38 syn match bCharacter "'[^\\]'"
39 syn match bSpecialCharacter "'\\.'"
40 syn match bSpecialCharacter "'\\[0-7][0-7]'"
41 syn match bSpecialCharacter "'\\[0-7][0-7][0-7]'"
42
43 "catch errors caused by wrong parenthesis
44 syn region bParen transparent start='(' end=')' contains=ALLBUT,bParenError,bIncluded,bSpecial,bTodo,bUserLabel,bBitField
45 syn match bParenError ")"
46 syn match bInParen contained "[{}]"
47
48 "integer number, or floating point number without a dot and with "f".
49 syn case ignore
50 syn match bNumber "\<[0-9]\+\>"
51 "syn match bIdentifier "\<[a-z_][a-z0-9_]*\>"
52 syn case match
53
54 if exists("b_comment_strings")
55 " A comment can contain bString, bCharacter and bNumber.
56 " But a "*/" inside a bString in a bComment DOES end the comment! So we
57 " need to use a special type of bString: bCommentString, which also ends on
58 " "*/", and sees a "*" at the start of the line as comment again.
59 " Unfortunately this doesn't very well work for // type of comments :-(
60 syntax match bCommentSkip contained "^\s*\*\($\|\s\+\)"
61 syntax region bCommentString contained start=+"+ skip=+\\\\\|\\"+ end=+"+ end=+\*/+me=s-1 contains=bSpecial,bCommentSkip
62 syntax region bComment2String contained start=+"+ skip=+\\\\\|\\"+ end=+"+ end="$" contains=bSpecial
63 syntax region bComment start="/\*" end="\*/" contains=bTodo,bCommentString,bCharacter,bNumber,bFloat
64 syntax region bComment start="/\?\*" end="\*\?/" contains=bTodo,bCommentString,bCharacter,bNumber,bFloat
65 syntax match bComment "//.*" contains=bTodo,bComment2String,bCharacter,bNumber
66 else
67 syn region bComment start="/\*" end="\*/" contains=bTodo
68 syn region bComment start="/\?\*" end="\*\?/" contains=bTodo
69 syn match bComment "//.*" contains=bTodo
70 endif
71 syntax match bCommentError "\*/"
72
73 syn keyword bType INT INTEGER BOOL NAT NATURAL NAT1 NATURAL1
74
75 syn region bPreCondit start="^\s*#\s*\(if\>\|ifdef\>\|ifndef\>\|elif\>\|else\>\|endif\>\)" skip="\\$" end="$" contains=bComment,bString,bCharacter,bNumber,bCommentError
76 syn region bIncluded contained start=+"+ skip=+\\\\\|\\"+ end=+"+
77 syn match bIncluded contained "<[^>]*>"
78 syn match bInclude "^\s*#\s*include\>\s*["<]" contains=bIncluded
79
80 syn region bDefine start="^\s*#\s*\(define\>\|undef\>\)" skip="\\$" end="$" contains=ALLBUT,bPreCondit,bIncluded,bInclude,bDefine,bInParen
81 syn region bPreProc start="^\s*#\s*\(pragma\>\|line\>\|warning\>\|warn\>\|error\>\)" skip="\\$" end="$" contains=ALLBUT,bPreCondit,bIncluded,bInclude,bDefine,bInParen
82
83
84 syn sync ccomment bComment minlines=10
85
86 " Define the default highlighting.
87 " For version 5.7 and earlier: only when not done already
88 " For version 5.8 and later: only when an item doesn't have highlighting yet
89
90 if version >= 508 || !exists("did_b_syntax_inits")
91 if version < 508
92 let did_b_syntax_inits = 1
93 command -nargs=+ HiLink hi link <args>
94 else
95 command -nargs=+ HiLink hi def link <args>
96 endif
97
98 " The default methods for highlighting. Can be overridden later
99 HiLink bLabel Label
100 HiLink bUserLabel Label
101 HiLink bConditional Conditional
102 HiLink bRepeat Repeat
103 HiLink bLogic Special
104 HiLink bCharacter Character
105 HiLink bSpecialCharacter bSpecial
106 HiLink bNumber Number
107 HiLink bFloat Float
108 HiLink bOctalError bError
109 HiLink bParenError bError
110 " HiLink bInParen bError
111 HiLink bCommentError bError
112 HiLink bBoolean Identifier
113 HiLink bConstant Identifier
114 HiLink bGuard Identifier
115 HiLink bOperator Operator
116 HiLink bKeywords Operator
117 HiLink bOps Identifier
118 HiLink bStructure Structure
119 HiLink bStorageClass StorageClass
120 HiLink bInclude Include
121 HiLink bPreProc PreProc
122 HiLink bDefine Macro
123 HiLink bIncluded bString
124 HiLink bError Error
125 HiLink bStatement Statement
126 HiLink bPreCondit PreCondit
127 HiLink bType Type
128 HiLink bCommentError bError
129 HiLink bCommentString bString
130 HiLink bComment2String bString
131 HiLink bCommentSkip bComment
132 HiLink bString String
133 HiLink bComment Comment
134 HiLink bSpecial SpecialChar
135 HiLink bTodo Todo
136 "hi link bIdentifier Identifier
137 delcommand HiLink
138 endif
139
140 let current_syntax = "b"
141
142 " vim: ts=8