?? b.vim
字號:
" 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 bclosesyn 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 matchif 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 NATURAL1syn 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=bIncludedsyn 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,bInParensyn 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 yetif 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 HiLinkendiflet current_syntax = "b"" vim: ts=8
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -