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
126
127
128
129
130
131
132
|
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE language>
<!--
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="5" kateversion="5.0" 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">
<DetectSpaces attribute = "Normal Text" />
<keyword attribute = "Keyword" String = "keywords" context="#stay" />
<keyword attribute = "Predefined entities" String = "predefined-entities" context="#stay" />
<keyword attribute = "Assertions" String = "assertions" context="#stay" />
<DetectIdentifier attribute = "Normal Text" />
<Float attribute = "Float" context="#stay" />
<Int attribute = "Decimal" 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">
<DetectSpaces />
<IncludeRules context="##Comments" />
<DetectIdentifier />
</context>
</contexts>
<itemDatas>
<itemData name="Normal Text" defStyleNum="dsNormal" />
<itemData name="Keyword" defStyleNum="dsKeyword" />
<itemData name="Predefined entities" defStyleNum="dsConstant" />
<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="--" position="afterwhitespace" />
</comments>
<keywords casesensitive="1" />
</general>
</language>
<!-- kate: replace-tabs off; -->
|
