Warning, /frameworks/syntax-highlighting/data/syntax/magma.xml is written in an unsupported language. File is not indexed.
0001 <?xml version="1.0" encoding="UTF-8"?> 0002 <!DOCTYPE language> 0003 <!-- low priority to let Objective-C win for .m files per default --> 0004 <language name="Magma" section="Scientific" 0005 version="5" kateversion="5.0" 0006 mimetype="text/x-magma" 0007 indenter="cstyle" 0008 extensions="*.m;*.mag" priority="-9"> 0009 <highlighting> 0010 <list name="keywords"> 0011 <item>and</item> 0012 <item>assert</item> 0013 <item>assigned</item> 0014 <item>attributes</item> 0015 <item>break</item> 0016 <item>by</item> 0017 <item>case</item> 0018 <item>cat</item> 0019 <item>cmpeq</item> 0020 <item>cmpne</item> 0021 <item>continue</item> 0022 <item>declare</item> 0023 <item>delete</item> 0024 <item>diff</item> 0025 <item>div</item> 0026 <item>do</item> 0027 <item>else</item> 0028 <item>elif</item> 0029 <item>end</item> 0030 <item>eq</item> 0031 <item>error</item> 0032 <item>exists</item> 0033 <item>false</item> 0034 <item>for</item> 0035 <item>forall</item> 0036 <item>forward</item> 0037 <item>freeze</item> 0038 <item>function</item> 0039 <item>ge</item> 0040 <item>gt</item> 0041 <item>if</item> 0042 <item>import</item> 0043 <item>in</item> 0044 <item>intrinsic</item> 0045 <item>join</item> 0046 <item>le</item> 0047 <item>lt</item> 0048 <item>max</item> 0049 <item>meet</item> 0050 <item>min</item> 0051 <item>mod</item> 0052 <item>ne</item> 0053 <item>not</item> 0054 <item>or</item> 0055 <item>procedure</item> 0056 <item>quit</item> 0057 <item>repeat</item> 0058 <item>require</item> 0059 <item>requirege</item> 0060 <item>requirerange</item> 0061 <item>return</item> 0062 <item>sdiff</item> 0063 <item>select</item> 0064 <item>then</item> 0065 <item>time</item> 0066 <item>to</item> 0067 <item>true</item> 0068 <item>until</item> 0069 <item>verbose</item> 0070 <item>vprint</item> 0071 <item>vtime</item> 0072 <item>when</item> 0073 <item>while</item> 0074 <item>xor</item> 0075 </list> 0076 <list name="types"> 0077 <item>Booleans</item> 0078 <item>EllipticCurve</item> 0079 <item>ExtensionField</item> 0080 <item>FiniteField</item> 0081 <item>GF</item> 0082 <item>HyperellipticCurve</item> 0083 <item>Integers</item> 0084 <item>Jacobian</item> 0085 <item>PolynomialRing</item> 0086 <item>Rationals</item> 0087 <item>RealField</item> 0088 </list> 0089 <list name="directives"> 0090 <item>AddAttribute</item> 0091 <item>AssignNames</item> 0092 <item>Attach</item> 0093 <item>AttachSpec</item> 0094 <item>CoveringStructure</item> 0095 <item>Cputime</item> 0096 <item>Detach</item> 0097 <item>DetachSpec</item> 0098 <item>ElementType</item> 0099 <item>ExistsCoveringStructure</item> 0100 <item>ExtendedType</item> 0101 <item>GetAttributes</item> 0102 <item>GetSeed</item> 0103 <item>ISA</item> 0104 <item>IsCoercible</item> 0105 <item>IsIntrinsic</item> 0106 <item>ListAttributes</item> 0107 <item>MakeType</item> 0108 <item>Random</item> 0109 <item>Realtime</item> 0110 <item>SetSeed</item> 0111 <item>Type</item> 0112 </list> 0113 <contexts> 0114 <context attribute="Normal Text" lineEndContext="#stay" name="Normal"> 0115 <RegExpr attribute="Keyword" context="#stay" String="\b(function|procedure|if|elif|else|for|repeat|while|case)(?=(\{[^}]*(\}|$)|\(\*.*(\*\)|$))*([\s]|$|//))" insensitive="false" beginRegion="Region1"/> 0116 <RegExpr attribute="Keyword" context="#stay" String="\b(end|elif|else)(?=((\{[^}]*(\}|$)|\(\*.*(\*\)|$))*)([.;\s]|$)|//|$)" insensitive="false" endRegion="Region1"/> 0117 <keyword attribute="Keyword" context="#stay" String="keywords"/> 0118 <keyword attribute="Directive" context="#stay" String="directives"/> 0119 <keyword attribute="Type" context="#stay" String="types"/> 0120 <Float attribute="Number" context="#stay"/> 0121 <Int attribute="Number" context="#stay"/> 0122 <DetectChar attribute="String" context="String1" char=""" /> 0123 <DetectChar attribute="String" context="String2" char="'" /> 0124 <Detect2Chars attribute="Comment" context="Comment1" char="/" char1="/"/> 0125 <Detect2Chars attribute="Comment" context="Comment2" char="/" char1="*" beginRegion="BlockComment"/> 0126 </context> 0127 <context attribute="String" lineEndContext="#pop" name="String1"> 0128 <DetectChar attribute="String" context="#pop" char="""/> 0129 </context> 0130 <context attribute="String" lineEndContext="#pop" name="String2"> 0131 <DetectChar attribute="String" context="#pop" char="'" /> 0132 </context> 0133 <context attribute="Comment" lineEndContext="#pop" name="Comment1"> 0134 <DetectSpaces /> 0135 <IncludeRules context="##Comments"/> 0136 </context> 0137 <context attribute="Comment" lineEndContext="#stay" name="Comment2"> 0138 <Detect2Chars attribute="Comment" context="#pop" char="*" char1="/" endRegion="BlockComment"/> 0139 <DetectSpaces /> 0140 <IncludeRules context="##Comments"/> 0141 </context> 0142 </contexts> 0143 <itemDatas> 0144 <itemData name="Normal Text" defStyleNum="dsNormal" /> 0145 <itemData name="Keyword" defStyleNum="dsKeyword" /> 0146 <itemData name="Type" defStyleNum="dsDataType"/> 0147 <itemData name="Number" defStyleNum="dsDecVal" /> 0148 <itemData name="String" defStyleNum="dsString" /> 0149 <itemData name="Directive" defStyleNum="dsOthers" /> 0150 <itemData name="Comment" defStyleNum="dsComment" /> 0151 </itemDatas> 0152 </highlighting> 0153 <general> 0154 <keywords casesensitive="1" /> 0155 <comments> 0156 <comment name="singleLine" start="//" /> 0157 <comment name="multiLine" start="/*" end="*/" region="BlockComment" /> 0158 </comments> 0159 </general> 0160 </language> 0161 <!-- kate: replace-tabs off; -->