J3/13-304 To: J3 From: Van Snyder Subject: Edits for US-04 Control host association Date: 2013 August 13 References: 13-238r1, 13-244r1, N1982 1. Specs and syntax ------------------- See 13-238r1. 2. Edits to 10-007r1 -------------------- [Introduction p2+] In the new list of new features, add o Scoping units: The IMPORT statement can appear in any contained scoping unit, and control whether to access some, none, or all of the names from the host scoping unit by host association. [12.4.3.3 282:2] Replace R1209: R1209 <> IMPORT [[ :: ] ] <> IMPORT, ONLY : <> IMPORT, NONE <> IMPORT, ALL [12.4.3.3 282:3-4] Replace C1210: C1210 (R1209) An IMPORT statement shall not appear within the of a , , , or . [12.4.3.3 282:5+] Add constraints: C1211a (R1209) If IMPORT, ONLY appears, all IMPORT statements in the scoping unit where the appears shall specify IMPORT, ONLY. C1211b (R1209) IMPORT, NONE shall not appear in a submodule. C1211c (R1209) If IMPORT, ONLY appears in a submodule, every in every MODULE PROCEDURE statement in that submodule shall appear in an in that submodule. C1211d (R1209) If IMPORT, NONE or IMPORT, ALL appears, no other IMPORT statement shall appear in the scoping unit where the appears. C1211e (R1209) Within an interface body, an entity that is made accessible by an and is accessed by host association shall be accessible by host or use association within the host scoping unit, or explicitly defined or declared prior to the interface body. C1211f (R1209) The name of an entity made accessible by an shall not appear, within the scoping unit where the appears, in a context described in 16.5.1.4 that causes the host entity of that name to be inaccessible. [12.4.3.3p1-2 282:6-15] Replace paragraphs 1-2: IMPORT, ONLY statements specify that only those entities named in s in the scoping unit where the s appear are accessible by host association within that scoping unit. An IMPORT, NONE statement specifies that no entities in the host scoping unit are accessible by host association within the scoping unit where the appears. This is the default for an interface body for an external or dummy procedure. An IMPORT, ALL statement specifies that all entities from the host scoping unit are accessible by host association within the scoping unit where the appears. An IMPORT statement with no specifies that each host entity not named in an IMPORT statement is also made accessible by host association within the scoping unit where the appears if its name does not appear in a context described in 16.5.1.4 that causes the host entity of that name to be inaccessible. This is the default for a nested scoping unit other than an interface body for an external or dummy procedure. An IMPORT statement with an specifies that the named entities from the host scoping unit are accessible by host association within the scoping unit where the appears. [16.5.1.4p1 443:27-31] Replace the first three sentences: A nested scoping unit has access to named entities from its host as specified by \ref{D12: IMPORT statement}.