" Vim syntax file" Language:	B (A Formal Method with refinement and mathematical proof)" Maintainer:	Mathieu Clabaut <mathieu.clabaut@free.fr>" LastChange:	25 Apr 2001  " For version 5.x: Clear all syntax items" For version 6.x: Quit when a syntax file was already loadedif version < 600   syntax clearelseif exists("b:current_syntax")   finishendif  " A bunch of useful B keywordssyn 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 THEORYsyn keyword bLabel		CASE IN EITHER OR CHOICE DO OFsyn keyword bConditional	IF ELSE SELECT ELSIF THEN WHENsyn keyword bRepeat		WHILE FORsyn 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 unionsyn keyword bKeywords		LET VAR BE IN BEGIN END  POW POW1 FIN FIN1  PRE  SIGMA STRING UNION IS ANY WHEREsyn match bKeywords	"||" syn keyword bBoolean	TRUE FALSE bfalse btruesyn keyword bConstant	PI MAXINT MININT User_Pass PatchProver PatchProverH0 PatchProverB0 FLAT ARI DED SUB RESsyn 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 syn keyword bLogic	or notsyn match bLogic	"\&\|=>\|<=>" syn keyword cTodo contained	TODO FIXME XXX " String and Character constants" Highlight special characters (those which have a backslash) differentlysyn match bSpecial contained	"\\[0-7][0-7][0-7]\=\|\\."syn region bString		start=+"+ skip=+\\\\\|\\"+ end=+"+ contains=bSpecialsyn match bCharacter		"'[^\\]'"syn match bSpecialCharacter	"'\\.'"syn match bSpecialCharacter	"'\\[0-7][0-7]'"syn match bSpecialCharacter	"'\\[0-7][0-7][0-7]'" "catch errors caused by wrong parenthesissyn region bParen		transparent start='(' end=')' contains=ALLBUT,bParenError,bIncluded,bSpecial,bTodo,bUserLabel,bBitFieldsyn match bParenError		")"syn match bInParen contained	"[{}]" "integer number, or floating point number without a dot and with "f".syn case ignoresyn match bNumber		"\<[0-9]\+\>""syn match bIdentifier	"\<[a-z_][a-z0-9_]*\>"syn case match if exists("b_comment_strings")  " A comment can contain bString, bCharacter and bNumber.  " But a "*/" inside a bString in a bComment DOES end the comment!  So we  " need to use a special type of bString: bCommentString, which also ends on  " "*/", and sees a "*" at the start of the line as comment again.  " Unfortunately this doesn't very well work for // type of comments :-(  syntax match bCommentSkip	contained "^\s*\*\($\|\s\+\)"  syntax region bCommentString	contained start=+"+ skip=+\\\\\|\\"+ end=+"+ end=+\*/+me=s-1 contains=bSpecial,bCommentSkip  syntax region bComment2String	contained start=+"+ skip=+\\\\\|\\"+ end=+"+ end="$" contains=bSpecial  syntax region bComment	start="/\*" end="\*/" contains=bTodo,bCommentString,bCharacter,bNumber,bFloat  syntax region bComment	start="/\?\*" end="\*\?/" contains=bTodo,bCommentString,bCharacter,bNumber,bFloat  syntax match  bComment	"//.*" contains=bTodo,bComment2String,bCharacter,bNumberelse  syn region bComment		start="/\*" end="\*/" contains=bTodo  syn region bComment		start="/\?\*" end="\*\?/" contains=bTodo  syn match bComment		"//.*" contains=bTodoendifsyntax match bCommentError	"\*/" syn keyword bType		INT INTEGER BOOL NAT NATURAL NAT1 NATURAL1 syn region bPreCondit	start="^\s*#\s*\(if\>\|ifdef\>\|ifndef\>\|elif\>\|else\>\|endif\>\)" skip="\\$" end="$" contains=bComment,bString,bCharacter,bNumber,bCommentErrorsyn region bIncluded contained start=+"+ skip=+\\\\\|\\"+ end=+"+syn match bIncluded contained "<[^>]*>"syn match bInclude		"^\s*#\s*include\>\s*["<]" contains=bIncluded syn region bDefine		start="^\s*#\s*\(define\>\|undef\>\)" skip="\\$" end="$" contains=ALLBUT,bPreCondit,bIncluded,bInclude,bDefine,bInParensyn region bPreProc		start="^\s*#\s*\(pragma\>\|line\>\|warning\>\|warn\>\|error\>\)" skip="\\$" end="$" contains=ALLBUT,bPreCondit,bIncluded,bInclude,bDefine,bInParen  syn sync ccomment bComment minlines=10 " Define the default highlighting." For version 5.7 and earlier: only when not done already" For version 5.8 and later: only when an item doesn't have highlighting yet if version >= 508 || !exists("did_b_syntax_inits")   if version < 508      let did_b_syntax_inits = 1      command -nargs=+ HiLink hi link <args>   else      command -nargs=+ HiLink hi def link <args>   endif   " The default methods for highlighting.  Can be overridden later  HiLink bLabel	Label  HiLink bUserLabel	Label  HiLink bConditional	Conditional  HiLink bRepeat	Repeat  HiLink bLogic	Special  HiLink bCharacter	Character  HiLink bSpecialCharacter bSpecial  HiLink bNumber	Number  HiLink bFloat	Float  HiLink bOctalError	bError  HiLink bParenError	bError" HiLink bInParen	bError  HiLink bCommentError	bError  HiLink bBoolean	Identifier  HiLink bConstant	Identifier  HiLink bGuard	Identifier  HiLink bOperator	Operator  HiLink bKeywords	Operator  HiLink bOps		Identifier  HiLink bStructure	Structure  HiLink bStorageClass	StorageClass  HiLink bInclude	Include  HiLink bPreProc	PreProc  HiLink bDefine	Macro  HiLink bIncluded	bString  HiLink bError	Error  HiLink bStatement	Statement  HiLink bPreCondit	PreCondit  HiLink bType		Type  HiLink bCommentError	bError  HiLink bCommentString bString  HiLink bComment2String bString  HiLink bCommentSkip	bComment  HiLink bString	String  HiLink bComment	Comment  HiLink bSpecial	SpecialChar  HiLink bTodo		Todo  "hi link bIdentifier	Identifier  delcommand HiLinkendif let b:current_syntax = "b" " vim: ts=8