← Back to branch summary

~ubuntu-branches/ubuntu/vivid/kate/vivid-updates

« back to all changes in this revision

Viewing changes to part/syntax/data/agda.xml

  • Committer: Package Import Robot
  • Author(s): Jonathan Riddell
  • Date: 2014-12-04 16:49:41 UTC
  • mfrom: (1.6.6)
  • Revision ID: package-import@ubuntu.com-20141204164941-l3qbvsly83hhlw2v
Tags: 4:14.11.97-0ubuntu1
* New upstream release
* Update build-deps and use pkg-kde v3 for Qt 5 build
* kate-data now kate5-data for co-installability

Show diffs side-by-side

added added

removed removed

Lines of Context:
part/syntax/data/agda.xml
1
 
<?xml version="1.0" encoding="UTF-8"?>
2
 
<!DOCTYPE language SYSTEM "language.dtd"[
3
 
  <!ENTITY charsdelim "_;.&#34;(){}@">
4
 
  <!ENTITY wordsep "(?=([&charsdelim;]|\s|$))">
5
 
]>
6
 
<language name="Agda" version="1.0" kateversion="3.12" section="Sources" extensions="*.agda" mimetype="text/x-agda" author="Matthias C. M. Troffaes" license="LGPL">
7
 
  <highlighting>
8
 
    <list name="reserved keywords">
9
 
      <item> abstract </item>
10
 
      <item> codata </item>
11
 
      <item> coinductive </item>
12
 
      <item> constructor </item>
13
 
      <item> data </item>
14
 
      <item> field </item>
15
 
      <item> forall </item>
16
 
      <item> hiding </item>
17
 
      <item> import </item>
18
 
      <item> in </item>
19
 
      <item> inductive </item>
20
 
      <item> infix </item>
21
 
      <item> infixl  </item>
22
 
      <item> infixr </item>
23
 
      <item> let </item>
24
 
      <item> open </item>
25
 
      <item> pattern </item>
26
 
      <item> postulate </item>
27
 
      <item> primitive </item>
28
 
      <item> private </item>
29
 
      <item> public </item>
30
 
      <item> module </item>
31
 
      <item> mutual </item>
32
 
      <item> quote </item>
33
 
      <item> quoteGoal </item>
34
 
      <item> quoteTerm </item>
35
 
      <item> record </item>
36
 
      <item> renaming </item>
37
 
      <item> rewrite </item>
38
 
      <item> syntax </item>
39
 
      <item> to </item>
40
 
      <item> unquote </item>
41
 
      <item> using </item>
42
 
      <item> where </item>
43
 
      <item> with </item>
44
 
    </list>
45
 
    <contexts>
46
 
      <context attribute="Normal" lineEndContext="#stay" name="code">
47
 
        <RegExpr attribute="Pragma"  context="#stay" String="\{-#.*#-\}" />
48
 
        <keyword attribute="Keyword" context="#stay" String="reserved keywords" />
49
 
        <RegExpr attribute="Type"    context="#stay" String="(Prop|Set[₀-₉]+|Set[0-9]*)&wordsep;" />
50
 
        <RegExpr attribute="Special" context="#stay" String="(-&gt;|→|∀|λ|:|=|\|)&wordsep;" />
51
 
        <RegExpr attribute="Float"   context="#stay" String="\d+\.\d+&wordsep;" />
52
 
        <RegExpr attribute="Decimal" context="#stay" String="[0-9]+&wordsep;" />
53
 
        <DetectChar attribute="Char"   context="char"   char="'" />
54
 
        <DetectChar attribute="String" context="string" char="&quot;" />
55
 
        <Detect2Chars attribute="Comment" context="comment"  char="-"  char1="-" />
56
 
        <Detect2Chars attribute="Comment" context="comments" char="{" char1="-" />
57
 
        <Detect2Chars attribute="Hole"    context="hole"     char="{" char1="!" />
58
 
        <!-- delimiters which cannot be part of an identifier, or
59
 
             backslash which starts a lambda expression -->
60
 
        <AnyChar      attribute="Special" context="#stay" String="&charsdelim;\\" />
61
 
        <!-- any other identifier (can contain backslash and single
62
 
             quote anywhere except at start, but these two special
63
 
             cases are already taken care off above) -->
64
 
        <RegExpr attribute="Normal" context="#stay" String="[^&charsdelim;\s]+" />
65
 
      </context>
66
 
      <context attribute="Comment" lineEndContext="#pop" name="comment" />
67
 
      <context attribute="Comment" lineEndContext="#stay" name="comments">
68
 
        <Detect2Chars attribute="Comment" context="comments" char="{" char1="-" /> <!-- for nested comments -->
69
 
        <Detect2Chars attribute="Comment" context="#pop" char="-" char1="}" />
70
 
      </context>
71
 
      <context attribute="Hole" lineEndContext="#stay" name="hole">
72
 
        <Detect2Chars attribute="Hole" context="#pop" char="!" char1="}" />
73
 
      </context>
74
 
      <context attribute="Char" lineEndContext="#pop" name="char">
75
 
        <Detect2Chars attribute="Char" context="#stay" char="\\" char1="'" />
76
 
        <DetectChar   attribute="Char" context="#pop"  char="'" />
77
 
      </context>
78
 
      <context attribute="String" lineEndContext="#stay" name="string">
79
 
        <Detect2Chars attribute="String" context="#stay" char="\\" char1="&quot;" />
80
 
        <DetectChar   attribute="String" context="#pop"  char="&quot;" />
81
 
      </context>
82
 
    </contexts>
83
 
    <itemDatas>
84
 
      <itemData name="Normal"   defStyleNum="dsNormal"   spellChecking="false" />
85
 
      <itemData name="Comment"  defStyleNum="dsComment"  />
86
 
      <itemData name="Pragma"   defStyleNum="dsOthers"   spellChecking="false" />
87
 
      <itemData name="Hole"     defStyleNum="dsOthers"   spellChecking="false" />
88
 
      <itemData name="Keyword"  defStyleNum="dsKeyword"  spellChecking="false" />
89
 
      <itemData name="Type"     defStyleNum="dsDataType" spellChecking="false" />
90
 
      <itemData name="Special"  defStyleNum="dsOthers"   spellChecking="false" />
91
 
      <itemData name="Decimal"  defStyleNum="dsDecVal"   spellChecking="false" />
92
 
      <itemData name="Float"    defStyleNum="dsFloat"    spellChecking="false" />
93
 
      <itemData name="Char"     defStyleNum="dsChar"     spellChecking="false" />
94
 
      <itemData name="String"   defStyleNum="dsString" />
95
 
    </itemDatas>
96
 
  </highlighting>
97
 
  <general>
98
 
    <folding indentationsensitive="1"/>
99
 
    <comments>
100
 
      <comment name="singleLine" start="--" />
101
 
      <comment name="multiLine" start="{-" end="-}" />
102
 
    </comments>
103
 
    <keywords casesensitive="1"
104
 
              weakDeliminator=":!+,-&lt;=&gt;%&amp;*/?[]^|~\\"
105
 
              additionalDeliminator="&charsdelim;" />
106
 
  </general>
107
 
</language>