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: outline.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="lineComment" VALUE="//"/>
  <PROPERTY NAME="contextInsensitive" VALUE="true"/>
 </PROPS>
 <RULES IGNORE_CASE="TRUE">
  <EOL_SPAN_REGEXP AT_LINE_START="TRUE" TYPE="COMMENT4">^\s{12}</EOL_SPAN_REGEXP>
  <EOL_SPAN_REGEXP AT_LINE_START="TRUE" TYPE="COMMENT3">^\s{11}</EOL_SPAN_REGEXP>
  <EOL_SPAN_REGEXP AT_LINE_START="TRUE" TYPE="COMMENT2">^\s{10}</EOL_SPAN_REGEXP>
  <EOL_SPAN_REGEXP AT_LINE_START="TRUE" TYPE="COMMENT1">^\s{9}</EOL_SPAN_REGEXP>
  <EOL_SPAN_REGEXP AT_LINE_START="TRUE" TYPE="LITERAL4">^\s{8}</EOL_SPAN_REGEXP>
  <EOL_SPAN_REGEXP AT_LINE_START="TRUE" TYPE="LITERAL3">^\s{7}</EOL_SPAN_REGEXP>
  <EOL_SPAN_REGEXP AT_LINE_START="TRUE" TYPE="LITERAL2">^\s{6}</EOL_SPAN_REGEXP>
  <EOL_SPAN_REGEXP AT_LINE_START="TRUE" TYPE="LITERAL1">^\s{5}</EOL_SPAN_REGEXP>
  <EOL_SPAN_REGEXP AT_LINE_START="TRUE" TYPE="KEYWORD4">^\s{4}</EOL_SPAN_REGEXP>
  <EOL_SPAN_REGEXP AT_LINE_START="TRUE" TYPE="KEYWORD3">^\s{3}</EOL_SPAN_REGEXP>
  <EOL_SPAN_REGEXP AT_LINE_START="TRUE" TYPE="KEYWORD2">^\s{2}</EOL_SPAN_REGEXP>
  <EOL_SPAN_REGEXP AT_LINE_START="TRUE" TYPE="KEYWORD1">^\s{1}</EOL_SPAN_REGEXP>
  <EOL_SPAN_REGEXP AT_LINE_START="TRUE" TYPE="LABEL">^\s{0}</EOL_SPAN_REGEXP>
 </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