rhi
/
blog
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

try and fail to fix maude tokenising

This commit is contained in:
rhiannon morris 2022-03-16 18:40:30 +01:00
parent 6a7d65d421
commit 16354224d4
1 changed files with 16 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
syntax/maude.xml
View File

@ -1,5 +1,8 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE language SYSTEM "language.dtd">
<!DOCTYPE language SYSTEM "language.dtd" [
<!ENTITY tok_start "(?&lt;=^|\s|[(\[{}\]),])">
<!ENTITY tok_end "(?=$|\s|[(\[{}\]),])">
]>
<language name="Maude" section="Sources" extensions="*.maude"
version="1" kateversion="5.53">
@ -45,22 +48,26 @@
<keyword attribute="eqs" context="#stay" String="eqs" />
<keyword attribute="rules" context="#stay" String="rules" />
<keyword attribute="members" context="#stay" String="members" />
<keyword attribute="strats" context="#stay" String="strats" />
<keyword attribute="sds" context="#stay" String="sds" />
<keyword attribute="if" context="#stay" String="if" />
<RegExpr attribute="if" context="#stay" String="/\\" />
<RegExpr attribute="punc" context="#stay"
String="(?&lt;=^|\s)(?::[:=]?|->|&lt;-|=>|=(?:=|/=)?|@)(?=\s|$)" />
String="&tok_start;(?::[:=]?|->|&lt;-|=>|=(?:=|/=)?|@)&tok_end;" />
<RegExpr attribute="delim" context="#stay"
String="[{}\[\](),]|(?&lt;=^|\s)\.(?=\s|$)" />
<DetectChar attribute="string" context="String" char="&quot;" />
<Float attribute="float" context="#stay" />
<RegExpr attribute="rat" context="#stay"
String="&tok_start;-?\d+(?:/\d+)?&tok_end;" />
<RegExpr attribute="float" context="#stay"
String="(?&lt;=^|\s|[(\[{])-?Infinity(?=$|\s|[)\]}])" />
<RegExpr attribute="rat" context="#stay" String="-?\d+(?:/\d+)?" />
String="&tok_start;-?\d*\.\d+(?:[eE][+-]?\d+)?&tok_end;" />
<RegExpr attribute="float" context="#stay"
String="&tok_start;-?Infinity&tok_end;" />
<RegExpr attribute="comment" context="comment s"
String="(?:---|\*\*\*)(?!\()" />
@ -110,6 +117,9 @@
</highlighting>
<general>
<keywords casesensitive="true" />
<keywords
casesensitive="true"
additionalDeliminators="[]{}(), &#9;"
wordWrapDeliminators=" " />
</general>
</language>