VHDL Issue Number:      0179
Classification:         Language Definition Problem
Language Version:       VHDL-87
Summary:                VPI Issue 3 -- Names of design units and inner decls
Related Issues:         TBD
Relevant LRM Sections:  TBD
Key Words and Phrases:  TBD
Current Status:         Submitted
1076-1993 Disposition:  Closed (All Issues Completely Addressed)
Disposition Rationale:  The author seems to have misinterpreted the LRM.
                        There are no issues to resolve.
manual was misinterpreted
Superseded By:          N/A
-----------------------
Date Submitted:         1991/03/15
Author of Submission:   J. R. Armstrong
Author's Affiliation:   Virginia Polytechnic Institute and State University
Author's Post Address:  Bradley Department of Electrical Engineering
                        Virginia Polytechnic Institute and State University
                        Blacksburg, VA 24061
Author's Phone Number:  (703) 231-4723
Author's Fax Number:    
Author's Net Address:   JRA@VTVM1.CC.VT.EDU
-----------------------
Date Analyzed:          TBD
Author of Analysis:     TBD
Revision Number:        $Revision: 1.7 $
Date Last Revised:      $Date: 1995/05/13 19:34:42 $


Description of Problem
----------------------
  Is it legal to have a declaration of an entity P
  within a design unit with the name P.

  Test Files: CH10/S03/04020102.vhd and CH10/S04/02020101.vhd

  Comment: In addition to the above, does the  construct  "use
  work.P2.all"  (in  the  second test), where P2 is a package,
  make the name P2 visible as well as everything inside P2. If
  so, will the name P2 no longer be directly visible if  there
  is  a declaration in the package that also uses the name P2?
  This is VASG Issue #92.


  -- ##A3004212281FF************************************************************
  --+ File: [SUITE.CH10.S03]04020102.VHD
  --
  --+ Copyright (c) 1987, 1988 by CAD Language Systems, Inc.  All rights reserve
  --
  --+ LRM_version: IEEE Std. 1076-1987
  --
  --+ Subsets:
  --
  --+ Description:
  --
  --+ Test_point - (100300_040201) A declaration is visible by selection for a
  --  primary unit contained in a library: at the place of the suffix in a
  --  selected name whose prefix denotes the library.
  --
  --+ Test_objective -(2) Test that a declaration can be made visible by
  --  using a prefix that identifies which library the declaration exists in.
  --  This test makes the declaration in package definework visible by the
  --  prefix.  This test should succeed.
  --
  --+ References: None
  --
  --+ Instructions: None
  --
  --+ Keywords: declaration, library, visibility, prefix
  --
  --+ Test_Results: Expect_success. Output_checked.
  --
  --+ Test_Type: Globally Static Semantic
  --
  --+ History: Created MAT/CLSI 08-30-88
  --
  --+ Comments: CLSI-FILE: [000000.SCOPE.USECLAUSE]12
  --
  -- ***************************************************************************

  package p2 is
       type p2 is (a, b);
  end p2;

  package p1 is
  end p1;

  entity temp is
  end temp;

  use work.all;

  architecture atemp of temp is
       signal s: p2.p2;   -- No_failure_here
  -- should work
  begin
  end;



  -- ##A4002211281FFA400111A400121A400321A400331********************************
  --+ File: [SUITE.CH10.S04]02020101.VHD
  --
  --+ Copyright (c) 1987, 1988 by CAD Language Systems, Inc.  All rights reserve
  --
  --+ LRM_version: IEEE Std. 1076-1987
  --
  --+ Subsets:
  --
  --+ Description:
  --
  --+ Test_point - (100400_020201) "If the suffix of the selected name is a
  --  simple name or operator symbol, then the selected name identifies only the
  --  declaration(s) of that simple name or operator symbol contained within the
  --  package or library denoted by the prefix of the selected name."
  --
  --+ Test_objective -(1) Test that when only a certain set of declarations
  --  within a library are to be made visible, then it is done so by adding
  --  the identifier for those declarations as a suffix to the selected name
  --  of the use clause.  This test selects only the declarations of the work
  --  library found in the package p2.  This test should succeed.
  --
  --+ References: Secondary LRM Coverage: (100400_010101)
  --                                      (100400_010201)
  --                                      (100400_030201)
  --                                      (100400_030301)
  --
  --+ Instructions: None
  --
  --+ Keywords: use clause, suffix, package, visibility
  --
  --+ Test_Results: Expect_success. Output_checked.
  --
  --+ Test_Type: Globally Static Semantic
  --
  --+ History: Created MAT/CLSI 08-30-88
  --
  --+ Comments: CLSI-FILE: [000000.SCOPE.USECLAUSE]13
  --
  -- ***************************************************************************

  package p2 is
       type p2 is (a, b);
  end p2;

  package p1 is
  end p1;

  entity temp is
  end temp;

  use work.p2.all;

  architecture atemp of temp is
       signal s: p2;            -- No_failure_here
  begin
  end;


Proposed Resolution
-------------------
TBD


VASG-ISAC Analysis & Rationale
------------------------------
TBD


VASG-ISAC Recommendation for IEEE Std 1076-1987
-----------------------------------------------
TBD


VASG-ISAC Recommendation for Future Revisions
---------------------------------------------
TBD