data/syntax/ats.xml

0001 <?xml version="1.0" encoding="UTF-8"?>
0002 <!DOCTYPE language
0003 [
0004 <!-- Regular expression constants: -->
0005 <!ENTITY LETTER "A-Za-z\xc0-\xd6\xd8-\xf6\xf8-\xff">                <!-- Latin-1 letters. -->
0006 <!ENTITY IDENT  "[&LETTER;_][&LETTER;0-9_']*">                      <!-- ATS identifiers. -->
0007 <!ENTITY ESC    "(\\[ntbr'&quot;\\]|\\[0-9]{3}|\\x[0-9A-Fa-f]{2})"> <!-- ATS character code escapes. -->
0008 <!ENTITY DEC    "[0-9][0-9_]*">                                     <!-- Decimal digits with underscores. -->
0009 ]>
0010 <language name="ATS" version="3" kateversion="5.0" section="Sources" extensions="*.dats;*.sats;*.hats" mimetype="" author="Kiwamu Okabe (kiwamu@debian.or.jp)" license="LGPL">
0011   <highlighting>
0012     <list name="keywords">
0013       <item>abstype</item>
0014       <item>abst0ype</item>
0015       <item>absprop</item>
0016       <item>absview</item>
0017       <item>absvtype</item>
0018       <item>absviewtype</item>
0019       <item>absvt0ype</item>
0020       <item>absviewt0ype</item>
0021       <item>and</item>
0022       <item>as</item>
0023       <item>assume</item>
0024       <item>begin</item>
0025       <item>break</item>
0026       <item>case</item>
0027       <item>continue</item>
0028       <item>classdec</item>
0029       <item>datasort</item>
0030       <item>datatype</item>
0031       <item>dataprop</item>
0032       <item>dataview</item>
0033       <item>datavtype</item>
0034       <item>dataviewtype</item>
0035       <item>do</item>
0036       <item>dynload</item>
0037       <item>else</item>
0038       <item>end</item>
0039       <item>exception</item>
0040       <item>extern</item>
0041       <item>extype</item>
0042       <item>extval</item>
0043       <item>if</item>
0044       <item>in</item>
0045       <item>infix</item>
0046       <item>infixl</item>
0047       <item>infixr</item>
0048       <item>prefix</item>
0049       <item>postfix</item>
0050       <item>let</item>
0051       <item>local</item>
0052       <item>macdef</item>
0053       <item>macrodef</item>
0054       <item>nonfix</item>
0055       <item>overload</item>
0056       <item>of</item>
0057       <item>op</item>
0058       <item>rec</item>
0059       <item>scase</item>
0060       <item>sif</item>
0061       <item>sortdef</item>
0062       <item>sta</item>
0063       <item>stacst</item>
0064       <item>stadef</item>
0065       <item>stavar</item>
0066       <item>staload</item>
0067       <item>symelim</item>
0068       <item>symintr</item>
0069       <item>then</item>
0070       <item>try</item>
0071       <item>tkindef</item>
0072       <item>type</item>
0073       <item>typedef</item>
0074       <item>propdef</item>
0075       <item>viewdef</item>
0076       <item>vtypedef</item>
0077       <item>viewtypedef</item>
0078       <item>val</item>
0079       <item>prval</item>
0080       <item>var</item>
0081       <item>prvar</item>
0082       <item>when</item>
0083       <item>where</item>
0084       <item>for</item>
0085       <item>while</item>
0086       <item>with</item>
0087       <item>withtype</item>
0088       <item>withprop</item>
0089       <item>withview</item>
0090       <item>withvtype</item>
0091       <item>withviewtype</item>
0092     </list>
0093     <list name="special keywords">
0094       <item>$arrpsz</item>
0095       <item>$arrptrsize</item>
0096       <item>$delay</item>
0097       <item>$ldelay</item>
0098       <item>$effmask</item>
0099       <item>$effmask_ntm</item>
0100       <item>$effmask_exn</item>
0101       <item>$effmask_ref</item>
0102       <item>$effmask_wrt</item>
0103       <item>$effmask_all</item>
0104       <item>$extern</item>
0105       <item>$extkind</item>
0106       <item>$extype</item>
0107       <item>$extype_struct</item>
0108       <item>$extval</item>
0109       <item>$lst</item>
0110       <item>$lst_t</item>
0111       <item>$lst_vt</item>
0112       <item>$list</item>
0113       <item>$list_t</item>
0114       <item>$list_vt</item>
0115       <item>$rec</item>
0116       <item>$rec_t</item>
0117       <item>$rec_vt</item>
0118       <item>$record</item>
0119       <item>$record_t</item>
0120       <item>$record_vt</item>
0121       <item>$tup</item>
0122       <item>$tup_t</item>
0123       <item>$tup_vt</item>
0124       <item>$tuple</item>
0125       <item>$tuple_t</item>
0126       <item>$tuple_vt</item>
0127       <item>$raise</item>
0128       <item>$showtype</item>
0129       <item>$myfilename</item>
0130       <item>$mylocation</item>
0131       <item>$myfunction</item>
0132       <item>#assert</item>
0133       <item>#define</item>
0134       <item>#elif</item>
0135       <item>#elifdef</item>
0136       <item>#elifndef</item>
0137       <item>#else</item>
0138       <item>#endif</item>
0139       <item>#error</item>
0140       <item>#if</item>
0141       <item>#ifdef</item>
0142       <item>#ifndef</item>
0143       <item>#include</item>
0144       <item>#print</item>
0145       <item>#then</item>
0146       <item>#undef</item>
0147     </list>
0148     <list name="function keywords">
0149       <item>fn</item>
0150       <item>fnx</item>
0151       <item>fun</item>
0152       <item>prfn</item>
0153       <item>prfun</item>
0154       <item>praxi</item>
0155       <item>castfn</item>
0156       <item>implmnt</item>
0157       <item>implement</item>
0158       <item>primplmnt</item>
0159       <item>primplement</item>
0160       <item>lam</item>
0161       <item>llam</item>
0162       <item>fix</item>
0163     </list>
0164     <contexts>
0165       <context attribute="Normal Text" lineEndContext="#stay" name="Normal">
0166         <StringDetect attribute="Comment" context="Rest-of-file Comment" String="////" beginRegion="comment" />
0167         <Detect2Chars attribute="Comment" context="Multiline Comment" char="(" char1="*" beginRegion="comment" />
0168         <Detect2Chars attribute="Comment" context="Multiline C-style Comment" char="/" char1="*" beginRegion="Comment"/>
0169         <Detect2Chars attribute="Comment" context="Singleline C++ style Comment" char="/" char1="/"/>
0170
0171         <Detect2Chars attribute="Termination Metrics" context="Termination Metrics Context" char="." char1="&lt;" />
0172
0173         <RegExpr attribute="Constructor" context="#stay" String="`\s*&IDENT;"/>
0174
0175         <!-- Identifiers and keywords. -->
0176         <keyword attribute="Keyword" context="#stay" String="keywords" />
0177         <keyword attribute="Function Keyword" context="Function Keyword Context" String="function keywords" />
0178         <keyword attribute="Special Keyword" context="#stay" String="special keywords" />
0179         <RegExpr attribute="Identifier" context="#stay" String="&IDENT;" />
0180
0181         <!-- Numeric constants. -->
0182         <!-- Note that they may contain underscores. -->
0183         <RegExpr attribute="Hexadecimal" context="#stay" String="~?0[xX][0-9A-Fa-f_]+" />
0184         <RegExpr attribute="Float" context="#stay" String="~?&DEC;((\.(&DEC;)?([eE][-+]?&DEC;)?)|([eE][-+]?&DEC;))" />
0185         <RegExpr attribute="Decimal" context="#stay" String="~?&DEC;" />
0186       </context>
0187
0188       <context attribute="Comment" lineEndContext="#stay" name="Rest-of-file Comment"/>
0189       <context attribute="Comment" lineEndContext="#stay" name="Multiline Comment">
0190         <!-- Support for nested comments -->
0191         <Detect2Chars attribute="Comment" context="#pop" char="*" char1=")" endRegion="comment" />
0192         <Detect2Chars attribute="Comment" context="Multiline Comment" char="(" char1="*" beginRegion="comment" />
0193         <IncludeRules context="##Comments" />
0194       </context>
0195       <context attribute="Comment" lineEndContext="#stay" name="Multiline C-style Comment">
0196         <Detect2Chars attribute="Comment" context="#pop" char="*" char1="/" endRegion="Comment"/>
0197         <IncludeRules context="##Comments" />
0198       </context>
0199       <context attribute="Comment" lineEndContext="#pop" name="Singleline C++ style Comment">
0200         <IncludeRules context="##Comments" />
0201       </context>
0202
0203       <context attribute="Termination Metrics" lineEndContext="#stay" name="Termination Metrics Context">
0204         <Detect2Chars attribute="Termination Metrics" context="#pop" char="&gt;" char1="." />
0205       </context>
0206
0207       <context attribute="Normal Text" lineEndContext="#stay" name="Function Keyword Context">
0208         <DetectChar attribute="Normal Text" context="#pop" char="=" />
0209         <DetectChar attribute="Universal" context="Universal Context" char="{" />
0210         <DetectChar attribute="Existential" context="Existential Context" char="[" />
0211         <IncludeRules context="Normal"/>
0212       </context>
0213
0214       <context attribute="Universal" lineEndContext="#stay" name="Universal Context">
0215         <DetectChar attribute="Universal" context="#pop" char="}" />
0216       </context>
0217
0218       <context attribute="Existential" lineEndContext="#stay" name="Existential Context">
0219         <DetectChar attribute="Existential" context="#pop" char="]" />
0220       </context>
0221 </contexts>
0222
0223     <itemDatas>
0224       <itemData name="Normal Text" defStyleNum="dsNormal"/>
0225       <itemData name="Identifier" defStyleNum="dsNormal"/>
0226       <itemData name="Keyword"  defStyleNum="dsKeyword"/>
0227       <itemData name="Function Keyword"  defStyleNum="dsKeyword"/>
0228       <itemData name="Special Keyword"  defStyleNum="dsDataType"/>
0229       <itemData name="Termination Metrics" defStyleNum="dsDataType"/>
0230       <itemData name="Universal" defStyleNum="dsDataType"/>
0231       <itemData name="Existential" defStyleNum="dsDataType"/>
0232       <itemData name="Decimal"  defStyleNum="dsDecVal"/>
0233       <itemData name="Hexadecimal"  defStyleNum="dsBaseN"/>
0234       <itemData name="Float"  defStyleNum="dsFloat"/>
0235       <itemData name="Comment"  defStyleNum="dsComment"/>
0236       <itemData name="Constructor" defStyleNum="dsDataType"/>
0237     </itemDatas>
0238   </highlighting>
0239
0240   <general>
0241     <keywords casesensitive="1" />
0242     <comments>
0243       <comment name="singleLine" start="//" />
0244       <comment name="multiLine" start="(*" end="*)" region="comment" />
0245     </comments>
0246   </general>
0247 </language>
0248 <!-- kate: space-indent on; indent-width 2; replace-tabs on; -->