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

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: real_orders.pvs   Sprache: Isabelle

Untersuchungsergebnis.project Download desShell {Shell[49] Isabelle[104] Cobol[144]}zum Wurzelverzeichnis wechseln

<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
 <name>ProgLangSL</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>vdm10</value>
    </dictionary>
   </arguments>
  </buildCommand>
  <buildCommand>
   <name>org.overture.ide.plugins.latex.builder</name>
   <arguments>
    <dictionary>
     <key>DOCUMENT</key>
     <value>proglang.tex</value>
    </dictionary>
   </arguments>
  </buildCommand>
 </buildSpec>
 <natures>
  <nature>org.overture.ide.vdmsl.core.nature</nature>
 </natures>
</projectDescription>

[ zur Elbe Produktseite wechseln0.273Quellennavigators  ]