AssertionsMacro

Macro implementation that provides rich error message for boolean expression assertion.

class Object
trait Matchable
class Any

Value members

Concrete methods

def assert(condition: Expr[Boolean], prettifier: Expr[Prettifier], pos: Expr[Position], clue: Expr[Any])(using Quotes): Expr[Assertion]

Provides assertion implementation for Assertions.assert(booleanExpr: Boolean), with rich error message.

Provides assertion implementation for Assertions.assert(booleanExpr: Boolean), with rich error message.

Value parameters:
condition

original condition expression

Returns:

transformed expression that performs the assertion check and throw TestFailedException with rich error message if assertion failed

def assume(condition: Expr[Boolean], prettifier: Expr[Prettifier], pos: Expr[Position], clue: Expr[Any])(using Quotes): Expr[Assertion]

Provides implementation for Assertions.assume(booleanExpr: Boolean), with rich error message.

Provides implementation for Assertions.assume(booleanExpr: Boolean), with rich error message.

Value parameters:
condition

original condition expression

context

macro context

Returns:

transformed expression that performs the assumption check and throw TestCanceledException with rich error message if assumption failed

def transform(helper: Expr[(Bool, Any, Position) => Assertion], condition: Expr[Boolean], prettifier: Expr[Prettifier], pos: Expr[Position], clue: Expr[Any])(using Quotes): Expr[Assertion]