Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: NumPrelude.v Sprache: VDM

Original von: VDM^©

class NumberT is subclass of TestDriver

functions
public tests : () -> seq of TestCase
tests () ==
[ new NumberT01(),  new NumberT02(),  new NumberT03()
];
end NumberT

class NumberT01 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
return
  (Number`min[int](lambda x:int, y:int & x < y)(-3)(4) = -3 and
  Number`min[int](lambda x:int, y:int & x < y)(4)(-3) = -3 and
  Number`min[nat](lambda x:nat, y:nat & x < y)(2)(10) = 2 and
  Number`min[int](lambda x:int, y:int & x < y)(0)(0) = 0 and
  Number`max[real](lambda x:real, y:real & x < y)(0.001)( -0.001) = 0.001 and
  Number`max[real](lambda x:real, y:real & x < y)(-0.001)( 0.001) = 0.001 and
  Number`max[real](lambda x:real, y:real & x < y)(0.0)(0.0) = 0.0)
;
protected setUp: () ==> ()
setUp() == TestName := "NumberT01:\tSummary of integer.";
protected tearDown: () ==> ()
tearDown() == return;
end NumberT01

class NumberT02 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
return
   Number`isComputable[char]('a') = false and
   Number`isComputable[int](-9) = true and
   Number`isComputable[nat](0) = true and
   Number`isComputable[nat1](1) = true and
   Number`isComputable[real](1.234) = true and
   Number`isComputable[rat](1.234) = true
;
protected setUp: () ==> ()
setUp() == TestName := "NumberT02:\tIs computable?";
protected tearDown: () ==> ()
tearDown() == return;
end NumberT02

class NumberT03 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
return
   Number`min[seq of int](lambda s1: seq of int, s2 : seq of int & len s1 < len s2)([1,2])([1,2,3])  = [1, 2]  and
   Number`max[seq of int](lambda s1: seq of int, s2 : seq of int & len s1 < len s2)([1,2])([1,2,3])  = [1, 2, 3]
;
protected setUp: () ==> ()
setUp() == TestName := "NumberT03:\tType is not computable, but...";
protected tearDown: () ==> ()
tearDown() == return;
end NumberT03

¤ Dauer der Verarbeitung: 0.19 Sekunden (vorverarbeitet) ¤

Druckansicht unsichere Verbindung
Druckansicht 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.