VHDL Issue Number:      0093
Classification:         Language Definition Problem
Language Version:       VHDL-87
Summary:                ENDFILE definition is inconsistent with parameter
                        passing rules.
Related Issues:         0032
Relevant LRM Sections:  3.4.1, 4.3.2
Key Words and Phrases:  File parameter, ENDFILE, function,
Current Status:         Superseded
1076-1993 Disposition:  Closed (All Issues Completely Addressed)
Disposition Rationale:  Superseded by IR 0032.
Superseded By:          N/A
-----------------------
Date Submitted:         1989/02/10
Author of Submission:   Doug Dunlop
Author's Affiliation:   Intermetrics, Inc.
Author's Post Address:  4733 Bethesda Ave #415
                        Bethesda, MD  20814
Author's Phone Number:  (301) 657-3775
Author's Fax Number:    
Author's Net Address:   dunlop@inmet.inmet.com
-----------------------
Date Analyzed:          1990/10/10
Author of Analysis:     Paul J. Menchini (mench@clsi.com)
Revision Number:        $Revision: 1.10 $
Date Last Revised:      $Date: 1995/08/04 01:33:46 $


Description of Problem
----------------------
LRM 3.4.1 states that "ENDFILE always returns True for an output file".
However, since the mode of the formal parameter to ENDFILE is IN, this
contradicts the last paragraph of Section 4.3.2 which states "a file object of
a given mode may only be passed to a formal file variable of the corresponding
mode".


Proposed Resolution
-------------------
The value of being able to call ENDFILE for an output file is questionable.
Hence we say this is illegal, i.e., ENDFILE may only be used for input files.


VASG-ISAC Analysis & Rationale
------------------------------
This issue is covered in Issue Report 32, which see.


VASG-ISAC Recommendation for IEEE Std 1076-1987
-----------------------------------------------
See Issue Report 32.


VASG-ISAC Recommendation for Future Revisions
---------------------------------------------
See Issue Report 32.