blob: 728b3a191a242a2eec640ba3278ff2e4c4f37199 (
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
|
preprocessor(<?xml version="1.0" encoding="UTF-8"?>)
preprocessor(<!DOCTYPE language SYSTEM "language.dtd">)
tag(<language) attribute_name(name)operator(=)string<delimiter(")content(Eiffel)delimiter(")> attribute_name(version)operator(=)string<delimiter(")content(1.02)delimiter(")> attribute_name(kateversion)operator(=)string<delimiter(")content(2.1)delimiter(")> attribute_name(section)operator(=)string<delimiter(")content(Sources)delimiter(")> attribute_name(extensions)operator(=)string<delimiter(")content(*.e)delimiter(")> attribute_name(mimetype)operator(=)string<delimiter(")content(text/x-eiffel-src)delimiter(")>tag(>)
tag(<highlighting>)
tag(<list) attribute_name(name)operator(=)string<delimiter(")content(keywords)delimiter(")>tag(>)
tag(<item>) plain(indexing )tag(</item>)
tag(<item>) plain(class )tag(</item>)
tag(<item>) plain(inherit )tag(</item>)
tag(<item>) plain(creation )tag(</item>)
tag(<item>) plain(feature )tag(</item>)
tag(<item>) plain(rename )tag(</item>)
tag(<item>) plain(redefine )tag(</item>)
tag(<item>) plain(undefine )tag(</item>)
tag(<item>) plain(select )tag(</item>)
tag(<item>) plain(export )tag(</item>)
tag(<item>) plain(local )tag(</item>)
tag(<item>) plain(deferred )tag(</item>)
tag(<item>) plain(do )tag(</item>)
tag(<item>) plain(is )tag(</item>)
tag(<item>) plain(once )tag(</item>)
tag(<item>) plain(alias )tag(</item>)
tag(<item>) plain(external )tag(</item>)
tag(<item>) plain(rescue )tag(</item>)
tag(<item>) plain(debug )tag(</item>)
tag(<item>) plain(if )tag(</item>)
tag(<item>) plain(inspect )tag(</item>)
tag(<item>) plain(from )tag(</item>)
tag(<item>) plain(else )tag(</item>)
tag(<item>) plain(elseif )tag(</item>)
tag(<item>) plain(when )tag(</item>)
tag(<item>) plain(until )tag(</item>)
tag(<item>) plain(loop )tag(</item>)
tag(<item>) plain(then )tag(</item>)
tag(<item>) plain(obsolete )tag(</item>)
tag(<item>) plain(end )tag(</item>)
tag(</list>)
tag(<list) attribute_name(name)operator(=)string<delimiter(")content(assertions)delimiter(")>tag(>)
tag(<item>) plain(check )tag(</item>)
tag(<item>) plain(ensure )tag(</item>)
tag(<item>) plain(require )tag(</item>)
tag(<item>) plain(variant )tag(</item>)
tag(<item>) plain(invariant )tag(</item>)
tag(</list>)
tag(<contexts>)
tag(<context) attribute_name(attribute)operator(=)string<delimiter(")content(Normal Text)delimiter(")> attribute_name(lineEndContext)operator(=)string<delimiter(")content(#stay)delimiter(")> attribute_name(name)operator(=)string<delimiter(")content(Normal)delimiter(")>tag(>)
tag(<keyword) attribute_name(attribute)operator(=)string<delimiter(")content(Keyword)delimiter(")> attribute_name(context)operator(=)string<delimiter(")content(#stay)delimiter(")> attribute_name(String)operator(=)string<delimiter(")content(keywords)delimiter(")>tag(/>)
tag(<Float) attribute_name(attribute)operator(=)string<delimiter(")content(Float)delimiter(")> attribute_name(context)operator(=)string<delimiter(")content(#stay)delimiter(")>tag(/>)
tag(<Int) attribute_name(attribute)operator(=)string<delimiter(")content(Decimal)delimiter(")> attribute_name(context)operator(=)string<delimiter(")content(#stay)delimiter(")>tag(/>)
tag(<RegExpr) attribute_name(attribute)operator(=)string<delimiter(")content(Char)delimiter(")> attribute_name(context)operator(=)string<delimiter(")content(#stay)delimiter(")> attribute_name(String)operator(=)string<delimiter(")content('.')delimiter(")>tag(/>)
tag(<DetectChar) attribute_name(attribute)operator(=)string<delimiter(")content(String)delimiter(")> attribute_name(context)operator(=)string<delimiter(")content(String)delimiter(")> attribute_name(char)operator(=)string<delimiter(")entity(")delimiter(")>tag(/>)
tag(<Detect2Chars) attribute_name(attribute)operator(=)string<delimiter(")content(Comment)delimiter(")> attribute_name(context)operator(=)string<delimiter(")content(Comment)delimiter(")> attribute_name(char)operator(=)string<delimiter(")content(-)delimiter(")> attribute_name(char1)operator(=)string<delimiter(")content(-)delimiter(")>tag(/>)
tag(<keyword) attribute_name(attribute)operator(=)string<delimiter(")content(Assertions)delimiter(")> attribute_name(context)operator(=)string<delimiter(")content(#stay)delimiter(")> attribute_name(String)operator(=)string<delimiter(")content(assertions)delimiter(")>tag(/>)
tag(</context>)
tag(<context) attribute_name(attribute)operator(=)string<delimiter(")content(String)delimiter(")> attribute_name(lineEndContext)operator(=)string<delimiter(")content(#pop)delimiter(")> attribute_name(name)operator(=)string<delimiter(")content(String)delimiter(")>tag(>)
tag(<DetectChar) attribute_name(attribute)operator(=)string<delimiter(")content(String)delimiter(")> attribute_name(context)operator(=)string<delimiter(")content(#pop)delimiter(")> attribute_name(char)operator(=)string<delimiter(")entity(")delimiter(")>tag(/>)
tag(</context>)
tag(<context) attribute_name(attribute)operator(=)string<delimiter(")content(Comment)delimiter(")> attribute_name(name)operator(=)string<delimiter(")content(Comment)delimiter(")> attribute_name(lineEndContext)operator(=)string<delimiter(")content(#pop)delimiter(")>tag(/>)
tag(</contexts>)
tag(<itemDatas>)
tag(<itemData) attribute_name(name)operator(=)string<delimiter(")content(Normal Text)delimiter(")> attribute_name(defStyleNum)operator(=)string<delimiter(")content(dsNormal)delimiter(")> tag(/>)
tag(<itemData) attribute_name(name)operator(=)string<delimiter(")content(Keyword)delimiter(")> attribute_name(defStyleNum)operator(=)string<delimiter(")content(dsKeyword)delimiter(")> tag(/>)
tag(<itemData) attribute_name(name)operator(=)string<delimiter(")content(Decimal)delimiter(")> attribute_name(defStyleNum)operator(=)string<delimiter(")content(dsDecVal)delimiter(")> tag(/>)
tag(<itemData) attribute_name(name)operator(=)string<delimiter(")content(Float)delimiter(")> attribute_name(defStyleNum)operator(=)string<delimiter(")content(dsFloat)delimiter(")> tag(/>)
tag(<itemData) attribute_name(name)operator(=)string<delimiter(")content(Char)delimiter(")> attribute_name(defStyleNum)operator(=)string<delimiter(")content(dsChar)delimiter(")> tag(/>)
tag(<itemData) attribute_name(name)operator(=)string<delimiter(")content(String)delimiter(")> attribute_name(defStyleNum)operator(=)string<delimiter(")content(dsString)delimiter(")> tag(/>)
tag(<itemData) attribute_name(name)operator(=)string<delimiter(")content(Comment)delimiter(")> attribute_name(defStyleNum)operator(=)string<delimiter(")content(dsComment)delimiter(")> tag(/>)
tag(<itemData) attribute_name(name)operator(=)string<delimiter(")content(Assertions)delimiter(")> attribute_name(defStyleNum)operator(=)string<delimiter(")content(dsOthers)delimiter(")> tag(/>)
tag(</itemDatas>)
tag(</highlighting>)
tag(<general>)
tag(<comments>)
tag(<comment) attribute_name(name)operator(=)string<delimiter(")content(singleLine)delimiter(")> attribute_name(start)operator(=)string<delimiter(")content(--)delimiter(")> tag(/>)
tag(</comments>)
tag(<keywords) attribute_name(casesensitive)operator(=)string<delimiter(")content(1)delimiter(")> tag(/>)
tag(</general>)
tag(</language>)
|