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: jcl.xml   Sprache: Unknown

<?xml version="1.0"?>

<!DOCTYPE MODE SYSTEM "xmode.dtd">
<!--  
      JCL edit mode by Bill McMilleon ([email protected])
      March 19, 2003

      Suggested catalog file entry:

      <MODE NAME="JCL" FILE="JCL.xml"
FILE_NAME_GLOB="*.{jcl}" />

-->
 
 
<MODE>

    <PROPS>
        <PROPERTY NAME="wordBreakChars" VALUE=",+-=<>/?^&*" />
    </PROPS>

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

<!-- In fixed form, column 72 is the last column parsed, unless the
\extend_source option is invoked -->
    <!-- TERMINATE AT_CHAR="72" / -->


    <EOL_SPAN AT_LINE_START="TRUE" TYPE="COMMENT1">//*</EOL_SPAN>

  <SPAN TYPE="LITERAL1" NO_LINE_BREAK="FALSE">
   <BEGIN>'
   <END>'
  </SPAN>

<!-- Highlighted Operators -->
<SEQ TYPE="OPERATOR">=</SEQ>
<SEQ TYPE="OPERATOR"><</SEQ>
<SEQ TYPE="OPERATOR">></SEQ>
<SEQ TYPE="OPERATOR">&</SEQ>
<SEQ TYPE="OPERATOR">|</SEQ>
<SEQ TYPE="OPERATOR">,</SEQ>

<KEYWORDS>
  <KEYWORD2>COMMAND</KEYWORD2>
  <KEYWORD2>CNTL</KEYWORD2>
  <KEYWORD2>DD</KEYWORD2>
  <KEYWORD2>ENCNTL</KEYWORD2>
  <KEYWORD2>EXEC</KEYWORD2>
  <KEYWORD2>IF</KEYWORD2>
  <KEYWORD2>THEN</KEYWORD2>
  <KEYWORD2>ELSE</KEYWORD2>
  <KEYWORD2>ENDIF</KEYWORD2>
  <KEYWORD2>INCLUDE</KEYWORD2>
  <KEYWORD2>JCLIB</KEYWORD2>
  <KEYWORD2>JOB</KEYWORD2>
  <KEYWORD2>MSG</KEYWORD2>
  <KEYWORD2>OUTPUT</KEYWORD2>
  <KEYWORD2>PEND</KEYWORD2>
  <KEYWORD2>PROC</KEYWORD2>
  <KEYWORD2>SET</KEYWORD2>
  <KEYWORD2>XMIT</KEYWORD2>
</KEYWORDS>

    </RULES>
</MODE>

[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]