User guide

20-73
Using OpenVera Assertions
$ova_start(1, "mod1") // Start assertions in all
// instances of module mod1 at that level only.
$ova_stop(0, i1.mod1) // Stop assertions in all of
// the hierarchy at and below scope i1.mod1.
$ova_stop(3, i1.mod1) // Stop assertions in the hierarchy
// started at scope i1.mod1 to a depth
Category and Severity-Based Monitoring
To control category and severity-based assertion monitoring, you can
use the following system tasks:
$ova_category_start(category)
Starts all assertions associated with the specified category. The
category level is an unsigned integer from 0 to 2
24
- 1
$ova_category_stop(category)
Stops all assertions associated with the specified category.
$ova_severity_start(severity)
Starts all assertions associated with the specified severity level.
The severity level is an unsigned integer from 0 to 255.
$ova_severity_stop(severity)
Stops all assertions associated with the specified severity level.
Name-Based Monitoring
To control monitoring of assertions based upon the specified names
of assertions, use the following system tasks:
$ova_assertion_stop("fullHierName")
Stops the monitoring of the specified assertion (string).