Skip to content

assertiveness.md

Latest commit

 

History

History
30 lines (21 loc) · 771 Bytes

assertiveness.md

File metadata and controls

30 lines (21 loc) · 771 Bytes

Assertiveness

Runtime assertions - intended for unit testing

Operators

assert dominance over

Assert that the RHO is greater than the LHO

Grammar: have
Examples:
Have Alice assert dominance over Bob

C Code:

/* fraction/fraction overload */
fetlang_assert(compare_fractions(RHO, LHO) == 1, "assertion of dominance failed");

assert equality with

Assert that the LHO and RHO are equal

Grammar: have
Examples:
Have Alice assert equality with Eve

C Code:

/* fraction/fraction overload */
fetlang_assert(!compare_fractions(RHO, LHO), "assertion of equality between fractions failed");  

/* chain/chain overload */
fetlang_assert(!compare_chains(RHO, LHO), "assertion of equality between chains failed");