RE: [sv-ac] RE: Mantis 1900 comments - Part 2

Hi Shalom.

 

I rewrote the sentence as:

 

"If a formal argument depends on a checker variable, its corresponding
actual argument shall be a checker variable or a formal argument in
another checker. If a formal argument is assigned a value in an action
block, its corresponding actual argument shall be a regular variable."

 

Thanks,

Dmitry

________________________________

From: Bresticker, Shalom 
Sent: Tuesday, January 29, 2008 2:05 PM
To: Korchemny, Dmitry; 'sv-ac@server.eda.org'
Cc: 'sv-champions@server.eda.org'
Subject: RE: [sv-ac] RE: Mantis 1900 comments - Part 2

 

Hi,

	 

	[Korchemny, Dmitry] Fixed. What is the reason that initial has
statement_or_null, and not just statement?

	[SB]  Good question. It was changed in SV 3.1. I'll ask why.

	 

	- "Each formal argument used in this way may be assigned a value
either in a checker body or in checker action blocks. If a formal
argument is written in the checker body, its corresponding actual
argument shall be a checker variable or a formal argument in another
checker."

	The 2nd sentence quoted specifies "written in the checker body".
Is the intent that the following restriction does not apply to formal
arguments assigned in action blocks?

	[Korchemny, Dmitry] Yes, the intent is that the restriction does
not apply to formal arguments assigned in action blocks.

	[SB] This should be more explicit. In context, it is not clear. 

	Thanks, Shalom

---------------------------------------------------------------------
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.