products/Sources/formale Sprachen/Coq/test-suite/coqwc image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei:   Sprache: Unknown

<?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.18 Sekunden  (vorverarbeitet)  ]