blob: 7d0b4ce7c2037aa26e07ddd34afbdc2901fe2def (
plain) (
blame)
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
|
<?xml version="1.0" encoding="UTF-8"?>
<language kateversion="5.0" name="bruijn" section="Sources" extensions="*.bruijn">
<highlighting>
<contexts>
<context attribute="Text" lineEndContext="#pop" name="text" >
<RegExpr attribute="Command" String="^:" context="command" />
<Detect2Chars attribute="Comment" char="#" char1=" " context="comment" beginRegion="Comment"/>
<RegExpr attribute="Definition" String="^ *[^ [(:#]+ " />
<Detect2Chars attribute="Number" char="(" char1="+" context="number" beginRegion="Number"/>
<Detect2Chars attribute="Number" char="(" char1="-" context="number" beginRegion="Number"/>
<RegExpr attribute="Index" String="[0-9]" />
<Detect2Chars attribute="Type" char="⧗" char1=" " context="type" />
<RegExpr attribute="Namespace" String="[α-ωΑ-ΩA-Z]+[α-ωΑ-Ωa-zA-Z]*" />
<AnyChar attribute="Mixfix" String="!?*@.,:;+-_#$%^&<>/\\|{}~=⋀⋁∘→∏∑⋅≠≥≤" />
<RegExpr attribute="Identifier" String="[^ \[\(\]\)0-9'"]+[^ \[\(\]\)]*" />
<DetectChar attribute="String" context="string" char=""" />
<RegExpr attribute="Char" String="'[^']'" />
<DetectChar attribute="Abs" context="#stay" char="[" beginRegion="abs" />
<DetectChar attribute="Abs" context="#pop" char="]" endRegion="abs" />
<DetectChar attribute="App" context="#stay" char="(" beginRegion="app" />
<DetectChar attribute="App" context="#pop" char=")" endRegion="app" />
<DetectSpaces />
</context>
<context attribute="String" lineEndContext="#pop" name="string" >
<DetectChar attribute="String" context="#pop" char=""" />
</context>
<context attribute="Number" lineEndContext="#pop" name="number" >
<DetectChar attribute="Number" context="#pop" char=")" />
</context>
<context attribute="Comment" lineEndContext="#pop" name="comment">
</context>
<context attribute="Type" lineEndContext="#pop" name="type"/>
<context attribute="Command" lineEndContext="#pop" name="command">
<DetectChar attribute="App" context="#pop" char="(" />
<DetectChar attribute="Abs" context="#pop" char="[" />
</context>
</contexts>
<itemDatas>
<itemData name="Abs" defStyleNum="dsControlFlow" />
<itemData name="App" defStyleNum="dsKeyword" />
<itemData name="Char" defStyleNum="dsChar" />
<itemData name="Command" defStyleNum="dsPreprocessor" />
<itemData name="Comment" defStyleNum="dsComment" />
<itemData name="Definition" defStyleNum="dsVariable" />
<itemData name="Identifier" defStyleNum="dsFunction" />
<itemData name="Index" defStyleNum="dsSpecialChar" />
<itemData name="Mixfix" defStyleNum="dsAttribute" />
<itemData name="Namespace" defStyleNum="dsExtension" />
<itemData name="Number" defStyleNum="dsBaseN" />
<itemData name="String" defStyleNum="dsString" />
<itemData name="Text" defStyleNum="dsNormal" />
<itemData name="Type" defStyleNum="dsDocumentation" />
</itemDatas>
</highlighting>
</language>
|
