PageRenderTime 425ms CodeModel.GetById 419ms app.highlight 2ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-0-pre5/modes/b.xml

#
XML | 210 lines | 208 code | 2 blank | 0 comment | 0 complexity | 963f7ab1bff72f72ef8ac3d76625f636 MD5 | raw file
  1<?xml version="1.0"?>
  2
  3<!DOCTYPE MODE SYSTEM "xmode.dtd">
  4
  5<MODE>
  6	<PROPS>
  7		<PROPERTY NAME="indentOpenBrackets" VALUE="THEN|BEGIN" />
  8		<PROPERTY NAME="indentCloseBrackets" VALUE="END" />
  9		<PROPERTY NAME="indentPrevLine" VALUE="\s*(((ANY|ASSERT|CASE|CHOICE|IF|LET|PRE|SELECT|VAR|WHILE|WHEN)\s*\(|ELSE|ELSEIF|EITHER|OR|VARIANT|INVARIANT)[^;]*|for\s*\(.*)" />
 10		<PROPERTY NAME="doubleBracketIndent" VALUE="false" />
 11		<PROPERTY NAME="commentStart" VALUE="/*" />
 12		<PROPERTY NAME="commentEnd" VALUE="*/" />
 13		<PROPERTY NAME="lineComment" VALUE="//" />
 14	</PROPS>
 15	<RULES ESCAPE="\" IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="TRUE">
 16		<!-- whitespace: (space and tab) -->
 17		<WHITESPACE> </WHITESPACE>
 18		<WHITESPACE>	</WHITESPACE>
 19
 20		<!-- B style comment -->
 21		<SPAN TYPE="COMMENT2">
 22			<BEGIN>/*?</BEGIN>
 23			<END>?*/</END>
 24		</SPAN>
 25		
 26		<SPAN TYPE="COMMENT1">
 27			<BEGIN>/*</BEGIN>
 28			<END>*/</END>
 29		</SPAN>
 30				
 31		<SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE">
 32			<BEGIN>"</BEGIN>
 33			<END>"</END>
 34		</SPAN>
 35		<SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE">
 36			<BEGIN>'</BEGIN>
 37			<END>'</END>
 38		</SPAN>
 39
 40		
 41		<EOL_SPAN TYPE="COMMENT1">//</EOL_SPAN>
 42		<SEQ TYPE="OPERATOR">!</SEQ>
 43		<SEQ TYPE="OPERATOR">#</SEQ>
 44		<SEQ TYPE="OPERATOR">$0</SEQ>
 45		<SEQ TYPE="OPERATOR">%</SEQ>
 46		<SEQ TYPE="OPERATOR">=</SEQ>
 47		<!-- pour le & -->
 48		<SEQ TYPE="OPERATOR">&amp;</SEQ>
 49		<!-- pour le < et  > -->
 50		<SEQ TYPE="OPERATOR">&gt;</SEQ>
 51		<SEQ TYPE="OPERATOR">&lt;</SEQ>
 52
 53		<SEQ TYPE="OPERATOR">*</SEQ>
 54
 55		<SEQ TYPE="OPERATOR">+</SEQ>
 56		<SEQ TYPE="OPERATOR">/</SEQ>
 57		<SEQ TYPE="OPERATOR">\</SEQ>
 58		<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		
 64		<SEQ TYPE="OPERATOR">^</SEQ>
 65		
 66		<SEQ TYPE="OPERATOR">.</SEQ>
 67		<SEQ TYPE="OPERATOR">,</SEQ>
 68		<SEQ TYPE="OPERATOR">(</SEQ>
 69		<SEQ TYPE="OPERATOR">)</SEQ>		
 70		<SEQ TYPE="OPERATOR">}</SEQ>
 71		<SEQ TYPE="OPERATOR">{</SEQ>
 72		<SEQ TYPE="OPERATOR">]</SEQ>
 73		<SEQ TYPE="OPERATOR">[</SEQ>
 74
 75		<KEYWORDS IGNORE_CASE="FALSE">
 76		
 77			<!-- clauses -->
 78			<KEYWORD2>ABSTRACT_CONSTANTS</KEYWORD2>
 79			<KEYWORD2>ABSTRACT_VARIABLES</KEYWORD2>
 80			<KEYWORD2>CONCRETE_CONSTANTS</KEYWORD2>
 81			<KEYWORD2>CONCRETE_VARIABLES</KEYWORD2>
 82			<KEYWORD2>CONSTANTS</KEYWORD2>
 83			<KEYWORD2>VARIABLES</KEYWORD2>
 84			<KEYWORD2>ASSERTIONS</KEYWORD2>
 85			<KEYWORD2>CONSTRAINTS</KEYWORD2>
 86			<KEYWORD2>DEFINITIONS</KEYWORD2>
 87			<KEYWORD2>EXTENDS</KEYWORD2>
 88			<KEYWORD2>IMPLEMENTATION</KEYWORD2>
 89			<KEYWORD2>IMPORTS</KEYWORD2>
 90			<KEYWORD2>INCLUDES</KEYWORD2>
 91			<KEYWORD2>INITIALISATION</KEYWORD2>
 92			<KEYWORD2>INVARIANT</KEYWORD2>
 93			<KEYWORD2>LOCAL_OPERATIONS</KEYWORD2>
 94			<KEYWORD2>MACHINE</KEYWORD2>
 95			<KEYWORD2>OPERATIONS</KEYWORD2>
 96			<KEYWORD2>PROMOTES</KEYWORD2>
 97			<KEYWORD2>PROPERTIES</KEYWORD2>
 98			<KEYWORD2>REFINES</KEYWORD2>
 99			<KEYWORD2>REFINEMENT</KEYWORD2>
100			<KEYWORD2>SEES</KEYWORD2>
101			<KEYWORD2>SETS</KEYWORD2>
102			<KEYWORD2>USES</KEYWORD2>
103			<KEYWORD2>VALUES</KEYWORD2>
104
105	
106			<!-- substitutions -->
107			<KEYWORD2>ANY</KEYWORD2>
108			<KEYWORD2>ASSERT</KEYWORD2>
109			<KEYWORD2>BE</KEYWORD2>
110			<KEYWORD2>BEGIN</KEYWORD2>
111			<KEYWORD2>CASE</KEYWORD2>
112			<KEYWORD2>CHOICE</KEYWORD2>
113			<KEYWORD2>DO</KEYWORD2>
114			<KEYWORD2>EITHER</KEYWORD2>
115			<KEYWORD2>ELSE</KEYWORD2>
116			<KEYWORD2>ELSIF</KEYWORD2>
117			<!-- voir pour le end -->
118			<KEYWORD2>END</KEYWORD2>
119			<KEYWORD2>IF</KEYWORD2>
120			<KEYWORD2>IN</KEYWORD2>
121			<KEYWORD2>LET</KEYWORD2>
122			<KEYWORD2>OF</KEYWORD2>
123			<KEYWORD2>OR</KEYWORD2>
124			<KEYWORD2>PRE</KEYWORD2>
125			<KEYWORD2>SELECT</KEYWORD2>
126			<KEYWORD2>THEN</KEYWORD2>
127			<KEYWORD2>VAR</KEYWORD2>
128			<KEYWORD2>VARIANT</KEYWORD2>
129			<KEYWORD2>WHEN</KEYWORD2>
130			<KEYWORD2>WHERE</KEYWORD2>
131			<KEYWORD2>WHILE</KEYWORD2>
132			
133			
134			<KEYWORD3>FIN</KEYWORD3>
135			<KEYWORD3>FIN1</KEYWORD3>
136			<KEYWORD3>INT</KEYWORD3>
137			<KEYWORD3>INTEGER</KEYWORD3>
138			<KEYWORD3>INTER</KEYWORD3>
139			<KEYWORD3>MAXINT</KEYWORD3>
140			<KEYWORD3>MININT</KEYWORD3>
141			<KEYWORD3>NAT</KEYWORD3>
142			<KEYWORD3>NAT1</KEYWORD3>
143			<KEYWORD3>NATURAL</KEYWORD3>
144			<KEYWORD3>NATURAL1</KEYWORD3>
145			<KEYWORD3>PI</KEYWORD3>
146			<KEYWORD3>POW</KEYWORD3>
147			<KEYWORD3>POW1</KEYWORD3>
148			<KEYWORD3>SIGMA</KEYWORD3>
149			<KEYWORD3>UNION</KEYWORD3>
150
151			<FUNCTION>arity</FUNCTION>
152			<FUNCTION>bin</FUNCTION>
153			<FUNCTION>bool</FUNCTION>
154			<FUNCTION>btree</FUNCTION>
155			<FUNCTION>card</FUNCTION>
156			<FUNCTION>closure</FUNCTION>
157			<FUNCTION>closure1</FUNCTION>
158			<FUNCTION>conc</FUNCTION>
159			<FUNCTION>const</FUNCTION>
160			<FUNCTION>dom</FUNCTION>
161			<FUNCTION>father</FUNCTION>
162			<FUNCTION>first</FUNCTION>
163			<FUNCTION>fnc</FUNCTION>
164			<FUNCTION>front</FUNCTION>
165			<FUNCTION>id</FUNCTION>
166			<FUNCTION>infix</FUNCTION>
167			<FUNCTION>inter</FUNCTION>
168			<FUNCTION>iseq</FUNCTION>
169			<FUNCTION>iseq1</FUNCTION>
170			<FUNCTION>iterate</FUNCTION>
171			<FUNCTION>last</FUNCTION>
172			<FUNCTION>left</FUNCTION>
173			<FUNCTION>max</FUNCTION>
174			<FUNCTION>min</FUNCTION>
175			<FUNCTION>mirror</FUNCTION>
176			<FUNCTION>mod</FUNCTION>
177			<FUNCTION>not</FUNCTION>
178			<FUNCTION>or</FUNCTION>
179			<FUNCTION>perm</FUNCTION>
180			<FUNCTION>postfix</FUNCTION>
181			<FUNCTION>pred</FUNCTION>
182			<FUNCTION>prefix</FUNCTION>
183			<FUNCTION>prj1</FUNCTION>
184			<FUNCTION>prj2</FUNCTION>
185			<FUNCTION>r~</FUNCTION>
186			<FUNCTION>ran</FUNCTION>
187			<FUNCTION>rank</FUNCTION>
188			<FUNCTION>rec</FUNCTION>
189			<FUNCTION>rel</FUNCTION>
190			<FUNCTION>rev</FUNCTION>
191			<FUNCTION>right</FUNCTION>
192			<FUNCTION>seq</FUNCTION>
193			<FUNCTION>seq1</FUNCTION>
194			<FUNCTION>size</FUNCTION>
195			<FUNCTION>sizet</FUNCTION>
196			<FUNCTION>skip</FUNCTION>
197			<FUNCTION>son</FUNCTION>
198			<FUNCTION>sons</FUNCTION>
199			<FUNCTION>struct</FUNCTION>
200			<FUNCTION>subtree</FUNCTION>
201			<FUNCTION>succ</FUNCTION>
202			<FUNCTION>tail</FUNCTION>
203			<FUNCTION>top</FUNCTION>
204			<FUNCTION>tree</FUNCTION>
205			<FUNCTION>union</FUNCTION>
206
207		</KEYWORDS>
208
209	</RULES>
210</MODE>