products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/jEdit/modes/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei:   Sprache: XML

Original von: Isabelle©
<?xml version="1.0"?>

<!-- RFC mode by Matthieu Casanova -->
<!DOCTYPE MODE SYSTEM "xmode.dtd">
<MODE>
 <PROPS>
  <PROPERTY NAME="contextInsensitive" VALUE="true" />
 </PROPS>
 <RULES HIGHLIGHT_DIGITS="TRUE" IGNORE_CASE="FALSE">
  <SEQ_REGEXP HASH_CHAR="[" TYPE="KEYWORD3">\[Page \d+\]</SEQ_REGEXP>
  <SEQ_REGEXP HASH_CHAR="[" TYPE="KEYWORD2">\[RFC\d+\]</SEQ_REGEXP>
  <SPAN TYPE="LITERAL1" NO_LINE_BREAK="FALSE">
   <BEGIN>"
   <END>"
  </SPAN>
  <SEQ_REGEXP TYPE="MARKUP" AT_LINE_START="TRUE">\d.*</SEQ_REGEXP>
  <KEYWORDS>
   <!--{{{ Keyword list from RFC2119 -->
   <KEYWORD1>MUST</KEYWORD1>
   <KEYWORD1>MUST NOT</KEYWORD1>
   <KEYWORD1>REQUIRED</KEYWORD1>
   <KEYWORD1>SHALL</KEYWORD1>
   <KEYWORD1>SHALL NOT</KEYWORD1>
   <KEYWORD1>SHOULD</KEYWORD1>
   <KEYWORD1>SHOULD NOT</KEYWORD1>
   <KEYWORD1>RECOMMENDED</KEYWORD1>
   <KEYWORD1>MAY</KEYWORD1>
   <KEYWORD1>OPTIONAL</KEYWORD1> 
   <!--}}}-->
  </KEYWORDS>
 </RULES>
</MODE>

¤ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet)  ¤



Kontakt
Drucken
Kontakt
sprechenden Kalenders

in der Quellcodebibliothek suchen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff