PageRenderTime 45ms CodeModel.GetById 19ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-0-pre3/modes/ml.xml

#
XML | 102 lines | 100 code | 2 blank | 0 comment | 0 complexity | d65faaed286889fde0fa47f8538d4745 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="commentStart" VALUE="(*" />
  6. <PROPERTY NAME="commentEnd" VALUE="*)" />
  7. </PROPS>
  8. <RULES ESCAPE="\" IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="TRUE">
  9. <!-- whitespace: (space and tab) -->
  10. <WHITESPACE> </WHITESPACE>
  11. <WHITESPACE> </WHITESPACE>
  12. <SPAN TYPE="COMMENT1">
  13. <BEGIN>(*</BEGIN>
  14. <END>*)</END>
  15. </SPAN>
  16. <SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE">
  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. <SEQ TYPE="OPERATOR">=</SEQ>
  25. <SEQ TYPE="OPERATOR">!</SEQ>
  26. <SEQ TYPE="OPERATOR">&gt;=</SEQ>
  27. <SEQ TYPE="OPERATOR">&lt;=</SEQ>
  28. <SEQ TYPE="OPERATOR">+</SEQ>
  29. <SEQ TYPE="OPERATOR">-</SEQ>
  30. <SEQ TYPE="OPERATOR">/</SEQ>
  31. <SEQ TYPE="OPERATOR">::</SEQ>
  32. <SEQ TYPE="OPERATOR">*</SEQ>
  33. <SEQ TYPE="OPERATOR">&gt;</SEQ>
  34. <SEQ TYPE="OPERATOR">&lt;</SEQ>
  35. <SEQ TYPE="OPERATOR">&lt;&gt;</SEQ>
  36. <SEQ TYPE="OPERATOR">^</SEQ>
  37. <SEQ TYPE="OPERATOR">=&gt;</SEQ>
  38. <SEQ TYPE="OPERATOR">-&gt;</SEQ>
  39. <SEQ TYPE="OPERATOR">:&gt;</SEQ>
  40. <SEQ TYPE="OPERATOR">@</SEQ>
  41. <SEQ TYPE="NULL">.</SEQ>
  42. <SEQ TYPE="NULL">,</SEQ>
  43. <SEQ TYPE="NULL">;</SEQ>
  44. <SEQ TYPE="NULL">]</SEQ>
  45. <SEQ TYPE="NULL">[</SEQ>
  46. <KEYWORDS IGNORE_CASE="FALSE">
  47. <OPERATOR>div</OPERATOR>
  48. <OPERATOR>mod</OPERATOR>
  49. <OPERATOR>not</OPERATOR>
  50. <OPERATOR>andalso</OPERATOR>
  51. <OPERATOR>orelse</OPERATOR>
  52. <KEYWORD1>abstype</KEYWORD1>
  53. <KEYWORD1>and</KEYWORD1>
  54. <KEYWORD1>as</KEYWORD1>
  55. <KEYWORD1>case</KEYWORD1>
  56. <KEYWORD2>datatype</KEYWORD2>
  57. <KEYWORD1>do</KEYWORD1>
  58. <KEYWORD1>else</KEYWORD1>
  59. <KEYWORD1>end</KEYWORD1>
  60. <KEYWORD1>eqtype</KEYWORD1>
  61. <KEYWORD2>exception</KEYWORD2>
  62. <KEYWORD1>fn</KEYWORD1>
  63. <KEYWORD2>fun</KEYWORD2>
  64. <KEYWORD1>functor</KEYWORD1>
  65. <KEYWORD1>handle</KEYWORD1>
  66. <KEYWORD1>if</KEYWORD1>
  67. <KEYWORD1>in</KEYWORD1>
  68. <KEYWORD1>include</KEYWORD1>
  69. <KEYWORD3>infix</KEYWORD3>
  70. <KEYWORD3>infixr</KEYWORD3>
  71. <KEYWORD1>let</KEYWORD1>
  72. <KEYWORD1>local</KEYWORD1>
  73. <KEYWORD3>nonfix</KEYWORD3>
  74. <KEYWORD1>of</KEYWORD1>
  75. <KEYWORD1>op</KEYWORD1>
  76. <KEYWORD1>open</KEYWORD1>
  77. <KEYWORD1>raise</KEYWORD1>
  78. <KEYWORD1>rec</KEYWORD1>
  79. <KEYWORD1>sharing</KEYWORD1>
  80. <KEYWORD1>sig</KEYWORD1>
  81. <KEYWORD1>while</KEYWORD1>
  82. <KEYWORD1>signature</KEYWORD1>
  83. <KEYWORD1>struct</KEYWORD1>
  84. <KEYWORD2>structure</KEYWORD2>
  85. <KEYWORD1>then</KEYWORD1>
  86. <KEYWORD2>type</KEYWORD2>
  87. <KEYWORD1>val</KEYWORD1>
  88. <KEYWORD1>where</KEYWORD1>
  89. <KEYWORD1>while</KEYWORD1>
  90. <KEYWORD1>with</KEYWORD1>
  91. <KEYWORD1>withtype</KEYWORD1>
  92. </KEYWORDS>
  93. </RULES>
  94. </MODE>