New

Author: d-frey

doc/ref/basic_value/empty.md

@@ -0,0 +1,29 @@
+### `tao::json::basic_value::empty`
+
+```c++
+bool empty() const; // (1)
+```
+
+Returns whether the instance is considered "empty". An instance is considered empty if it is
+
+* of type [`UNINITIALIZED`](../type.md#UNINITIALIZED), or
+* of type [`STRING`](../type.md#STRING) and the embedded `std::string` is empty, or
+* of type [`ARRAY`](../type.md#ARRAY) and the embedded `std::vector` is empty, or
+* of type [`OBJECT`](../type.md#OBJECT) and the embedded `std::map` is empty, or
+* of type [`RAW_PTR`](../type.md#RAW_PTR) and the embedded raw pointer is equal to `nullptr`
+
+#### Preconditions
+
+The instance must *not* be in a discarded state. The precondition *may* be checked by the implementation with `assert`.
+
+#### Return value
+
+`true` when the instance is considered empty, `true` otherwise.
+
+#### Exceptions
+
+1. `noexcept`
+
+#### Complexity
+
+1. Constant

doc/ref/basic_value/operator_bool.md

@@ -0,0 +1,33 @@
+### `tao::json::basic_value::operator bool`
+
+```c++
+explicit operator bool() const; // (1)
+```
+
+Returns whether the instance has been initialized. Note that an initialized value might become an uninitialized value by calling `reset()` or by assigning from another uninitialized value.
+
+#### Preconditions
+
+The instance must *not* be in a discarded state. This precondition *might* be checked by the implementation with an `assert`.
+
+#### Return value
+
+`false` when the instance is of type [`UNINITIALIZED`](../type.md#UNINITIALIZED), `true` otherwise.
+
+#### Exceptions
+
+1. `noexcept`
+
+#### Complexity
+
+1. Constant
+
+#### Possible implementation
+
+```c++
+explicit operator bool() const noexcept
+{
+   assert( type() != json::type::DISCARDED );
+   return type() != json::type::UNINITIALIZED;
+}
+```