|
jEdit example source code file (b.xml)
The jEdit b.xml source code<?xml version="1.0"?> <!DOCTYPE MODE SYSTEM "xmode.dtd"> <MODE> <PROPS> <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*\(.*)" /> <PROPERTY NAME="commentStart" VALUE="/*" /> <PROPERTY NAME="commentEnd" VALUE="*/" /> <PROPERTY NAME="lineComment" VALUE="//" /> </PROPS> <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="TRUE"> <!-- B style comment --> <SPAN TYPE="COMMENT3"> <BEGIN>/*? <END>?*/ </SPAN> <SPAN TYPE="COMMENT1"> <BEGIN>/* <END>*/ </SPAN> <SPAN TYPE="LITERAL1" ESCAPE="\" NO_LINE_BREAK="TRUE"> <BEGIN>" <END>" </SPAN> <SPAN TYPE="LITERAL1" ESCAPE="\" NO_LINE_BREAK="TRUE"> <BEGIN>' <END>' </SPAN> <EOL_SPAN TYPE="COMMENT2">// <SEQ TYPE="OPERATOR">! <SEQ TYPE="OPERATOR"># <SEQ TYPE="OPERATOR">$0 <SEQ TYPE="OPERATOR">% <SEQ TYPE="OPERATOR">= <!-- pour le & --> <SEQ TYPE="OPERATOR">& <!-- pour le < et > --> <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">] <SEQ TYPE="OPERATOR">[ <KEYWORDS> <!-- clauses --> <KEYWORD2>ABSTRACT_CONSTANTS <KEYWORD2>ABSTRACT_VARIABLES <KEYWORD2>CONCRETE_CONSTANTS <KEYWORD2>CONCRETE_VARIABLES <KEYWORD2>CONSTANTS <KEYWORD2>VARIABLES <KEYWORD2>ASSERTIONS <KEYWORD2>CONSTRAINTS <KEYWORD2>DEFINITIONS <KEYWORD2>EXTENDS <KEYWORD2>IMPLEMENTATION <KEYWORD2>IMPORTS <KEYWORD2>INCLUDES <KEYWORD2>INITIALISATION <KEYWORD2>INVARIANT <KEYWORD2>LOCAL_OPERATIONS <KEYWORD2>MACHINE <KEYWORD2>OPERATIONS <KEYWORD2>PROMOTES <KEYWORD2>PROPERTIES <KEYWORD2>REFINES <KEYWORD2>REFINEMENT <KEYWORD2>SEES <KEYWORD2>SETS <KEYWORD2>USES <KEYWORD2>VALUES <!-- substitutions --> <KEYWORD2>ANY <KEYWORD2>ASSERT <KEYWORD2>BE <KEYWORD2>BEGIN <KEYWORD2>CASE <KEYWORD2>CHOICE <KEYWORD2>DO <KEYWORD2>EITHER <KEYWORD2>ELSE <KEYWORD2>ELSIF <!-- voir pour le end --> <KEYWORD2>END <KEYWORD2>IF <KEYWORD2>IN <KEYWORD2>LET <KEYWORD2>OF <KEYWORD2>OR <KEYWORD2>PRE <KEYWORD2>SELECT <KEYWORD2>THEN <KEYWORD2>VAR <KEYWORD2>VARIANT <KEYWORD2>WHEN <KEYWORD2>WHERE <KEYWORD2>WHILE <KEYWORD3>FIN <KEYWORD3>FIN1 <KEYWORD3>INT <KEYWORD3>INTEGER <KEYWORD3>INTER <KEYWORD3>MAXINT <KEYWORD3>MININT <KEYWORD3>NAT <KEYWORD3>NAT1 <KEYWORD3>NATURAL <KEYWORD3>NATURAL1 <KEYWORD3>PI <KEYWORD3>POW <KEYWORD3>POW1 <KEYWORD3>SIGMA <KEYWORD3>UNION <FUNCTION>arity <FUNCTION>bin <FUNCTION>bool <FUNCTION>btree <FUNCTION>card <FUNCTION>closure <FUNCTION>closure1 <FUNCTION>conc <FUNCTION>const <FUNCTION>dom <FUNCTION>father <FUNCTION>first <FUNCTION>fnc <FUNCTION>front <FUNCTION>id <FUNCTION>infix <FUNCTION>inter <FUNCTION>iseq <FUNCTION>iseq1 <FUNCTION>iterate <FUNCTION>last <FUNCTION>left <FUNCTION>max <FUNCTION>min <FUNCTION>mirror <FUNCTION>mod <FUNCTION>not <FUNCTION>or <FUNCTION>perm <FUNCTION>postfix <FUNCTION>pred <FUNCTION>prefix <FUNCTION>prj1 <FUNCTION>prj2 <FUNCTION>r~ <FUNCTION>ran <FUNCTION>rank <FUNCTION>rec <FUNCTION>rel <FUNCTION>rev <FUNCTION>right <FUNCTION>seq <FUNCTION>seq1 <FUNCTION>size <FUNCTION>sizet <FUNCTION>skip <FUNCTION>son <FUNCTION>sons <FUNCTION>struct <FUNCTION>subtree <FUNCTION>succ <FUNCTION>tail <FUNCTION>top <FUNCTION>tree <FUNCTION>union </KEYWORDS> </RULES> </MODE> Other jEdit examples (source code examples)Here is a short list of links related to this jEdit b.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.