products/Sources/formale Sprachen/VDM/VDMPP/buffersPP/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: paste.xpm   Sprache: Unknown

Spracherkennung für: .project vermutete Sprache: Shell {Shell[54] PVS[103] Isabelle[105]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
 <name>buffersPP</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></value>
    </dictionary>
   </arguments>
  </buildCommand>
 </buildSpec>
 <natures>
  <nature>org.overture.ide.vdmpp.core.nature</nature>
 </natures>
</projectDescription>

[ Dauer der Verarbeitung: 0.93 Sekunden  ]