Skip to content
Topaz6.0 · Before release
Download

Search documentation

Specification 6.0 · Not released · Tested product 5.21.3

Use arrow keys to choose a result. Press Enter to open.

Type an API name, diagnostic number, rule, or project topic.

    Library

    std.test.assert

    Checks a boolean condition with a failure message.

    assert(condition: bool, message: string = "assertion failed") -> ()
    Module
    std.test
    Receiver
    Not applicable
    Minimum arity
    1
    Maximum arity
    2

    Declaration and parameters

    Link

    Availability

    Included by default: Pending

    Import std.test in language mode 5.21.

    The current compiler selects std/test.tpz for this language mode. Availability in other released editions and inclusion in each installed distribution are Pending.

    Source evidence

    Receiver

    Not applicable

    Parameter constraints

    Additional contracts are Pending.

    Test programs iterate supplied values with the ordinary for statement. The same statement applies to integers, booleans, strings, and other iterable element types.

    std.test does not export forAllInt or forAllBool. Assertions inside a for body retain the same assertion behavior as a direct call.

    Related rule: Repeat assertions with for

    Result

    Additional contracts are Pending.

    The declared result type is ().

    Effects

    Pending

    Failures

    Pending

    Result and effects

    Link

    Checks a boolean condition with a failure message.

    Related entries

    Link

    std.test

    Repeat assertions with for

    Link
    Ruletopaz.stdlib.contract.test-for-all.rule

    Repeat assertions with for

    Test programs iterate supplied values with the ordinary for statement. The same statement applies to integers, booleans, strings, and other iterable element types.

    std.test does not export forAllInt or forAllBool. Assertions inside a for body retain the same assertion behavior as a direct call.

    Why

    The removed helpers repeated an existing loop and added no test meaning. Ordinary iteration works for every element type and keeps loop control and assertion order visible.

    Examples Use one loop for every element typeReject the removed forAllInt helperReject the removed forAllBool helper

    Diagnostics TPZ3009

    Source evidence

    Use one loop for every element type

    Link

    run · running · Verification: not-run

    main.tpzUse one loop for every element typeOpen in Playground
    1. import std.test
    2. import std.io
    4. let mut sum = 0
    5. for value in ([2, 3, 5]) {
    6. sum += value
    7. }
    8. let mut trueCount = 0
    9. for value in ([true, false, true]) {
    10. if (value) { trueCount += 1 }
    11. }
    12. let mut labels = ""
    13. for value in (["A", "B", "C"]) {
    14. labels = labels + value
    15. }
    16. test.assertEq(sum, 10)
    17. test.assertEq(trueCount, 2)
    18. test.assertEq(labels, "ABC")
    19. io.writeLine("all values checked")
    Expected outputexit 0
    all values checked
    $ topaz run main.tpz · target product 5.21.3
    Expected result

    Expected result

    Execution completes. Exit code 0.

    No stderr.

    Expected stdout
    1. all values checked

    This exact example has not been executed.

    Source evidence

    Reject the removed forAllInt helper

    Link

    reject · checking · Verification: not-run

    main.tpzReject the removed forAllInt helperOpen in Playground
    1. import std.test { forAllInt }
    Expected outputNonzero exit
    No stdout.
    $ topaz check main.tpz --format json · target product 5.21.3
    Expected result

    Expected result

    Rejection during resolve. Nonzero exit.

    • TPZ3009 selected-name-not-exported at main.tpz:1:19

    No stdout.

    This exact example has not been executed.

    Source evidence

    Reject the removed forAllBool helper

    Link

    reject · checking · Verification: not-run

    main.tpzReject the removed forAllBool helperOpen in Playground
    1. import std.test { forAllBool }
    Expected outputNonzero exit
    No stdout.
    $ topaz check main.tpz --format json · target product 5.21.3
    Expected result

    Expected result

    Rejection during resolve. Nonzero exit.

    • TPZ3009 selected-name-not-exported at main.tpz:1:19

    No stdout.

    This exact example has not been executed.

    Source evidence

    Diagnostics

    Link

    Name is not exported

    Menu

    Download