PageRenderTime 51ms CodeModel.GetById 23ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-2-pre4/modes/lotos.xml

#
XML | 125 lines | 95 code | 9 blank | 21 comment | 0 complexity | 46b3949b380fdefcf6a79e9a82bbde2c 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. <!--
  4. lotos.xml K. J. Turner <kjt@cs.stir.ac.uk> 24th April 2003
  5. LOTOS (Language Of Temporal Ordering Specification) is an ISO standard
  6. (8807) for a formal specification language used in communications and system
  7. specification generally.
  8. This mode does not (yet) deal with ISO 15437 (E-LOTOS, Enhanced LOTOS).
  9. Auto-indentation occurs if the following are at the start of a line
  10. (ignoring leading white space): "let", "library", "process", "specification",
  11. "type", , ">>". This also happens if the following appear on their own (i.e.
  12. also ignoring trailing white space): "(", "[]", "[>", "||" "|||", "|[...]|",
  13. "[...]->".
  14. -->
  15. <MODE>
  16. <PROPS>
  17. <PROPERTY NAME="commentStart" VALUE="(*"/>
  18. <PROPERTY NAME="commentEnd" VALUE="*)"/>
  19. <PROPERTY NAME="indentNextLines"
  20. VALUE="\s*(let|library|process|specification|type|>>).*|\s*(\(|\[\]|\[>|\|\||\|\|\||\|\[.*\]\||\[.*\]\s*->)\s*"/>
  21. </PROPS>
  22. <RULES IGNORE_CASE="TRUE" HIGHLIGHT_DIGITS="FALSE">
  23. <!-- Comments -->
  24. <SPAN TYPE="COMMENT1">
  25. <BEGIN>(*</BEGIN>
  26. <END>*)</END>
  27. </SPAN>
  28. <!-- Standard Operators -->
  29. <SEQ TYPE="OPERATOR">&gt;&gt;</SEQ>
  30. <SEQ TYPE="OPERATOR">[&gt;</SEQ>
  31. <SEQ TYPE="OPERATOR">|||</SEQ>
  32. <SEQ TYPE="OPERATOR">||</SEQ>
  33. <SEQ TYPE="OPERATOR">|[</SEQ>
  34. <SEQ TYPE="OPERATOR">]|</SEQ>
  35. <SEQ TYPE="OPERATOR">[]</SEQ>
  36. <KEYWORDS>
  37. <!-- Reserved Words -->
  38. <KEYWORD1>accept</KEYWORD1>
  39. <KEYWORD1>actualizedby</KEYWORD1>
  40. <KEYWORD1>any</KEYWORD1>
  41. <KEYWORD1>behavior</KEYWORD1>
  42. <KEYWORD1>behaviour</KEYWORD1>
  43. <KEYWORD1>choice</KEYWORD1>
  44. <KEYWORD1>endlib</KEYWORD1>
  45. <KEYWORD1>endproc</KEYWORD1>
  46. <KEYWORD1>endspec</KEYWORD1>
  47. <KEYWORD1>endtype</KEYWORD1>
  48. <KEYWORD1>eqns</KEYWORD1>
  49. <KEYWORD1>exit</KEYWORD1>
  50. <KEYWORD1>for</KEYWORD1>
  51. <KEYWORD1>forall</KEYWORD1>
  52. <KEYWORD1>formaleqns</KEYWORD1>
  53. <KEYWORD1>formalopns</KEYWORD1>
  54. <KEYWORD1>formalsorts</KEYWORD1>
  55. <KEYWORD1>hide</KEYWORD1>
  56. <KEYWORD1>i</KEYWORD1>
  57. <KEYWORD1>in</KEYWORD1>
  58. <KEYWORD1>is</KEYWORD1>
  59. <KEYWORD1>let</KEYWORD1>
  60. <KEYWORD1>library</KEYWORD1>
  61. <KEYWORD1>noexit</KEYWORD1>
  62. <KEYWORD1>of</KEYWORD1>
  63. <KEYWORD1>ofsort</KEYWORD1>
  64. <KEYWORD1>opnnames</KEYWORD1>
  65. <KEYWORD1>opns</KEYWORD1>
  66. <KEYWORD1>par</KEYWORD1>
  67. <KEYWORD1>process</KEYWORD1>
  68. <KEYWORD1>renamedby</KEYWORD1>
  69. <KEYWORD1>sortnames</KEYWORD1>
  70. <KEYWORD1>sorts</KEYWORD1>
  71. <KEYWORD1>specification</KEYWORD1>
  72. <KEYWORD1>stop</KEYWORD1>
  73. <KEYWORD1>type</KEYWORD1>
  74. <KEYWORD1>using</KEYWORD1>
  75. <KEYWORD1>where</KEYWORD1>
  76. <!-- Standard Library Sorts -->
  77. <KEYWORD2>Bit</KEYWORD2>
  78. <KEYWORD2>BitString</KEYWORD2>
  79. <KEYWORD2>Bool</KEYWORD2>
  80. <KEYWORD2>DecDigit</KEYWORD2>
  81. <KEYWORD2>DecString</KEYWORD2>
  82. <KEYWORD2>Element</KEYWORD2>
  83. <KEYWORD2>FBool</KEYWORD2>
  84. <KEYWORD2>HexDigit</KEYWORD2>
  85. <KEYWORD2>HexString</KEYWORD2>
  86. <KEYWORD2>OctDigit</KEYWORD2>
  87. <KEYWORD2>Octet</KEYWORD2>
  88. <KEYWORD2>OctString</KEYWORD2>
  89. <KEYWORD2>Nat</KEYWORD2>
  90. <KEYWORD2>NonEmptyString</KEYWORD2>
  91. <KEYWORD2>OctetString</KEYWORD2>
  92. <KEYWORD2>Set</KEYWORD2>
  93. <KEYWORD2>String</KEYWORD2>
  94. <!-- Standard Library Types (where differing from Sorts) -->
  95. <KEYWORD2>BasicNaturalNumber</KEYWORD2>
  96. <KEYWORD2>BasicNonEmptyString</KEYWORD2>
  97. <KEYWORD2>BitNatRepr</KEYWORD2>
  98. <KEYWORD2>Boolean</KEYWORD2>
  99. <KEYWORD2>FBoolean</KEYWORD2>
  100. <KEYWORD2>DecNatRepr</KEYWORD2>
  101. <KEYWORD2>HexNatRepr</KEYWORD2>
  102. <KEYWORD2>NatRepresentations</KEYWORD2>
  103. <KEYWORD2>NaturalNumber</KEYWORD2>
  104. <KEYWORD2>OctNatRepr</KEYWORD2>
  105. <KEYWORD2>RicherNonEmptyString</KEYWORD2>
  106. <KEYWORD2>String0</KEYWORD2>
  107. <KEYWORD2>String1</KEYWORD2>
  108. <!-- Standard Library Literals -->
  109. <LITERAL1>false</LITERAL1>
  110. <LITERAL1>true</LITERAL1>
  111. </KEYWORDS>
  112. </RULES>
  113. </MODE>