data/syntax/bmethod.xml

0001 <?xml version="1.0" encoding="UTF-8"?>
0002 <!DOCTYPE language>
0003 <language name="B-Method" version="3" kateversion="5.0" section="Scientific" extensions="*.mch;*.imp;*.ref" author="Ivo Anjo (knuckles@gmail.com)" license="LGPL">
0004
0005 <highlighting>
0006         <list name="sections">
0007                 <item>MACHINE</item>
0008                 <item>SETS</item>
0009                 <item>CONSTANTS</item>
0010                 <item>PROPERTIES</item>
0011                 <item>PROMOTES</item>
0012                 <item>INCLUDES</item>
0013                 <item>USES</item>
0014                 <item>SEES</item>
0015                 <item>VARIABLES</item>
0016                 <item>INVARIANT</item>
0017                 <item>INITIALISATION</item>
0018                 <item>REFINEMENT</item>
0019                 <item>REFINES</item>
0020                 <item>CONSTRAINTS</item>
0021                 <item>IMPLEMENTATION</item>
0022                 <item>IMPORTS</item>
0023         </list>
0024         <list name="sectionsBlockStart">
0025                 <item>OPERATIONS</item>
0026         </list>
0027         <list name="sectionsBlockEnd">
0028                 <item>END</item>
0029         </list>
0030         <list name="operationSections">
0031                 <item>THEN</item>
0032                 <item>WHEN</item>
0033                 <item>ELSE</item>
0034                 <item>OR</item>
0035                 <item>WHERE</item>
0036                 <item>INVARIANT</item>
0037                 <item>DO</item>
0038                 <item>VARIANT</item>
0039                 <item>IN</item>
0040                 <item>ELSIF</item>
0041         </list>
0042         <list name="operationSectionsBlockStart">
0043                 <item>PRE</item>
0044                 <item>IF</item>
0045                 <item>ANY</item>
0046                 <item>LET</item>
0047                 <item>CHOICE</item>
0048                 <item>CASE</item>
0049                 <item>SELECT</item>
0050                 <item>VAR</item>
0051                 <item>WHILE</item>
0052                 <item>BEGIN</item>
0053         </list>
0054         <list name="operationSectionsBlockEnd">
0055                 <item>END</item>
0056         </list>
0057         <list name="types">
0058                 <item>NAT</item>
0059                 <item>NAT1</item>
0060         </list>
0061         <contexts>
0062                 <context attribute="Normal Text" lineEndContext="#stay" name="Normal Text">
0063                         <keyword attribute="SectionKeyword" context="#stay" String="sections" column="0"/>
0064                         <keyword attribute="SectionKeyword" context="#stay" String="sectionsBlockStart" column="0" beginRegion="sectionsBlock"/>
0065                         <keyword attribute="SectionKeyword" context="#stay" String="sectionsBlockEnd" column="0" endRegion="sectionsBlock"/>
0066                         <keyword attribute="Data Type" context="#stay" String="types"/>
0067                         <Int attribute="Decimal" context="#stay"/>
0068                         <Detect2Chars attribute="Comment" context="Comment" char="/" char1="*" beginRegion="Comment"/>
0069                         <keyword attribute="OperationKeyword" context="#stay" String="operationSections"/>
0070                         <keyword attribute="OperationKeyword" context="#stay" String="operationSectionsBlockStart" beginRegion="CodeBlock"/>
0071                         <keyword attribute="OperationKeyword" context="#stay" String="operationSectionsBlockEnd" endRegion="CodeBlock"/>
0072                 </context>
0073
0074                 <context attribute="Comment" lineEndContext="#stay" name="Comment">
0075                         <Detect2Chars attribute="Comment" context="#pop" char="*" char1="/" endRegion="Comment"/>
0076                         <IncludeRules context="##Comments"/>
0077                 </context>
0078         </contexts>
0079         <itemDatas>
0080                 <itemData name="Normal Text" defStyleNum="dsNormal" spellChecking="0"/>
0081                 <itemData name="SectionKeyword" defStyleNum="dsBuiltIn" spellChecking="0"/>
0082                 <itemData name="OperationKeyword" defStyleNum="dsControlFlow" spellChecking="0"/>
0083                 <itemData name="Comment" defStyleNum="dsComment"/>
0084                 <itemData name="Data Type" defStyleNum="dsDataType" spellChecking="0"/>
0085                 <itemData name="Decimal" defStyleNum="dsDecVal" spellChecking="0"/>
0086         </itemDatas>
0087 </highlighting>
0088
0089 <general>
0090         <comments>
0091                 <comment name="multiLine" start="/*" end="*/" region="Comment"/>
0092         </comments>
0093         <keywords casesensitive="1"/>
0094 </general>
0095
0096 </language>
0097 <!-- kate: replace-tabs off; -->