BEMSG(3)

NAME

bemsg - BEH data structure

DESCRIPTION

bemsg is a data structure used in BEH to represent a condition. To check the correct usage of the circuit, the circuit designer can asserts a set of normal-usage conditions. The validity of these conditions is to be checked continiously during circuit's simulation. bemsg has been designed to be used in a simply chained list.

A bemsg structure is composed of the following fields.

(char *) LABEL
    the assert's label. This string is supposed been produced by namealloc()

(struct chain *) ABL
    condition's expression represented by an ABL

(struct node *) BDD
    condition's expression represented by a BDD

(char) LEVEL
    severity level : E (error) or, W (warning)

(char *) MESSAGE
    message to be printed out when the condition goes to flase

(struct bemsg *) NEXT
    next bemsg

SEE ALSO

log(3), beh(3), beh_addbemsg(3), beh_delbemsg(3), beh_frebemsg(3), beh_rmvbemsg(3), namealloc(3)