products/sources/formale Sprachen/Coq/plugins/ltac image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: coqOps.mli   Sprache: VDM

Untersuchung VDM©

/*
Test Group
Test of all test cases
Written by
Shin Sahara
*/

class AllT
operations
public run : () ==>bool
run () == 
 let ResultOfTest =
  [
   new TermT().run(),
   new TimeT().run(),
   new MapT().run(),
   new HashtableT().run(),
   new FHashtableT().run(),
   new DoubleListQueueT().run(),
   new QueueT().run(),
   new UniqueNumberT().run(),
   new RealT().run(), 
   new SetT().run(),
   new SequenceT().run(),
   new StringT().run(),
   new IntegerT().run(),
   new NumberT().run(),
   new CalendarT().run(),
   new SBCalendarT().run(),
   new DateT().run(),
   new FunctionT().run()
   ],
  Message = "Result of all test cases."
  
 in
 if   forall i in set inds ResultOfTest & ResultOfTest(i) then
  return new TestLogger().succeededInAllTestcases(Message)
 else
  return new TestLogger().notSucceededInAllTestcases(Message)
 
end AllT
 

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.21Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤





vermutete Sprache:
Sekunden
vermutete Sprache:
Hier finden Sie eine Liste der Produkte des Unternehmens

Mittel




Lebenszyklus

Die hierunter aufgelisteten Ziele sind für diese Firma wichtig


Ziele

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff