Subject: Re: Quantity Static Name problem
From: Kaushik Biswas (kbiswas@cal.delsoft.com)
Date: Tue Mar 07 2000 - 02:58:23 PST
Thanks for the reply. I think you can not come to this conclusion
from the sole definition of 6.1, since it does not say anything about
Attribute name.
But I just now found from the appendix B.257 for static name
definition (Page 264) which says about "prefix within name", which
includes all named references. So Attribute name also get the
necessary constraint from this definition.
I think I got the answer. Thanks.
--Kaushik Biswas
Christophe Hui-Bon-Hoa wrote:
> IMHO, Q'dot'dot, as well as s'transaction'delayed(2 ns), fulfills the first condition:
> both are objects whose prefix are simple names.
>
> Christophe
>
> Kaushik Biswas wrote:
> >
> > Hi,
> > For most of the quantity attribute in IEEE STD 1076.1-1999,
> > one of the condition is written as "static name Q". For example,
> >
> > Q'DOT
> > Prefix : Any quantity denoted by static name Q.
> >
> > If you check the definition of static name in section 6.1 (Page 89),
> > following condition is written.
> > "A name is said to be static name if and only if one of the following
> > condition holds:
> > -- The name is a simpel name or selected name (including those
> > that are expanded names) that does ot denote a function call or an object of
> > an access type and ( in the case of selected name) whose prefix is a static name.
> > -- The name is an indexed name whose prefix is a static name, and every
> > expression that appears as part of the name is a static expression.
> > -- The name is a slice name whose prefix is a static name and whose
> > discrete range is a static discrete range."
> >
> > From the above conditions, nothing has been mentioned about Attribute name.
> > Since "if and only if" logic implies that only these are static name then Attribute name
> > will become non static name.
> > If that is true then how is it possible to write expression of Q'DOT'DOT?
> > Because Q'DOT will be non static and so we can not write Q'DOT'DOT. But I
> > saw several examples in AMS tutorial this expression has been used.
> > Do you think there is some change needed for the definition of static name
> > or the prefix condition of the attribute name to handle this sort of error condition?
> > Thanks and regards,
> > -Kaushik Biswas
> >
> > --
> > +-----------------------------------------------------------------------+
> > | KAUSHIK BISWAS | (Software Engineer) |
> > | | DELSOFT (I) Pvt. Ltd. |
> > | 478,Block BD | 428-429,STP,SDF Building, |
> > | Salt Lake | Sector V, Salt Lake |
> > | Calcutta-700091 | Phone :(+91+33) 357-3218 (Ext. 212) |
> > | INDIA | Fax : (+91+33) 357-3219 |
> > | | Email: kbiswas@cal.delsoft.com |
> > +-----------------------------------------------------------------------+
> >
This archive was generated by hypermail 2b28 : Tue Mar 07 2000 - 02:57:23 PST