data/syntax/valgrind-suppression.xml

0001 <?xml version="1.0" encoding="UTF-8"?>
0002 <!DOCTYPE language>
0003 <language name="Valgrind Suppression" section="Other" extensions="*.supp;" mimetype="" version="4" kateversion="5.0" author="Milian Wolff (mail@milianw.de)" license="LGPL">
0004 <highlighting>
0005 <contexts>
0006   <context name="File" attribute="Normal Text" lineEndContext="#stay">
0007     <DetectChar char="#" attribute="Comment" context="Comment" firstNonSpace="true" />
0008     <DetectChar char="{" attribute="Normal Text" context="Rule" firstNonSpace="true" />
0009  </context>
0010
0011   <context name="Rule" attribute="Normal Text" lineEndContext="#stay" >
0012     <RegExpr attribute="RuleName" String="^[^\}]+$" context="Rule2" column="0" />
0013     <DetectChar char="}" attribute="Normal Text" context="#pop" firstNonSpace="true" />
0014   </context>
0015
0016   <context name="Rule2" attribute="Normal Text" lineEndContext="#stay" >
0017     <RegExpr attribute="ErrorKind" String="\w+:\w+" context="Rule3" />
0018     <DetectChar char="}" attribute="Normal Text" context="#pop#pop" firstNonSpace="true" />
0019   </context>
0020
0021   <context name="Rule3" attribute="Normal Text" lineEndContext="#stay" >
0022     <RegExpr attribute="FrameKind" String="fun:|obj:|\.\.\." context="#stay" />
0023     <DetectChar char="}" attribute="Normal Text" context="#pop#pop#pop" firstNonSpace="true" />
0024   </context>
0025
0026   <context name="Comment" attribute="Comment" lineEndContext="#pop">
0027     <DetectSpaces />
0028     <IncludeRules context="##Comments" />
0029     <DetectIdentifier />
0030   </context>
0031 </contexts>
0032
0033
0034 <itemDatas>
0035  <itemData name="Normal Text" defStyleNum="dsNormal" />
0036  <itemData name="RuleName" defStyleNum="dsKeyword" />
0037  <itemData name="Comment" defStyleNum="dsComment" />
0038  <itemData name="ErrorKind" defStyleNum="dsOthers" />
0039  <itemData name="FrameKind" defStyleNum="dsFunction" />
0040 </itemDatas>
0041 </highlighting>
0042
0043
0044 <general>
0045  <comments>
0046   <comment name="singleLine" start="#" />
0047  </comments>
0048  <keywords casesensitive="0" />
0049 </general>
0050
0051 </language>
0052 <!-- kate: replace-tabs on; indent-width 2; -->