Language Change Specification for More Missing Attributes

LCS Number:	LCS-2016-018d
Version:	1 {22-Jan-2017} 2 {24-Jan-2017}
Date:	24-Jan-2017
Status:	Voting
Author:	Patrick Lehmann
Email:	Main.PatrickLehmann
Source Doc:	- - - -
Summary:	Add more missing attributes.

Voting Results: Cast your votes here

Yes:

1. Patrick Lehmann - 2017-01-24 - ver 2
2. Lieven Lemiengre - 2017-01-27 - ver 2
3. Hendrik Eeckhaut - 2017-01-27 ver 2
4. Martin Zabel - 2017-01-30 ver 2
5. Jim Lewis - 2017-02-16 ver 2
6. Martin Thompson- 2017-02-17 ver 2
7. Rob Gaddi - 2017-02-21 ver 2
8. Mark Zwolinski - 2017-02-27 ver 2

No:

Abstain:

1. Brent Hayhoe - 2017-02-16 Version 2 - Abstain due to lack of personal time for review.

Style Notes

Changes are shown in red font.
Deletions are crossed out.
Editing or reviewing notes in green font.

Reviewing Notes

Version 1:
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:
Changed attribute names to "**_subtype"

Details of Language Change

16.2.2 Predefined attributes of types and objects

[Editor note: Insert the next table before table for O'SUBTYPE.]

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

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.

-- Thomas Preusser - 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."

-- Patrick Lehmann - 2017-01-24

Version 2