products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/api/index-files/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei:   Sprache: XML

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

<!DOCTYPE MODE SYSTEM "xmode.dtd">

<!-- Apollo Guidance Computer (AGC) executable binary source mode by Jim Lawton (jim DOT lawton AT gmail DOT com). -->

<MODE>

    <PROPS>
        <PROPERTY NAME="lineComment" VALUE=";" />
    </PROPS>

    <RULES HIGHLIGHT_DIGITS="TRUE" IGNORE_CASE="TRUE">
        <!-- Comments -->
        <EOL_SPAN TYPE="COMMENT2">;</EOL_SPAN>

        <!-- Octal numbers (default). -->
        <SEQ_REGEXP HASH_CHARS="+-01234567" AT_WORD_START="TRUE" TYPE="DIGIT">[+-]*[0-7]+[ \t]</SEQ_REGEXP>
        <SEQ_REGEXP HASH_CHARS="+-01234567" AT_WORD_START="TRUE" TYPE="DIGIT">[+-]*[0-7]+$</SEQ_REGEXP>
        <SEQ_REGEXP HASH_CHARS="+-01234567" AT_WORD_START="TRUE" TYPE="DIGIT">[+-]*[0-7]+[,$]</SEQ_REGEXP>

        <KEYWORDS>
            <!-- Directives -->
            <FUNCTION>BANK</FUNCTION>
        </KEYWORDS>
    </RULES>
</MODE>

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