Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 1 | // Copyright 2017 The Chromium Authors. All rights reserved. |
| 2 | // Use of this source code is governed by a BSD-style license that can be |
| 3 | // found in the LICENSE file. |
| 4 | |
Adam Langley | e0e46cdf | 2018-10-29 19:23:16 | [diff] [blame] | 5 | #ifndef COMPONENTS_CBOR_VALUES_H_ |
| 6 | #define COMPONENTS_CBOR_VALUES_H_ |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 7 | |
Jun Choi | 06ae32d | 2017-12-21 18:52:39 | [diff] [blame] | 8 | #include <stdint.h> |
Jun Choi | 7b6fbff | 2018-01-22 19:54:01 | [diff] [blame] | 9 | |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 10 | #include <string> |
Adam Langley | 68672fd | 2017-10-17 19:35:27 | [diff] [blame] | 11 | #include <tuple> |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 12 | #include <vector> |
| 13 | |
| 14 | #include "base/containers/flat_map.h" |
jdoerrie | b538442 | 2018-06-14 21:22:19 | [diff] [blame] | 15 | #include "base/containers/span.h" |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 16 | #include "base/macros.h" |
Adam Langley | df763d79 | 2017-11-28 19:20:15 | [diff] [blame] | 17 | #include "base/strings/string_piece.h" |
Jun Choi | 9f1446c0 | 2017-12-21 23:33:27 | [diff] [blame] | 18 | #include "components/cbor/cbor_export.h" |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 19 | |
Jun Choi | 9f1446c0 | 2017-12-21 23:33:27 | [diff] [blame] | 20 | namespace cbor { |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 21 | |
| 22 | // A class for Concise Binary Object Representation (CBOR) values. |
| 23 | // This does not support: |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 24 | // * Floating-point numbers. |
| 25 | // * Indefinite-length encodings. |
Adam Langley | b4f12f9 | 2018-10-26 21:00:02 | [diff] [blame] | 26 | class CBOR_EXPORT Value { |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 27 | public: |
Kouhei Ueno | 6d1629e | 2018-02-01 17:28:03 | [diff] [blame] | 28 | struct Less { |
Adam Langley | 68672fd | 2017-10-17 19:35:27 | [diff] [blame] | 29 | // Comparison predicate to order keys in a dictionary as required by the |
Kouhei Ueno | 6d1629e | 2018-02-01 17:28:03 | [diff] [blame] | 30 | // canonical CBOR order defined in |
| 31 | // https://tools.ietf.org/html/rfc7049#section-3.9 |
| 32 | // TODO(808022): Clarify where this stands. |
Adam Langley | b4f12f9 | 2018-10-26 21:00:02 | [diff] [blame] | 33 | bool operator()(const Value& a, const Value& b) const { |
Tsuyoshi Horo | 2a1fd52 | 2020-01-14 09:18:51 | [diff] [blame^] | 34 | // The current implementation only supports integer, text string, byte |
| 35 | // string and invalid UTF8 keys. |
| 36 | DCHECK((a.is_integer() || a.is_string() || a.is_bytestring() || |
| 37 | a.is_invalid_utf8()) && |
| 38 | (b.is_integer() || b.is_string() || b.is_bytestring() || |
| 39 | b.is_invalid_utf8())); |
Kouhei Ueno | 6d1629e | 2018-02-01 17:28:03 | [diff] [blame] | 40 | |
| 41 | // Below text from https://tools.ietf.org/html/rfc7049 errata 4409: |
| 42 | // * If the major types are different, the one with the lower value |
| 43 | // in numerical order sorts earlier. |
Jun Choi | 98a59e46 | 2017-12-14 23:04:09 | [diff] [blame] | 44 | if (a.type() != b.type()) |
| 45 | return a.type() < b.type(); |
Kouhei Ueno | 6d1629e | 2018-02-01 17:28:03 | [diff] [blame] | 46 | |
| 47 | // * If two keys have different lengths, the shorter one sorts |
| 48 | // earlier; |
| 49 | // * If two keys have the same length, the one with the lower value |
| 50 | // in (byte-wise) lexical order sorts earlier. |
Jun Choi | 98a59e46 | 2017-12-14 23:04:09 | [diff] [blame] | 51 | switch (a.type()) { |
| 52 | case Type::UNSIGNED: |
Kouhei Ueno | 6d1629e | 2018-02-01 17:28:03 | [diff] [blame] | 53 | // For unsigned integers, the smaller value has shorter length, |
| 54 | // and (byte-wise) lexical representation. |
Jun Choi | 06ae32d | 2017-12-21 18:52:39 | [diff] [blame] | 55 | return a.GetInteger() < b.GetInteger(); |
| 56 | case Type::NEGATIVE: |
Kouhei Ueno | 6d1629e | 2018-02-01 17:28:03 | [diff] [blame] | 57 | // For negative integers, the value closer to zero has shorter length, |
| 58 | // and (byte-wise) lexical representation. |
Jun Choi | 06ae32d | 2017-12-21 18:52:39 | [diff] [blame] | 59 | return a.GetInteger() > b.GetInteger(); |
Jun Choi | 98a59e46 | 2017-12-14 23:04:09 | [diff] [blame] | 60 | case Type::STRING: { |
| 61 | const auto& a_str = a.GetString(); |
| 62 | const size_t a_length = a_str.size(); |
| 63 | const auto& b_str = b.GetString(); |
| 64 | const size_t b_length = b_str.size(); |
| 65 | return std::tie(a_length, a_str) < std::tie(b_length, b_str); |
| 66 | } |
Kouhei Ueno | 6d1629e | 2018-02-01 17:28:03 | [diff] [blame] | 67 | case Type::BYTE_STRING: { |
| 68 | const auto& a_str = a.GetBytestring(); |
| 69 | const size_t a_length = a_str.size(); |
| 70 | const auto& b_str = b.GetBytestring(); |
| 71 | const size_t b_length = b_str.size(); |
| 72 | return std::tie(a_length, a_str) < std::tie(b_length, b_str); |
| 73 | } |
Tsuyoshi Horo | 2a1fd52 | 2020-01-14 09:18:51 | [diff] [blame^] | 74 | case Type::INVALID_UTF8: { |
| 75 | const auto& a_str = a.GetInvalidUTF8(); |
| 76 | const size_t a_length = a_str.size(); |
| 77 | const auto& b_str = b.GetInvalidUTF8(); |
| 78 | const size_t b_length = b_str.size(); |
| 79 | return std::tie(a_length, a_str) < std::tie(b_length, b_str); |
| 80 | } |
Jun Choi | 98a59e46 | 2017-12-14 23:04:09 | [diff] [blame] | 81 | default: |
| 82 | break; |
| 83 | } |
| 84 | |
| 85 | NOTREACHED(); |
| 86 | return false; |
Adam Langley | 68672fd | 2017-10-17 19:35:27 | [diff] [blame] | 87 | } |
| 88 | |
Adam Langley | 68672fd | 2017-10-17 19:35:27 | [diff] [blame] | 89 | using is_transparent = void; |
| 90 | }; |
| 91 | |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 92 | using BinaryValue = std::vector<uint8_t>; |
Adam Langley | b4f12f9 | 2018-10-26 21:00:02 | [diff] [blame] | 93 | using ArrayValue = std::vector<Value>; |
| 94 | using MapValue = base::flat_map<Value, Value, Less>; |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 95 | |
| 96 | enum class Type { |
Jun Choi | 6d30c4a | 2017-12-09 01:10:32 | [diff] [blame] | 97 | UNSIGNED = 0, |
Jun Choi | 06ae32d | 2017-12-21 18:52:39 | [diff] [blame] | 98 | NEGATIVE = 1, |
Jun Choi | 6d30c4a | 2017-12-09 01:10:32 | [diff] [blame] | 99 | BYTE_STRING = 2, |
| 100 | STRING = 3, |
| 101 | ARRAY = 4, |
| 102 | MAP = 5, |
Chris Palmer | be2d8dc | 2018-09-14 00:31:42 | [diff] [blame] | 103 | TAG = 6, |
Jun Choi | 07540c6 | 2017-12-21 02:51:43 | [diff] [blame] | 104 | SIMPLE_VALUE = 7, |
Jun Choi | 6d30c4a | 2017-12-09 01:10:32 | [diff] [blame] | 105 | NONE = -1, |
Adam Langley | 08718f73 | 2019-04-22 22:21:33 | [diff] [blame] | 106 | INVALID_UTF8 = -2, |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 107 | }; |
| 108 | |
Jun Choi | 07540c6 | 2017-12-21 02:51:43 | [diff] [blame] | 109 | enum class SimpleValue { |
| 110 | FALSE_VALUE = 20, |
| 111 | TRUE_VALUE = 21, |
| 112 | NULL_VALUE = 22, |
| 113 | UNDEFINED = 23, |
| 114 | }; |
| 115 | |
Martin Kreichgauer | 2344a64 | 2019-07-15 21:32:50 | [diff] [blame] | 116 | // Returns a Value with Type::INVALID_UTF8. This factory method lets tests |
| 117 | // encode such a value as a CBOR string. It should never be used outside of |
| 118 | // tests since encoding may yield invalid CBOR data. |
| 119 | static Value InvalidUTF8StringValueForTesting(base::StringPiece in_string); |
| 120 | |
Adam Langley | b4f12f9 | 2018-10-26 21:00:02 | [diff] [blame] | 121 | Value(Value&& that) noexcept; |
| 122 | Value() noexcept; // A NONE value. |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 123 | |
Adam Langley | b4f12f9 | 2018-10-26 21:00:02 | [diff] [blame] | 124 | explicit Value(Type type); |
Jun Choi | 7b6fbff | 2018-01-22 19:54:01 | [diff] [blame] | 125 | |
Adam Langley | b4f12f9 | 2018-10-26 21:00:02 | [diff] [blame] | 126 | explicit Value(SimpleValue in_simple); |
| 127 | explicit Value(bool boolean_value); |
Jun Choi | 7b6fbff | 2018-01-22 19:54:01 | [diff] [blame] | 128 | |
Adam Langley | b4f12f9 | 2018-10-26 21:00:02 | [diff] [blame] | 129 | explicit Value(int integer_value); |
| 130 | explicit Value(int64_t integer_value); |
| 131 | explicit Value(uint64_t integer_value) = delete; |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 132 | |
Adam Langley | b4f12f9 | 2018-10-26 21:00:02 | [diff] [blame] | 133 | explicit Value(base::span<const uint8_t> in_bytes); |
| 134 | explicit Value(BinaryValue&& in_bytes) noexcept; |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 135 | |
Adam Langley | b4f12f9 | 2018-10-26 21:00:02 | [diff] [blame] | 136 | explicit Value(const char* in_string, Type type = Type::STRING); |
| 137 | explicit Value(std::string&& in_string, Type type = Type::STRING) noexcept; |
| 138 | explicit Value(base::StringPiece in_string, Type type = Type::STRING); |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 139 | |
Adam Langley | b4f12f9 | 2018-10-26 21:00:02 | [diff] [blame] | 140 | explicit Value(const ArrayValue& in_array); |
| 141 | explicit Value(ArrayValue&& in_array) noexcept; |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 142 | |
Adam Langley | b4f12f9 | 2018-10-26 21:00:02 | [diff] [blame] | 143 | explicit Value(const MapValue& in_map); |
| 144 | explicit Value(MapValue&& in_map) noexcept; |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 145 | |
Adam Langley | b4f12f9 | 2018-10-26 21:00:02 | [diff] [blame] | 146 | Value& operator=(Value&& that) noexcept; |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 147 | |
Adam Langley | b4f12f9 | 2018-10-26 21:00:02 | [diff] [blame] | 148 | ~Value(); |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 149 | |
Adam Langley | b4f12f9 | 2018-10-26 21:00:02 | [diff] [blame] | 150 | // Value's copy constructor and copy assignment operator are deleted. |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 151 | // Use this to obtain a deep copy explicitly. |
Adam Langley | b4f12f9 | 2018-10-26 21:00:02 | [diff] [blame] | 152 | Value Clone() const; |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 153 | |
| 154 | // Returns the type of the value stored by the current Value object. |
| 155 | Type type() const { return type_; } |
| 156 | |
| 157 | // Returns true if the current object represents a given type. |
| 158 | bool is_type(Type type) const { return type == type_; } |
| 159 | bool is_none() const { return type() == Type::NONE; } |
Adam Langley | 08718f73 | 2019-04-22 22:21:33 | [diff] [blame] | 160 | bool is_invalid_utf8() const { return type() == Type::INVALID_UTF8; } |
Jun Choi | 7b6fbff | 2018-01-22 19:54:01 | [diff] [blame] | 161 | bool is_simple() const { return type() == Type::SIMPLE_VALUE; } |
| 162 | bool is_bool() const { |
| 163 | return is_simple() && (simple_value_ == SimpleValue::TRUE_VALUE || |
| 164 | simple_value_ == SimpleValue::FALSE_VALUE); |
| 165 | } |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 166 | bool is_unsigned() const { return type() == Type::UNSIGNED; } |
Jun Choi | 06ae32d | 2017-12-21 18:52:39 | [diff] [blame] | 167 | bool is_negative() const { return type() == Type::NEGATIVE; } |
| 168 | bool is_integer() const { return is_unsigned() || is_negative(); } |
Jun Choi | 6d30c4a | 2017-12-09 01:10:32 | [diff] [blame] | 169 | bool is_bytestring() const { return type() == Type::BYTE_STRING; } |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 170 | bool is_string() const { return type() == Type::STRING; } |
| 171 | bool is_array() const { return type() == Type::ARRAY; } |
| 172 | bool is_map() const { return type() == Type::MAP; } |
| 173 | |
| 174 | // These will all fatally assert if the type doesn't match. |
Jun Choi | 07540c6 | 2017-12-21 02:51:43 | [diff] [blame] | 175 | SimpleValue GetSimpleValue() const; |
Jun Choi | 7b6fbff | 2018-01-22 19:54:01 | [diff] [blame] | 176 | bool GetBool() const; |
Jun Choi | 06ae32d | 2017-12-21 18:52:39 | [diff] [blame] | 177 | const int64_t& GetInteger() const; |
| 178 | const int64_t& GetUnsigned() const; |
| 179 | const int64_t& GetNegative() const; |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 180 | const BinaryValue& GetBytestring() const; |
Kouhei Ueno | c12b0b9 | 2018-02-01 14:02:10 | [diff] [blame] | 181 | base::StringPiece GetBytestringAsString() const; |
Jun Choi | 47be22c | 2017-12-14 07:55:16 | [diff] [blame] | 182 | // Returned string may contain NUL characters. |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 183 | const std::string& GetString() const; |
| 184 | const ArrayValue& GetArray() const; |
| 185 | const MapValue& GetMap() const; |
Adam Langley | 08718f73 | 2019-04-22 22:21:33 | [diff] [blame] | 186 | const BinaryValue& GetInvalidUTF8() const; |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 187 | |
| 188 | private: |
Adam Langley | 08718f73 | 2019-04-22 22:21:33 | [diff] [blame] | 189 | friend class Reader; |
| 190 | // This constructor allows INVALID_UTF8 values to be created, which only |
Martin Kreichgauer | 2344a64 | 2019-07-15 21:32:50 | [diff] [blame] | 191 | // |Reader| and InvalidUTF8StringValueForTesting() may do. |
Adam Langley | 08718f73 | 2019-04-22 22:21:33 | [diff] [blame] | 192 | Value(base::span<const uint8_t> in_bytes, Type type); |
| 193 | |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 194 | Type type_; |
| 195 | |
| 196 | union { |
Jun Choi | 07540c6 | 2017-12-21 02:51:43 | [diff] [blame] | 197 | SimpleValue simple_value_; |
Jun Choi | 06ae32d | 2017-12-21 18:52:39 | [diff] [blame] | 198 | int64_t integer_value_; |
Daniel Cheng | 9eb43fd34 | 2017-10-10 21:28:37 | [diff] [blame] | 199 | BinaryValue bytestring_value_; |
| 200 | std::string string_value_; |
| 201 | ArrayValue array_value_; |
| 202 | MapValue map_value_; |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 203 | }; |
| 204 | |
Adam Langley | b4f12f9 | 2018-10-26 21:00:02 | [diff] [blame] | 205 | void InternalMoveConstructFrom(Value&& that); |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 206 | void InternalCleanup(); |
| 207 | |
Adam Langley | b4f12f9 | 2018-10-26 21:00:02 | [diff] [blame] | 208 | DISALLOW_COPY_AND_ASSIGN(Value); |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 209 | }; |
Martin Kreichgauer | 2344a64 | 2019-07-15 21:32:50 | [diff] [blame] | 210 | |
Jun Choi | 9f1446c0 | 2017-12-21 23:33:27 | [diff] [blame] | 211 | } // namespace cbor |
Kim Paulhamus | 6efcf495 | 2017-09-14 22:46:27 | [diff] [blame] | 212 | |
Adam Langley | e0e46cdf | 2018-10-29 19:23:16 | [diff] [blame] | 213 | #endif // COMPONENTS_CBOR_VALUES_H_ |