Overview  Index  Help 

Test


structure Test :> TEST =
struct
  type testFunction = unit -> unit
  datatype test =
           TestCase of unit -> unit
         | TestLabel of string * test
         | TestList of test list
  val labelTests :  (string *  testFunctionlist -> test
end

datatypes for test cases and utility operators for them.

Author:
YAMATODANI Kiyoshi
Version:
$Id: StrTest.html,v 1.2 2004/10/20 02:12:45 kiyoshiy Exp $

 
Type detail

testFunction

type testFunction = unit -> unit

 
Datatype detail

test

datatype test =
         TestCase of unit -> unit
       | TestLabel of string * test
       | TestList of test list

 
DataConstructor detail

TestCase

constructor TestCase : (unit -> unit) -> test


TestLabel

constructor TestLabel : string * test -> test


TestList

constructor TestList : test list -> test

 
Value detail

labelTests

val labelTests
    : (* the name of test *)
      (string * (* the function which performs the test *) testFunctionlist ->
        test

 


Overview  Index  Help 
SMLUnit: regression test framework for SML