couchbase 3.0.0.alpha.4-x86_64-linux → 3.5.0-x86_64-linux

data/ext/third_party/asio/asio/src/doc/requirements/ConstBufferSequence.qbk

@@ -1,53 +0,0 @@
-[/
- / Copyright (c) 2003-2020 Christopher M. Kohlhoff (chris at kohlhoff dot com)
- /
- / Distributed under the Boost Software License, Version 1.0. (See accompanying
- / file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- /]
-
-[section:ConstBufferSequence Constant buffer sequence requirements]
-
-A ['constant buffer sequence] represents a set of memory regions that may be
-used as input to an operation, such as the `send` operation of a socket.
-
-A type `X` meets the `ConstBufferSequence` requirements if it satisfies the
-requirements of `Destructible` (C++Std [destructible]) and
-`CopyConstructible` (C++Std [copyconstructible]), as well as the additional
-requirements listed below.
-
-In the table below, `x` denotes a (possibly const) value of type `X`, and `u`
-denotes an identifier.
-
-[table ConstBufferSequence requirements
-  [[expression] [return type] [assertion/note[br]pre/post-condition]]
-  [
-    [`asio::buffer_sequence_begin(x)`[br]
-     `asio::buffer_sequence_end(x)`]
-    [An iterator type meeting the requirements for bidirectional iterators
-     (C++Std \[bidirectional.iterators\]) whose value type is convertible to
-     `const_buffer`.]
-    []
-  ]
-  [
-    [``
-      X u(x);
-    ``]
-    []
-    [post:[br]
-     ``
-       equal(
-         asio::buffer_sequence_begin(x),
-         asio::buffer_sequence_end(x),
-         asio::buffer_sequence_begin(u),
-         asio::buffer_sequence_end(u),
-         [](const const_buffer& b1,
-            const const_buffer& b2)
-          {
-            return b1.data() == b2.data()
-                && b1.size() == b2.size();
-          })
-     ``]
-  ]
-]
-
-[endsect]

data/ext/third_party/asio/asio/src/doc/requirements/DynamicBuffer.qbk

@@ -1,16 +0,0 @@
-[/
- / Copyright (c) 2003-2020 Christopher M. Kohlhoff (chris at kohlhoff dot com)
- /
- / Distributed under the Boost Software License, Version 1.0. (See accompanying
- / file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- /]
-
-[section:DynamicBuffer Dynamic buffer requirements]
-
-See:
-
-* [link asio.reference.DynamicBuffer_v1 Dynamic buffer requirements (version 1)]
-
-* [link asio.reference.DynamicBuffer_v2 Dynamic buffer requirements (version 2)]
-
-[endsect]

data/ext/third_party/asio/asio/src/doc/requirements/DynamicBuffer_v1.qbk

@@ -1,93 +0,0 @@
-[/
- / Copyright (c) 2003-2020 Christopher M. Kohlhoff (chris at kohlhoff dot com)
- /
- / Distributed under the Boost Software License, Version 1.0. (See accompanying
- / file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- /]
-
-[section:DynamicBuffer_v1 Dynamic buffer requirements (version 1)]
-
-A dynamic buffer encapsulates memory storage that may be automatically resized
-as required, where the memory is divided into an input sequence followed by an
-output sequence. These memory regions are internal to the dynamic buffer
-sequence, but direct access to the elements is provided to permit them to be
-efficiently used with I/O operations, such as the `send` or `receive`
-operations of a socket. Data written to the output sequence of a dynamic buffer
-sequence object is appended to the input sequence of the same object.
-
-A dynamic buffer type `X` shall satisfy the requirements of `MoveConstructible`
-(C++ Std, [moveconstructible]) types in addition to those listed below.
-
-In the table below, `X` denotes a dynamic buffer class, `x` denotes a
-value of type `X&`, `x1` denotes values of type `const X&`, and `n` denotes a
-value of type `size_t`, and `u` denotes an identifier.
-
-[table DynamicBuffer_v1 requirements
-  [[expression] [type] [assertion/note[br]pre/post-conditions]]
-  [
-    [`X::const_buffers_type`]
-    [type meeting [link asio.reference.ConstBufferSequence ConstBufferSequence]
-     requirements.]
-    [This type represents the memory associated with the input sequence.]
-  ]
-  [
-    [`X::mutable_buffers_type`]
-    [type meeting [link asio.reference.MutableBufferSequence MutableBufferSequence]
-     requirements.]
-    [This type represents the memory associated with the output sequence.]
-  ]
-  [
-    [`x1.size()`]
-    [`size_t`]
-    [Returns the size, in bytes, of the input sequence.]
-  ]
-  [
-    [`x1.max_size()`]
-    [`size_t`]
-    [Returns the permitted maximum of the sum of the sizes of the input
-     sequence and output sequence.]
-  ]
-  [
-    [`x1.capacity()`]
-    [`size_t`]
-    [Returns the maximum sum of the sizes of the input sequence and output
-     sequence that the dynamic buffer can hold without requiring reallocation.]
-  ]
-  [
-    [`x1.data()`]
-    [`X::const_buffers_type`]
-    [Returns a constant buffer sequence `u` that represents the memory
-     associated with the input sequence, and where `buffer_size(u) == size()`.]
-  ]
-  [
-    [`x.prepare(n)`]
-    [`X::mutable_buffers_type`]
-    [Requires: `size() + n <= max_size()`.[br]
-     [br]
-     Returns a mutable buffer sequence `u` representing the output sequence, and
-     where `buffer_size(u) == n`. The dynamic buffer reallocates memory as
-     required. All constant or mutable buffer sequences previously obtained
-     using `data()` or `prepare()` are invalidated.[br]
-     [br]
-     Throws: `length_error` if `size() + n > max_size()`.]
-  ]
-  [
-    [`x.commit(n)`]
-    []
-    [Appends `n` bytes from the start of the output sequence to the end of the
-     input sequence. The remainder of the output sequence is discarded. If `n`
-     is greater than the size of the output sequence, the entire output sequence
-     is appended to the input sequence. All constant or mutable buffer sequences
-     previously obtained using `data()` or `prepare()` are invalidated.]
-  ]
-  [
-    [`x.consume(n)`]
-    []
-    [Removes `n` bytes from beginning of the input sequence. If `n` is greater
-     than the size of the input sequence, the entire input sequence is removed.
-     All constant or mutable buffer sequences previously obtained using `data()`
-     or `prepare()` are invalidated.]
-  ]
-]
-
-[endsect]

data/ext/third_party/asio/asio/src/doc/requirements/DynamicBuffer_v2.qbk

@@ -1,94 +0,0 @@
-[/
- / Copyright (c) 2003-2020 Christopher M. Kohlhoff (chris at kohlhoff dot com)
- /
- / Distributed under the Boost Software License, Version 1.0. (See accompanying
- / file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- /]
-
-[section:DynamicBuffer_v2 Dynamic buffer requirements (version 2)]
-
-A dynamic buffer encapsulates memory storage that may be automatically resized
-as required.
-
-A dynamic buffer type `X` shall satisfy the requirements of `CopyConstructible`
-(C++ Std, [copyconstructible]) types in addition to those listed below.
-
-In the table below, `X` denotes a dynamic buffer class, `x` denotes a value of
-type `X&`, `x1` denotes values of type `const X&`, `pos` and `n` denote values
-of type `size_t`, and `u` denotes an identifier.
-
-[table DynamicBuffer_v2 requirements
-  [[expression] [type] [assertion/note[br]pre/post-conditions]]
-  [
-    [`X::const_buffers_type`]
-    [type meeting [link asio.reference.ConstBufferSequence ConstBufferSequence]
-     requirements.]
-    [This type represents the underlying memory as a sequence of @c const_buffer
-     objects.]
-  ]
-  [
-    [`X::mutable_buffers_type`]
-    [type meeting [link asio.reference.MutableBufferSequence MutableBufferSequence]
-     requirements.]
-    [This type represents the underlying memory as a sequence of @c
-     mutable_buffer objects.]
-  ]
-  [
-    [`x1.size()`]
-    [`size_t`]
-    [Returns the size, in bytes, of the underlying memory.]
-  ]
-  [
-    [`x1.max_size()`]
-    [`size_t`]
-    [Returns the permitted maximum size of the underlying memory.]
-  ]
-  [
-    [`x1.capacity()`]
-    [`size_t`]
-    [Returns the maximum size to which the underlying memory can grow without
-     requiring reallocation.]
-  ]
-  [
-    [`x1.data(pos, n)`]
-    [`X::const_buffers_type`]
-    [Returns a constant buffer sequence `u` that represents the underlying
-     memory beginning at offset `pos`, and where `buffer_size(u) <= n`.]
-  ]
-  [
-    [`x.data(pos, n)`]
-    [`X::mutable_buffers_type`]
-    [Returns a mutable buffer sequence `u` that represents the underlying
-     memory beginning at offset `pos`, and where `buffer_size(u) <= n`.]
-  ]
-  [
-    [`x.grow(n)`]
-    []
-    [Requires: `size() + n <= max_size()`.[br]
-     [br]
-     Extends the underlying memory to accommodate `n` additional bytes at the
-     end. The dynamic buffer reallocates memory as required. All constant or
-     mutable buffer sequences previously obtained using `data()` are
-     invalidated.[br]
-     [br]
-     Throws: `length_error` if `size() + n > max_size()`.]
-  ]
-  [
-    [`x.shrink(n)`]
-    []
-    [Removes `n` bytes from the end of the underlying memory. If `n` is greater
-     than the size of the underlying memory, the entire underlying memory is
-     emptied. All constant or mutable buffer sequences previously obtained
-     using `data()` are invalidated.]
-  ]
-  [
-    [`x.consume(n)`]
-    []
-    [Removes `n` bytes from the beginning of the underlying memory. If `n` is
-     greater than the size of the underlying memory, the entire underlying memory
-     is emptied. All constant or mutable buffer sequences previously obtained
-     using `data()` are invalidated.]
-  ]
-]
-
-[endsect]

data/ext/third_party/asio/asio/src/doc/requirements/Endpoint.qbk

@@ -1,97 +0,0 @@
-[/
- / Copyright (c) 2003-2020 Christopher M. Kohlhoff (chris at kohlhoff dot com)
- /
- / Distributed under the Boost Software License, Version 1.0. (See accompanying
- / file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- /]
-
-[section:Endpoint Endpoint requirements]
-
-A type `X` meets the `Endpoint` requirements if it satisfies the requirements
-of `Destructible` (C++Std [destructible]), `DefaultConstructible` (C++Std
-[defaultconstructible]), `CopyConstructible` (C++Std [copyconstructible]),
-and `CopyAssignable` (C++Std [copyassignable]), as well as the additional
-requirements listed below.
-
-The default constructor and move operations of the type `X` shall not exit via
-an exception.
-
-In the table below, `a` denotes a (possibly const) value of type `X`, and `u`
-denotes an identifier.
-
-[table Endpoint requirements
-  [[expression] [type] [assertion/note[br]pre/post-conditions]]
-  [
-    [`X::protocol_type`]
-    [type meeting [link asio.reference.Protocol `Protocol`] requirements]
-    []
-  ]
-  [
-    [`a.protocol()`]
-    [`protocol_type`]
-    []
-  ]
-]
-
-In the table below, `a` denotes a (possibly const) value of type `X`, `b`
-denotes a value of type `X`, and `s` denotes a (possibly const) value of a type
-that is convertible to `size_t` and denotes a size in bytes.
-
-[table Endpoint requirements for extensible implementations
-  [[expression] [type] [assertion/note[br]pre/post-conditions]]
-  [
-    [`a.data()`]
-    [`const void*`]
-    [
-      Returns a pointer suitable for passing as the /address/ argument to
-      functions such as __POSIX__ __connect__, or as the /dest_addr/ argument
-      to functions such as  __POSIX__ __sendto__. The implementation shall
-      perform a `static_cast` on the pointer to convert it to `const
-      sockaddr*`.
-    ]
-  ]
-  [
-    [`b.data()`]
-    [`void*`]
-    [
-      Returns a pointer suitable for passing as the /address/ argument to
-      functions such as __POSIX__ __accept__, __getpeername__, __getsockname__
-      and __recvfrom__. The implementation shall perform a `static_cast` on the
-      pointer to convert it to `sockaddr*`.
-    ]
-  ]
-  [
-    [`a.size()`]
-    [`size_t`]
-    [
-      Returns a value suitable for passing as the /address_len/ argument
-      to functions such as __POSIX__ __connect__, or as the /dest_len/ argument
-      to functions such as __POSIX__ __sendto__, after appropriate integer
-      conversion has been performed.
-    ]
-  ]
-  [
-    [`b.resize(s)`]
-    []
-    [
-      pre: `s >= 0`[br]
-      post: `a.size() == s`[br]
-      Passed the value contained in the /address_len/ argument to functions
-      such as __POSIX__ __accept__, __getpeername__, __getsockname__ and
-      __recvfrom__, after successful completion of the function. Permitted to
-      throw an exception if the protocol associated with the endpoint object
-      `a` does not support the specified size.
-    ]
-  ]
-  [
-    [`a.capacity()`]
-    [`size_t`]
-    [
-      Returns a value suitable for passing as the /address_len/ argument to
-      functions such as __POSIX__ __accept__, __getpeername__, __getsockname__
-      and __recvfrom__, after appropriate integer conversion has been performed.
-    ]
-  ]
-]
-
-[endsect]

data/ext/third_party/asio/asio/src/doc/requirements/EndpointSequence.qbk

@@ -1,30 +0,0 @@
-[/
- / Copyright (c) 2003-2020 Christopher M. Kohlhoff (chris at kohlhoff dot com)
- /
- / Distributed under the Boost Software License, Version 1.0. (See accompanying
- / file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- /]
-
-[section:EndpointSequence Endpoint sequence requirements]
-
-A type `X` meets the `EndpointSequence` requirements if it satisfies the
-requirements of `Destructible` (C++Std [destructible]) and `CopyConstructible`
-(C++Std [copyconstructible]), as well as the additional requirements listed
-below.
-
-In the table below, `x` denotes a (possibly const) value of type `X`.
-
-[table EndpointSequence requirements
-  [[expression] [return type] [assertion/note[br]pre/post-condition]]
-  [
-    [`x.begin()`[br]
-     `x.end()`]
-    [A type meeting the requirements for forward iterators
-     (C++Std \[forward.iterators\]) whose value type is convertible to
-     a type satisfying the [link asio.reference.Endpoint `Endpoint`]
-     requirements.]
-    [[half_open_range `x.begin()`,`x.end()`] is a valid range.]
-  ]
-]
-
-[endsect]

data/ext/third_party/asio/asio/src/doc/requirements/ExecutionContext.qbk

@@ -1,36 +0,0 @@
-[/
- / Copyright (c) 2003-2020 Christopher M. Kohlhoff (chris at kohlhoff dot com)
- /
- / Distributed under the Boost Software License, Version 1.0. (See accompanying
- / file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- /]
-
-[section:ExecutionContext Execution context requirements]
-
-A type `X` meets the `ExecutionContext` requirements if it is publicly and
-unambiguously derived from `execution_context`, and satisfies the additional
-requirements listed below.
-
-In the table below, `x` denotes a value of type `X`.
-
-[table ExecutionContext requirements
-  [[expression] [return type] [assertion/note[br]pre/post-condition]]
-  [
-    [`X::executor_type`]
-    [type meeting [link asio.reference.Executor1 `Executor`] requirements]
-    []
-  ]
-  [
-    [`x.~X()`]
-    []
-    [Destroys all unexecuted function objects that were submitted via an
-     executor object that is associated with the execution context.]
-  ]
-  [
-    [`x.get_executor()`]
-    [`X::executor_type`]
-    [Returns an executor object that is associated with the execution context.]
-  ]
-]
-
-[endsect]

data/ext/third_party/asio/asio/src/doc/requirements/Executor.qbk

@@ -1,141 +0,0 @@
-[/
- / Copyright (c) 2003-2020 Christopher M. Kohlhoff (chris at kohlhoff dot com)
- /
- / Distributed under the Boost Software License, Version 1.0. (See accompanying
- / file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- /]
-
-[section:Executor1 Executor requirements]
-
-The library describes a standard set of requirements for ['executors]. A type
-meeting the `Executor` requirements embodies a set of rules for determining how
-submitted function objects are to be executed.
-
-A type `X` meets the `Executor` requirements if it satisfies the requirements of
-`CopyConstructible` (C++Std [copyconstructible]) and `Destructible` (C++Std
-[destructible]), as well as the additional requirements listed below.
-
-No constructor, comparison operator, copy operation, move operation, swap
-operation, or member functions `context`, `on_work_started`, and
-`on_work_finished` on these types shall exit via an exception.
-
-The executor copy constructor, comparison operators, and other member functions
-defined in these requirements shall not introduce data races as a result of
-concurrent calls to those functions from different threads.
-
-Let `ctx` be the execution context returned by the executor's `context()`
-member function. An executor becomes ['invalid] when the first call to
-`ctx.shutdown()` returns. The effect of calling `on_work_started`,
-`on_work_finished`, `dispatch`, `post`, or `defer` on an invalid executor is
-undefined. [inline_note The copy constructor, comparison operators, and
-`context()` member function continue to remain valid until `ctx` is destroyed.]
-
-In the table below, `x1` and `x2` denote (possibly const) values of type `X`,
-`mx1` denotes an xvalue of type `X`, `f` denotes a `MoveConstructible` (C++Std
-[moveconstructible]) function object callable with zero arguments, `a` denotes
-a (possibly const) value of type `A` meeting the `Allocator` requirements
-(C++Std [allocator.requirements]), and `u` denotes an identifier.
-
-[table Executor requirements
-  [[expression] [type] [assertion/note[br]pre/post-conditions]]
-  [
-    [`X u(x1);`]
-    []
-    [Shall not exit via an exception.[br]
-     [br]
-     post: `u == x1` and
-     `std::addressof(u.context()) == std::addressof(x1.context()).`]
-  ]
-  [
-    [`X u(mx1);`]
-    []
-    [Shall not exit via an exception.[br]
-     [br]
-     post: `u` equals the prior value of `mx1` and
-     `std::addressof(u.context())` equals the prior value of
-     `std::addressof(mx1.context())`.]
-  ]
-  [
-    [`x1 == x2`]
-    [`bool`]
-    [ Returns `true` only if `x1` and `x2` can be interchanged with identical
-     effects in any of the expressions defined in these type requirements.
-     [inline_note Returning `false` does not necessarily imply that the effects
-     are not identical.][br]
-     [br]
-     `operator==` shall be reflexive, symmetric, and transitive, and shall not
-     exit via an exception.]
-  ]
-  [
-    [`x1 != x2`]
-    [`bool`]
-    [Same as `!(x1 == x2)`.]
-  ]
-  [
-    [`x1.context()`]
-    [`execution_context&`, or `E&` where `E` is a type that satifisfies the
-     [link asio.reference.ExecutionContext `ExecutionContext`] requirements.]
-    [Shall not exit via an exception.[br]
-     [br]
-     The comparison operators and member functions defined in these
-     requirements shall not alter the reference returned by this function.]
-  ]
-  [
-    [`x1.on_work_started()`]
-    []
-    [Shall not exit via an exception.]
-  ]
-  [
-    [`x1.on_work_finished()`]
-    []
-    [Shall not exit via an exception.[br]
-     [br]
-     Precondition: A preceding call `x2.on_work_started()` where `x1 == x2`.]
-  ]
-  [
-    [`x1.dispatch(std::move(f),a)`]
-    []
-    [Effects: Creates an object `f1` initialized with
-     [^['DECAY_COPY]]`(forward<Func>(f))` (C++Std \[thread.decaycopy\]) in the
-     current thread of execution . Calls `f1()` at most once. The executor may
-     block forward progress of the caller until `f1()` finishes execution.[br]
-     [br]
-     Executor implementations should use the supplied allocator to allocate any
-     memory required to store the function object. Prior to invoking the
-     function object, the executor shall deallocate any memory allocated.
-     [inline_note Executors defined in this Technical Specification always use
-     the supplied allocator unless otherwise specified.][br]
-     [br]
-     Synchronization: The invocation of `dispatch` synchronizes with (C++Std
-     \[intro.multithread\]) the invocation of `f1`.]
-  ]
-  [
-    [`x1.post(std::move(f),a)`[br]
-     `x1.defer(std::move(f),a)`]
-    []
-    [Effects: Creates an object `f1` initialized with
-     [^['DECAY_COPY]]`(forward<Func>(f))` in the current thread of execution.
-     Calls `f1()` at most once. The executor shall not block forward progress
-     of the caller pending completion of `f1()`.[br]
-     [br]
-     Executor implementations should use the supplied allocator to allocate any
-     memory required to store the function object. Prior to invoking the
-     function object, the executor shall deallocate any memory allocated.
-     [inline_note Executors defined in this Technical Specification always use
-     the supplied allocator unless otherwise specified.][br]
-     [br]
-     Synchronization: The invocation of `post` or `defer` synchronizes with
-     (C++Std \[intro.multithread\]) the invocation of `f1`.[br]
-     [br]
-     [inline_note Although the requirements placed on `defer` are identical to
-     `post`, the use of `post` conveys a preference that the caller ['does not]
-     block the first step of [^f1]'s progress, whereas `defer` conveys a
-     preference that the caller ['does] block the first step of [^f1]. One use
-     of `defer` is to convey the intention of the caller that [^f1] is a
-     continuation of the current call context. The executor may use this
-     information to optimize or otherwise adjust the way in which `f1` is
-     invoked.]]
-  ]
-]
-
-[endsect]

data/ext/third_party/asio/asio/src/doc/requirements/GettableSerialPortOption.qbk

@@ -1,33 +0,0 @@
-[/
- / Copyright (c) 2003-2020 Christopher M. Kohlhoff (chris at kohlhoff dot com)
- /
- / Distributed under the Boost Software License, Version 1.0. (See accompanying
- / file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- /]
-
-[section:GettableSerialPortOption Gettable serial port option requirements]
-
-In the table below, `X` denotes a serial port option class, `a` denotes a value
-of `X`, `ec` denotes a value of type `error_code`, and `s` denotes a value of
-implementation-defined type ['[^storage]] (where ['[^storage]] is the type
-`DCB` on Windows and `termios` on __POSIX__ platforms), and `u` denotes an
-identifier.
-
-[table GettableSerialPortOption requirements
-  [[expression] [type] [assertion/note[br]pre/post-conditions]]
-  [
-    [
-      `const `['[^storage]]`& u = s;`[br]
-      `a.load(u, ec);`
-    ]
-    [`error_code`]
-    [
-      Retrieves the value of the serial port option from the storage.[br]
-      [br]
-      If successful, sets `ec` such that `!ec` is true. If an error occurred,
-      sets `ec` such that `!!ec` is true. Returns `ec`.
-    ]
-  ]
-]
-
-[endsect]

data/ext/third_party/asio/asio/src/doc/requirements/GettableSocketOption.qbk

@@ -1,67 +0,0 @@
-[/
- / Copyright (c) 2003-2020 Christopher M. Kohlhoff (chris at kohlhoff dot com)
- /
- / Distributed under the Boost Software License, Version 1.0. (See accompanying
- / file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- /]
-
-[section:GettableSocketOption Gettable socket option requirements]
-
-A type `X` meets the `GettableSocketOption` requirements if it satisfies the
-requirements listed below.
-
-In the table below, `a` denotes a (possibly const) value of type `X`, `b`
-denotes a value of type `X`, `p` denotes a (possibly const) value that meets
-the [link asio.reference.Protocol `Protocol`] requirements, and `s` denotes a
-(possibly const) value of a type that is convertible to `size_t` and denotes a
-size in bytes.
-
-[table GettableSocketOption requirements for extensible implementations
-  [[expression] [type] [assertion/note[br]pre/post-conditions]]
-  [
-    [`a.level(p)`]
-    [`int`]
-    [
-      Returns a value suitable for passing as the /level/ argument to __POSIX__
-      __getsockopt__ (or equivalent).
-    ]
-  ]
-  [
-    [`a.name(p)`]
-    [`int`]
-    [
-      Returns a value suitable for passing as the /option_name/ argument to
-      __POSIX__ __getsockopt__ (or equivalent).
-    ]
-  ]
-  [
-    [`b.data(p)`]
-    [`void*`]
-    [
-      Returns a pointer suitable for passing as the /option_value/ argument to
-      __POSIX__ __getsockopt__ (or equivalent).
-    ]
-  ]
-  [
-    [`a.size(p)`]
-    [`size_t`]
-    [
-      Returns a value suitable for passing as the /option_len/ argument to
-      __POSIX__ __getsockopt__ (or equivalent), after appropriate
-      integer conversion has been performed.
-    ]
-  ]
-  [
-    [`b.resize(p,s)`]
-    []
-    [
-      post: `b.size(p) == s`.[br]
-      Passed the value contained in the /option_len/ argument to __POSIX__
-      __getsockopt__ (or equivalent) after successful completion of the
-      function. Permitted to throw an exception if the socket option object `b`
-      does not support the specified size.
-    ]
-  ]
-]
-
-[endsect]