Overview  Index  Help 

Assert


structure Assert :> ASSERT =
struct
  type 'a assertEqual = 'a -> 'a -> 'a
  type 'a valueFormatter = 'a -> string
  datatype failure =
           GeneralFailure of string | NotEqualFailure of string * string
  exception Fail of failure
  val fail : string -> 'a
  val failByNotEqual : string * string -> 'a
  val assertEqual : ('a * 'a -> bool) -> 'a valueFormatter -> 'a assertEqual
  val assertEqualUnit : unit assertEqual
  val assertEqualInt : int assertEqual
  val assertEqualWord : word assertEqual
  val assertEqualWord8 : Word8.word assertEqual
  val assertEqualWord32 : Word32.word assertEqual
  val assertEqualReal : real assertEqual
  val assertEqualChar : char assertEqual
  val assertEqualString : string assertEqual
  val assertEqualSubstring : substring assertEqual
  val assertEqualExceptionName : exn assertEqual
  val assertEqualRef : 'a assertEqual -> 'a ref assertEqual
  val assertSameRef : 'a ref assertEqual
  val assertEqualBool : bool assertEqual
  val assertTrue : bool -> bool
  val assertFalse : bool -> bool
  val assertEqualOption : 'a assertEqual -> 'a option assertEqual
  val assertEqualIntOption : int option assertEqual
  val assertEqualWordOption : word option assertEqual
  val assertEqualWord8Option : Word8.word option assertEqual
  val assertEqualWord32Option : Word32.word option assertEqual
  val assertEqualRealOption : real option assertEqual
  val assertEqualCharOption : char option assertEqual
  val assertEqualStringOption : string option assertEqual
  val assertEqualSubstringOption : substring option assertEqual
  val assertSome : 'a option -> 'a option
  val assertNone : 'a option -> 'a option
  val assertEqualOrder : order assertEqual
  val assertEqual2Tuple
      : 'a assertEqual * 'b assertEqual -> ('a * 'b) assertEqual
  val assertEqual3Tuple
      : 'a assertEqual * 'b assertEqual * 'c assertEqual ->
          ('a * 'b * 'c) assertEqual
  val assertEqualContainer
      : ('a -> int) * ('a * int -> 'b) * 'b assertEqual -> 'a assertEqual
  val assertEqualVector : 'a assertEqual -> 'a vector assertEqual
  val assertEqualWord8Vector : Word8Vector.vector assertEqual
  val assertEqualCharVector : CharVector.vector assertEqual
  val assertEqualArray : 'a assertEqual -> 'a array assertEqual
  val assertEqualWord8Array : Word8Array.array assertEqual
  val assertEqualCharArray : CharArray.array assertEqual
  val assertEqualList : 'a assertEqual -> 'a list assertEqual
  val assertEqualIntList : int list assertEqual
  val assertEqualWordList : word list assertEqual
  val assertEqualWord8List : Word8.word list assertEqual
  val assertEqualWord32List : Word32.word list assertEqual
  val assertEqualRealList : real list assertEqual
  val assertEqualCharList : char list assertEqual
  val assertEqualStringList : string list assertEqual
  val assertEqualSubstringList : substring list assertEqual
end

Implementation of assert functions.

Author:
YAMATODANI Kiyoshi
Version:
$Id: StrAssert.html,v 1.3 2004/10/20 02:12:44 kiyoshiy Exp $

 
Type detail

assertEqual

type 'a assertEqual = 'a -> 'a -> 'a


valueFormatter

type 'a valueFormatter = 'a -> string

 
Datatype detail

failure

datatype failure = GeneralFailure of string | NotEqualFailure of string * string

 
DataConstructor detail

GeneralFailure

constructor GeneralFailure : string -> failure


NotEqualFailure

constructor NotEqualFailure : string * string -> failure

 
Value detail

fail

val fail : string -> 'a


failByNotEqual

val failByNotEqual : string * string -> 'a


assertEqual

val assertEqual : ('a * 'a -> bool) -> 'a valueFormatter -> 'a assertEqual


assertEqualUnit

val assertEqualUnit : unit assertEqual


assertEqualInt

val assertEqualInt : int assertEqual


assertEqualWord

val assertEqualWord : word assertEqual


assertEqualWord8

val assertEqualWord8 : Word8.word assertEqual


assertEqualWord32

val assertEqualWord32 : Word32.word assertEqual


assertEqualReal

val assertEqualReal : real assertEqual


assertEqualChar

val assertEqualChar : char assertEqual


assertEqualString

val assertEqualString : string assertEqual


assertEqualSubstring

val assertEqualSubstring : substring assertEqual


assertEqualExceptionName

val assertEqualExceptionName : exn assertEqual


assertEqualRef

val assertEqualRef : 'a assertEqual -> 'a ref assertEqual

asserts that the locations which two references point hold the same value.


assertSameRef

val assertSameRef : 'a ref assertEqual

asserts that two references point to the same location


assertEqualBool

val assertEqualBool : bool assertEqual


assertTrue

val assertTrue : bool -> bool


assertFalse

val assertFalse : bool -> bool


assertEqualOption

val assertEqualOption : 'a assertEqual -> 'a option assertEqual


assertEqualIntOption

val assertEqualIntOption : int option assertEqual


assertEqualWordOption

val assertEqualWordOption : word option assertEqual


assertEqualWord8Option

val assertEqualWord8Option : Word8.word option assertEqual


assertEqualWord32Option

val assertEqualWord32Option : Word32.word option assertEqual


assertEqualRealOption

val assertEqualRealOption : real option assertEqual


assertEqualCharOption

val assertEqualCharOption : char option assertEqual


assertEqualStringOption

val assertEqualStringOption : string option assertEqual


assertEqualSubstringOption

val assertEqualSubstringOption : substring option assertEqual


assertSome

val assertSome : 'a option -> 'a option


assertNone

val assertNone : 'a option -> 'a option


assertEqualOrder

val assertEqualOrder : order assertEqual


assertEqual2Tuple

val assertEqual2Tuple : 'a assertEqual * 'b assertEqual -> ('a * 'b) assertEqual


assertEqual3Tuple

val assertEqual3Tuple
    : 'a assertEqual * 'b assertEqual * 'c assertEqual ->
        ('a * 'b * 'c) assertEqual


assertEqualContainer

val assertEqualContainer
    : ('a -> int) * ('a * int -> 'b) * 'b assertEqual -> 'a assertEqual


assertEqualVector

val assertEqualVector : 'a assertEqual -> 'a vector assertEqual


assertEqualWord8Vector

val assertEqualWord8Vector : Word8Vector.vector assertEqual


assertEqualCharVector

val assertEqualCharVector : CharVector.vector assertEqual


assertEqualArray

val assertEqualArray : 'a assertEqual -> 'a array assertEqual


assertEqualWord8Array

val assertEqualWord8Array : Word8Array.array assertEqual


assertEqualCharArray

val assertEqualCharArray : CharArray.array assertEqual


assertEqualList

val assertEqualList : 'a assertEqual -> 'a list assertEqual


assertEqualIntList

val assertEqualIntList : int list assertEqual


assertEqualWordList

val assertEqualWordList : word list assertEqual


assertEqualWord8List

val assertEqualWord8List : Word8.word list assertEqual


assertEqualWord32List

val assertEqualWord32List : Word32.word list assertEqual


assertEqualRealList

val assertEqualRealList : real list assertEqual


assertEqualCharList

val assertEqualCharList : char list assertEqual


assertEqualStringList

val assertEqualStringList : string list assertEqual


assertEqualSubstringList

val assertEqualSubstringList : substring list assertEqual

 
Exception detail

Fail

exception Fail of failure


Overview  Index  Help 
SMLUnit: regression test framework for SML