Overview  Index  Help 

TEST

All Known Implementing Modules:

TestSMLUnit.Test


signature TEST =
sig
  type testFunction = unit -> unit
  datatype test =
           TestCase of testFunction
         | 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: SigTEST.html,v 1.2 2004/10/20 02:12:44 kiyoshiy Exp $

 
Type detail

testFunction

type testFunction = unit -> unit

the type of function which perform a test case

 
Datatype detail

test

datatype test =
         TestCase of testFunction
       | TestLabel of string * test
       | TestList of test list

the type representing a test or aggregation of tests.

 
DataConstructor detail

TestCase

constructor TestCase test : testFunction -> test

a test case

Parameters:
test
the function which performs the test

TestLabel

constructor TestLabel (label, test) : string * test -> test

a test with name

Parameters:
label
the name of the test
test
the test to be named

TestList

constructor TestList tests : test list -> test

aggregation of tests

Parameters:
tests
a list of tests

 
Value detail

labelTests

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

labels tests and aggregates them into a test.

Parameters:
nameAndTester
list of pair of name and tester of a test
Returns:
a test which aggregates the tests

 


Overview  Index  Help 
SMLUnit: regression test framework for SML