summaryrefslogtreecommitdiffstats
path: root/kate/data/magma.xml
diff options
context:
space:
mode:
authorMichele Calgaro <michele.calgaro@yahoo.it>2016-10-17 02:27:29 +0900
committerMichele Calgaro <michele.calgaro@yahoo.it>2016-10-17 02:27:29 +0900
commitfddd4b7f8bdd9b0c5b4d3e21618c0a899937f646 (patch)
tree80985eb703c7efdea28707a1fbef05b8c6df589c /kate/data/magma.xml
parent7406ed0563952d1ee433e02e75fb44a5d0d0a81d (diff)
downloadtdelibs-fddd4b7f8bdd9b0c5b4d3e21618c0a899937f646.tar.gz
tdelibs-fddd4b7f8bdd9b0c5b4d3e21618c0a899937f646.zip
Kate syntax highlighting files update - Oct 2016
Signed-off-by: Michele Calgaro <michele.calgaro@yahoo.it>
Diffstat (limited to 'kate/data/magma.xml')
-rw-r--r--kate/data/magma.xml154
1 files changed, 154 insertions, 0 deletions
diff --git a/kate/data/magma.xml b/kate/data/magma.xml
new file mode 100644
index 000000000..80a7521da
--- /dev/null
+++ b/kate/data/magma.xml
@@ -0,0 +1,154 @@
+<?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="&quot;" />
+ <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="&quot;"/>
+ </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>