Most assertion functions ensure the right class attribute, and optionally additional properties. Additionally, the following compound assertions are implemented:
assert_terminable(terminator, instance)
(Terminator, OptimInstance) -> NULL
Checks if the terminator is applicable to the optimization.
assert_instance_properties(optimizer, instance)
(Optimizer, OptimInstance) -> NULL
Checks if the instance is applicable to the optimizer.
If an assertion fails, an exception is raised. Otherwise, the input object is returned invisibly.
assert_terminator(terminator, instance = NULL)assert_terminable(terminator, instance)
assert_set(x, empty = TRUE, .var.name = vname(x))
assert_optimizer(optimizer)
assert_instance_properties(optimizer, inst)
(Terminator).
(any)
(logical(1)
)
(character(1)
)
(Optimizer).