(r1) TopLCS2016_I15a < P1076

P1076 Web>Vhdl2019CollectedRequirements>TopLCS2016_I15a (revision 1) (raw view)~~EditAttach~~
---+ Language Change Specification  for Generate Statement Alternate Path Names  

---++ 

 | <sticky><b>LCS Number:</b></sticky> | LCS-2016-I15a |
 | <sticky><b>Version:</b>   </sticky> | 1 {7-Mar-2017} |
 | <sticky><b>Date:</b>      </sticky> | 7-Mar-2017 |
 | <sticky><b>Status:</b>    </sticky> | Voting |
 | <sticky><b>Author:</b>    </sticky> | Jim Lewis |
 | <sticky><b>Email:</b>     </sticky> | [[Main.JimLewis]] |
 | <sticky><b>Source Doc:</b></sticky> | [[AlternatePathName][Generate Statement Alternate PathName]] |
 | <sticky><b>Summary:</b>   </sticky> | PATH_NAME and INSTANCE_NAME, and Generate Statement Alternate labels |


---+++ Voting Results: Cast your votes here

Yes:
 
   1 %USERSIG{JimLewis - 2017-03-07}% ver 1

No:

Abstain:
   
   
---++ Revision Notes

---++ Style Notes
<noautolink><sticky>
Changes are shown in %RED%red font%ENDCOLOR%.  
Deletions are %RED%<del>crossed out</del>%ENDCOLOR%. 
Editing notes in %GREEN%green font%ENDCOLOR%. 
 
---++ Reviewing Notes
This is a discenting opinion from the proposal.

1) the definition of what is and what is not included in 
an INSTANCE_NAME or PATH_NAME is defined in the sections that
define the corresponding attributes. 

2) INSTANCE_NAME or PATH_NAME include labels of all 
forms including loop index values.  

Due to 1 above, I conclude that alternative labels are not
currently defined for INSTANCE_NAME or PATH_NAME.
Due to 2 above, I concude that it is simply an oversight.

The following LCS corrects this.


---++ Details of Language Change
 
---+++ 16.2.5 Predefined attributes of named entities
---++++ %GREEN%[EDIT BNF for generate label on page 249, E'INSTANCE_NAME ]%ENDCOLOR%
<pre>    generate_label ::= generate_label [ ( %RED%generate_alternative_literal <strike>literal</strike>%ENDCOLOR% ) ]
    %RED%generate_alternative_literal ::= literal | alternative_label%ENDCOLOR%</pre>

---++++ %GREEN%[EDIT 6th paragraph on page 250, E'INSTANCE_NAME ]%ENDCOLOR%
%RED%<strike>
The literal in a generate label is required if the label denotes a for generate statement; the
literal shall denote one of the values of the generate parameter.
</strike>%ENDCOLOR%

%RED%For a for generate statement, the generate alternative literal is required 
and denotes the value of the generate parameter.
For an if generate statement, the generate alternative literal is required 
if the corresponding if branch has an alternative label.
For a case generate statement, the generate alternative literal is required 
if the corresponding case generate alternative has an alternative label.
%ENDCOLOR%


<br>
<br>

---++ Comments 
</sticky>

%COMMENT%
Topic revision: r1 - 2020-02-17 - 15:34:42 - TWikiGuest
P1076