RE: [sv-ac] default disable iff

From: Lisa Piper <piper_at_.....>
Date: Tue Nov 20 2007 - 12:38:13 PST
Agreed on all accounts.  I had crossed out the references to functions,
tasks, and named blocks. Perhaps the formatting was lost.  

I will update the disable iff proposal tonight.  I will also update the
1503 tonight.

Lisa

-----Original Message-----
From: John Havlicek [mailto:john.havlicek@freescale.com] 
Sent: Tuesday, November 20, 2007 3:08 PM
To: Lisa Piper
Cc: sv-ac@eda.org
Subject: Re: [sv-ac] default disable iff

Hi Lisa:

A default disable iff should apply to a nested scope unless the 
nested scope has its own default disable iff declared.

See also the response from Gord.  The text in 22.8 is out of date,
so we need to use good judgment in deciding whether or not to align
with particular text in 22.8.

I don't think that we should talk about putting default disable
iff in places where the syntax does not allow it (e.g., tasks,
functions, named blocks).

Even if such usage makes sense, I suspect that it is not worth the
effort to add the capability at this time.

J.H.

> X-Authentication-Warning: server.eda.org: majordom set sender to
owner-sv-ac@eda.org using -f
> X-MimeOLE: Produced By Microsoft Exchange V6.5
> Content-class: urn:content-classes:message
> Date: Tue, 20 Nov 2007 13:10:25 -0500
> X-MS-Has-Attach: 
> X-MS-TNEF-Correlator: 
> Thread-Topic: default disable iff
> thread-index: AcgroJ/g46kJVgsSQaaDaUkxcPHMag==
> From: "Lisa Piper" <piper@cadence.com>
> X-Received: By mx-sanjose.cadence.com as lAKIBBfV005401 at Tue Nov 20
10:11:12 2007
> X-eda.org-MailScanner: Found to be clean, Found to be clean
> X-Spam-Status: No, No
> Sender: owner-sv-ac@eda.org
> X-eda.org-MailScanner-Information: Please contact the ISP for more
information
> X-eda.org-MailScanner-From: owner-sv-ac@server.eda.org
> X-OriginalArrivalTime: 20 Nov 2007 18:17:58.0873 (UTC)
FILETIME=[ADFB8490:01C82BA1]
> 
> This is a multi-part message in MIME format.
> 
> ------_=_NextPart_001_01C82BA0.A0B0731C
> Content-Type: text/plain;
> 	charset="us-ascii"
> Content-Transfer-Encoding: quoted-printable
> 
> Hi John,
> 
> To define the scoping rules for 1648 "default disable iff" I planned
to
> re-use most of the wording from 22.8 scoping rules(shown edited
below).
> This means that a default disable iff would not apply to nested
modules.
> Do we want them to apply to nested modules?=20=20
> 
> 		Default disable iff shall be declared either within a
> the task, function, named block, or generate block locally or
> 		within a module, interface, program, task, function,
> named block, or generate block that is higher in the
> 		same branch of the name tree that contains it. the task,
> function, named block, or generate block. If it is
> 		declared locally, then the local item shall be used; if
> not, the search shall continue upward until an item by
> 		that name is found or until a module, interface, or
> program boundary is encountered.=20=20
> 		More than one default  disable iff item within the same
> scope is an error.=20
> 
> Lisa
> 
> 
> --=20
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
> 
> 
> ------_=_NextPart_001_01C82BA0.A0B0731C
> Content-Type: text/html;
> 	charset="us-ascii"
> Content-Transfer-Encoding: quoted-printable
> 
> <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
> <HTML>
> <HEAD>
> <META HTTP-EQUIV=3D"Content-Type" CONTENT=3D"text/html;
charset=3Dus-ascii">
> <META NAME=3D"Generator" CONTENT=3D"MS Exchange Server version
6.5.7652.24">
> <TITLE>default disable iff</TITLE>
> </HEAD>
> <BODY>
> <!-- Converted from text/rtf format -->
> 
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF"
FACE=3D"Arial">Hi=
>  John,</FONT></SPAN></P>
> 
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF"
FACE=3D"Arial">To=
>  define the scoping rules for 1648</FONT></SPAN><SPAN LANG=3D"en-us">
<FONT=
>  COLOR=3D"#0000FF" FACE=3D"Arial">&#8220;</FONT></SPAN><SPAN
LANG=3D"en-us"=
> ><FONT COLOR=3D"#0000FF" FACE=3D"Arial">default disable
iff</FONT></SPAN><S=
> PAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF"
FACE=3D"Arial">&#8221;</FONT></S=
> PAN><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF"
FACE=3D"Arial">&nbsp;I</FO=
> NT></SPAN><SPAN LANG=3D"en-us"> <FONT COLOR=3D"#0000FF"
FACE=3D"Arial">plan=
> ned to</FONT></SPAN><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF"
FACE=3D"Ar=
> ial"> re-use most of the wording from 22.8</FONT></SPAN><SPAN
LANG=3D"en-us=
> "><FONT COLOR=3D"#0000FF" FACE=3D"Arial"> scoping rules(shown edited
below)=
> </FONT></SPAN><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF"
FACE=3D"Arial">.=
>  This means that a d</FONT></SPAN><SPAN LANG=3D"en-us"><FONT
COLOR=3D"#0000=
> FF" FACE=3D"Arial">e</FONT></SPAN><SPAN LANG=3D"en-us"><FONT
COLOR=3D"#0000=
> FF" FACE=3D"Arial">fault disable iff would not apply to nested
modules.&nbs=
> p;</FONT></SPAN><SPAN LANG=3D"en-us"> <FONT COLOR=3D"#0000FF"
FACE=3D"Arial=
> ">Do w</FONT></SPAN><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF"
FACE=3D"Ar=
> ial">e want them to apply to nested modules</FONT></SPAN><SPAN
LANG=3D"en-u=
> s"><FONT COLOR=3D"#0000FF" FACE=3D"Arial">?&nbsp;</FONT></SPAN><SPAN
LANG=
> =3D"en-us"> </SPAN></P>
> <UL DIR=3DLTR><UL DIR=3DLTR>
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><I><FONT COLOR=3D"#0000FF"
FACE=3D"Arial"=
> >Default disable iff</FONT></I></SPAN><SPAN LANG=3D"en-us"><FONT
COLOR=3D"#=
> 0000FF" FACE=3D"Arial"> shall be declared either within
a</FONT></SPAN><SPA=
> N LANG=3D"en-us"><STRIKE> <FONT COLOR=3D"#FF0000" FACE=3D"Arial">the
task, =
> function, named block, or</FONT></STRIKE></SPAN><SPAN
LANG=3D"en-us"><FONT =
> COLOR=3D"#0000FF" FACE=3D"Arial"> generate block locally
or</FONT></SPAN></=
> P>
> 
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF"
FACE=3D"Arial">wi=
> thin a module, interface, program</FONT></SPAN><SPAN
LANG=3D"en-us"><STRIKE=
> ><FONT COLOR=3D"#FF0000" FACE=3D"Arial">, task, function, named
block,</FON=
> T></STRIKE></SPAN><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF"
FACE=3D"Aria=
> l"> or generate block that is higher in the</FONT></SPAN></P>
> 
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF"
FACE=3D"Arial">sa=
> me branch of the name tree that contains it.</FONT></SPAN><SPAN
LANG=3D"en-=
> us"><STRIKE> <FONT COLOR=3D"#FF0000" FACE=3D"Arial">the task,
function, nam=
> ed block, or generate block</FONT></STRIKE></SPAN><SPAN
LANG=3D"en-us"><FON=
> T COLOR=3D"#0000FF" FACE=3D"Arial">. If it is</FONT></SPAN></P>
> 
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF"
FACE=3D"Arial">de=
> clared locally, then the local item shall be used;
if</FONT></SPAN><SPAN LA=
> NG=3D"en-us"> <FONT COLOR=3D"#0000FF"
FACE=3D"Arial">not</FONT></SPAN><SPAN=
>  LANG=3D"en-us"><B><FONT COLOR=3D"#0000FF"
FACE=3D"Arial">,</FONT></B></SPA=
> N><SPAN LANG=3D"en-us"><U> <FONT COLOR=3D"#0000FF" FACE=3D"Arial">the
searc=
> h shall continue upward until an item by</FONT></U></SPAN></P>
> 
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><U><FONT COLOR=3D"#0000FF"
FACE=3D"Arial"=
> >that name is found or until a module, interface, or program boundary
is en=
> countered.</FONT></U></SPAN><SPAN LANG=3D"en-us"><U><FONT
COLOR=3D"#FF00FF"=
>  FACE=3D"Arial">&nbsp;</FONT></U></SPAN><SPAN LANG=3D"en-us"><U>
</U></SPAN=
> ></P>
> 
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF"
FACE=3D"Arial">Mo=
> re than one default &nbsp;disable iff item within the same scope is an
erro=
> r.</FONT></SPAN><SPAN LANG=3D"en-us"> </SPAN></P>
> </UL></UL>
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF"
FACE=3D"Arial">Li=
> sa</FONT></SPAN><SPAN LANG=3D"en-us"></SPAN></P>
> 
> <P DIR=3DLTR><SPAN LANG=3D"en-us"></SPAN></P>
> 
> </BODY>
> <br />--=20
> <br />This message has been scanned for viruses and
> <br />dangerous content by
> <a href=3D"http://www.mailscanner.info/"><b>MailScanner</b></a>, and
is
> <br />believed to be clean.
> </HTML>
> 
> ------_=_NextPart_001_01C82BA0.A0B0731C--

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Nov 20 12:38:39 2007

This archive was generated by hypermail 2.1.8 : Tue Nov 20 2007 - 12:38:46 PST