products/Sources/formale Sprachen/Isabelle/HOL/Mirabelle/Tools/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: lex.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="wordBreakChars" VALUE=",+-=<>/?^&*" />

        <!-- Auto indent -->
        <PROPERTY NAME="indentOpenBrackets" VALUE="{" />
        <PROPERTY NAME="indentCloseBrackets" VALUE="}" />
        <PROPERTY NAME="unalignedOpenBrackets" VALUE="(" />
        <PROPERTY NAME="unalignedCloseBrackets" VALUE=")" />
        <PROPERTY NAME="indentNextLine"
            VALUE="\s*(((if|while)\s*\(|else\s*|else\s+if\s*\(|for\s*\(.*\))[^{;]*)" />
        <PROPERTY NAME="unindentThisLine"
            VALUE="^.*(default:\s*|case.*:.*)$" />
        <PROPERTY NAME="electricKeys" VALUE=":" />
    </PROPS>
    <RULES IGNORE_CASE="FALSE">
 <IMPORT DELEGATE="c::MAIN"/>
 <SEQ TYPE="OPERATOR">%%</SEQ>
 <SEQ TYPE="OPERATOR">%{</SEQ>
 <SEQ TYPE="OPERATOR">}%</SEQ>
 <SEQ TYPE="KEYWORD1">%option</SEQ>
 <SEQ TYPE="KEYWORD1">%top</SEQ>
 <SEQ TYPE="KEYWORD1">%x</SEQ>
 <SEQ TYPE="KEYWORD4">ECHO</SEQ>
 <SEQ TYPE="KEYWORD4">BEGIN</SEQ>
 <SEQ TYPE="KEYWORD4">REJECT</SEQ>
 
 <SEQ TYPE="LITERAL2">YY_CURRENT_BUFFER</SEQ>
 <SEQ TYPE="LITERAL2">YY_START</SEQ>
 
 <SEQ_REGEXP HASH_CHAR="<" TYPE="KEYWORD2"><\w+></SEQ_REGEXP>
    </RULES>
</MODE>

¤ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet)  ¤



Kontakt
Drucken
Kontakt
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