PageRenderTime 42ms CodeModel.GetById 18ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-2-pre14/modes/b.xml

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