|
jEdit example source code file (lotos.xml)
The jEdit lotos.xml source code<?xml version="1.0"?> <!DOCTYPE MODE SYSTEM "xmode.dtd"> <!-- lotos.xml K. J. Turner <kjt@cs.stir.ac.uk> 24th April 2003 LOTOS (Language Of Temporal Ordering Specification) is an ISO standard (8807) for a formal specification language used in communications and system specification generally. This mode does not (yet) deal with ISO 15437 (E-LOTOS, Enhanced LOTOS). Auto-indentation occurs if the following are at the start of a line (ignoring leading white space): "let", "library", "process", "specification", "type", , ">>". This also happens if the following appear on their own (i.e. also ignoring trailing white space): "(", "[]", "[>", "||" "|||", "|[...]|", "[...]->". --> <MODE> <PROPS> <PROPERTY NAME="commentStart" VALUE="(*"/> <PROPERTY NAME="commentEnd" VALUE="*)"/> <PROPERTY NAME="indentNextLines" VALUE="\s*(let|library|process|specification|type|>>).*|\s*(\(|\[\]|\[>|\|\||\|\|\||\|\[.*\]\||\[.*\]\s*->)\s*"/> </PROPS> <RULES IGNORE_CASE="TRUE" HIGHLIGHT_DIGITS="FALSE"> <!-- Comments --> <SPAN TYPE="COMMENT1"> <BEGIN>(* <END>*) </SPAN> <!-- Standard Operators --> <SEQ TYPE="OPERATOR">>> <SEQ TYPE="OPERATOR">[> <SEQ TYPE="OPERATOR">||| <SEQ TYPE="OPERATOR">|| <SEQ TYPE="OPERATOR">|[ <SEQ TYPE="OPERATOR">]| <SEQ TYPE="OPERATOR">[] <KEYWORDS> <!-- Reserved Words --> <KEYWORD1>accept <KEYWORD1>actualizedby <KEYWORD1>any <KEYWORD1>behavior <KEYWORD1>behaviour <KEYWORD1>choice <KEYWORD1>endlib <KEYWORD1>endproc <KEYWORD1>endspec <KEYWORD1>endtype <KEYWORD1>eqns <KEYWORD1>exit <KEYWORD1>for <KEYWORD1>forall <KEYWORD1>formaleqns <KEYWORD1>formalopns <KEYWORD1>formalsorts <KEYWORD1>hide <KEYWORD1>i <KEYWORD1>in <KEYWORD1>is <KEYWORD1>let <KEYWORD1>library <KEYWORD1>noexit <KEYWORD1>of <KEYWORD1>ofsort <KEYWORD1>opnnames <KEYWORD1>opns <KEYWORD1>par <KEYWORD1>process <KEYWORD1>renamedby <KEYWORD1>sortnames <KEYWORD1>sorts <KEYWORD1>specification <KEYWORD1>stop <KEYWORD1>type <KEYWORD1>using <KEYWORD1>where <!-- Standard Library Sorts --> <KEYWORD2>Bit <KEYWORD2>BitString <KEYWORD2>Bool <KEYWORD2>DecDigit <KEYWORD2>DecString <KEYWORD2>Element <KEYWORD2>FBool <KEYWORD2>HexDigit <KEYWORD2>HexString <KEYWORD2>OctDigit <KEYWORD2>Octet <KEYWORD2>OctString <KEYWORD2>Nat <KEYWORD2>NonEmptyString <KEYWORD2>OctetString <KEYWORD2>Set <KEYWORD2>String <!-- Standard Library Types (where differing from Sorts) --> <KEYWORD2>BasicNaturalNumber <KEYWORD2>BasicNonEmptyString <KEYWORD2>BitNatRepr <KEYWORD2>Boolean <KEYWORD2>FBoolean <KEYWORD2>DecNatRepr <KEYWORD2>HexNatRepr <KEYWORD2>NatRepresentations <KEYWORD2>NaturalNumber <KEYWORD2>OctNatRepr <KEYWORD2>RicherNonEmptyString <KEYWORD2>String0 <KEYWORD2>String1 <!-- Standard Library Literals --> <LITERAL1>false <LITERAL1>true </KEYWORDS> </RULES> </MODE> Other jEdit examples (source code examples)Here is a short list of links related to this jEdit lotos.xml source code file: |
... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2021 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.