Issue 2614: [filesys.ts] [PDTS] Incorrect postconditions for path copy/move constructor

Title: [filesys.ts] [PDTS] Incorrect postconditions for path copy/move constructor
Status: open
Section: [path.construct]
Submitter: GB-7, CH-10

Created on 2014-01-20.00:00:00 last changed 89 months ago

Messages

Date: 2016-01-28.01:00:35

Proposed resolution:

Change 8.4.1 [path.construct]:

      path(const path& p);
      path(path&& p) noexcept;
    
Effects: Constructs an object of class path with pathname having the original value of p.pathname. In the second form, p is left in a valid but unspecified state.

Postconditions: empty().

msg7740 (view)

Date: 2014-02-15.00:00:00

[ 2014-02-07, Beman Dawes suggests wording ]

msg7739 (view)

Date: 2016-01-31.20:31:05

Addresses: filesys.ts

The postconditions for the copy/move constructor for path are shown as "empty()". This appears to have been incorrectly copied from the default ctor.

Remove the 'postconditions' clause from the copy/move ctor.

History
Date	User	Action	Args
2017-07-30 20:10:41	admin	set	status: wp -> open
2016-01-28 01:00:35	admin	set	messages: + msg7741
2016-01-28 01:00:35	admin	set	messages: + msg7740
2014-01-20 00:00:00	admin	create