RE: [sv-ac] 1641 updated

__FILE__ and __LINE__ should be preceded by back-tics (`).
 
Regards,
Shalom


________________________________

	From: owner-sv-ac@server.eda.org
[mailto:owner-sv-ac@server.eda.org] On Behalf Of Kulshrestha, Manisha
	Sent: Monday, October 29, 2007 8:01 PM
	To: sv-ac@server.eda.org
	Subject: [sv-ac] 1641 updated
	
	

	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 <http://www.mailscanner.info/>
, and is 
	believed to be clean. 

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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