| products/Sources/formale Sprachen/VDM/VDMRT/iiossRT/Test/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: TestCase.vdmrt Sprache: VDMOriginal von: VDM© |
|
||||||
|
\begin{vdm_al}
class TestCase is subclass of Test instance variables protected name : seq of char 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 \end{vdm_al} ¤ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ¤ |
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.Die farbliche Syntaxdarstellung ist noch experimentell.Bot Zugriff |
