Mercurial > vim

annotate runtime/syntax/splint.vim @ 10093:7598d04404af

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag v7.4.2317 for changeset d7846e9fbf653eab1e4c425a901c1636363e7bcd
author Christian Brabandt <cb@256bit.org>
date Sat, 03 Sep 2016 19:15:06 +0200
parents 46763b01cd9a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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: splint (C with lclint/splint Annotations)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
3 " Maintainer: Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
4 " Splint Home: http://www.splint.org/
2034
7bc41231fbc7 Update runtime files.
Bram Moolenaar <bram@zimbu.org>
parents: 7
diff changeset
5 " Last Change: $Date: 2004/06/13 20:08:47 $
7bc41231fbc7 Update runtime files.
Bram Moolenaar <bram@zimbu.org>
parents: 7
diff changeset
6 " $Revision: 1.1 $
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
8 " Note: Splint annotated files are not detected by default.
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
9 " If you want to use this file for highlighting C code,
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
10 " please make sure splint.vim is sourced instead of c.vim,
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
11 " for example by putting
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
12 " /* vim: set filetype=splint : */
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
13 " at the end of your code or something like
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
14 " au! BufRead,BufNewFile *.c setfiletype splint
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
15 " in your vimrc file or filetype.vim
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
16
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
17
10048
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 2034
diff changeset
18 " quit when a syntax file was already loaded
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 2034
diff changeset
19 if exists("b:current_syntax")
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
20 finish
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
21 endif
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
22
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
23 " Read the C syntax to start with
10048
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 2034
diff changeset
24 runtime! syntax/c.vim
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
25
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
26
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
27 " FIXME: uses and changes several clusters defined in c.vim
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
28 " so watch for changes there
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
29
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
30 " TODO: make a little more grammar explicit
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
31 " match flags with hyphen and underscore notation
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
32 " match flag expanded forms
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
33 " accept other comment char than @
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
34
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
35 syn case match
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
36 " splint annotations (taken from 'splint -help annotations')
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
37 syn match splintStateAnnot contained "\(pre\|post\):\(only\|shared\|owned\|dependent\|observer\|exposed\|isnull\|notnull\)"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
38 syn keyword splintSpecialAnnot contained special
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
39 syn keyword splintSpecTag contained uses sets defines allocated releases
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
40 syn keyword splintModifies contained modifies
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
41 syn keyword splintRequires contained requires ensures
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
42 syn keyword splintGlobals contained globals
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
43 syn keyword splintGlobitem contained internalState fileSystem
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
44 syn keyword splintGlobannot contained undef killed
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
45 syn keyword splintWarning contained warn
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
46
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
47 syn keyword splintModitem contained internalState fileSystem nothing
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
48 syn keyword splintReqitem contained MaxSet MaxRead result
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
49 syn keyword splintIter contained iter yield
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
50 syn keyword splintConst contained constant
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
51 syn keyword splintAlt contained alt
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
52
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
53 syn keyword splintType contained abstract concrete mutable immutable refcounted numabstract
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
54 syn keyword splintGlobalType contained unchecked checkmod checked checkedstrict
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
55 syn keyword splintMemMgm contained dependent keep killref only owned shared temp
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
56 syn keyword splintAlias contained unique returned
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
57 syn keyword splintExposure contained observer exposed
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
58 syn keyword splintDefState contained out in partial reldef
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
59 syn keyword splintGlobState contained undef killed
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
60 syn keyword splintNullState contained null notnull relnull
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
61 syn keyword splintNullPred contained truenull falsenull nullwhentrue falsewhennull
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
62 syn keyword splintExit contained exits mayexit trueexit falseexit neverexit
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
63 syn keyword splintExec contained noreturn maynotreturn noreturnwhentrue noreturnwhenfalse alwaysreturns
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
64 syn keyword splintSef contained sef
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
65 syn keyword splintDecl contained unused external
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
66 syn keyword splintCase contained fallthrough
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
67 syn keyword splintBreak contained innerbreak loopbreak switchbreak innercontinue
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
68 syn keyword splintUnreach contained notreached
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
69 syn keyword splintSpecFunc contained printflike scanflike messagelike
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
70
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
71 " TODO: make these region or match
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
72 syn keyword splintErrSupp contained i ignore end t
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
73 syn match splintErrSupp contained "[it]\d\+\>"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
74 syn keyword splintTypeAcc contained access noaccess
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
75
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
76 syn keyword splintMacro contained notfunction
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
77 syn match splintSpecType contained "\(\|unsigned\|signed\)integraltype"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
78
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
79 " Flags taken from 'splint -help flags full' divided in local and global flags
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
80 " Local Flags:
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
81 syn keyword splintFlag contained abstract abstractcompare accessall accessczech accessczechoslovak
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
82 syn keyword splintFlag contained accessfile accessmodule accessslovak aliasunique allblock
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
83 syn keyword splintFlag contained allempty allglobs allimponly allmacros alwaysexits
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
84 syn keyword splintFlag contained annotationerror ansi89limits assignexpose badflag bitwisesigned
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
85 syn keyword splintFlag contained boolcompare boolfalse boolint boolops booltrue
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
86 syn keyword splintFlag contained booltype bounds boundscompacterrormessages boundsread boundswrite
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
87 syn keyword splintFlag contained branchstate bufferoverflow bufferoverflowhigh bugslimit casebreak
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
88 syn keyword splintFlag contained caseinsensitivefilenames castexpose castfcnptr charindex charint
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
89 syn keyword splintFlag contained charintliteral charunsignedchar checkedglobalias checkmodglobalias checkpost
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
90 syn keyword splintFlag contained checkstrictglobalias checkstrictglobs codeimponly commentchar commenterror
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
91 syn keyword splintFlag contained compdef compdestroy compmempass constmacros constprefix
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
92 syn keyword splintFlag contained constprefixexclude constuse continuecomment controlnestdepth cppnames
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
93 syn keyword splintFlag contained csvoverwrite czech czechconsts czechfcns czechmacros
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
94 syn keyword splintFlag contained czechoslovak czechoslovakconsts czechoslovakfcns czechoslovakmacros czechoslovaktypes
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
95 syn keyword splintFlag contained czechoslovakvars czechtypes czechvars debugfcnconstraint declundef
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
96 syn keyword splintFlag contained deepbreak deparrays dependenttrans distinctexternalnames distinctinternalnames
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
97 syn keyword splintFlag contained duplicatecases duplicatequals elseifcomplete emptyret enumindex
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
98 syn keyword splintFlag contained enumint enummembers enummemuse enumprefix enumprefixexclude
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
99 syn keyword splintFlag contained evalorder evalorderuncon exitarg exportany exportconst
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
100 syn keyword splintFlag contained exportfcn exportheader exportheadervar exportiter exportlocal
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
101 syn keyword splintFlag contained exportmacro exporttype exportvar exposetrans externalnamecaseinsensitive
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
102 syn keyword splintFlag contained externalnamelen externalprefix externalprefixexclude fcnderef fcnmacros
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
103 syn keyword splintFlag contained fcnpost fcnuse fielduse fileextensions filestaticprefix
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
104 syn keyword splintFlag contained filestaticprefixexclude firstcase fixedformalarray floatdouble forblock
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
105 syn keyword splintFlag contained forcehints forempty forloopexec formalarray formatcode
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
106 syn keyword splintFlag contained formatconst formattype forwarddecl freshtrans fullinitblock
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
107 syn keyword splintFlag contained globalias globalprefix globalprefixexclude globimponly globnoglobs
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
108 syn keyword splintFlag contained globs globsimpmodsnothing globstate globuse gnuextensions
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
109 syn keyword splintFlag contained grammar hasyield hints htmlfileformat ifblock
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
110 syn keyword splintFlag contained ifempty ignorequals ignoresigns immediatetrans impabstract
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
111 syn keyword splintFlag contained impcheckedglobs impcheckedspecglobs impcheckedstatics impcheckedstrictglobs impcheckedstrictspecglobs
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
112 syn keyword splintFlag contained impcheckedstrictstatics impcheckmodglobs impcheckmodinternals impcheckmodspecglobs impcheckmodstatics
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
113 syn keyword splintFlag contained impconj implementationoptional implictconstraint impouts imptype
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
114 syn keyword splintFlag contained includenest incompletetype incondefs incondefslib indentspaces
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
115 syn keyword splintFlag contained infloops infloopsuncon initallelements initsize internalglobs
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
116 syn keyword splintFlag contained internalglobsnoglobs internalnamecaseinsensitive internalnamelen internalnamelookalike iso99limits
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
117 syn keyword splintFlag contained isoreserved isoreservedinternal iterbalance iterloopexec iterprefix
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
118 syn keyword splintFlag contained iterprefixexclude iteryield its4low its4moderate its4mostrisky
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
119 syn keyword splintFlag contained its4risky its4veryrisky keep keeptrans kepttrans
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
120 syn keyword splintFlag contained legacy libmacros likelyboundsread likelyboundswrite likelybool
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
121 syn keyword splintFlag contained likelybounds limit linelen lintcomments localprefix
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
122 syn keyword splintFlag contained localprefixexclude locindentspaces longint longintegral longsignedintegral
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
123 syn keyword splintFlag contained longunsignedintegral longunsignedunsignedintegral loopexec looploopbreak looploopcontinue
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
124 syn keyword splintFlag contained loopswitchbreak macroassign macroconstdecl macrodecl macroempty
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
125 syn keyword splintFlag contained macrofcndecl macromatchname macroparams macroparens macroredef
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
126 syn keyword splintFlag contained macroreturn macrostmt macrounrecog macrovarprefix macrovarprefixexclude
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
127 syn keyword splintFlag contained maintype matchanyintegral matchfields mayaliasunique memchecks
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
128 syn keyword splintFlag contained memimp memtrans misplacedsharequal misscase modfilesys
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
129 syn keyword splintFlag contained modglobs modglobsnomods modglobsunchecked modinternalstrict modnomods
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
130 syn keyword splintFlag contained modobserver modobserveruncon mods modsimpnoglobs modstrictglobsnomods
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
131 syn keyword splintFlag contained moduncon modunconnomods modunspec multithreaded mustdefine
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
132 syn keyword splintFlag contained mustfree mustfreefresh mustfreeonly mustmod mustnotalias
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
133 syn keyword splintFlag contained mutrep namechecks needspec nestcomment nestedextern
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
134 syn keyword splintFlag contained newdecl newreftrans nextlinemacros noaccess nocomments
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
135 syn keyword splintFlag contained noeffect noeffectuncon noparams nopp noret
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
136 syn keyword splintFlag contained null nullassign nullderef nullinit nullpass
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
137 syn keyword splintFlag contained nullptrarith nullret nullstate nullterminated
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
138 syn keyword splintFlag contained numabstract numabstractcast numabstractindex numabstractlit numabstractprint
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
139 syn keyword splintFlag contained numenummembers numliteral numstructfields observertrans obviousloopexec
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
140 syn keyword splintFlag contained oldstyle onlytrans onlyunqglobaltrans orconstraint overload
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
141 syn keyword splintFlag contained ownedtrans paramimptemp paramuse parenfileformat partial
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
142 syn keyword splintFlag contained passunknown portability predassign predbool predboolint
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
143 syn keyword splintFlag contained predboolothers predboolptr preproc protoparammatch protoparamname
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
144 syn keyword splintFlag contained protoparamprefix protoparamprefixexclude ptrarith ptrcompare ptrnegate
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
145 syn keyword splintFlag contained quiet readonlystrings readonlytrans realcompare redecl
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
146 syn keyword splintFlag contained redef redundantconstraints redundantsharequal refcounttrans relaxquals
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
147 syn keyword splintFlag contained relaxtypes repeatunrecog repexpose retalias retexpose
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
148 syn keyword splintFlag contained retimponly retval retvalbool retvalint retvalother
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
149 syn keyword splintFlag contained sefparams sefuncon shadow sharedtrans shiftimplementation
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
150 syn keyword splintFlag contained shiftnegative shortint showallconjs showcolumn showconstraintlocation
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
151 syn keyword splintFlag contained showconstraintparens showdeephistory showfunc showloadloc showscan
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
152 syn keyword splintFlag contained showsourceloc showsummary sizeofformalarray sizeoftype skipisoheaders
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
153 syn keyword splintFlag contained skipposixheaders slashslashcomment slovak slovakconsts slovakfcns
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
154 syn keyword splintFlag contained slovakmacros slovaktypes slovakvars specglobimponly specimponly
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
155 syn keyword splintFlag contained specmacros specretimponly specstructimponly specundecl specundef
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
156 syn keyword splintFlag contained stackref statemerge statetransfer staticinittrans statictrans
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
157 syn keyword splintFlag contained strictbranchstate strictdestroy strictops strictusereleased stringliterallen
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
158 syn keyword splintFlag contained stringliteralnoroom stringliteralnoroomfinalnull stringliteralsmaller stringliteraltoolong structimponly
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
159 syn keyword splintFlag contained superuser switchloopbreak switchswitchbreak syntax sysdirerrors
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
160 syn keyword splintFlag contained sysdirexpandmacros sysunrecog tagprefix tagprefixexclude temptrans
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
161 syn keyword splintFlag contained tmpcomments toctou topuse trytorecover type
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
162 syn keyword splintFlag contained typeprefix typeprefixexclude typeuse uncheckedglobalias uncheckedmacroprefix
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
163 syn keyword splintFlag contained uncheckedmacroprefixexclude uniondef unixstandard unqualifiedinittrans unqualifiedtrans
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
164 syn keyword splintFlag contained unreachable unrecog unrecogcomments unrecogdirective unrecogflagcomments
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
165 syn keyword splintFlag contained unsignedcompare unusedspecial usedef usereleased usevarargs
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
166 syn keyword splintFlag contained varuse voidabstract warnflags warnlintcomments warnmissingglobs
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
167 syn keyword splintFlag contained warnmissingglobsnoglobs warnposixheaders warnrc warnsysfiles warnunixlib
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
168 syn keyword splintFlag contained warnuse whileblock whileempty whileloopexec zerobool
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
169 syn keyword splintFlag contained zeroptr
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
170 " Global Flags:
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
171 syn keyword splintGlobalFlag contained csv dump errorstream errorstreamstderr errorstreamstdout
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
172 syn keyword splintGlobalFlag contained expect f help i isolib
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
173 syn keyword splintGlobalFlag contained larchpath lclexpect lclimportdir lcs lh
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
174 syn keyword splintGlobalFlag contained load messagestream messagestreamstderr messagestreamstdout mts
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
175 syn keyword splintGlobalFlag contained neverinclude nof nolib posixlib posixstrictlib
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
176 syn keyword splintGlobalFlag contained showalluses singleinclude skipsysheaders stats streamoverwrite
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
177 syn keyword splintGlobalFlag contained strictlib supcounts sysdirs timedist tmpdir
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
178 syn keyword splintGlobalFlag contained unixlib unixstrictlib warningstream warningstreamstderr warningstreamstdout
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
179 syn keyword splintGlobalFlag contained whichlib
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
180 syn match splintFlagExpr contained "[\+\-\=]" nextgroup=splintFlag,splintGlobalFlag
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
181
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
182 " detect missing /*@ and wrong */
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
183 syn match splintAnnError "@\*/"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
184 syn cluster cCommentGroup add=splintAnnError
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
185 syn match splintAnnError2 "[^@]\*/"hs=s+1 contained
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
186 syn region splintAnnotation start="/\*@" end="@\*/" contains=@splintAnnotElem,cType keepend
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
187 syn match splintShortAnn "/\*@\*/"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
188 syn cluster splintAnnotElem contains=splintStateAnnot,splintSpecialAnnot,splintSpecTag,splintModifies,splintRequires,splintGlobals,splintGlobitem,splintGlobannot,splintWarning,splintModitem,splintIter,splintConst,splintAlt,splintType,splintGlobalType,splintMemMgm,splintAlias,splintExposure,splintDefState,splintGlobState,splintNullState,splintNullPred,splintExit,splintExec,splintSef,splintDecl,splintCase,splintBreak,splintUnreach,splintSpecFunc,splintErrSupp,splintTypeAcc,splintMacro,splintSpecType,splintAnnError2,splintFlagExpr
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
189 syn cluster splintAllStuff contains=@splintAnnotElem,splintFlag,splintGlobalFlag
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
190 syn cluster cParenGroup add=@splintAllStuff
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
191 syn cluster cPreProcGroup add=@splintAllStuff
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
192 syn cluster cMultiGroup add=@splintAllStuff
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
193
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
194 " Define the default highlighting.
10048
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 2034
diff changeset
195 " Only when an item doesn't have highlighting yet
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
196
10051
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
197 hi def link splintShortAnn splintAnnotation
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
198 hi def link splintAnnotation Comment
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
199 hi def link splintAnnError splintError
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
200 hi def link splintAnnError2 splintError
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
201 hi def link splintFlag SpecialComment
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
202 hi def link splintGlobalFlag splintError
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
203 hi def link splintSpecialAnnot splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
204 hi def link splintStateAnnot splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
205 hi def link splintSpecTag splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
206 hi def link splintModifies splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
207 hi def link splintRequires splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
208 hi def link splintGlobals splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
209 hi def link splintGlobitem Constant
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
210 hi def link splintGlobannot splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
211 hi def link splintWarning splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
212 hi def link splintModitem Constant
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
213 hi def link splintIter splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
214 hi def link splintConst splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
215 hi def link splintAlt splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
216 hi def link splintType splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
217 hi def link splintGlobalType splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
218 hi def link splintMemMgm splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
219 hi def link splintAlias splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
220 hi def link splintExposure splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
221 hi def link splintDefState splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
222 hi def link splintGlobState splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
223 hi def link splintNullState splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
224 hi def link splintNullPred splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
225 hi def link splintExit splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
226 hi def link splintExec splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
227 hi def link splintSef splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
228 hi def link splintDecl splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
229 hi def link splintCase splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
230 hi def link splintBreak splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
231 hi def link splintUnreach splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
232 hi def link splintSpecFunc splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
233 hi def link splintErrSupp splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
234 hi def link splintTypeAcc splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
235 hi def link splintMacro splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
236 hi def link splintSpecType splintAnnKey
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
237 hi def link splintAnnKey Type
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
238 hi def link splintError Error
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
239
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
240
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
241 let b:current_syntax = "splint"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
242
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
243 " vim: ts=8