Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: TestCase.vdmpp Sprache: VDM

Original von: VDM^©

--The TestCase Class

-----------------------------------------------
-- Author:
-- Created:
-- Updated:
-- Description:
-----------------------------------------------

--
-- class definition
--
class TestCase is subclass of Test

--
-- instance variables
--
instance variables

protected name : seq of char

--
-- Operations definition section
--
operations

public TestCase: seq of char ==> TestCase
TestCase(nm) == name := nm;

public GetName: () ==> seq of char
GetName() == return name;

protected AssertTrue: bool ==> ()
AssertTrue(pb) == if not pb then exit <FAILURE>;

protected AssertFalse: bool ==> ()
AssertFalse(pb) == if pb then exit <FAILURE>;

public Run: TestResult ==> ()
Run(ptr) ==
  trap <FAILURE>
   with
    ptr.AddFailure(self)
   in
    (SetUp();
    RunTest();
    TearDown();
    );

protected SetUp: () ==> ()
SetUp() == is subclass responsibility;

protected RunTest: () ==> ()
RunTest() == is subclass responsibility;

protected TearDown: () ==> ()
TearDown() == is subclass responsibility;

end TestCase

¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

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.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.