adfirma

Asserts that a condition is true at runtime.

Aliases: assert

Syntax: adfirma <expression> [, <message>]

Category

testing

Related

• proba
• fac
• cape

Examples

examples/corpus/adfirma/adfirma.fab (canonical · keyword)

Asserts that a condition is true at runtime.

# adfirma — runtime assertions
#
# adfirma <condition>
# adfirma <condition>, "nuntius"
#
# GRAMMAR:
#   adfirmaStmt :← 'adfirma' expr (',' stringLit)?
#
# EXPECTED OUTPUT:
#   empty — adfirma only (adfirma.expected)

incipit {
    fixum _ x ← 10

    # Simple assertion without message
    adfirma x > 0

    # Assertion with custom message
    adfirma x ≡ 10, "x decem esse debet"

    # Multiple assertions
    fixum _ nomen ← "Marcus"
    adfirma nomen ≡ "Marcus"
    adfirma nomen ≠ "", "nomen vacuum non sit"

    # Boolean assertions
    fixum _ viget ← verum
    adfirma viget
    adfirma viget ≡ verum, "vigere debet"
}