|
BDE 4.14.0 Production release
|
#include <bdld_datum.h>
Public Types | |
| enum | DataType { e_NIL = 0 , e_INTEGER = 1 , e_DOUBLE = 2 , e_STRING = 3 , e_BOOLEAN = 4 , e_ERROR = 5 , e_DATE = 6 , e_TIME = 7 , e_DATETIME = 8 , e_DATETIME_INTERVAL = 9 , e_INTEGER64 = 10 , e_USERDEFINED = 11 , e_ARRAY = 12 , e_MAP = 13 , e_BINARY = 14 , e_DECIMAL64 = 15 , e_INT_MAP = 16 , e_REAL = e_DOUBLE , e_ERROR_VALUE = e_ERROR , DLCT_NIL = e_NIL , DLCT_INTEGER = e_INTEGER , DLCT_REAL = e_DOUBLE , DLCT_STRING = e_STRING , DLCT_BOOLEAN = e_BOOLEAN , DLCT_ERROR_VALUE = e_ERROR_VALUE , DLCT_DATE = e_DATE , DLCT_TIME = e_TIME , DLCT_DATETIME = e_DATETIME , DLCT_DATETIME_INTERVAL = e_DATETIME_INTERVAL , DLCT_INTEGER64 = e_INTEGER64 , DLCT_USERDEFINED = e_USERDEFINED , DLCT_ARRAY = e_ARRAY , DLCT_MAP = e_MAP , DLCT_BINARY = e_BINARY , DLCT_DECIMAL64 = e_DECIMAL64 } |
| enum | { k_NUM_TYPES = 17 , DLCT_NUM_TYPES = k_NUM_TYPES } |
| typedef bsl::allocator | AllocatorType |
| typedef bsls::Types::size_type | SizeType |
Static Public Member Functions | |
| static Datum | createArrayReference (const Datum *array, SizeType length, const AllocatorType &allocator) |
| static Datum | createArrayReference (const DatumArrayRef &value, const AllocatorType &allocator) |
| static Datum | createBoolean (bool value) |
Return, by value, a datum having the specified bool value. | |
| static Datum | createDate (const bdlt::Date &value) |
Return, by value, a datum having the specified Date value. | |
| static Datum | createDatetime (const bdlt::Datetime &value, const AllocatorType &allocator) |
| static Datum | createDatetimeInterval (const bdlt::DatetimeInterval &value, const AllocatorType &allocator) |
| static Datum | createDecimal64 (bdldfp::Decimal64 value, const AllocatorType &allocator) |
| static Datum | createDouble (double value) |
| static Datum | createError (int code) |
| static Datum | createError (int code, const bslstl::StringRef &message, const AllocatorType &allocator) |
| static Datum | createInteger (int value) |
Return, by value, a datum having the specified int value. | |
| static Datum | createInteger64 (bsls::Types::Int64 value, const AllocatorType &allocator) |
| static Datum | createNull () |
| Return, by value, a datum having no value. | |
| static Datum | createStringRef (const char *string, SizeType length, const AllocatorType &allocator) |
| static Datum | createStringRef (const char *string, const AllocatorType &allocator) |
| static Datum | createStringRef (const bslstl::StringRef &value, const AllocatorType &allocator) |
| static Datum | createTime (const bdlt::Time &value) |
Return, by value, a datum having the specified Time value. | |
| static Datum | createUdt (void *data, int type) |
| static Datum | copyBinary (const void *value, SizeType size, const AllocatorType &allocator) |
| static Datum | copyString (const char *string, SizeType length, const AllocatorType &allocator) |
| static Datum | copyString (const bslstl::StringRef &value, const AllocatorType &allocator) |
| static Datum | adoptArray (const DatumMutableArrayRef &array) |
| static Datum | adoptIntMap (const DatumMutableIntMapRef &intMap) |
| static Datum | adoptMap (const DatumMutableMapRef &map) |
| static Datum | adoptMap (const DatumMutableMapOwningKeysRef &map) |
| static void | createUninitializedArray (DatumMutableArrayRef *result, SizeType capacity, const AllocatorType &allocator) |
| static void | createUninitializedIntMap (DatumMutableIntMapRef *result, SizeType capacity, const AllocatorType &allocator) |
| static void | createUninitializedMap (DatumMutableMapRef *result, SizeType capacity, const AllocatorType &allocator) |
| static void | createUninitializedMap (DatumMutableMapOwningKeysRef *result, SizeType capacity, SizeType keysCapacity, const AllocatorType &allocator) |
| static char * | createUninitializedString (Datum *result, SizeType length, const AllocatorType &allocator) |
| static const char * | dataTypeToAscii (DataType type) |
| static void | destroy (const Datum &value, const AllocatorType &allocator) |
| static void | disposeUninitializedArray (const DatumMutableArrayRef &array, const AllocatorType &allocator) |
| static void | disposeUninitializedIntMap (const DatumMutableIntMapRef &intMap, const AllocatorType &allocator) |
| static void | disposeUninitializedMap (const DatumMutableMapRef &map, const AllocatorType &allocator) |
| static void | disposeUninitializedMap (const DatumMutableMapOwningKeysRef &map, const AllocatorType &allocator) |
| static void | createUninitializedMapOwningKeys (DatumMutableMapOwningKeysRef *result, SizeType capacity, SizeType keysCapacity, const AllocatorType &allocator) |
[DEPRECATED] Use createUninitializedMap instead. | |
| static Datum | adoptMapOwningKeys (const DatumMutableMapOwningKeysRef &mapping) |
[DEPRECATED] Use adoptMap instead. | |
| static void | disposeUninitializedMapOwningKeys (const DatumMutableMapOwningKeysRef &mapping, const AllocatorType &allocator) |
[DEPRECATED] Use disposeUninitializedMap instead. | |
Friends | |
| bool | operator== (const Datum &lhs, const Datum &rhs) |
| bool | operator!= (const Datum &lhs, const Datum &rhs) |
| bsl::ostream & | operator<< (bsl::ostream &stream, const Datum &rhs) |
This class implements a mechanism that provides a space-efficient discriminated union that holds the value of ether scalar type or an aggregate of Datum objects. The size of Datum is 8 bytes (same as a double) on 32-bit platforms and 16 bytes on 64-bit platforms. Separate representation are needed on 32 and 64 bit platforms because of the differing size of a pointer (a 64-bit pointer cannot reasonably be held in a 32-bit footprint).
Representation on a 32-bit Platforms: Values are stored inside an 8-byte unsigned char array (d_data). Any double value (including NaN and infinity values) can be stored inside Datum. When storing a value of a type other than double, the bits in d_data that correspond to the exponent part of a double value are set to 1, with the 4 bits in the fraction part used to indicate the type of value stored.
Representation on 64-bit platforms: Values are stored inside a 16 byte unsigned char array (d_data) to store values. The type information is stored in the upper 2 bytes of the character array. Remaining 14 bytes are used to store the actual value or the pointer to the external memory that holds the value.
For details on the internal representations that are used for various types on 32 and 64 bit platforms, please see the implementation notes in bdld_datum.cpp.
Datum objects are bitwise copyable and have trivial initialization, assignment and destruction. Only one of the copies of the same Datum object can be passed to destroy. The rest of those copies then become invalid and it is undefined behavior to deep-copy or destroy them. Although, these copies can be used on the left hand side of assignment.
See bdld_datum
SizeType is an alias for an unsigned integral value, representing the capacity of a datum array, the capacity of a datum map, the capacity of the keys-capacity of a datum-key-owning map or the length of a string.
Enumeration used to discriminate among the different externally- exposed types of values that can be stored inside bdld::Datum.
|
default |
Create a datum having an uninitialized value. The behavior for every accessor method is undefined until this object is assigned a value.
|
default |
|
default |
Destroy this object. Note that this method does not deallocate any dynamically allocated memory used by this object (see destroy).
|
inlinestatic |
Return, by value, a datum that refers to the specified array. The behavior is undefined unless array was created using createUninitializedArray method. The behavior is also undefined unless each element in the held datum array has been assigned a value and the array's length has been set accordingly. Note that the adopted array is owned and will be freed if Datum::destroy is called on the returned object.
|
inlinestatic |
Return, by value, a datum that refers to the specified intMap. The behavior is undefined unless map was created using createUninitializedIntMap method. The behavior is also undefined unless each element in the held map has been assigned a value and the size of the map has been set accordingly. Note that the adopted map is owned and will be freed if Datum::destroy is called on the returned object.
|
inlinestatic |
Return, by value, a datum that refers to the specified map. The behavior is undefined unless map was created using createUninitializedMapOwningKeys method. The behavior is also undefined unless each element in the held map has been assigned a value and the size of the map has been set accordingly. The behavior is also undefined unless keys have been copied into the map. Note that the adopted map is owned and will be freed if Datum::destroy is called on the returned object.
|
inlinestatic |
Return, by value, a datum that refers to the specified map. The behavior is undefined unless map was created using createUninitializedMap method. The behavior is also undefined unless each element in the held map has been assigned a value and the size of the map has been set accordingly. Note that the adopted map is owned and will be freed if Datum::destroy is called on the returned object.
|
inlinestatic |
| void bdld::Datum::apply | ( | t_VISITOR & | visitor | ) | const |
Apply the specified visitor to the current value represented by this object by passing held value to the visitor object's operator() overload.
| bdld::Datum::BSLMF_NESTED_TRAIT_DECLARATION | ( | Datum | , |
| bdlb::HasPrintMethod | |||
| ) |
| bdld::Datum::BSLMF_NESTED_TRAIT_DECLARATION | ( | Datum | , |
| bsl::is_trivially_copyable | |||
| ) |
| bdld::Datum::BSLMF_NESTED_TRAIT_DECLARATION | ( | Datum | , |
| bsl::is_trivially_default_constructible | |||
| ) |
| bdld::Datum::BSLMF_NESTED_TRAIT_DECLARATION | ( | Datum | , |
| bslmf::IsBitwiseMoveable | |||
| ) |
| Datum bdld::Datum::clone | ( | const AllocatorType & | allocator | ) | const |
Return a datum holding a "deep-copy" of this object, using the specified allocator to supply memory. This method creates an independent deep-copy of the data of this object, including any referenced data, with the exception of {User Defined Types}. For further information see {Deep Copying}.
|
static |
Return, by value, a datum referring to the copy of the specified value of the specified size, using the specified allocator to supply memory (if needed). The behavior is undefined unless size < UINT_MAX. Note that the copy of the binary data is owned and will be freed if Datum::destroy is called on the returned object.
|
inlinestatic |
Return, by value, a datum having the copy of the specified StringRef value, using the specified allocator to supply memory (if needed). The behavior is undefined unless value.length() < UINT_MAX. Note that the copied string is owned, and will be freed if Datum::destroy is called on the returned object.
|
static |
Return, by value, a datum that refers to the copy of the specified string having the specified length, using the specified allocator to supply memory (if needed). The behavior is undefined unless 0 != string || 0 == length. The behavior is also undefined unless length < UINT_MAX. Note that the copied string is owned and will be freed if Datum::destroy is called on the returned object.
|
inlinestatic |
Return, by value, a datum referring to the specified array, having the specified length, using the specified allocator to supply memory (if needed). array is not copied, and is not freed when the returned object is destroyed with Datum::destroy. The behavior is undefined unless array contains at least length elements. The behavior is also undefined unless length < UINT_MAX.
|
inlinestatic |
Return, by value, a datum having the specified value, using the specified allocator to supply memory (if needed). The array referenced by value is not copied, and is not freed if Datum::destroy is called on the returned object. The behavior is undefined unless value.length() < UINT_MAX.
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Return, by value, a datum having the specified Datetime value, using the specified allocator to supply memory (if needed).
|
inlinestatic |
Return, by value, a datum holding the specified DatetimeInterval value, using the specified allocator to supply memory (if needed).
|
static |
Return, by value, a datum having the specified Decimal64 value, using the specified allocator to supply memory (if needed). Note that the argument is passed by value because it is assumed to be a fundamental type.
|
inlinestatic |
Return, by value, a datum having the specified double value. When value is NaN this method guarantees only that a NaN value is stored. The sign and NaN payload bits of a NaN value later retrieved by the theDouble method are unspecified (see also {Special Floating Point Values}.
|
inlinestatic |
Return, by value, a datum having a DatumError value with the specified code.
|
static |
Return, by value, a datum having a DatumError value with the specified code and the specified message, using the specified allocator to supply memory (if needed).
|
inlinestatic |
|
inlinestatic |
Return, by value, a datum having the specified Integer64 value, using the specified allocator to supply memory (if needed).
|
inlinestatic |
|
inlinestatic |
Return, by value, a datum having the specified StringRef value, using the specified allocator to supply memory (if needed). The behavior is undefined unless value.length() < UINT_MAX. Note that string is not copied, and is not freed if Datum::destroy is called on the returned object.
|
inlinestatic |
Return, by value, a datum that refers to the specified string, using the specified allocator to supply memory (if needed). The behavior is undefined unless string points to a UTF-8 encoded c-string. The behavior is also undefined unless 'strlen(string) < UINT_MAX'. Note that string is not copied, and is not freed if Datum::destroy is called on the returned object.
|
inlinestatic |
Return, by value, a datum that refers to the specified string having the specified length, using the specified allocator to supply memory (if needed). The behavior is undefined unless 0 != string || 0 == length. The behavior is also undefined unless length < UINT_MAX. Note that string is not copied, and is not freed if Datum::destroy is called on the returned object.
|
inlinestatic |
|
inlinestatic |
Return, by value, a datum having the DatumUdt value with the specified data and the specified type values. The behavior is undefined unless 0 <= type <= 65535. Note that data is held, not owned. Also note that the content pointed to by data object is not copied.
|
static |
Load the specified result with a reference to a newly created datum array having the specified capacity, using the specified allocator to supply memory. The behavior is undefined if capacity Datum objects would exceed the addressable memory for the platform. Note that the caller is responsible for filling in elements into the datum array and setting its length accordingly. The number of elements in the datum array cannot exceed capacity. Also note that any elements in the datum array that need dynamic memory must be allocated with allocator.
|
static |
Load the specified result with a reference to a newly created datum int-map having the specified capacity, using the specified allocator to supply memory. The behavior is undefined if capacity DatumIntMapEntry objects would exceed the addressable memory for the platform. Note that the caller is responsible for filling in elements into the datum int-map and setting its size accordingly. The number of elements in the datum int-map cannot exceed capacity. Also note that any elements in the datum int-map that need dynamic memory, should also be allocated with allocator.
|
static |
Load the specified result with a reference to a newly created datum-key-owning map having the specified capacity and keysCapacity, using the specified allocator to supply memory. The behavior is undefined if capacity DatumMapEntry object plus keysCapacity would exceed the addressable memory for the platform. Note that the caller is responsible for filling in elements into the datum-key-owning map, copying the keys into it, and setting its size accordingly. The number of elements in the datum-key-owning map cannot exceed capacity and total size of all the keys cannot exceed keysCapacity. Also note that any elements in the datum-key-owning map that need dynamic memory, should also be allocated with allocator.
|
static |
Load the specified result with a reference to a newly created datum map having the specified capacity, using the specified allocator to supply memory. The behavior is undefined if capacity DatumMapEntry objects would exceed the addressable memory for the platform. Note that the caller is responsible for filling in elements into the datum map and setting its size accordingly. The number of elements in the datum map cannot exceed capacity. Also note that any elements in the datum map that need dynamic memory, should also be allocated with allocator.
|
inlinestatic |
|
static |
Load the specified result with a reference to a newly created character buffer of the specified length, using the specified allocator to supply memory, and return the address of this buffer The behavior is undefined unless length < UINT_MAX. Note that the caller is responsible for initializing the returned buffer with a UTF-8 encoded string.
|
static |
Return the non-modifiable string representation corresponding to the specified type, if it exists, and a unique (error) string otherwise. The string representation of type matches its corresponding enumerator name with the e_ prefix elided.
For example:
will print the following on standard output:
Note that specifying a type that does not match any of the enumerators will result in a string representation that is distinct from any of those corresponding to the enumerators, but is otherwise unspecified.
|
static |
Deallocate any memory that was previously allocated within the specified value using the specified allocator. If the value contains an adopted array of datums, destroy is called on each array element. If the value contains an adopted map of datums, destroy is called on each map element. The behavior is undefined unless all dynamically allocated memory owned by value was allocated using allocator, and has not previously been released by a call to destroy, either on this object, or on another object referring to same contents as this object (i.e., only one copy of a Datum object can be destroyed). The behavior is also undefined if value has an uninitialized or partially initialized array or map (created using createUninitializedArray, createUninitializedMap or createUninitializeMapOwningKeys). Note that after this operation completes, value is left in an uninitialized state, and must be assigned a new value before being accessed again.
|
inlinestatic |
Deallocate the memory used by the specified array (but not memory allocated for its contained elements) using the specified allocator. This method does not destroy individual array elements and the memory allocated for those elements must be explicitly deallocated before calling this method. The behavior is undefined unless array was created with createUninitializedArray using allocator.
|
inlinestatic |
Deallocate the memory used by the specified intMap (but not memory allocated for its contained elements) using the specified allocator. This method does not destroy individual map elements and the memory allocated for those elements must be explicitly deallocated before calling this method. The behavior is undefined unless map was created with createUninitializedIntMap using allocator.
|
inlinestatic |
Deallocate the memory used by the specified map (but not memory allocated for its contained elements) using the specified allocator. This method does not destroy individual map elements and the memory allocated for those elements must be explicitly deallocated before calling this method. The behavior is undefined unless map was created with createUninitializedMap using allocator.
|
inlinestatic |
|
inlinestatic |
|
inline |
Return true if this object represents an array of Datums and false otherwise.
|
inline |
Return true if this object represents a binary value and false otherwise.
|
inline |
Return true if this object represents a boolean value and false otherwise.
|
inline |
Return true if this object represents a bdlt::Date value and false otherwise.
|
inline |
Return true if this object represents a bdlt::Datetime value and false otherwise.
|
inline |
Return true if this object represents a bdlt::DatetimeInterval value and false otherwise.
|
inline |
Return true if this object represents a bdlfpd::Decimal64 value and false otherwise.
|
inline |
Return true if this object represents a double value and false otherwise.
|
inline |
Return true if this object represents a DatumError value and false otherwise.
|
inline |
Return true if this object represents a reference to an externally managed array, string or user-defined object and false otherwise. If this method returns false, calling destroy on this object will release the memory used by the array, string, or used-defined object as well as any meta-data directly used by this datum (e.g., length information); otherwise (if this method returns true) calling destroy on this object will release any allocated meta-data, but will not impact the externally managed array, string, or user-defined object.
|
inline |
Return true if this object represents an integer value and false otherwise.
|
inline |
Return true if this object represents a Int64 value and false otherwise.
|
inline |
Return true if this object represents a map of datums that are keyed by 32-bit int values and false otherwise.
|
inline |
Return true if this object represents a map of datums that are keyed by string values and false otherwise.
|
inline |
Return true if this object represents no value and false otherwise.
|
inline |
Return true if this object represents a string value and false otherwise.
|
inline |
Return true if this object represents a bdlt::Time value and false otherwise.
|
inline |
Return true if this object represents a DatumUdt value and false otherwise.
| bsl::ostream & bdld::Datum::print | ( | bsl::ostream & | stream, |
| int | level = 0, |
||
| int | spacesPerLevel = 4 |
||
| ) | const |
Write the value of this object to the specified output stream in a human-readable format, and return a reference to the modifiable stream. Optionally specify an initial indentation level, whose absolute value is incremented recursively for nested objects. If level is specified, optionally specify spacesPerLevel, whose absolute value indicates the number of spaces per indentation level for this and all of its nested objects. If level is negative, suppress indentation of the first line. If spacesPerLevel is negative, format the entire output on one line, suppressing all but the initial indentation (as governed by level). If stream is not valid on entry, this operation has no effect. Note that this human-readable format is not fully specified, and can change without notice.
|
inline |
Return the array value represented by this object as a DatumArrayRef object. The behavior is undefined unless this object actually represents an array of datums.
|
inline |
Return the binary reference represented by this object as a DatumBinaryRef object. The behavior is undefined unless this object actually represents a binary reference.
|
inline |
Return the boolean value represented by this object. The behavior is undefined unless this object actually represents a bool value.
|
inline |
Return the date value represented by this object as a bdlt::Date object. The behavior is undefined unless this object actually represents a date value.
|
inline |
Return the date+time value represented by this object as a bdlt::Datetime object. The behavior is undefined unless this object actually represents date+time value.
|
inline |
Return the date+time interval value represented by this object as a bdlt::DatetimeInterval. The behavior is undefined unless this object actually represents a date+time interval value.
| bdldfp::Decimal64 bdld::Datum::theDecimal64 | ( | ) | const |
Return the decimal floating point value represented by this object as a bdlfpd::Decimal64 value. The behavior is undefined unless this object actually represents a decimal floating point value.
|
inline |
Return the double value represented by this object. The behavior is undefined unless this object actually represents a double value. If the returned value is NaN this method guarantees only that a NaN value will be returned. The sign and NaN payload bits of NaN values returned are unspecified (see also {Special Floating Point Values}.
|
inline |
Return the error value represented by this object as a DatumError value. The behavior is undefined unless this object actually represents an error value.
|
inline |
Return the integer value represented by this object. The behavior is undefined unless this object actually represents an integer value.
|
inline |
Return the 64-bit integer value represented by this object as a Int64 value. The behavior is undefined unless this object actually represents a 64-bit integer value.
|
inline |
Return the int-map value represented by this object as a DatumIntMapRef object. The behavior is undefined unless this object actually represents an int-map of datums.
|
inline |
Return the map value represented by this object as a DatumMapRef object. The behavior is undefined unless this object actually represents a map of datums.
|
inline |
Return the string value represented by this object as a bslstl::StringRef object. The behavior is undefined unless this object actually represents a string value.
|
inline |
Return the time value represented by this object as a bdlt::Time object. The behavior is undefined unless this object actually represents a time value.
|
inline |
Return the user-defined object represented by this object as a DatumUdt object. The behavior is undefined unless this object actually represents a user-defined object.
|
inline |
Return the type of value represented by this object as one of the enumeration values defined in DataType.
Return true if the specified lhs and rhs datums do not represent the same value, and false otherwise. Two datums do not represent the same value if they do not hold values of the same type, or they hold values of the same type but invoking == operator on the stored values returns false. Two strings do not have the same value if they have different lengths or values at one of the respective character position are not the same. Two DatumUdt objects are not equal if they have different pointer or type values. Two bslmf::Nil values are always equal. Two datums with NaN values are never equal. Two datums that hold arrays of datums have different values if the underlying arrays have different lengths or invoking == operator on at least one of the corresponding pair of contained elements returns false. Two datums that hold maps of datums have different values if the underlying maps have different sizes or at least one of the corresponding pair of elements in the maps have different keys or invoking == operator on the values returns false.
|
friend |
Write the specified rhs value to the specified output stream in the format shown in the second column in the table below (based on the type of value stored, indicated by the first column):
and return a reference to the modifiable stream. The function will have no effect if the specified stream is not valid.
Return true if the specified lhs and rhs represent the same value, and false otherwise. Two datums (not holding strings and user- defined objects) represent the same value if they have the same type of value stored inside them and invoking == operator on the stored values returns true. Two datums holding strings are equal if the strings have the same length and and values at each respective character position are also same. Two datums holding user-defined objects are equal if the user-defined objects have the same pointer and type values. Two nil datums are always equal. Two Datum objects holding NaN values are never equal. Two datums that hold arrays of datums have the same value if the underlying arrays have the same length and invoking == operator on each corresponding element returns true. Two datums that hold maps of datums have the same value if the underlying maps have the same size and each corresponding pair of elements in the maps have the same keys and invoking == operator on the values returns true.
| TypedAccess bdld::Datum::d_as |
| bsls::AlignedBuffer<16> bdld::Datum::d_data |