VHDL Issue Number:      0115
Classification:         Language Definition Problem
Language Version:       VHDL-87
Summary:                When the signal attribute 'TRANSACTION was added as a
                        predefined attribute, section 2.1.1.2 was not updated
                        to restrict reading this attribute inside subprograms.
Related Issues:         
Relevant LRM Sections:  2.1.1.2, 14.1
Key Words and Phrases:  Predefined Attribute
Current Status:         ISAC-Approved
1076-1993 Disposition:  Closed (All Issues Completely Addressed)
Disposition Rationale:  Section 2.1.1.2 updated
Superseded By:          N/A
-----------------------
Date Submitted:         1989/06/21
Author of Submission:   Ken Scott
Author's Affiliation:   Vantage Analysis Systems, Inc.
Author's Post Address:  42840 Christy St., Suite 201
                        Fremont, CA   94538
Author's Phone Number:  (415) 659-0901
Author's Fax Number:    
Author's Net Address:   N/A
-----------------------
Date Analyzed:          1990/10/02
Author of Analysis:     Clive R. Charlwood
Revision Number:        $Revision: 1.9 $
Date Last Revised:      $Date: 1995/05/13 19:34:42 $


Description of Problem
----------------------
   The third paragraph of section 2.1.1.2 states:
     "It is an error if signal-valued attributes STABLE, QUIET, and
      DELAYED of formal signal parameters of any mode are read within
      a subprogram."

   This used to be a complete list of all signal-valued attributes.
   When the TRANSACTION attribute was added, this paragraph was not
   updated to restrict the reading of it within subprograms as well.


Proposed Resolution
-------------------
   Change this sentence to:
     "It is an error if signal-valued attributes STABLE, QUIET, TRANSACTION,
      and DELAYED of formal signal parameters of any mode are read within
      a subprogram."


VASG-ISAC Analysis & Rationale
------------------------------
This is a problem.  The proposed resolution is correct.


VASG-ISAC Recommendation for IEEE Std 1076-1987
-----------------------------------------------
Read the paragraph "It is an error if signal-valued ..." as if it included
the attribute TRANSACTION.


VASG-ISAC Recommendation for Future Revisions
---------------------------------------------
Correct the paragraph "It is an error if signal-valued ..." to include
the attribute TRANSACTION.