[stacktrace.basic] - C++23 → Trunk

Files changed (1) hide show

tmp/tmp5hvpy2kh/{from.md → to.md} +24 -147

tmp/tmp5hvpy2kh/{from.md → to.md} RENAMED Viewed

@@ -50,11 +50,11 @@ namespace std {
     const_iterator cbegin() const noexcept;
     const_iterator cend() const noexcept;
     const_reverse_iterator crbegin() const noexcept;
     const_reverse_iterator crend() const noexcept;
- [[nodiscard]] bool empty() const noexcept;
     size_type size() const noexcept;
     size_type max_size() const noexcept;
     const_reference operator[](size_type) const;
     const_reference at(size_type) const;
@@ -92,48 +92,49 @@ container [[container.alloc.reqmts]], and of a sequence container
 ``` cpp
 static basic_stacktrace current(const allocator_type& alloc = allocator_type()) noexcept;
 ```
-*Returns:* A `basic_stacktrace` object with `frames_` storing the
 stacktrace of the current evaluation in the current thread of execution,
-or an empty `basic_stacktrace` object if the initialization of `frames_`
-failed. `alloc` is passed to the constructor of the `frames_` object.
 [*Note 1*: If the stacktrace was successfully obtained, then
-`frames_.front()` is the `stacktrace_entry` representing approximately
-the current evaluation, and `frames_.back()` is the `stacktrace_entry`
-representing approximately the initial function of the current thread of
-execution. — *end note*]
 ``` cpp
 static basic_stacktrace current(size_type skip,
                                 const allocator_type& alloc = allocator_type()) noexcept;
 ```
 Let `t` be a stacktrace as-if obtained via
 `basic_stacktrace::current(alloc)`. Let `n` be `t.size()`.
-*Returns:* A `basic_stacktrace` object where `frames_` is
 direct-non-list-initialized from arguments `t.begin() + min(n, skip)`,
 `t.end()`, and `alloc`, or an empty `basic_stacktrace` object if the
-initialization of `frames_` failed.
 ``` cpp
 static basic_stacktrace current(size_type skip, size_type max_depth,
                                 const allocator_type& alloc = allocator_type()) noexcept;
 ```
 Let `t` be a stacktrace as-if obtained via
 `basic_stacktrace::current(alloc)`. Let `n` be `t.size()`.
-*Preconditions:* `skip <= skip + max_depth` is `true`.
-*Returns:* A `basic_stacktrace` object where `frames_` is
 direct-non-list-initialized from arguments `t.begin() + min(n, skip)`,
 `t.begin() + min(n, skip + max_depth)`, and `alloc`, or an empty
-`basic_stacktrace` object if the initialization of `frames_` failed.
 ``` cpp
 basic_stacktrace() noexcept(is_nothrow_default_constructible_v<allocator_type>);
 ```
@@ -141,11 +142,11 @@ basic_stacktrace() noexcept(is_nothrow_default_constructible_v<allocator_type>);
 ``` cpp
 explicit basic_stacktrace(const allocator_type& alloc) noexcept;
 ```
-*Effects:* `alloc` is passed to the `frames_` constructor.
 *Ensures:* `empty()` is `true`.
 ``` cpp
 basic_stacktrace(const basic_stacktrace& other);
@@ -173,18 +174,18 @@ The type models `random_access_iterator`
 ``` cpp
 allocator_type get_allocator() const noexcept;
 ```
-*Returns:* `frames_.get_allocator()`.
 ``` cpp
 const_iterator begin() const noexcept;
 const_iterator cbegin() const noexcept;
 ```
-*Returns:* An iterator referring to the first element in `frames_`. If
 `empty()` is `true`, then it returns the same value as `end()`.
 ``` cpp
 const_iterator end() const noexcept;
 const_iterator cend() const noexcept;
@@ -205,42 +206,42 @@ const_reverse_iterator crend() const noexcept;
 ```
 *Returns:* `reverse_iterator(cbegin())`.
 ``` cpp
-[[nodiscard]] bool empty() const noexcept;
 ```
-*Returns:* `frames_.empty()`.
 ``` cpp
 size_type size() const noexcept;
 ```
-*Returns:* `frames_.size()`.
 ``` cpp
 size_type max_size() const noexcept;
 ```
-*Returns:* `frames_.max_size()`.
 ``` cpp
 const_reference operator[](size_type frame_no) const;
 ```
-*Preconditions:* `frame_no < size()` is `true`.
-*Returns:* `frames_[frame_no]`.
 *Throws:* Nothing.
 ``` cpp
 const_reference at(size_type frame_no) const;
 ```
-*Returns:* `frames_[frame_no]`.
 *Throws:* `out_of_range` if `frame_no >= size()`.
 #### Comparisons <a id="stacktrace.basic.cmp">[[stacktrace.basic.cmp]]</a>
@@ -312,129 +313,5 @@ template<class Allocator>
   ostream& operator<<(ostream& os, const basic_stacktrace<Allocator>& st);
 ```
 *Effects:* Equivalent to: `return os << to_string(st);`
-#### Formatting support <a id="stacktrace.format">[[stacktrace.format]]</a>
-``` cpp
-template<> struct formatter<stacktrace_entry>;
-```
-`formatter<stacktrace_entry>` interprets *format-spec* as a
-*stacktrace-entry-format-spec*. The syntax of format specifications is
-as follows:
-``` bnf
-stacktrace-entry-format-spec
-    fill-and-alignₒₚₜ widthₒₚₜ
-```
-[*Note 1*: The productions *fill-and-align* and *width* are described
-in [[format.string.std]]. — *end note*]
-A `stacktrace_entry` object `se` is formatted as if by copying
-`to_string(se)` through the output iterator of the context with
-additional padding and adjustments as specified by the format
-specifiers.
-``` cpp
-template<class Allocator> struct formatter<basic_stacktrace<Allocator>>;
-```
-For `formatter<basic_stacktrace<Allocator>>`, *format-spec* is empty.
-A `basic_stacktrace<Allocator>` object `s` is formatted as if by copying
-`to_string(s)` through the output iterator of the context.
-#### Hash support <a id="stacktrace.basic.hash">[[stacktrace.basic.hash]]</a>
-``` cpp
-template<> struct hash<stacktrace_entry>;
-template<class Allocator> struct hash<basic_stacktrace<Allocator>>;
-```
-The specializations are enabled [[unord.hash]].
-<!-- Link reference definitions -->
-[assertions]: #assertions
-[assertions.assert]: #assertions.assert
-[assertions.general]: #assertions.general
-[bad.alloc]: support.md#bad.alloc
-[cassert.syn]: #cassert.syn
-[cerrno.syn]: #cerrno.syn
-[cmp.concept]: support.md#cmp.concept
-[comparisons.three.way]: utilities.md#comparisons.three.way
-[concepts.object]: concepts.md#concepts.object
-[container.alloc.reqmts]: containers.md#container.alloc.reqmts
-[container.rev.reqmts]: containers.md#container.rev.reqmts
-[conv]: expr.md#conv
-[cpp.predefined]: cpp.md#cpp.predefined
-[defns.const.subexpr]: intro.md#defns.const.subexpr
-[diagnostics]: #diagnostics
-[diagnostics.general]: #diagnostics.general
-[diagnostics.summary]: #diagnostics.summary
-[domain.error]: #domain.error
-[errno]: #errno
-[errno.general]: #errno.general
-[format.string.std]: utilities.md#format.string.std
-[intro.execution]: basic.md#intro.execution
-[invalid.argument]: #invalid.argument
-[iterator.concept.random.access]: iterators.md#iterator.concept.random.access
-[length.error]: #length.error
-[logic.error]: #logic.error
-[out.of.range]: #out.of.range
-[overflow.error]: #overflow.error
-[random.access.iterators]: iterators.md#random.access.iterators
-[range.error]: #range.error
-[res.on.exception.handling]: library.md#res.on.exception.handling
-[runtime.error]: #runtime.error
-[sequence.reqmts]: containers.md#sequence.reqmts
-[stacktrace]: #stacktrace
-[stacktrace.basic]: #stacktrace.basic
-[stacktrace.basic.cmp]: #stacktrace.basic.cmp
-[stacktrace.basic.cons]: #stacktrace.basic.cons
-[stacktrace.basic.hash]: #stacktrace.basic.hash
-[stacktrace.basic.mod]: #stacktrace.basic.mod
-[stacktrace.basic.nonmem]: #stacktrace.basic.nonmem
-[stacktrace.basic.obs]: #stacktrace.basic.obs
-[stacktrace.basic.overview]: #stacktrace.basic.overview
-[stacktrace.entry]: #stacktrace.entry
-[stacktrace.entry.cmp]: #stacktrace.entry.cmp
-[stacktrace.entry.cons]: #stacktrace.entry.cons
-[stacktrace.entry.obs]: #stacktrace.entry.obs
-[stacktrace.entry.overview]: #stacktrace.entry.overview
-[stacktrace.entry.query]: #stacktrace.entry.query
-[stacktrace.format]: #stacktrace.format
-[stacktrace.general]: #stacktrace.general
-[stacktrace.syn]: #stacktrace.syn
-[std.exceptions]: #std.exceptions
-[std.exceptions.general]: #std.exceptions.general
-[stdexcept.syn]: #stdexcept.syn
-[syserr]: #syserr
-[syserr.compare]: #syserr.compare
-[syserr.errcat]: #syserr.errcat
-[syserr.errcat.derived]: #syserr.errcat.derived
-[syserr.errcat.nonvirtuals]: #syserr.errcat.nonvirtuals
-[syserr.errcat.objects]: #syserr.errcat.objects
-[syserr.errcat.overview]: #syserr.errcat.overview
-[syserr.errcat.virtuals]: #syserr.errcat.virtuals
-[syserr.errcode]: #syserr.errcode
-[syserr.errcode.constructors]: #syserr.errcode.constructors
-[syserr.errcode.modifiers]: #syserr.errcode.modifiers
-[syserr.errcode.nonmembers]: #syserr.errcode.nonmembers
-[syserr.errcode.observers]: #syserr.errcode.observers
-[syserr.errcode.overview]: #syserr.errcode.overview
-[syserr.errcondition]: #syserr.errcondition
-[syserr.errcondition.constructors]: #syserr.errcondition.constructors
-[syserr.errcondition.modifiers]: #syserr.errcondition.modifiers
-[syserr.errcondition.nonmembers]: #syserr.errcondition.nonmembers
-[syserr.errcondition.observers]: #syserr.errcondition.observers
-[syserr.errcondition.overview]: #syserr.errcondition.overview
-[syserr.general]: #syserr.general
-[syserr.hash]: #syserr.hash
-[syserr.syserr]: #syserr.syserr
-[syserr.syserr.members]: #syserr.syserr.members
-[syserr.syserr.overview]: #syserr.syserr.overview
-[system.error.syn]: #system.error.syn
-[underflow.error]: #underflow.error
-[unord.hash]: utilities.md#unord.hash

     const_iterator cbegin() const noexcept;
     const_iterator cend() const noexcept;
     const_reverse_iterator crbegin() const noexcept;
     const_reverse_iterator crend() const noexcept;
+    bool empty() const noexcept;
     size_type size() const noexcept;
     size_type max_size() const noexcept;
     const_reference operator[](size_type) const;
     const_reference at(size_type) const;
 ``` cpp
 static basic_stacktrace current(const allocator_type& alloc = allocator_type()) noexcept;
 ```
+*Returns:* A `basic_stacktrace` object with *frames\_* storing the
 stacktrace of the current evaluation in the current thread of execution,
+or an empty `basic_stacktrace` object if the initialization of
+*frames\_* failed. `alloc` is passed to the constructor of the
+*frames\_* object.
 [*Note 1*: If the stacktrace was successfully obtained, then
+*`frames_`*`.front()` is the `stacktrace_entry` representing
+approximately the current evaluation, and *`frames_`*`.back()` is the
+`stacktrace_entry` representing approximately the initial function of
+the current thread of execution. — *end note*]
 ``` cpp
 static basic_stacktrace current(size_type skip,
                                 const allocator_type& alloc = allocator_type()) noexcept;
 ```
 Let `t` be a stacktrace as-if obtained via
 `basic_stacktrace::current(alloc)`. Let `n` be `t.size()`.
+*Returns:* A `basic_stacktrace` object where *frames\_* is
 direct-non-list-initialized from arguments `t.begin() + min(n, skip)`,
 `t.end()`, and `alloc`, or an empty `basic_stacktrace` object if the
+initialization of *frames\_* failed.
 ``` cpp
 static basic_stacktrace current(size_type skip, size_type max_depth,
                                 const allocator_type& alloc = allocator_type()) noexcept;
 ```
 Let `t` be a stacktrace as-if obtained via
 `basic_stacktrace::current(alloc)`. Let `n` be `t.size()`.
+`skip <= skip + max_depth` is `true`.
+*Returns:* A `basic_stacktrace` object where *frames\_* is
 direct-non-list-initialized from arguments `t.begin() + min(n, skip)`,
 `t.begin() + min(n, skip + max_depth)`, and `alloc`, or an empty
+`basic_stacktrace` object if the initialization of *frames\_* failed.
 ``` cpp
 basic_stacktrace() noexcept(is_nothrow_default_constructible_v<allocator_type>);
 ```
 ``` cpp
 explicit basic_stacktrace(const allocator_type& alloc) noexcept;
 ```
+*Effects:* `alloc` is passed to the *frames\_* constructor.
 *Ensures:* `empty()` is `true`.
 ``` cpp
 basic_stacktrace(const basic_stacktrace& other);
 ``` cpp
 allocator_type get_allocator() const noexcept;
 ```
+*Returns:* *`frames_`*`.get_allocator()`.
 ``` cpp
 const_iterator begin() const noexcept;
 const_iterator cbegin() const noexcept;
 ```
+*Returns:* An iterator referring to the first element in *frames\_*. If
 `empty()` is `true`, then it returns the same value as `end()`.
 ``` cpp
 const_iterator end() const noexcept;
 const_iterator cend() const noexcept;
 ```
 *Returns:* `reverse_iterator(cbegin())`.
 ``` cpp
+bool empty() const noexcept;
 ```
+*Returns:* *`frames_`*`.empty()`.
 ``` cpp
 size_type size() const noexcept;
 ```
+*Returns:* *`frames_`*`.size()`.
 ``` cpp
 size_type max_size() const noexcept;
 ```
+*Returns:* *`frames_`*`.max_size()`.
 ``` cpp
 const_reference operator[](size_type frame_no) const;
 ```
+`frame_no < size()` is `true`.
+*Returns:* *`frames_`*`[frame_no]`.
 *Throws:* Nothing.
 ``` cpp
 const_reference at(size_type frame_no) const;
 ```
+*Returns:* *`frames_`*`[frame_no]`.
 *Throws:* `out_of_range` if `frame_no >= size()`.
 #### Comparisons <a id="stacktrace.basic.cmp">[[stacktrace.basic.cmp]]</a>
   ostream& operator<<(ostream& os, const basic_stacktrace<Allocator>& st);
 ```
 *Effects:* Equivalent to: `return os << to_string(st);`

Diff to HTML by rtfpessoa