|
jEdit example source code file (pure.xml)
The jEdit pure.xml source code<?xml version="1.0"?> <!DOCTYPE MODE SYSTEM "xmode.dtd"> <MODE> <PROPS> <PROPERTY NAME="commentStart" VALUE="/*" /> <PROPERTY NAME="commentEnd" VALUE="*/" /> <PROPERTY NAME="lineComment" VALUE="//" /> <PROPERTY NAME="lineComment" VALUE="#!" /> </PROPS> <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="TRUE"> <SPAN TYPE="COMMENT1"> <BEGIN>/* <END>*/ </SPAN> <EOL_SPAN TYPE="COMMENT1">// <EOL_SPAN TYPE="COMMENT1">#! <SPAN TYPE="LITERAL1" ESCAPE="\" NO_LINE_BREAK="TRUE"> <BEGIN>" <END>" </SPAN> <SEQ TYPE="OPERATOR">.. <SEQ TYPE="OPERATOR">& <SEQ TYPE="OPERATOR">< <SEQ TYPE="OPERATOR">> <SEQ TYPE="OPERATOR">` <SEQ TYPE="OPERATOR">' <SEQ TYPE="OPERATOR"># <SEQ TYPE="OPERATOR">+ <SEQ TYPE="OPERATOR">- <SEQ TYPE="OPERATOR">* <SEQ TYPE="OPERATOR">/ <SEQ TYPE="OPERATOR">% <SEQ TYPE="OPERATOR">^ <SEQ TYPE="OPERATOR">= <SEQ TYPE="OPERATOR">| <SEQ TYPE="OPERATOR">~ <SEQ TYPE="OPERATOR">! <SEQ TYPE="OPERATOR">$ <SEQ TYPE="OPERATOR">: <KEYWORDS> <OPERATOR>or <OPERATOR>and <OPERATOR>div <OPERATOR>mod <OPERATOR>not <KEYWORD1>const <KEYWORD1>def <KEYWORD1>else <KEYWORD1>extern <KEYWORD1>if <KEYWORD1>infix <KEYWORD1>infixl <KEYWORD1>infixr <KEYWORD1>let <KEYWORD1>namespace <KEYWORD1>nullary <KEYWORD1>of <KEYWORD1>otherwise <KEYWORD1>private <KEYWORD1>public <KEYWORD1>prefix <KEYWORD1>postfix <KEYWORD1>then <KEYWORD1>using <KEYWORD1>catch <KEYWORD1>throw <KEYWORD2>bigint <KEYWORD2>bool <KEYWORD2>char <KEYWORD2>double <KEYWORD2>expr <KEYWORD2>short <KEYWORD2>int <KEYWORD2>long <KEYWORD2>string <KEYWORD2>pointer <KEYWORD2>void <KEYWORD2>matrix <KEYWORD2>dmatrix <KEYWORD2>cmatrix <KEYWORD2>imatrix <KEYWORD3>case <KEYWORD3>when <KEYWORD3>with <KEYWORD3>end <LITERAL2>true <LITERAL2>false </KEYWORDS> </RULES> </MODE> Other jEdit examples (source code examples)Here is a short list of links related to this jEdit pure.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.