Re: [sv-ac] Example shown in LRM contradicts local variable restriction

Hi Shalom:

I don't think that the text in 16.8.2 says anything about untyped
arguments.  All local variable formal arguments must be typed.

If this point is the source of confusion, then I missed the point.

J.H.


> X-eda.org-MailScanner-Watermark: 1231330059.9147@IC8xg3M6bGpa8xcQuGWPRg
> X-Authentication-Warning: server.eda.org: majordom set sender to owner-sv-ac@eda.org using -f
> X-eda.org-MailScanner-Watermark: 1231330015.0635@cKL+6I0yRqzTgy+A6gfPAw
> X-ExtLoop1: 1
> X-IronPort-AV: E=Sophos;i="4.36,307,1228118400"; 
>    d="scan'208,217";a="418774183"
> From: "Bresticker, Shalom" <shalom.bresticker@intel.com>
> Date: Wed, 31 Dec 2008 14:06:04 +0200
> Thread-Topic: [sv-ac] Example shown in LRM contradicts local variable
>  restriction
> Thread-Index: Aclll2Sooj/9CJDBTPi5lmXsYay8kAFhskGgAAhyyTA=
> Accept-Language: en-US
> Content-Language: en-US
> X-MS-Has-Attach: 
> X-MS-TNEF-Correlator: 
> acceptlanguage: en-US
> X-eda.org-MailScanner: Found to be clean, Found to be clean
> X-eda.org-MailScanner-SpamScore: s
> X-Spam-Status: No, No
> Sender: owner-sv-ac@eda.org
> X-eda.org-MailScanner-Information: Please contact the ISP for more information
> X-MailScanner-ID: mBVC7dCL007340
> X-eda.org-MailScanner-From: owner-sv-ac@server.eda.org
> X-OriginalArrivalTime: 31 Dec 2008 12:12:06.0296 (UTC) FILETIME=[FF5A5980:01C96B40]
> 
> 
> --_000_940E0C7800FA8342B435C63EEED4A3D824DC0D86hasmsx501gercor_
> Content-Type: text/plain; charset="us-ascii"
> Content-Transfer-Encoding: quoted-printable
> 
> Hi, Manisha.
> 
> Where does the text in 16.8.2 say, or even imply, that this rule applies on=
> ly if the argument is used as an output, but not as inout?
> 
> Thanks,
> Shalom
> 
> ________________________________
> From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Beh=
> alf Of Kulshrestha, Manisha
> Sent: Wednesday, December 31, 2008 1:51 PM
> To: Surya Pratik Saha; sv-ac@server.eda.org
> Subject: RE: [sv-ac] Example shown in LRM contradicts local variable restri=
> ction
> 
> Hello Surya,
> 
> Please check clause 16.8.2 for more details. The example below is correct a=
> nd also the text. The rule that the 'corresponding formal argument shall be=
>  untyped' only applies if the argument is used as output (i.e. it is only a=
> ssigned but not read). There are few examples in 16.8.2 which make it more =
> clear. Since this example and the text are from different sections and from=
>  different mantis items, it is confusing.
> 
> Manisha
> 
> From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Beh=
> alf Of Surya Pratik Saha
> Sent: Wednesday, December 24, 2008 12:41 PM
> To: sv-ac@server.eda.org
> Subject: [sv-ac] Example shown in LRM contradicts local variable restriction
> 
> Hi,
> In SV 2009 draft LRM, there is an example:
> sequence sub_seq2(local inout int lv);
> (a ##1 !a, lv +=3D data_in)
> ##1 !b[*0:$] ##1 b && (data_out =3D=3D lv);
> endsequence
> sequence seq2;
> int v1;
> (c, v1 =3D data)
> ##1 sub_seq2(v1) // lv is initialized by assigning it the value of v1;
> // when the instance sub_seq2(v1) matches, v1 is
> // assigned the value of lv
> ##1 (do1 =3D=3D v1);
> endsequence
> 
> And later it is mentioned:
> It can be useful to assign a value to a local variable within an instance o=
> f a named sequence and reference the
> local variable in the instantiating context at or after the completion of a=
>  match of the instance. This capability
> is supported under the following conditions:
> - The local variable shall be declared outside the named sequence, and its =
> scope shall include both the
> instance of the named sequence and the desired reference in the instantiati=
> ng context.
> - The local variable shall be passed as an entire actual argument in the li=
> st of arguments of the
> instance of the named sequence.
> - The corresponding formal argument shall be untyped.
> 
> Whereas, in the example corresponding formal argument 'lv' is not untyped f=
> or local variable 'v1'. Am I missing anything?
> 
> 
> --
> 
> Regards
> 
> Surya
> 
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner<http://www.mailscanner.info/>, and is
> believed to be clean.
> --
> 
> This email was Anti Virus checked by Astaro Security Gateway. http://www.as=
> taro.com
> 
> --
> 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.