vim: runtime/syntax/b.vim annotate

annotate runtime/syntax/b.vim @ 10051:46763b01cd9a

commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Author: Bram Moolenaar <Bram@vim.org> Date: Wed Aug 31 22:22:10 2016 +0200 Updated runtime files. Remove HiLink commands.

author	Christian Brabandt <cb@256bit.org>
date	Wed, 31 Aug 2016 22:30:08 +0200
parents	43efa4f5a8ea
children

rev	line source
7 3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	1 " Vim syntax file
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	2 " Language: B (A Formal Method with refinement and mathematical proof)
1620 73fe8baea242 updated for version 7.2a vimboss parents: 1121 diff changeset	3 " Maintainer: Mathieu Clabaut <mathieu.clabaut@gmail.com>
73fe8baea242 updated for version 7.2a vimboss parents: 1121 diff changeset	4 " Contributor: Csaba Hoch
73fe8baea242 updated for version 7.2a vimboss parents: 1121 diff changeset	5 " LastChange: 8 Dec 2007
7 3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	6
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	7
10048 43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5 Christian Brabandt <cb@256bit.org> parents: 1620 diff changeset	8 " quit when a syntax file was already loaded
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5 Christian Brabandt <cb@256bit.org> parents: 1620 diff changeset	9 if exists("b:current_syntax")
7 3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	10 finish
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	11 endif
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	12
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	13
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	14 " A bunch of useful B keywords
1620 73fe8baea242 updated for version 7.2a vimboss parents: 1121 diff changeset	15 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 3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	16 syn keyword bLabel CASE IN EITHER OR CHOICE DO OF
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	17 syn keyword bConditional IF ELSE SELECT ELSIF THEN WHEN
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	18 syn keyword bRepeat WHILE FOR
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	19 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
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	20 syn keyword bKeywords LET VAR BE IN BEGIN END POW POW1 FIN FIN1 PRE SIGMA STRING UNION IS ANY WHERE
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	21
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	22 syn keyword bBoolean TRUE FALSE bfalse btrue
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	23 syn keyword bConstant PI MAXINT MININT User_Pass PatchProver PatchProverH0 PatchProverB0 FLAT ARI DED SUB RES
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	24 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
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	25
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	26 syn keyword bLogic or not
1620 73fe8baea242 updated for version 7.2a vimboss parents: 1121 diff changeset	27 syn match bLogic "$!\\|#\\|%\\|&\\|+->>\\|+->\\|-->>\\|->>\\|-->\\|->\\|/:\\|/<:\\|/<<:\\|/=\\|/\\\\|/\|\\\\|::\\|:\\|;:\\|<+\\|<->\\|<--\\|<-\\|<:\\|<<:\\|<<\|\\|<=>\\|<\|\\|==\\|=>\\|>+>>\\|>->\\|>+>\\|\|\|\\|\|->$"
73fe8baea242 updated for version 7.2a vimboss parents: 1121 diff changeset	28 syn match bNothing /:=/
7 3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	29
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	30 syn keyword cTodo contained TODO FIXME XXX
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	31
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	32 " String and Character constants
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	33 " Highlight special characters (those which have a backslash) differently
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	34 syn match bSpecial contained "\\[0-7][0-7][0-7]\=\\|\\."
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	35 syn region bString start=+"+ skip=+\\\\\\|\\"+ end=+"+ contains=bSpecial
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	36 syn match bCharacter "'[^\\]'"
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	37 syn match bSpecialCharacter "'\\.'"
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	38 syn match bSpecialCharacter "'\\[0-7][0-7]'"
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	39 syn match bSpecialCharacter "'\\[0-7][0-7][0-7]'"
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	40
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	41 "catch errors caused by wrong parenthesis
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	42 syn region bParen transparent start='(' end=')' contains=ALLBUT,bParenError,bIncluded,bSpecial,bTodo,bUserLabel,bBitField
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	43 syn match bParenError ")"
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	44 syn match bInParen contained "[{}]"
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	45
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	46 "integer number, or floating point number without a dot and with "f".
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	47 syn case ignore
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	48 syn match bNumber "\<[0-9]\+\>"
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	49 "syn match bIdentifier "\<[a-z_][a-z0-9_]*\>"
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	50 syn case match
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	51
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	52 syn region bComment start="/\" end="\/" contains=bTodo
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	53 syn match bComment "//.*" contains=bTodo
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	54 syntax match bCommentError "\*/"
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	55
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	56 syn keyword bType INT INTEGER BOOL NAT NATURAL NAT1 NATURAL1
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	57
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	58 syn region bPreCondit start="^\s#\s$if\>\\|ifdef\>\\|ifndef\>\\|elif\>\\|else\>\\|endif\>$" skip="\\$" end="$" contains=bComment,bString,bCharacter,bNumber,bCommentError
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	59 syn region bIncluded contained start=+"+ skip=+\\\\\\|\\"+ end=+"+
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	60 syn match bIncluded contained "<[^>]*>"
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	61 syn match bInclude "^\s#\sinclude\>\s*["<]" contains=bIncluded
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	62
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	63 syn region bDefine start="^\s#\s$define\>\\|undef\>$" skip="\\$" end="$" contains=ALLBUT,bPreCondit,bIncluded,bInclude,bDefine,bInParen
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	64 syn region bPreProc start="^\s#\s$pragma\>\\|line\>\\|warning\>\\|warn\>\\|error\>$" skip="\\$" end="$" contains=ALLBUT,bPreCondit,bIncluded,bInclude,bDefine,bInParen
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	65
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	66 syn sync ccomment bComment minlines=10
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	67
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	68 " Define the default highlighting.
10048 43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5 Christian Brabandt <cb@256bit.org> parents: 1620 diff changeset	69 " Only when an item doesn't have highlighting yet
7 3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	70
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	71
10048 43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5 Christian Brabandt <cb@256bit.org> parents: 1620 diff changeset	72 " The default methods for highlighting. Can be overridden later
10051 46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	73 hi def link bLabel Label
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	74 hi def link bUserLabel Label
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	75 hi def link bConditional Conditional
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	76 hi def link bRepeat Repeat
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	77 hi def link bLogic Special
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	78 hi def link bCharacter Character
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	79 hi def link bSpecialCharacter bSpecial
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	80 hi def link bNumber Number
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	81 hi def link bFloat Float
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	82 hi def link bOctalError bError
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	83 hi def link bParenError bError
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	84 " hi def link bInParen bError
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	85 hi def link bCommentError bError
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	86 hi def link bBoolean Identifier
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	87 hi def link bConstant Identifier
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	88 hi def link bGuard Identifier
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	89 hi def link bOperator Operator
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	90 hi def link bKeywords Operator
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	91 hi def link bOps Identifier
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	92 hi def link bStructure Structure
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	93 hi def link bStorageClass StorageClass
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	94 hi def link bInclude Include
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	95 hi def link bPreProc PreProc
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	96 hi def link bDefine Macro
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	97 hi def link bIncluded bString
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	98 hi def link bError Error
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	99 hi def link bStatement Statement
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	100 hi def link bPreCondit PreCondit
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	101 hi def link bType Type
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	102 hi def link bCommentError bError
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	103 hi def link bCommentString bString
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	104 hi def link bComment2String bString
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	105 hi def link bCommentSkip bComment
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	106 hi def link bString String
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	107 hi def link bComment Comment
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	108 hi def link bSpecial SpecialChar
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c Christian Brabandt <cb@256bit.org> parents: 10048 diff changeset	109 hi def link bTodo Todo
10048 43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5 Christian Brabandt <cb@256bit.org> parents: 1620 diff changeset	110 "hi link bIdentifier Identifier
7 3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	111
1121 e63691e7c504 updated for version 7.1a vimboss parents: 7 diff changeset	112 let b:current_syntax = "b"
7 3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	113
3fc0f57ecb91 updated for version 7.0001 vimboss parents: diff changeset	114 " vim: ts=8

Mercurial > vim

annotate runtime/syntax/b.vim @ 10051:46763b01cd9a