3 <!DOCTYPE MODE SYSTEM "xmode.dtd">
7 <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*\(.*)" />
8 <PROPERTY NAME="commentStart" VALUE="/*" />
9 <PROPERTY NAME="commentEnd" VALUE="*/" />
10 <PROPERTY NAME="lineComment" VALUE="//" />
12 <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="TRUE">
13 <!-- B style comment -->
14 <SPAN TYPE="COMMENT3">
19 <SPAN TYPE="COMMENT1">
24 <SPAN TYPE="LITERAL1" ESCAPE="\" NO_LINE_BREAK="TRUE">
28 <SPAN TYPE="LITERAL1" ESCAPE="\" NO_LINE_BREAK="TRUE">
34 <EOL_SPAN TYPE="COMMENT2">//</EOL_SPAN>
35 <SEQ TYPE="OPERATOR">!</SEQ>
36 <SEQ TYPE="OPERATOR">#</SEQ>
37 <SEQ TYPE="OPERATOR">$0</SEQ>
38 <SEQ TYPE="OPERATOR">%</SEQ>
39 <SEQ TYPE="OPERATOR">=</SEQ>
41 <SEQ TYPE="OPERATOR">&</SEQ>
42 <!-- pour le < et > -->
43 <SEQ TYPE="OPERATOR">></SEQ>
44 <SEQ TYPE="OPERATOR"><</SEQ>
46 <SEQ TYPE="OPERATOR">*</SEQ>
48 <SEQ TYPE="OPERATOR">+</SEQ>
49 <SEQ TYPE="OPERATOR">/</SEQ>
50 <SEQ TYPE="OPERATOR">\</SEQ>
51 <SEQ TYPE="OPERATOR">~</SEQ>
52 <SEQ TYPE="OPERATOR">:</SEQ>
53 <SEQ TYPE="OPERATOR">;</SEQ>
54 <SEQ TYPE="OPERATOR">|</SEQ>
55 <SEQ TYPE="OPERATOR">-</SEQ>
57 <SEQ TYPE="OPERATOR">^</SEQ>
59 <SEQ TYPE="OPERATOR">.</SEQ>
60 <SEQ TYPE="OPERATOR">,</SEQ>
61 <SEQ TYPE="OPERATOR">(</SEQ>
62 <SEQ TYPE="OPERATOR">)</SEQ>
63 <SEQ TYPE="OPERATOR">}</SEQ>
64 <SEQ TYPE="OPERATOR">{</SEQ>
65 <SEQ TYPE="OPERATOR">]</SEQ>
66 <SEQ TYPE="OPERATOR">[</SEQ>
71 <KEYWORD2>ABSTRACT_CONSTANTS</KEYWORD2>
72 <KEYWORD2>ABSTRACT_VARIABLES</KEYWORD2>
73 <KEYWORD2>CONCRETE_CONSTANTS</KEYWORD2>
74 <KEYWORD2>CONCRETE_VARIABLES</KEYWORD2>
75 <KEYWORD2>CONSTANTS</KEYWORD2>
76 <KEYWORD2>VARIABLES</KEYWORD2>
77 <KEYWORD2>ASSERTIONS</KEYWORD2>
78 <KEYWORD2>CONSTRAINTS</KEYWORD2>
79 <KEYWORD2>DEFINITIONS</KEYWORD2>
80 <KEYWORD2>EXTENDS</KEYWORD2>
81 <KEYWORD2>IMPLEMENTATION</KEYWORD2>
82 <KEYWORD2>IMPORTS</KEYWORD2>
83 <KEYWORD2>INCLUDES</KEYWORD2>
84 <KEYWORD2>INITIALISATION</KEYWORD2>
85 <KEYWORD2>INVARIANT</KEYWORD2>
86 <KEYWORD2>LOCAL_OPERATIONS</KEYWORD2>
87 <KEYWORD2>MACHINE</KEYWORD2>
88 <KEYWORD2>OPERATIONS</KEYWORD2>
89 <KEYWORD2>PROMOTES</KEYWORD2>
90 <KEYWORD2>PROPERTIES</KEYWORD2>
91 <KEYWORD2>REFINES</KEYWORD2>
92 <KEYWORD2>REFINEMENT</KEYWORD2>
93 <KEYWORD2>SEES</KEYWORD2>
94 <KEYWORD2>SETS</KEYWORD2>
95 <KEYWORD2>USES</KEYWORD2>
96 <KEYWORD2>VALUES</KEYWORD2>
99 <!-- substitutions -->
100 <KEYWORD2>ANY</KEYWORD2>
101 <KEYWORD2>ASSERT</KEYWORD2>
102 <KEYWORD2>BE</KEYWORD2>
103 <KEYWORD2>BEGIN</KEYWORD2>
104 <KEYWORD2>CASE</KEYWORD2>
105 <KEYWORD2>CHOICE</KEYWORD2>
106 <KEYWORD2>DO</KEYWORD2>
107 <KEYWORD2>EITHER</KEYWORD2>
108 <KEYWORD2>ELSE</KEYWORD2>
109 <KEYWORD2>ELSIF</KEYWORD2>
110 <!-- voir pour le end -->
111 <KEYWORD2>END</KEYWORD2>
112 <KEYWORD2>IF</KEYWORD2>
113 <KEYWORD2>IN</KEYWORD2>
114 <KEYWORD2>LET</KEYWORD2>
115 <KEYWORD2>OF</KEYWORD2>
116 <KEYWORD2>OR</KEYWORD2>
117 <KEYWORD2>PRE</KEYWORD2>
118 <KEYWORD2>SELECT</KEYWORD2>
119 <KEYWORD2>THEN</KEYWORD2>
120 <KEYWORD2>VAR</KEYWORD2>
121 <KEYWORD2>VARIANT</KEYWORD2>
122 <KEYWORD2>WHEN</KEYWORD2>
123 <KEYWORD2>WHERE</KEYWORD2>
124 <KEYWORD2>WHILE</KEYWORD2>
127 <KEYWORD3>FIN</KEYWORD3>
128 <KEYWORD3>FIN1</KEYWORD3>
129 <KEYWORD3>INT</KEYWORD3>
130 <KEYWORD3>INTEGER</KEYWORD3>
131 <KEYWORD3>INTER</KEYWORD3>
132 <KEYWORD3>MAXINT</KEYWORD3>
133 <KEYWORD3>MININT</KEYWORD3>
134 <KEYWORD3>NAT</KEYWORD3>
135 <KEYWORD3>NAT1</KEYWORD3>
136 <KEYWORD3>NATURAL</KEYWORD3>
137 <KEYWORD3>NATURAL1</KEYWORD3>
138 <KEYWORD3>PI</KEYWORD3>
139 <KEYWORD3>POW</KEYWORD3>
140 <KEYWORD3>POW1</KEYWORD3>
141 <KEYWORD3>SIGMA</KEYWORD3>
142 <KEYWORD3>UNION</KEYWORD3>
144 <FUNCTION>arity</FUNCTION>
145 <FUNCTION>bin</FUNCTION>
146 <FUNCTION>bool</FUNCTION>
147 <FUNCTION>btree</FUNCTION>
148 <FUNCTION>card</FUNCTION>
149 <FUNCTION>closure</FUNCTION>
150 <FUNCTION>closure1</FUNCTION>
151 <FUNCTION>conc</FUNCTION>
152 <FUNCTION>const</FUNCTION>
153 <FUNCTION>dom</FUNCTION>
154 <FUNCTION>father</FUNCTION>
155 <FUNCTION>first</FUNCTION>
156 <FUNCTION>fnc</FUNCTION>
157 <FUNCTION>front</FUNCTION>
158 <FUNCTION>id</FUNCTION>
159 <FUNCTION>infix</FUNCTION>
160 <FUNCTION>inter</FUNCTION>
161 <FUNCTION>iseq</FUNCTION>
162 <FUNCTION>iseq1</FUNCTION>
163 <FUNCTION>iterate</FUNCTION>
164 <FUNCTION>last</FUNCTION>
165 <FUNCTION>left</FUNCTION>
166 <FUNCTION>max</FUNCTION>
167 <FUNCTION>min</FUNCTION>
168 <FUNCTION>mirror</FUNCTION>
169 <FUNCTION>mod</FUNCTION>
170 <FUNCTION>not</FUNCTION>
171 <FUNCTION>or</FUNCTION>
172 <FUNCTION>perm</FUNCTION>
173 <FUNCTION>postfix</FUNCTION>
174 <FUNCTION>pred</FUNCTION>
175 <FUNCTION>prefix</FUNCTION>
176 <FUNCTION>prj1</FUNCTION>
177 <FUNCTION>prj2</FUNCTION>
178 <FUNCTION>r~</FUNCTION>
179 <FUNCTION>ran</FUNCTION>
180 <FUNCTION>rank</FUNCTION>
181 <FUNCTION>rec</FUNCTION>
182 <FUNCTION>rel</FUNCTION>
183 <FUNCTION>rev</FUNCTION>
184 <FUNCTION>right</FUNCTION>
185 <FUNCTION>seq</FUNCTION>
186 <FUNCTION>seq1</FUNCTION>
187 <FUNCTION>size</FUNCTION>
188 <FUNCTION>sizet</FUNCTION>
189 <FUNCTION>skip</FUNCTION>
190 <FUNCTION>son</FUNCTION>
191 <FUNCTION>sons</FUNCTION>
192 <FUNCTION>struct</FUNCTION>
193 <FUNCTION>subtree</FUNCTION>
194 <FUNCTION>succ</FUNCTION>
195 <FUNCTION>tail</FUNCTION>
196 <FUNCTION>top</FUNCTION>
197 <FUNCTION>tree</FUNCTION>
198 <FUNCTION>union</FUNCTION>