Subject: [sv-cc] assertion erratas: 2 minor issues
From: Francoise Martinolle (fm@cadence.com)
Date: Wed Jan 21 2004 - 07:53:08 PST
I noted a problem in the assertion errata which we are supposed to vote on
today.
The description is incorrect, there is no "info" field in the attempt info
structure. It should say that the "step" field is NULL.
Additionally we should replace the sentence: "not possible, data supplied
is NULL." with "the cb_time field shall be NULL"
Text is the following.
The attempt information structure contains details relevant to the specific
event that occurred.
— On disable, enable, reset and kill callbacks, the info field is NULL.
— On start and success callbacks, only the attemptStartTime field is valid.
— On a cbAssertionFailure callback, the attemptStartTime and
detail.failExpr fields are
valid.
— On a step callback, the attemptStartTime and detail.step elements
elementsfields are valid.
NOTES
1) ...
2) ...
3) The content of the cb_time field depends on the reason identified by the
reason field, as follows:
— cbAssertionStart - cb_time is the time when the assertion attempt has
been started.
— cbAssertionSuccess, cbAssertionFailure - cb_time is the time when the
assertion
succeeded/failed.
— cbAssertionStepSuccess, cbAssertionStepFailure - cb_time is the time when the
assertion attempt step succeeded/failed.
— cbAssertionDisable, cbAssertionEnable, cbAssertionReset, cbAssertionKill -
not possible, data supplied is NULL.
4) In contrast to cb_time, the content of attemptStartTime is always the
start time of the actual attempt of
an assertion. It can be used as an unique ID that distinguishes the
attempts of any given assertion.
This archive was generated by hypermail 2b28 : Wed Jan 21 2004 - 07:57:13 PST