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