J3/04-348

To:      J3
From:    Dan Nagle
Subject: Construct Name Local to Construct
Date:    2004 June 30

One item of unfinished business from f03 is the issue
of making construct names be local to the construct.
This will allow, for example, a construct name to be repeated
within a scoping unit.

Number:

Title: Construct Name Local to Construct

Submitted By: J3

Status: For Consideration

References:

Basic Functionality: Make a construct name be local to its construct.

Rationale:  Construct names are only referenced from within the construct.
            Therefore, it makes sense to use a construct scope
            for the name.  Further, within a local scope, a construct name
            might naturally be desirable more than once.  For example,
            within a local scope, an if-block might naturally be
            named "check_iostat" following more than one statement
            containing an iostat specifier, or more than one do-construct
            might be naturally named "all_rows", "all_columns",
            or "all_planes", etc.

            Of course, for cycle and exit to work properly, nexted constructs
            must all have names unique within the nest.

Estimated Impact: The impact was estimated by J3 at 167 as Trivial.

Detailed Specification: Define a construct name to have construct scope.

                        Edits:

                        [12:1+]

                        "(1.5)  A block within an executable construct (8.1),
                        excluding any blocks within it,"

                        [406:4-5] remove "named constructs,"

                        [409:29+] add new paragraph

                        "The name of a named construct has the scope
                        of the blocks of the construct (8.1)."

                        [411:29+]

                        "(14.5) A construct name of an executable
                        construct (8.1),"

History: Submitted as 04-108 and 04-158 at 167.