testCountablyFinite: assert/check/test/CountablyFinite

In RaphaelS1/set6: R6 Mathematical Sets Interface

assert/check/test/CountablyFinite

Description

Validation checks to test if a given object is countablyfinite.

Usage

testCountablyFinite(object, errormsg = "This is not a countably finite set")

checkCountablyFinite(object, errormsg = "This is not a countably finite set")

assertCountablyFinite(object, errormsg = "This is not a countably finite set")

Arguments

object	object to test
errormsg	error message to overwrite default if check fails

Value

If check passes then assert returns object invisibly and test/check return TRUE. If check fails, assert stops code with error, check returns an error message as string, and test returns FALSE.

Examples

testCountablyFinite(Set$new(1,2,3))
testCountablyFinite(Interval$new(1,10))

RaphaelS1/set6 documentation built on Sept. 2, 2023, 4:51 a.m.