blob: 9998fd8243102e92aeff52d4207aed61a561bdfb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE language SYSTEM "language.dtd">
<!--
Eiffel syntax highlighting for Kate and Kwrite editors
Change log:
2003-12-16 Revised existing version by adding several missing keywords. Added predefined
entities as a separate word list. Moved from numeric to named contexts.
Changed version to 1.02.
Author of version 1.02: Sebastian Vuorinen
-->
<language name="Eiffel" version="1.02" kateversion="2.1" section="Sources" extensions="*.e" mimetype="text/x-eiffel-src" author="Sebastian Vuorinen" license="">
<highlighting>
<list name="keywords">
<item> agent </item>
<item> alias </item>
<item> all </item>
<item> and </item>
<item> as </item>
<item> assign </item>
<item> class </item>
<item> convert </item>
<item> create </item>
<item> creation </item>
<item> debug </item>
<item> deferred </item>
<item> do </item>
<item> else </item>
<item> elseif </item>
<item> end </item>
<item> expanded </item>
<item> export </item>
<item> external </item>
<item> feature </item>
<item> from </item>
<item> frozen </item>
<item> if </item>
<item> implies </item>
<item> indexing </item>
<item> infix </item>
<item> inherit </item>
<item> inspect </item>
<item> is </item>
<item> like </item>
<item> local </item>
<item> loop </item>
<item> not </item>
<item> obsolete </item>
<item> old </item>
<item> once </item>
<item> or </item>
<item> prefix </item>
<item> pure </item>
<item> redefine </item>
<item> reference </item>
<item> rename </item>
<item> rescue </item>
<item> retry </item>
<item> separate </item>
<item> then </item>
<item> undefine </item>
</list>
<list name="predefined-entities">
<item> Current </item>
<item> False </item>
<item> Precursor </item>
<item> Result </item>
<item> True </item>
<item> TUPLE </item>
</list>
<list name="assertions">
<item> check </item>
<item> ensure </item>
<item> require </item>
<item> variant </item>
<item> invariant </item>
</list>
<contexts>
<context name = "Normal" attribute = "Normal Text" lineEndContext="#stay">
<keyword attribute = "Keyword" String = "keywords" context="#stay" />
<keyword attribute = "Predefined entities" String = "predefined-entities" context="#stay" />
<keyword attribute = "Assertions" String = "assertions" context="#stay" />
<Int attribute = "Decimal" context="#stay" />
<Float attribute = "Float" context="#stay" />
<HlCChar attribute = "Char" context="#stay" />
<DetectChar attribute = "String" char = """ context="Quoted String" />
<Detect2Chars attribute = "Comment" char = "-" char1 = "-" context="Documentation" />
</context>
<context name = "Quoted String" attribute = "String" lineEndContext="#pop">
<DetectChar attribute = "String" char = """ context="#pop" />
</context>
<context name = "Documentation" attribute="Comment" lineEndContext="#pop" />
</contexts>
<itemDatas>
<itemData name="Normal Text" defStyleNum="dsNormal" />
<itemData name="Keyword" defStyleNum="dsKeyword" />
<itemData name="Predefined entities" defStyleNum="dsOthers" />
<itemData name="Assertions" defStyleNum="dsOthers" />
<itemData name="Decimal" defStyleNum="dsDecVal" />
<itemData name="Float" defStyleNum="dsFloat" />
<itemData name="Char" defStyleNum="dsChar" />
<itemData name="String" defStyleNum="dsString" />
<itemData name="Comment" defStyleNum="dsComment" />
</itemDatas>
</highlighting>
<general>
<comments>
<comment name="singleLine" start="--" />
</comments>
<keywords casesensitive="1" />
</general>
</language>
|