products/sources/formale sprachen/VDM/VDMSL/barSL/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: CTL.thy   Sprache: Unknown

Spracherkennung für: .project vermutete Sprache: Shell {Shell[48] Isabelle[103] Cobol[143]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
 <name>barSL</name>
 <comment></comment>
 <projects>
 </projects>
 <buildSpec>
  <buildCommand>
   <name>org.overture.ide.core.builder.VdmBuilder</name>
   <arguments>


    <dictionary>
     <key>DYNAMIC_TYPE_CHECKS</key>
     <value>true</value>
    </dictionary>

    <dictionary>
     <key>INV_CHECKS</key>
     <value>true</value>
    </dictionary>

    <dictionary>
     <key>POST_CHECKS</key>
     <value>true</value>
    </dictionary>

    <dictionary>
     <key>PRE_CHECKS</key>
     <value>true</value>
    </dictionary>

    <dictionary>
     <key>SUPPRESS_WARNINGS</key>
     <value>false</value>
    </dictionary>

    <dictionary>
     <key>LANGUAGE_VERSION</key>
     <value>classic</value>
    </dictionary>
   </arguments>
  </buildCommand>
  <buildCommand>
   <name>org.overture.ide.plugins.latex.builder</name>
   <arguments>
    <dictionary>
     <key>DOCUMENT</key>
     <value>bar.tex</value>
    </dictionary>
   </arguments>
  </buildCommand>
 </buildSpec>
 <natures>
  <nature>org.overture.ide.vdmsl.core.nature</nature>
 </natures>
</projectDescription>

[ Dauer der Verarbeitung: 0.106 Sekunden  ]