[sv-ac] 1641 updated

From: Kulshrestha, Manisha <Manisha_Kulshrestha_at_.....>
Date: Mon Oct 29 2007 - 11:01:18 PDT
Hi,

 

I have made the following changes in the text based on shalom's
comments. Please review and let me know any changes are required. Also,
please let us know if we need another email vote on this proposal. I
have uploaded the revised version (also attached here).

 

1.       Added a new line:

 

- The file name and line number of the severity system task call. The
file name and line number shall be same as __LINE__ and __FILE__
compiler directives respectively.

 

2.       Added the following line at the end of 19.9:

 

The tool-specific message shall include the user-defined message if
specified.

3.       In syntax box 19.9: the explicit argument types have been
changed to "list_of_arguments".

4.      Added " The execution of immediate assertions can be controlled
by using assertion control system tasks (See 19.10)." and removed
"NOTE-The assertion control system tasks are described in 19.10."

 

Thanks.

Manisha

 

 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.



Received on Mon Oct 29 11:02:21 2007

This archive was generated by hypermail 2.1.8 : Mon Oct 29 2007 - 11:03:00 PDT