You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
155 lines
5.0 KiB
155 lines
5.0 KiB
8 years ago
|
<?xml version="1.0" encoding="UTF-8"?>
|
||
|
<!DOCTYPE language SYSTEM "language.dtd">
|
||
|
<language name="Magma" section="Scientific"
|
||
|
version="2" kateversion="2.4"
|
||
|
mimetype="text/x-magma"
|
||
|
indenter="cstyle"
|
||
|
extensions="*.m;*.mag">
|
||
|
<highlighting>
|
||
|
<list name="keywords">
|
||
|
<item> and </item>
|
||
|
<item> assert </item>
|
||
|
<item> assigned </item>
|
||
|
<item> attributes </item>
|
||
|
<item> break </item>
|
||
|
<item> by </item>
|
||
|
<item> case </item>
|
||
|
<item> cat </item>
|
||
|
<item> cmpeq </item>
|
||
|
<item> cmpne </item>
|
||
|
<item> continue </item>
|
||
|
<item> declare </item>
|
||
|
<item> delete </item>
|
||
|
<item> diff </item>
|
||
|
<item> div </item>
|
||
|
<item> do </item>
|
||
|
<item> else </item>
|
||
|
<item> elif </item>
|
||
|
<item> end </item>
|
||
|
<item> eq </item>
|
||
|
<item> error </item>
|
||
|
<item> exists </item>
|
||
|
<item> false </item>
|
||
|
<item> for </item>
|
||
|
<item> forall </item>
|
||
|
<item> forward </item>
|
||
|
<item> freeze </item>
|
||
|
<item> function </item>
|
||
|
<item> ge </item>
|
||
|
<item> gt </item>
|
||
|
<item> if </item>
|
||
|
<item> import </item>
|
||
|
<item> in </item>
|
||
|
<item> intrinsic </item>
|
||
|
<item> join </item>
|
||
|
<item> le </item>
|
||
|
<item> lt </item>
|
||
|
<item> max </item>
|
||
|
<item> meet </item>
|
||
|
<item> min </item>
|
||
|
<item> mod </item>
|
||
|
<item> ne </item>
|
||
|
<item> not </item>
|
||
|
<item> or </item>
|
||
|
<item> procedure </item>
|
||
|
<item> quit </item>
|
||
|
<item> repeat </item>
|
||
|
<item> require </item>
|
||
|
<item> requirege </item>
|
||
|
<item> requirerange </item>
|
||
|
<item> return </item>
|
||
|
<item> sdiff </item>
|
||
|
<item> select </item>
|
||
|
<item> then </item>
|
||
|
<item> time </item>
|
||
|
<item> to </item>
|
||
|
<item> true </item>
|
||
|
<item> until </item>
|
||
|
<item> verbose </item>
|
||
|
<item> vprint </item>
|
||
|
<item> vtime </item>
|
||
|
<item> when </item>
|
||
|
<item> while </item>
|
||
|
<item> xor </item>
|
||
|
</list>
|
||
|
<list name="types">
|
||
|
<item> Booleans </item>
|
||
|
<item> EllipticCurve </item>
|
||
|
<item> ExtensionField </item>
|
||
|
<item> FiniteField </item>
|
||
|
<item> GF </item>
|
||
|
<item> HyperellipticCurve </item>
|
||
|
<item> Integers </item>
|
||
|
<item> Jacobian </item>
|
||
|
<item> PolynomialRing </item>
|
||
|
<item> Rationals </item>
|
||
|
<item> RealField </item>
|
||
|
</list>
|
||
|
<list name="directives">
|
||
|
<item> AddAttribute </item>
|
||
|
<item> AssignNames </item>
|
||
|
<item> Attach </item>
|
||
|
<item> AttachSpec </item>
|
||
|
<item> CoveringStructure </item>
|
||
|
<item> Cputime </item>
|
||
|
<item> Detach </item>
|
||
|
<item> DetachSpec </item>
|
||
|
<item> ElementType </item>
|
||
|
<item> ExistsCoveringStructure </item>
|
||
|
<item> ExtendedType </item>
|
||
|
<item> GetAttributes </item>
|
||
|
<item> GetSeed </item>
|
||
|
<item> ISA </item>
|
||
|
<item> IsCoercible </item>
|
||
|
<item> IsIntrinsic </item>
|
||
|
<item> ListAttributes </item>
|
||
|
<item> MakeType </item>
|
||
|
<item> Random </item>
|
||
|
<item> Realtime </item>
|
||
|
<item> SetSeed </item>
|
||
|
<item> Type </item>
|
||
|
</list>
|
||
|
<contexts>
|
||
|
<context attribute="Normal Text" lineEndContext="#stay" name="Normal">
|
||
|
<RegExpr attribute="Keyword" context="#stay" String="\b(function|procedure|if|elif|else|for|repeat|while|case)(?=(\{[^}]*(\}|$)|\(\*.*(\*\)|$))*([\s]|$|//))" insensitive="false" beginRegion="Region1"/>
|
||
|
<RegExpr attribute="Keyword" context="#stay" String="\b(end|elif|else)(?=((\{[^}]*(\}|$)|\(\*.*(\*\)|$))*)([.;\s]|$)|//|$)" insensitive="false" endRegion="Region1"/>
|
||
|
<keyword attribute="Keyword" context="#stay" String="keywords"/>
|
||
|
<keyword attribute="Directive" context="#stay" String="directives"/>
|
||
|
<keyword attribute="Type" context="#stay" String="types"/>
|
||
|
<Float attribute="Number" context="#stay"/>
|
||
|
<Int attribute="Number" context="#stay"/>
|
||
|
<DetectChar attribute="String" context="String1" char=""" />
|
||
|
<DetectChar attribute="String" context="String2" char="'" />
|
||
|
<Detect2Chars attribute="Comment" context="Comment1" char="/" char1="/"/>
|
||
|
<Detect2Chars attribute="Comment" context="Comment2" char="/" char1="*"/>
|
||
|
</context>
|
||
|
<context attribute="String" lineEndContext="#pop" name="String1">
|
||
|
<DetectChar attribute="String" context="#pop" char="""/>
|
||
|
</context>
|
||
|
<context attribute="String" lineEndContext="#pop" name="String2">
|
||
|
<DetectChar attribute="String" context="#pop" char="'" />
|
||
|
</context>
|
||
|
<context attribute="Comment" lineEndContext="#pop" name="Comment1" />
|
||
|
<context attribute="Comment" lineEndContext="#stay" name="Comment2">
|
||
|
<Detect2Chars attribute="Comment" context="#pop" char="*" char1="/"/>
|
||
|
</context>
|
||
|
</contexts>
|
||
|
<itemDatas>
|
||
|
<itemData name="Normal Text" defStyleNum="dsNormal" />
|
||
|
<itemData name="Keyword" defStyleNum="dsKeyword" />
|
||
|
<itemData name="Type" defStyleNum="dsDataType"/>
|
||
|
<itemData name="Number" defStyleNum="dsDecVal" />
|
||
|
<itemData name="String" defStyleNum="dsString" />
|
||
|
<itemData name="Directive" defStyleNum="dsOthers" />
|
||
|
<itemData name="Comment" defStyleNum="dsComment" />
|
||
|
</itemDatas>
|
||
|
</highlighting>
|
||
|
<general>
|
||
|
<keywords casesensitive="1" />
|
||
|
<comments>
|
||
|
<comment name="singleLine" start="//" />
|
||
|
<comment name="multiLine" start="/*" end="*/" />
|
||
|
</comments>
|
||
|
</general>
|
||
|
</language>
|