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

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: vdmj-2.0.1-jar-with-dependencies.jar   Sprache: XML

Untersuchung Isabelle©

<?xml version="1.0"?>
<!-- PowerCenter Parameter File format, jEdit mode by Thiemo Kellner 2014 -->
<!DOCTYPE MODE SYSTEM "xmode.dtd">

<MODE>
   <RULES IGNORE_CASE="TRUE" HIGHLIGHT_DIGITS="TRUE">

      <!-- single $ after double otherwise double will be treated as single -->
      <MARK_FOLLOWING TYPE="KEYWORD2">$$</MARK_FOLLOWING>
      <MARK_FOLLOWING TYPE="KEYWORD1">$</MARK_FOLLOWING>

      <!-- weird stuff -->
      <SPAN TYPE="KEYWORD3" DELEGATE="EXEC" ESCAPE="\">
         <BEGIN>[</BEGIN>
         <END>]</END>
      </SPAN>

      <!-- Literals -->
      <SPAN TYPE="LITERAL1" DELEGATE="LITERAL" ESCAPE="\" NO_LINE_BREAK="TRUE">
         <BEGIN>"
         <END>"
      </SPAN>
      <SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE">
         <BEGIN>'
         <END>'
      </SPAN>

      <!-- Operators -->
      <SEQ TYPE="OPERATOR">=</SEQ>
      <!-- some of these should be marked OPERATOR -->
      <SEQ TYPE="NULL">=</SEQ>

      <!-- Comments -->
      <EOL_SPAN_REGEXP TYPE="COMMENT2" AT_LINE_START="TRUE">^[^=]*$</EOL_SPAN_REGEXP>
   </RULES>

</MODE>

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.3Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤





Druckansicht
unsichere Verbindung
Druckansicht
Hier finden Sie eine Liste der Produkte des Unternehmens

Mittel




Lebenszyklus

Die hierunter aufgelisteten Ziele sind für diese Firma wichtig


Ziele

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff