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: shtml.xml   Sprache: XML

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

<!DOCTYPE MODE SYSTEM "xmode.dtd">

<MODE>
 <PROPS>
  <PROPERTY NAME="commentStart" VALUE="<!--" />
  <PROPERTY NAME="commentEnd" VALUE="-->" />
 </PROPS>
 <RULES IGNORE_CASE="TRUE">
  <!-- SSI -->
  <!-- SSI directives should ALWAYS end like this, with a space
before the tag end, so let's make it colorize poorly otherwise -->
  <!-- ... or really? see bug report 964860 -->
  <SPAN TYPE="KEYWORD3" DELEGATE="SSI">
   <BEGIN><!--#</BEGIN>
   <END>--></END>
  </SPAN>

  <!-- SGML comment -->
  <SPAN TYPE="COMMENT1">
   <BEGIN><!--</BEGIN>
   <END>--></END>
  </SPAN>

  <!-- JavaScript -->
  <SPAN TYPE="MARKUP" DELEGATE="html::JAVASCRIPT">
   <BEGIN><SCRIPT</BEGIN>
   <END></SCRIPT></END>
  </SPAN>

  <!-- stylesheet -->
  <SPAN TYPE="MARKUP" DELEGATE="html::CSS">
   <BEGIN><STYLE</BEGIN>
   <END></STYLE></END>
  </SPAN>

  <!-- DTD instructions -->
  <SPAN TYPE="KEYWORD2" DELEGATE="xml::DTD-TAGS">
   <BEGIN><!</BEGIN>
   <END>></END>
  </SPAN>

  <!-- markup tags -->
  <SPAN TYPE="MARKUP" DELEGATE="TAGS">
   <BEGIN><</BEGIN>
   <END>></END>
  </SPAN>

  <!-- SGML entities -->
  <SPAN TYPE="LITERAL2" NO_WORD_BREAK="TRUE">
   <BEGIN>&</BEGIN>
   <END>;</END>
  </SPAN>
 </RULES>

 <RULES SET="TAGS" DEFAULT="MARKUP">
  <SPAN TYPE="LITERAL1">
   <BEGIN>"
   <END>"
  </SPAN>

  <SPAN TYPE="LITERAL1">
   <BEGIN>'
   <END>'
  </SPAN>

  <SEQ TYPE="OPERATOR">=</SEQ>
 </RULES>

 <RULES SET="SSI" DEFAULT="KEYWORD3">
  <SPAN TYPE="LITERAL1" MATCH_TYPE="OPERATOR" DELEGATE="SSI-EXPRESSION">
   <BEGIN>"
   <END>"
  </SPAN>

  <!-- MD: i don't think this is valid
<SPAN TYPE="LITERAL1" MATCH_TYPE="OPERATOR" DELEGATE="SSI-EXPRESSION">
<BEGIN>'</BEGIN>
<END>'</END>
</SPAN>
-->

  <SEQ TYPE="OPERATOR">=</SEQ>

  <KEYWORDS>
   <KEYWORD1>config</KEYWORD1>
   <KEYWORD1>echo</KEYWORD1>
   <KEYWORD1>exec</KEYWORD1>
   <KEYWORD1>flastmod</KEYWORD1>
   <KEYWORD1>fsize</KEYWORD1>
   <KEYWORD1>include</KEYWORD1>

   <KEYWORD2>cgi</KEYWORD2>
   <KEYWORD2>errmsg</KEYWORD2>
   <KEYWORD2>file</KEYWORD2>
   <KEYWORD2>sizefmt</KEYWORD2>
   <KEYWORD2>timefmt</KEYWORD2>
   <KEYWORD2>var</KEYWORD2>
   <KEYWORD2>cmd</KEYWORD2>
  </KEYWORDS>
 </RULES>

 <RULES SET="SSI-EXPRESSION" DEFAULT="LITERAL1" ESCAPE="\">

  <MARK_FOLLOWING TYPE="KEYWORD2">$</MARK_FOLLOWING>

  <SEQ TYPE="OPERATOR">=</SEQ>
  <SEQ TYPE="OPERATOR">!=</SEQ>
  <SEQ TYPE="OPERATOR"><</SEQ>
  <SEQ TYPE="OPERATOR"><=</SEQ>
  <SEQ TYPE="OPERATOR">></SEQ>
  <SEQ TYPE="OPERATOR">>=</SEQ>
  <SEQ TYPE="OPERATOR">&&</SEQ>
  <SEQ TYPE="OPERATOR">||</SEQ>
 </RULES>
</MODE>

¤ Dauer der Verarbeitung: 0.13 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