(r6) LCS2016_018d < P1076

P1076 Web>VHDL2017>LCS2016_018d (revision 6) (raw view)~~EditAttach~~
---+ Language Change Specification for More Missing Attributes
---++ 

| <sticky><b>LCS Number:</b></sticky> | LCS-2016-018d |
| <sticky><b>Version:</b>   </sticky> | 1 {22-Jan-2017} %BR% 2 {24-Jan-2017} |
| <sticky><b>Date:</b>      </sticky> | 24-Jan-2017  |
| <sticky><b>Status:</b>    </sticky> | Voting |
| <sticky><b>Author:</b>    </sticky> | Patrick Lehmann |
| <sticky><b>Email:</b>     </sticky> | [[Main.PatrickLehmann]] |
| <sticky><b>Source Doc:</b></sticky> | - - - - |
| <sticky><b>Summary:</b>   </sticky> | Add more missing attributes. |

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

Yes:
   1 %USERSIG{PatrickLehmann - 2017-01-24}% - ver 2
   1 %USERSIG{LievenLemiengre - 2017-01-27}% - ver 2
   1 %USERSIG{HendrikEeckhaut - 2017-01-27}% ver 2
   1 %USERSIG{MartinZabel - 2017-01-30}% ver 2
   1 %USERSIG{JimLewis - 2017-02-16}% ver 2
   1 %USERSIG{MartinThompson- 2017-02-17}% ver 2
   1 %USERSIG{RobGaddi - 2017-02-21}% ver 2
   1 %USERSIG{MarkZwolinski - 2017-02-27}% ver 2

No:
   1 

Abstain:
   1 %USERSIG{BrentHahoe - 2017-02-16}% Version 2 - Abstain due to lack of personal time for review.

---++ Style Notes

<noautolink>

<sticky>
Changes are shown in %RED%red font%ENDCOLOR%.%BR%
Deletions are %RED%<del>crossed out</del>%ENDCOLOR%.%BR%
Editing or reviewing notes in %GREEN%green font%ENDCOLOR%.
 
---++ Reviewing Notes
*Version 1:* %BR%
Currently it is not possible to retrieve the designated subtype of an access type or a file type. This LCS adds ='designated_type=.

*Version 2:* %BR%
Changed attribute names to "**_subtype"

---++ Details of Language Change
---+++ 16.2.2 Predefined attributes of types and objects
%GREEN%[Editor note: Insert the next table before table for O'SUBTYPE.]%ENDCOLOR% %BR%

| %RED%P'DESIGNATED_SUBTYPE%ENDCOLOR% \
  | %RED%Kind:%ENDCOLOR%      | %RED%Subtype%ENDCOLOR% |
| | %RED%Prefix:%ENDCOLOR%    | %RED%Any prefix P that is appropriate for an object with a access type T, or an alias thereof, %BR% \
                                or that denotes any access type AT.%ENDCOLOR% |
| | %RED%Result:%ENDCOLOR%    | %RED%The subtype designated by the access type.%ENDCOLOR% |
| %RED%P'DESIGNATED_SUBTYPE%ENDCOLOR% \
  | %RED%Kind:%ENDCOLOR%      | %RED%Subtype%ENDCOLOR% |
| | %RED%Prefix:%ENDCOLOR%    | %RED%Any prefix P that is appropriate for a file object with a file type T, or an alias thereof, %BR% \
                                or that denotes any file type FT.%ENDCOLOR% |
| | %RED%Result:%ENDCOLOR%    | %RED%The value subtype designated by the file type.%ENDCOLOR% |


---++ Comments
---+++ Version 1
I would rather stick to ='element= as for arrays so as to make this attribute more orthogonal. I do not really consider it so
much a misnomer that it is unacceptable.

-- %BUBBLESIG{ThomasPreusser - 2017-01-22}%


='ELEMENT= might be acceptable for file types, because the abstract a stream of values in an array like way, it's not a good
choice for access types. The LRM says for access types: "This subtype is called the designated subtype and the base type of
this subtype is called the designated type."

-- %BUBBLESIG{PatrickLehmann - 2017-01-24}%

---+++ Version 2


%COMMENT%</sticky>

</noautolink>
Topic revision: r1 - 2017-04-02 - 15:37:41 - TWikiGuest
P1076