[sv-cc] Updated errata 80

I just updated errata 80 with the following:

I thought about this property a little bit more. Its purpose in sv31a is
not clear because we never had a description for this property as we only
illustrate it with an example.
If the purpose of this property is to indicate that a typespec has a
typedef declaration, perhaps it is equivalent to say that a typespec has a
name and query the vpiName property and checking for a non null string.

If the purpose of this property is to indicate that it is a typedef of an
alias, it is equivalent as querying the method vpiTypedefAlias and checking
for a non null handle return.

in either case, there is already a way to find this information, so I would
suggest to remove this property from the standard.
We can keep the iteration method vpiTypedef which would only return the
typespecs which have an explicit typedef.

If people agree to this analysis, I will make a formal proposal.

Francoise
'
Received on Mon Aug 16 11:51:46 2004