-<?xml version="1.0"?>\r
-\r
-<!DOCTYPE MODE SYSTEM "xmode.dtd">\r
-\r
-<MODE>\r
- <PROPS>\r
- <PROPERTY NAME="indentNextLine" VALUE="\s*(((ANY|ASSERT|CASE|CHOICE|IF|LET|PRE|SELECT|VAR|WHILE|WHEN)\s*\(|ELSE|ELSEIF|EITHER|OR|VARIANT|INVARIANT)[^;]*|for\s*\(.*)" />\r
- <PROPERTY NAME="commentStart" VALUE="/*" />\r
- <PROPERTY NAME="commentEnd" VALUE="*/" />\r
- <PROPERTY NAME="lineComment" VALUE="//" />\r
- </PROPS>\r
- <RULES ESCAPE="\" IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="TRUE">\r
- <!-- B style comment -->\r
- <SPAN TYPE="COMMENT3">\r
- <BEGIN>/*?</BEGIN>\r
- <END>?*/</END>\r
- </SPAN>\r
- \r
- <SPAN TYPE="COMMENT1">\r
- <BEGIN>/*</BEGIN>\r
- <END>*/</END>\r
- </SPAN>\r
- \r
- <SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE">\r
- <BEGIN>"</BEGIN>\r
- <END>"</END>\r
- </SPAN>\r
- <SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE">\r
- <BEGIN>'</BEGIN>\r
- <END>'</END>\r
- </SPAN>\r
-\r
- \r
- <EOL_SPAN TYPE="COMMENT2">//</EOL_SPAN>\r
- <SEQ TYPE="OPERATOR">!</SEQ>\r
- <SEQ TYPE="OPERATOR">#</SEQ>\r
- <SEQ TYPE="OPERATOR">$0</SEQ>\r
- <SEQ TYPE="OPERATOR">%</SEQ>\r
- <SEQ TYPE="OPERATOR">=</SEQ>\r
- <!-- pour le & -->\r
- <SEQ TYPE="OPERATOR">&</SEQ>\r
- <!-- pour le < et > -->\r
- <SEQ TYPE="OPERATOR">></SEQ>\r
- <SEQ TYPE="OPERATOR"><</SEQ>\r
-\r
- <SEQ TYPE="OPERATOR">*</SEQ>\r
-\r
- <SEQ TYPE="OPERATOR">+</SEQ>\r
- <SEQ TYPE="OPERATOR">/</SEQ>\r
- <SEQ TYPE="OPERATOR">\</SEQ>\r
- <SEQ TYPE="OPERATOR">~</SEQ>\r
- <SEQ TYPE="OPERATOR">:</SEQ>\r
- <SEQ TYPE="OPERATOR">;</SEQ>\r
- <SEQ TYPE="OPERATOR">|</SEQ>\r
- <SEQ TYPE="OPERATOR">-</SEQ>\r
- \r
- <SEQ TYPE="OPERATOR">^</SEQ>\r
- \r
- <SEQ TYPE="OPERATOR">.</SEQ>\r
- <SEQ TYPE="OPERATOR">,</SEQ>\r
- <SEQ TYPE="OPERATOR">(</SEQ>\r
- <SEQ TYPE="OPERATOR">)</SEQ>\r
- <SEQ TYPE="OPERATOR">}</SEQ>\r
- <SEQ TYPE="OPERATOR">{</SEQ>\r
- <SEQ TYPE="OPERATOR">]</SEQ>\r
- <SEQ TYPE="OPERATOR">[</SEQ>\r
-\r
- <KEYWORDS>\r
- \r
- <!-- clauses -->\r
- <KEYWORD2>ABSTRACT_CONSTANTS</KEYWORD2>\r
- <KEYWORD2>ABSTRACT_VARIABLES</KEYWORD2>\r
- <KEYWORD2>CONCRETE_CONSTANTS</KEYWORD2>\r
- <KEYWORD2>CONCRETE_VARIABLES</KEYWORD2>\r
- <KEYWORD2>CONSTANTS</KEYWORD2>\r
- <KEYWORD2>VARIABLES</KEYWORD2>\r
- <KEYWORD2>ASSERTIONS</KEYWORD2>\r
- <KEYWORD2>CONSTRAINTS</KEYWORD2>\r
- <KEYWORD2>DEFINITIONS</KEYWORD2>\r
- <KEYWORD2>EXTENDS</KEYWORD2>\r
- <KEYWORD2>IMPLEMENTATION</KEYWORD2>\r
- <KEYWORD2>IMPORTS</KEYWORD2>\r
- <KEYWORD2>INCLUDES</KEYWORD2>\r
- <KEYWORD2>INITIALISATION</KEYWORD2>\r
- <KEYWORD2>INVARIANT</KEYWORD2>\r
- <KEYWORD2>LOCAL_OPERATIONS</KEYWORD2>\r
- <KEYWORD2>MACHINE</KEYWORD2>\r
- <KEYWORD2>OPERATIONS</KEYWORD2>\r
- <KEYWORD2>PROMOTES</KEYWORD2>\r
- <KEYWORD2>PROPERTIES</KEYWORD2>\r
- <KEYWORD2>REFINES</KEYWORD2>\r
- <KEYWORD2>REFINEMENT</KEYWORD2>\r
- <KEYWORD2>SEES</KEYWORD2>\r
- <KEYWORD2>SETS</KEYWORD2>\r
- <KEYWORD2>USES</KEYWORD2>\r
- <KEYWORD2>VALUES</KEYWORD2>\r
-\r
- \r
- <!-- substitutions -->\r
- <KEYWORD2>ANY</KEYWORD2>\r
- <KEYWORD2>ASSERT</KEYWORD2>\r
- <KEYWORD2>BE</KEYWORD2>\r
- <KEYWORD2>BEGIN</KEYWORD2>\r
- <KEYWORD2>CASE</KEYWORD2>\r
- <KEYWORD2>CHOICE</KEYWORD2>\r
- <KEYWORD2>DO</KEYWORD2>\r
- <KEYWORD2>EITHER</KEYWORD2>\r
- <KEYWORD2>ELSE</KEYWORD2>\r
- <KEYWORD2>ELSIF</KEYWORD2>\r
- <!-- voir pour le end -->\r
- <KEYWORD2>END</KEYWORD2>\r
- <KEYWORD2>IF</KEYWORD2>\r
- <KEYWORD2>IN</KEYWORD2>\r
- <KEYWORD2>LET</KEYWORD2>\r
- <KEYWORD2>OF</KEYWORD2>\r
- <KEYWORD2>OR</KEYWORD2>\r
- <KEYWORD2>PRE</KEYWORD2>\r
- <KEYWORD2>SELECT</KEYWORD2>\r
- <KEYWORD2>THEN</KEYWORD2>\r
- <KEYWORD2>VAR</KEYWORD2>\r
- <KEYWORD2>VARIANT</KEYWORD2>\r
- <KEYWORD2>WHEN</KEYWORD2>\r
- <KEYWORD2>WHERE</KEYWORD2>\r
- <KEYWORD2>WHILE</KEYWORD2>\r
- \r
- \r
- <KEYWORD3>FIN</KEYWORD3>\r
- <KEYWORD3>FIN1</KEYWORD3>\r
- <KEYWORD3>INT</KEYWORD3>\r
- <KEYWORD3>INTEGER</KEYWORD3>\r
- <KEYWORD3>INTER</KEYWORD3>\r
- <KEYWORD3>MAXINT</KEYWORD3>\r
- <KEYWORD3>MININT</KEYWORD3>\r
- <KEYWORD3>NAT</KEYWORD3>\r
- <KEYWORD3>NAT1</KEYWORD3>\r
- <KEYWORD3>NATURAL</KEYWORD3>\r
- <KEYWORD3>NATURAL1</KEYWORD3>\r
- <KEYWORD3>PI</KEYWORD3>\r
- <KEYWORD3>POW</KEYWORD3>\r
- <KEYWORD3>POW1</KEYWORD3>\r
- <KEYWORD3>SIGMA</KEYWORD3>\r
- <KEYWORD3>UNION</KEYWORD3>\r
-\r
- <FUNCTION>arity</FUNCTION>\r
- <FUNCTION>bin</FUNCTION>\r
- <FUNCTION>bool</FUNCTION>\r
- <FUNCTION>btree</FUNCTION>\r
- <FUNCTION>card</FUNCTION>\r
- <FUNCTION>closure</FUNCTION>\r
- <FUNCTION>closure1</FUNCTION>\r
- <FUNCTION>conc</FUNCTION>\r
- <FUNCTION>const</FUNCTION>\r
- <FUNCTION>dom</FUNCTION>\r
- <FUNCTION>father</FUNCTION>\r
- <FUNCTION>first</FUNCTION>\r
- <FUNCTION>fnc</FUNCTION>\r
- <FUNCTION>front</FUNCTION>\r
- <FUNCTION>id</FUNCTION>\r
- <FUNCTION>infix</FUNCTION>\r
- <FUNCTION>inter</FUNCTION>\r
- <FUNCTION>iseq</FUNCTION>\r
- <FUNCTION>iseq1</FUNCTION>\r
- <FUNCTION>iterate</FUNCTION>\r
- <FUNCTION>last</FUNCTION>\r
- <FUNCTION>left</FUNCTION>\r
- <FUNCTION>max</FUNCTION>\r
- <FUNCTION>min</FUNCTION>\r
- <FUNCTION>mirror</FUNCTION>\r
- <FUNCTION>mod</FUNCTION>\r
- <FUNCTION>not</FUNCTION>\r
- <FUNCTION>or</FUNCTION>\r
- <FUNCTION>perm</FUNCTION>\r
- <FUNCTION>postfix</FUNCTION>\r
- <FUNCTION>pred</FUNCTION>\r
- <FUNCTION>prefix</FUNCTION>\r
- <FUNCTION>prj1</FUNCTION>\r
- <FUNCTION>prj2</FUNCTION>\r
- <FUNCTION>r~</FUNCTION>\r
- <FUNCTION>ran</FUNCTION>\r
- <FUNCTION>rank</FUNCTION>\r
- <FUNCTION>rec</FUNCTION>\r
- <FUNCTION>rel</FUNCTION>\r
- <FUNCTION>rev</FUNCTION>\r
- <FUNCTION>right</FUNCTION>\r
- <FUNCTION>seq</FUNCTION>\r
- <FUNCTION>seq1</FUNCTION>\r
- <FUNCTION>size</FUNCTION>\r
- <FUNCTION>sizet</FUNCTION>\r
- <FUNCTION>skip</FUNCTION>\r
- <FUNCTION>son</FUNCTION>\r
- <FUNCTION>sons</FUNCTION>\r
- <FUNCTION>struct</FUNCTION>\r
- <FUNCTION>subtree</FUNCTION>\r
- <FUNCTION>succ</FUNCTION>\r
- <FUNCTION>tail</FUNCTION>\r
- <FUNCTION>top</FUNCTION>\r
- <FUNCTION>tree</FUNCTION>\r
- <FUNCTION>union</FUNCTION>\r
-\r
- </KEYWORDS>\r
-\r
- </RULES>\r
-</MODE>\r
+<?xml version="1.0"?>
+
+<!DOCTYPE MODE SYSTEM "xmode.dtd">
+
+<MODE>
+ <PROPS>
+ <PROPERTY NAME="indentNextLine" VALUE="\s*(((ANY|ASSERT|CASE|CHOICE|IF|LET|PRE|SELECT|VAR|WHILE|WHEN)\s*\(|ELSE|ELSEIF|EITHER|OR|VARIANT|INVARIANT)[^;]*|for\s*\(.*)" />
+ <PROPERTY NAME="commentStart" VALUE="/*" />
+ <PROPERTY NAME="commentEnd" VALUE="*/" />
+ <PROPERTY NAME="lineComment" VALUE="//" />
+ </PROPS>
+ <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="TRUE">
+ <!-- B style comment -->
+ <SPAN TYPE="COMMENT3">
+ <BEGIN>/*?</BEGIN>
+ <END>?*/</END>
+ </SPAN>
+
+ <SPAN TYPE="COMMENT1">
+ <BEGIN>/*</BEGIN>
+ <END>*/</END>
+ </SPAN>
+
+ <SPAN TYPE="LITERAL1" ESCAPE="\" NO_LINE_BREAK="TRUE">
+ <BEGIN>"</BEGIN>
+ <END>"</END>
+ </SPAN>
+ <SPAN TYPE="LITERAL1" ESCAPE="\" NO_LINE_BREAK="TRUE">
+ <BEGIN>'</BEGIN>
+ <END>'</END>
+ </SPAN>
+
+
+ <EOL_SPAN TYPE="COMMENT2">//</EOL_SPAN>
+ <SEQ TYPE="OPERATOR">!</SEQ>
+ <SEQ TYPE="OPERATOR">#</SEQ>
+ <SEQ TYPE="OPERATOR">$0</SEQ>
+ <SEQ TYPE="OPERATOR">%</SEQ>
+ <SEQ TYPE="OPERATOR">=</SEQ>
+ <!-- pour le & -->
+ <SEQ TYPE="OPERATOR">&</SEQ>
+ <!-- pour le < et > -->
+ <SEQ TYPE="OPERATOR">></SEQ>
+ <SEQ TYPE="OPERATOR"><</SEQ>
+
+ <SEQ TYPE="OPERATOR">*</SEQ>
+
+ <SEQ TYPE="OPERATOR">+</SEQ>
+ <SEQ TYPE="OPERATOR">/</SEQ>
+ <SEQ TYPE="OPERATOR">\</SEQ>
+ <SEQ TYPE="OPERATOR">~</SEQ>
+ <SEQ TYPE="OPERATOR">:</SEQ>
+ <SEQ TYPE="OPERATOR">;</SEQ>
+ <SEQ TYPE="OPERATOR">|</SEQ>
+ <SEQ TYPE="OPERATOR">-</SEQ>
+
+ <SEQ TYPE="OPERATOR">^</SEQ>
+
+ <SEQ TYPE="OPERATOR">.</SEQ>
+ <SEQ TYPE="OPERATOR">,</SEQ>
+ <SEQ TYPE="OPERATOR">(</SEQ>
+ <SEQ TYPE="OPERATOR">)</SEQ>
+ <SEQ TYPE="OPERATOR">}</SEQ>
+ <SEQ TYPE="OPERATOR">{</SEQ>
+ <SEQ TYPE="OPERATOR">]</SEQ>
+ <SEQ TYPE="OPERATOR">[</SEQ>
+
+ <KEYWORDS>
+
+ <!-- clauses -->
+ <KEYWORD2>ABSTRACT_CONSTANTS</KEYWORD2>
+ <KEYWORD2>ABSTRACT_VARIABLES</KEYWORD2>
+ <KEYWORD2>CONCRETE_CONSTANTS</KEYWORD2>
+ <KEYWORD2>CONCRETE_VARIABLES</KEYWORD2>
+ <KEYWORD2>CONSTANTS</KEYWORD2>
+ <KEYWORD2>VARIABLES</KEYWORD2>
+ <KEYWORD2>ASSERTIONS</KEYWORD2>
+ <KEYWORD2>CONSTRAINTS</KEYWORD2>
+ <KEYWORD2>DEFINITIONS</KEYWORD2>
+ <KEYWORD2>EXTENDS</KEYWORD2>
+ <KEYWORD2>IMPLEMENTATION</KEYWORD2>
+ <KEYWORD2>IMPORTS</KEYWORD2>
+ <KEYWORD2>INCLUDES</KEYWORD2>
+ <KEYWORD2>INITIALISATION</KEYWORD2>
+ <KEYWORD2>INVARIANT</KEYWORD2>
+ <KEYWORD2>LOCAL_OPERATIONS</KEYWORD2>
+ <KEYWORD2>MACHINE</KEYWORD2>
+ <KEYWORD2>OPERATIONS</KEYWORD2>
+ <KEYWORD2>PROMOTES</KEYWORD2>
+ <KEYWORD2>PROPERTIES</KEYWORD2>
+ <KEYWORD2>REFINES</KEYWORD2>
+ <KEYWORD2>REFINEMENT</KEYWORD2>
+ <KEYWORD2>SEES</KEYWORD2>
+ <KEYWORD2>SETS</KEYWORD2>
+ <KEYWORD2>USES</KEYWORD2>
+ <KEYWORD2>VALUES</KEYWORD2>
+
+
+ <!-- substitutions -->
+ <KEYWORD2>ANY</KEYWORD2>
+ <KEYWORD2>ASSERT</KEYWORD2>
+ <KEYWORD2>BE</KEYWORD2>
+ <KEYWORD2>BEGIN</KEYWORD2>
+ <KEYWORD2>CASE</KEYWORD2>
+ <KEYWORD2>CHOICE</KEYWORD2>
+ <KEYWORD2>DO</KEYWORD2>
+ <KEYWORD2>EITHER</KEYWORD2>
+ <KEYWORD2>ELSE</KEYWORD2>
+ <KEYWORD2>ELSIF</KEYWORD2>
+ <!-- voir pour le end -->
+ <KEYWORD2>END</KEYWORD2>
+ <KEYWORD2>IF</KEYWORD2>
+ <KEYWORD2>IN</KEYWORD2>
+ <KEYWORD2>LET</KEYWORD2>
+ <KEYWORD2>OF</KEYWORD2>
+ <KEYWORD2>OR</KEYWORD2>
+ <KEYWORD2>PRE</KEYWORD2>
+ <KEYWORD2>SELECT</KEYWORD2>
+ <KEYWORD2>THEN</KEYWORD2>
+ <KEYWORD2>VAR</KEYWORD2>
+ <KEYWORD2>VARIANT</KEYWORD2>
+ <KEYWORD2>WHEN</KEYWORD2>
+ <KEYWORD2>WHERE</KEYWORD2>
+ <KEYWORD2>WHILE</KEYWORD2>
+
+
+ <KEYWORD3>FIN</KEYWORD3>
+ <KEYWORD3>FIN1</KEYWORD3>
+ <KEYWORD3>INT</KEYWORD3>
+ <KEYWORD3>INTEGER</KEYWORD3>
+ <KEYWORD3>INTER</KEYWORD3>
+ <KEYWORD3>MAXINT</KEYWORD3>
+ <KEYWORD3>MININT</KEYWORD3>
+ <KEYWORD3>NAT</KEYWORD3>
+ <KEYWORD3>NAT1</KEYWORD3>
+ <KEYWORD3>NATURAL</KEYWORD3>
+ <KEYWORD3>NATURAL1</KEYWORD3>
+ <KEYWORD3>PI</KEYWORD3>
+ <KEYWORD3>POW</KEYWORD3>
+ <KEYWORD3>POW1</KEYWORD3>
+ <KEYWORD3>SIGMA</KEYWORD3>
+ <KEYWORD3>UNION</KEYWORD3>
+
+ <FUNCTION>arity</FUNCTION>
+ <FUNCTION>bin</FUNCTION>
+ <FUNCTION>bool</FUNCTION>
+ <FUNCTION>btree</FUNCTION>
+ <FUNCTION>card</FUNCTION>
+ <FUNCTION>closure</FUNCTION>
+ <FUNCTION>closure1</FUNCTION>
+ <FUNCTION>conc</FUNCTION>
+ <FUNCTION>const</FUNCTION>
+ <FUNCTION>dom</FUNCTION>
+ <FUNCTION>father</FUNCTION>
+ <FUNCTION>first</FUNCTION>
+ <FUNCTION>fnc</FUNCTION>
+ <FUNCTION>front</FUNCTION>
+ <FUNCTION>id</FUNCTION>
+ <FUNCTION>infix</FUNCTION>
+ <FUNCTION>inter</FUNCTION>
+ <FUNCTION>iseq</FUNCTION>
+ <FUNCTION>iseq1</FUNCTION>
+ <FUNCTION>iterate</FUNCTION>
+ <FUNCTION>last</FUNCTION>
+ <FUNCTION>left</FUNCTION>
+ <FUNCTION>max</FUNCTION>
+ <FUNCTION>min</FUNCTION>
+ <FUNCTION>mirror</FUNCTION>
+ <FUNCTION>mod</FUNCTION>
+ <FUNCTION>not</FUNCTION>
+ <FUNCTION>or</FUNCTION>
+ <FUNCTION>perm</FUNCTION>
+ <FUNCTION>postfix</FUNCTION>
+ <FUNCTION>pred</FUNCTION>
+ <FUNCTION>prefix</FUNCTION>
+ <FUNCTION>prj1</FUNCTION>
+ <FUNCTION>prj2</FUNCTION>
+ <FUNCTION>r~</FUNCTION>
+ <FUNCTION>ran</FUNCTION>
+ <FUNCTION>rank</FUNCTION>
+ <FUNCTION>rec</FUNCTION>
+ <FUNCTION>rel</FUNCTION>
+ <FUNCTION>rev</FUNCTION>
+ <FUNCTION>right</FUNCTION>
+ <FUNCTION>seq</FUNCTION>
+ <FUNCTION>seq1</FUNCTION>
+ <FUNCTION>size</FUNCTION>
+ <FUNCTION>sizet</FUNCTION>
+ <FUNCTION>skip</FUNCTION>
+ <FUNCTION>son</FUNCTION>
+ <FUNCTION>sons</FUNCTION>
+ <FUNCTION>struct</FUNCTION>
+ <FUNCTION>subtree</FUNCTION>
+ <FUNCTION>succ</FUNCTION>
+ <FUNCTION>tail</FUNCTION>
+ <FUNCTION>top</FUNCTION>
+ <FUNCTION>tree</FUNCTION>
+ <FUNCTION>union</FUNCTION>
+
+ </KEYWORDS>
+
+ </RULES>
+</MODE>