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: rcp.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="-->" />
  <PROPERTY NAME="indentNextLines" VALUE="\s*[^#]{3,}:\s*(#.*)?" />
 </PROPS>

 <RULES IGNORE_CASE="TRUE">

  <SPAN TYPE="LITERAL4" DELEGATE="DIRECTIVE">
   <BEGIN><%@</BEGIN>
   <END>%></END>
  </SPAN>

  <!-- PSP comment -->
  <SPAN TYPE="COMMENT2">
   <BEGIN><%--</BEGIN>
   <END>--%></END>
  </SPAN>

  <!-- inline Python code -->
  <SPAN TYPE="LITERAL3" DELEGATE="python::MAIN">
   <BEGIN><%</BEGIN>
   <END>%></END>
  </SPAN>

  <!-- Client-side javascript -->
  <SPAN TYPE="MARKUP" DELEGATE="javascript::MAIN">
   <BEGIN><script language="jscript"></BEGIN>
   <END></script></END>
  </SPAN>

  <SPAN TYPE="MARKUP" DELEGATE="javascript::MAIN">
   <BEGIN><script language="javascript"></BEGIN>
   <END></script></END>
  </SPAN>

  <SPAN TYPE="MARKUP" DELEGATE="javascript::MAIN">
   <BEGIN><script></BEGIN>
   <END></script></END>
  </SPAN>

  <!-- Server-Side include -->
  <SPAN TYPE="MARKUP">
   <BEGIN><!--#</BEGIN>
   <END>--></END>
  </SPAN>

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

  <!-- stylesheet -->
  <SPAN TYPE="MARKUP" DELEGATE="css::MAIN">
   <BEGIN><STYLE></BEGIN>
   <END></STYLE></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>

 <!-- ESCAPE is not exactly right but it is needed to correctly
     handle JavaScript in on* parameters -->
 <RULES SET="TAGS" DEFAULT="MARKUP">
  <SPAN TYPE="LITERAL1" ESCAPE="\">
   <BEGIN>"
   <END>"
  </SPAN>

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

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

  <!-- PSP comment -->
  <SPAN TYPE="COMMENT2">
   <BEGIN><%--</BEGIN>
   <END>--%></END>
  </SPAN>

  <SPAN TYPE="LITERAL3" DELEGATE="python::MAIN">
   <BEGIN><%</BEGIN>
   <END>%></END>
  </SPAN>
 </RULES>

 <RULES SET="DIRECTIVE" DEFAULT="LITERAL4">

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

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

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

  <KEYWORDS>
   <KEYWORD4>include</KEYWORD4>

   <KEYWORD4>file</KEYWORD4>
  </KEYWORDS>
 </RULES>
</MODE>

¤ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet)  ¤



Druckansicht
unsichere Verbindung
Druckansicht
sprechenden Kalenders

Eigene Datei ansehen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff