1 <?xml version="1.0" encoding="UTF-8"?> 2 <!DOCTYPE language SYSTEM "language.dtd"> 3 <language name="Eiffel" version="1.02" kateversion="2.1" section="Sources" extensions="*.e" mimetype="text/x-eiffel-src"> 4 <highlighting> 5 <list name="keywords"> 6 <item> indexing </item> 7 <item> class </item> 8 <item> inherit </item> 9 <item> creation </item> 10 <item> feature </item> 11 <item> rename </item> 12 <item> redefine </item> 13 <item> undefine </item> 14 <item> select </item> 15 <item> export </item> 16 <item> local </item> 17 <item> deferred </item> 18 <item> do </item> 19 <item> is </item> 20 <item> once </item> 21 <item> alias </item> 22 <item> external </item> 23 <item> rescue </item> 24 <item> debug </item> 25 <item> if </item> 26 <item> inspect </item> 27 <item> from </item> 28 <item> else </item> 29 <item> elseif </item> 30 <item> when </item> 31 <item> until </item> 32 <item> loop </item> 33 <item> then </item> 34 <item> obsolete </item> 35 <item> end </item> 36 </list> 37 <list name="assertions"> 38 <item> check </item> 39 <item> ensure </item> 40 <item> require </item> 41 <item> variant </item> 42 <item> invariant </item> 43 </list> 44 <contexts> 45 <context attribute="Normal Text" lineEndContext="#stay" name="Normal"> 46 <keyword attribute="Keyword" context="#stay" String="keywords"/> 47 <Float attribute="Float" context="#stay"/> 48 <Int attribute="Decimal" context="#stay"/> 49 <RegExpr attribute="Char" context="#stay" String="'.'"/> 50 <DetectChar attribute="String" context="String" char="""/> 51 <Detect2Chars attribute="Comment" context="Comment" char="-" char1="-"/> 52 <keyword attribute="Assertions" context="#stay" String="assertions"/> 53 </context> 54 <context attribute="String" lineEndContext="#pop" name="String"> 55 <DetectChar attribute="String" context="#pop" char="""/> 56 </context> 57 <context attribute="Comment" name="Comment" lineEndContext="#pop"/> 58 </contexts> 59 <itemDatas> 60 <itemData name="Normal Text" defStyleNum="dsNormal" /> 61 <itemData name="Keyword" defStyleNum="dsKeyword" /> 62 <itemData name="Decimal" defStyleNum="dsDecVal" /> 63 <itemData name="Float" defStyleNum="dsFloat" /> 64 <itemData name="Char" defStyleNum="dsChar" /> 65 <itemData name="String" defStyleNum="dsString" /> 66 <itemData name="Comment" defStyleNum="dsComment" /> 67 <itemData name="Assertions" defStyleNum="dsOthers" /> 68 </itemDatas> 69 </highlighting> 70 <general> 71 <comments> 72 <comment name="singleLine" start="--" /> 73 </comments> 74 <keywords casesensitive="1" /> 75 </general> 76 </language> 77