Title
[filesys.ts] [PDTS] Incorrect Throws specification for absolute()
Status
open
Section
[fs.op.absolute]
Submitter
Daniel Krügler

Created on 2014-02-28.00:00:00 last changed 89 months ago

Messages

Date: 2016-01-28.01:00:35

[ Change 15.1 [fs.op.absolute]: ]

Throws: If base.is_absolute() is true, throws only if memory allocation fails. As specified in Error reporting (7).

Date: 2016-01-28.01:00:35

[ 2014-03-02 Beman Dawes comments and provides P/R ]

The Throws element should follow the same form as similar Throws elements in the TS. There isn't enough special about this function to justify special wording and by referencing Error reporting (7) we ensure absolute() follows the overall policy for handling memory allocation failures.

Date: 2016-01-31.20:31:05

Addresses: filesys.ts

The Throws element [fs.op.absolute] says:

"If base.is_absolute() is true, throws only if memory allocation fails."

We can strike:

"If base.is_absolute() is true," and the wording will still hold. Note that:

  1. None of the involved functions has requirements.
  2. In every case potentially memory allocation occurs, even for "return p", so this allocation can fail.
History
Date User Action Args
2017-07-30 20:10:41adminsetstatus: wp -> open
2016-01-28 01:00:35adminsetmessages: + msg7907
2016-01-28 01:00:35adminsetmessages: + msg7906
2014-02-28 00:00:00admincreate