VHDL Issue Number:          2036
Language_Version:           VHDL-2002
Classification:             Language Definition Problem
Summary:                    protected_type_declarative_item includes subprogram_specification
Relevant_LRM_Sections:      Annex A, page 231
Related_Issues: 
Key_Words_and_Phrases:      protected type declarative item
Authors_Name:               Peter Ashenden
Authors_Phone_Number:       +61 (8) 8339 7532
Authors_Fax_Number: 
Authors_Email_Address:      peter@ashenden.com.au
Authors_Affiliation:        Ashenden Designs
Authors_Address1:   
Authors_Address2:   
Authors_Address3:   

Current Status:             VASG-Approved

Superseded By:

------------------------
Date Submitted:             18 April 2004
Date Analyzed:              10 August 2004
Author of Analysis:         Chuck Swart
Revision Number:            2
Date Last Revised:          09 May 2005

Description of Problem
----------------------
The rule for protected_type_declarative_item includes as an alternative 
subprogram_specification, which is inconsistent with the normative definition 
in 3h.5 on page 50.

Proposed Resolution
-------------------
Change subprogram_specification to subprogram_declaration.

VASG-ISAC Analysis & Rationale
------------------------------
The author is correct.
The rule on page 50 for protected_type_declarative_item does indeed use 
the term
"subprogram_declaration", while the corresponding rule in Annex A uses the
incorrect "subprogram_specification".

VASG-ISAC Recommendation for IEEE Std 1076-2003
-----------------------------------------------
Interpret Annex A as if it read "subprogram_declaration".

VASG-ISAC Recommendation for Future Revisions
---------------------------------------------
Change the typo in Annex A.


-------------END OF IR----------------