blob: dccff286e9a3fda51bd2afa18bada543d5fae400 (
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
|
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE language SYSTEM "language.dtd">
<language name="OORS" version="1.1" kateversion="2.4" section="Sources" extensions="*.oors" author="Gernot Gebhard (gebhard@cs.uni-sb.de)" license="LGPL">
<highlighting>
<list name="oors">
<item>allow</item>
<item>apply</item>
<item>backtrack</item>
<item>copy</item>
<item>condition</item>
<item>deny</item>
<item>extends</item>
<item>graph</item>
<item>if</item>
<item>else</item>
<item>linear</item>
<item>profile</item>
<item>rule</item>
<item>ruleset</item>
<item>search</item>
<item>unsafe</item>
</list>
<contexts>
<context name="Main" attribute="Normal Text" lineEndContext="#stay">
<keyword attribute="Directive" context="#stay" String="oors" />
<IncludeRules context="Comment" />
<DetectSpaces />
<DetectChar attribute="Normal Text" context="Ordered" char="[" beginRegion="Ordered" />
<DetectChar attribute="Normal Text" context="Unordered" char="{" beginRegion="Unordered" />
<Detect2Chars attribute="Content-Type Delimiter" context="Header" char="%" char1="{" beginRegion="Header" />
<Detect2Chars attribute="Content-Type Delimiter" context="Header" char="%" char1="%" beginRegion="Header" />
</context>
<context name="Header" attribute="Normal Text" lineEndContext="#stay">
<IncludeRules context="Comment" />
<Detect2Chars attribute="Content-Type Delimiter" context="#pop" char="%" char1="}" endRegion="Header" />
<Detect2Chars attribute="Content-Type Delimiter" context="#pop" char="%" char1="%" endRegion="Header" />
<IncludeRules context="##C++" />
</context>
<context name="Ordered" attribute="Normal Text" lineEndContext="#stay">
<keyword attribute="Directive" context="#stay" String="oors" />
<IncludeRules context="Comment" />
<IncludeRules context="Accessor" />
<DetectChar attribute="Normal Text" context="Ordered" char="[" beginRegion="Ordered" />
<DetectChar attribute="Normal Text" context="Unordered" char="{" beginRegion="Unordered" />
<DetectChar attribute="Normal Text" context="#pop" char="]" endRegion="Ordered" />
<IncludeRules context="##C++" />
</context>
<context name="Unordered" attribute="Normal Text" lineEndContext="#stay">
<keyword attribute="Directive" context="#stay" String="oors" />
<IncludeRules context="Comment" />
<IncludeRules context="Accessor" />
<DetectChar attribute="Normal Text" context="Ordered" char="[" beginRegion="Ordered" />
<DetectChar attribute="Normal Text" context="Unordered" char="{" beginRegion="Unordered" />
<DetectChar attribute="Normal Text" context="#pop" char="}" endRegion="Unordered" />
<IncludeRules context="##C++" />
</context>
<context name="Accessor" attribute="Directive">
<Detect2Chars attribute="Directive" context="#stay" char="$" char1="$" />
<RegExpr attribute="Directive" context="#stay" String="\$-?[_a-zA-Z1-9][_a-zA-Z0-9]*" />
</context>
<context name="Comment" attribute="Comment">
<IncludeRules context="##Doxygen" />
<Detect2Chars attribute="Comment" context="CommentStar" char="/" char1="*" />
<Detect2Chars attribute="Comment" context="CommentSlash" char="/" char1="/" />
</context>
<context name="CommentStar" attribute="Comment" lineEndContext="#stay">
<Detect2Chars attribute="Comment" context="#pop" char="*" char1="/" />
</context>
<context name="CommentSlash" attribute="Comment" lineEndContext="#stay">
<RegExpr attribute="Comment" context="#pop" String="[^\\]$" />
</context>
</contexts>
<itemDatas>
<itemData name="Normal Text" defStyleNum="dsNormal" />
<itemData name="Definition" defStyleNum="dsNormal" />
<itemData name="Comment" defStyleNum="dsComment" />
<itemData name="Content-Type Delimiter" defStyleNum="dsBaseN" bold="1" />
<itemData name="Directive" defStyleNum="dsKeyword"/>
<itemData name="Rule" defStyleNum="dsString" />
<itemData name="Backslash Code" defStyleNum="dsString" bold="1" />
<itemData name="Alert" defStyleNum="dsAlert" />
<itemData name="String" defStyleNum="dsString"/>
<itemData name="String Char" defStyleNum="dsChar"/>
<itemData name="Data Type" defStyleNum="dsDataType"/>
</itemDatas>
<general>
<comments>
<comment name="singleLine" start="//" />
<comment name="multiLine" start="/*" end="*/" region="Comment"/>
</comments>
<keywords casesensitive="1" />
</general>
</highlighting>
</language>
|
