| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Cobol/Test-Suite/SQL P/dml100-186/ Datei vom 4.1.2008 mit Größe 26 kB |
|
Quellcode-Bibliothek TestResult.vdmpp Sprache: VDM |
|||||||||
|
--The TestResult Class
----------------------------------------------- -- Author: Sune Wolff - 20022462 -- Created: 14/5 - 2008 -- Updated: -- Description: TestResult class ----------------------------------------------- -- -- class definition -- class TestResult -- -- instance variables -- instance variables failures : seq of TestCase := [] -- -- Operations definition section -- operations public AddFailure: TestCase ==> () AddFailure(ptst) == failures := failures ^ [ptst]; public Print: seq of char ==> () Print(pstr) == def - = new IO().echo(pstr ^ "\n") in skip; public Show: () ==> () Show() == if failures = [] then Print("No failures detected") else for failure in failures do Print(failure.GetName() ^ " failed"); end TestResult ¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.1Bemerkung: (vorverarbeitet) ¤*Bot Zugriff |
|
2026-03-28