Subject: Re: [sv-cc] assertion erratas: 2 minor issues
From: Michael Rohleder (michael.rohleder@motorola.com)
Date: Wed Jan 21 2004 - 08:12:46 PST
Hmmm.
I think this is just some confusion on your side.
see comments interspersed.
Best regards,
-Michael
Francoise Martinolle wrote:
> 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.
a) the 'info' refers to the attempt info structure passed itself
b) this is exactly the wording as already in draft1 (did not check for 3.1, but I think it is already there ...)
c) if you believe the four bullets after 'The attempt information structure' are confusing, we might want to
- move the first bullet above the 'The attempt information structure' sentence
- make the sentence 'The attempt information structure' a second bullet
- make the following three bullets sub-bullets of this bullet (indent one more time)
> Additionally we should replace the sentence: "not possible, data supplied is NULL." with "the cb_time field shall be NULL"
Why ?
>
>
> 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.
--NOTE: The content of this message may contain personal views which are not neccessarily the views of Motorola, unless specifically stated.
___________________________________________________ | | _ | Michael Rohleder Tel: +49-89-92103-259 | _ / )| Software Technologist Fax: +49-89-92103-680 |( \ / / | Motorola, Semiconductor Products, System Design | \ \ _( (_ | _ Schatzbogen 7, D-81829 Munich, Germany _ | _) )_ (((\ \>|_/ > < \_|</ /))) (\\\\ \_/ / mailto:Michael.Rohleder@motorola.com \ \_/ ////) \ /_______________________________________________\ / \ _/ \_ / / / \ \
The information contained in this email has been classified as: Motorola General Business Information (x) Motorola Internal Use Only ( ) Motorola Confidential Proprietary ( )
*** This note may contain Motorola Confidential Proprietary or Motorola Internal Use Only Information and is intended to be reviewed by only the individual or organization named above. If you are not the intended recipient or an authorized representative of the intended recipient, you are hereby notified that any review, dissemination or copying of this email and its attachments, if any, or the information contained herein is prohibited. If you have received this email in error, please immediately notify the sender by return email and delete this email from your system. Thank you! ***
This archive was generated by hypermail 2b28 : Wed Jan 21 2004 - 20:48:17 PST