Warning, /frameworks/syntax-highlighting/data/syntax/ats.xml is written in an unsupported language. File is not indexed.
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'"\\]|\\[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="<" /> 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=">" 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; -->