blob: 0e7cc313908852d60f9555530dee4ebe984378dc [file] [log] [blame]
Thiago Macieiraf1cadf02015-05-08 17:19:17 -07001/****************************************************************************
2**
Thiago Macieira46a818e2015-10-08 15:13:05 +02003** Copyright (C) 2016 Intel Corporation
Thiago Macieiraf1cadf02015-05-08 17:19:17 -07004**
5** Permission is hereby granted, free of charge, to any person obtaining a copy
6** of this software and associated documentation files (the "Software"), to deal
7** in the Software without restriction, including without limitation the rights
8** to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9** copies of the Software, and to permit persons to whom the Software is
10** furnished to do so, subject to the following conditions:
11**
12** The above copyright notice and this permission notice shall be included in
13** all copies or substantial portions of the Software.
14**
15** THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16** IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17** FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
18** AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19** LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20** OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
21** THE SOFTWARE.
22**
23****************************************************************************/
24
Vipul Rahane650c31f2017-12-15 12:48:40 -080025#ifndef _BSD_SOURCE
Thiago Macieiraed5b57c2015-07-07 16:38:27 -070026#define _BSD_SOURCE 1
Vipul Rahane650c31f2017-12-15 12:48:40 -080027#endif
28#ifndef _DEFAULT_SOURCE
Otavio Pontese2d5dd52016-07-08 09:49:38 -030029#define _DEFAULT_SOURCE 1
Vipul Rahane650c31f2017-12-15 12:48:40 -080030#endif
Thiago Macieira86c81862016-08-04 13:56:48 -070031#ifndef __STDC_LIMIT_MACROS
32# define __STDC_LIMIT_MACROS 1
33#endif
34
Thiago Macieiraf1cadf02015-05-08 17:19:17 -070035#include "cbor.h"
Thiago Macieiracf3116e2017-03-04 23:36:23 -060036#include "cborinternal_p.h"
Thiago Macieiraf1cadf02015-05-08 17:19:17 -070037#include "compilersupport_p.h"
38
Thiago Macieiraf1cadf02015-05-08 17:19:17 -070039#include <stdlib.h>
40#include <string.h>
41
Thiago Macieira46a818e2015-10-08 15:13:05 +020042/**
43 * \defgroup CborEncoding Encoding to CBOR
44 * \brief Group of functions used to encode data to CBOR.
45 *
46 * CborEncoder is used to encode data into a CBOR stream. The outermost
47 * CborEncoder is initialized by calling cbor_encoder_init(), with the buffer
48 * where the CBOR stream will be stored. The outermost CborEncoder is usually
49 * used to encode exactly one item, most often an array or map. It is possible
50 * to encode more than one item, but care must then be taken on the decoder
51 * side to ensure the state is reset after each item was decoded.
52 *
53 * Nested CborEncoder objects are created using cbor_encoder_create_array() and
54 * cbor_encoder_create_map(), later closed with cbor_encoder_close_container()
55 * or cbor_encoder_close_container_checked(). The pairs of creation and closing
56 * must be exactly matched and their parameters are always the same.
57 *
58 * CborEncoder writes directly to the user-supplied buffer, without extra
59 * buffering. CborEncoder does not allocate memory and CborEncoder objects are
60 * usually created on the stack of the encoding functions.
61 *
62 * The example below initializes a CborEncoder object with a buffer and encodes
63 * a single integer.
64 *
65 * \code
66 * uint8_t buf[16];
67 * CborEncoder encoder;
68 * cbor_encoder_init(&encoder, &buf, sizeof(buf), 0);
69 * cbor_encode_int(&encoder, some_value);
70 * \endcode
71 *
72 * As explained before, usually the outermost CborEncoder object is used to add
73 * one array or map, which in turn contains multiple elements. The example
74 * below creates a CBOR map with one element: a key "foo" and a boolean value.
75 *
76 * \code
77 * uint8_t buf[16];
78 * CborEncoder encoder, mapEncoder;
79 * cbor_encoder_init(&encoder, &buf, sizeof(buf), 0);
80 * cbor_encoder_create_map(&encoder, &mapEncoder, 1);
81 * cbor_encode_text_stringz(&mapEncoder, "foo");
82 * cbor_encode_boolean(&mapEncoder, some_value);
83 * cbor_encoder_close_container(&encoder, &mapEncoder);
84 * \endcode
85 *
Thiago Macieiraf5a172b2018-02-05 14:53:14 -080086 * <h3 class="groupheader">Error checking and buffer size</h3>
Thiago Macieira46a818e2015-10-08 15:13:05 +020087 *
88 * All functions operating on CborEncoder return a condition of type CborError.
89 * If the encoding was successful, they return CborNoError. Some functions do
90 * extra checking on the input provided and may return some other error
91 * conditions (for example, cbor_encode_simple_value() checks that the type is
92 * of the correct type).
93 *
94 * In addition, all functions check whether the buffer has enough bytes to
95 * encode the item being appended. If that is not possible, they return
96 * CborErrorOutOfMemory.
97 *
98 * It is possible to continue with the encoding of data past the first function
99 * that returns CborErrorOutOfMemory. CborEncoder functions will not overrun
100 * the buffer, but will instead count how many more bytes are needed to
Thiago Macieira7ae36a72015-10-28 16:19:23 -0700101 * complete the encoding. At the end, you can obtain that count by calling
102 * cbor_encoder_get_extra_bytes_needed().
Thiago Macieira46a818e2015-10-08 15:13:05 +0200103 *
104 * \section1 Finalizing the encoding
105 *
106 * Once all items have been appended and the containers have all been properly
107 * closed, the user-supplied buffer will contain the CBOR stream and may be
Thiago Macieira7ae36a72015-10-28 16:19:23 -0700108 * immediately used. To obtain the size of the buffer, call
109 * cbor_encoder_get_buffer_size() with the original buffer pointer.
Thiago Macieira46a818e2015-10-08 15:13:05 +0200110 *
111 * The example below illustrates how one can encode an item with error checking
112 * and then pass on the buffer for network sending.
113 *
114 * \code
115 * uint8_t buf[16];
116 * CborError err;
117 * CborEncoder encoder, mapEncoder;
118 * cbor_encoder_init(&encoder, &buf, sizeof(buf), 0);
119 * err = cbor_encoder_create_map(&encoder, &mapEncoder, 1);
120 * if (!err)
121 * return err;
122 * err = cbor_encode_text_stringz(&mapEncoder, "foo");
123 * if (!err)
124 * return err;
125 * err = cbor_encode_boolean(&mapEncoder, some_value);
126 * if (!err)
127 * return err;
128 * err = cbor_encoder_close_container_checked(&encoder, &mapEncoder);
129 * if (!err)
130 * return err;
131 *
Thiago Macieira7ae36a72015-10-28 16:19:23 -0700132 * size_t len = cbor_encoder_get_buffer_size(&encoder, buf);
Thiago Macieira46a818e2015-10-08 15:13:05 +0200133 * send_payload(buf, len);
134 * return CborNoError;
135 * \endcode
Thiago Macieira7ae36a72015-10-28 16:19:23 -0700136 *
Thiago Macieiraf5a172b2018-02-05 14:53:14 -0800137 * Finally, the example below expands on the one above and also
Thiago Macieira7ae36a72015-10-28 16:19:23 -0700138 * deals with dynamically growing the buffer if the initial allocation wasn't
139 * big enough. Note the two places where the error checking was replaced with
Thiago Macieirada8e35e2017-03-05 09:58:01 +0100140 * an cbor_assertion, showing where the author assumes no error can occur.
Thiago Macieira7ae36a72015-10-28 16:19:23 -0700141 *
142 * \code
143 * uint8_t *encode_string_array(const char **strings, int n, size_t *bufsize)
144 * {
145 * CborError err;
146 * CborEncoder encoder, arrayEncoder;
147 * size_t size = 256;
148 * uint8_t *buf = NULL;
149 *
150 * while (1) {
151 * int i;
152 * size_t more_bytes;
153 * uint8_t *nbuf = realloc(buf, size);
154 * if (nbuf == NULL)
155 * goto error;
156 * buf = nbuf;
157 *
158 * cbor_encoder_init(&encoder, &buf, size, 0);
159 * err = cbor_encoder_create_array(&encoder, &arrayEncoder, n);
Thiago Macieirada8e35e2017-03-05 09:58:01 +0100160 * cbor_assert(err); // can't fail, the buffer is always big enough
Thiago Macieira7ae36a72015-10-28 16:19:23 -0700161 *
162 * for (i = 0; i < n; ++i) {
163 * err = cbor_encode_text_stringz(&arrayEncoder, strings[i]);
164 * if (err && err != CborErrorOutOfMemory)
165 * goto error;
166 * }
167 *
168 * err = cbor_encoder_close_container_checked(&encoder, &arrayEncoder);
Thiago Macieirada8e35e2017-03-05 09:58:01 +0100169 * cbor_assert(err); // shouldn't fail!
Thiago Macieira7ae36a72015-10-28 16:19:23 -0700170 *
171 * more_bytes = cbor_encoder_get_extra_bytes_needed(encoder);
172 * if (more_size) {
173 * // buffer wasn't big enough, try again
174 * size += more_bytes;
175 * continue;
176 * }
177 *
178 * *bufsize = cbor_encoder_get_buffer_size(encoder, buf);
179 * return buf;
180 * }
181 * error:
182 * free(buf);
183 * return NULL;
184 * }
185 * \endcode
Thiago Macieira46a818e2015-10-08 15:13:05 +0200186 */
187
188/**
189 * \addtogroup CborEncoding
190 * @{
191 */
192
193/**
194 * \struct CborEncoder
195 * Structure used to encode to CBOR.
196 */
197
198/**
199 * Initializes a CborEncoder structure \a encoder by pointing it to buffer \a
200 * buffer of size \a size. The \a flags field is currently unused and must be
201 * zero.
202 */
Thiago Macieira5752ce52015-06-16 12:10:03 -0700203void cbor_encoder_init(CborEncoder *encoder, uint8_t *buffer, size_t size, int flags)
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700204{
Thiago Macieiraede7f142016-07-30 23:08:39 -0700205 encoder->data.ptr = buffer;
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700206 encoder->end = buffer + size;
Thiago Macieiracc2bfbb2017-12-17 23:38:37 -0800207 encoder->remaining = 2;
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700208 encoder->flags = flags;
209}
210
Thiago Macieira5752ce52015-06-16 12:10:03 -0700211static inline void put16(void *where, uint16_t v)
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700212{
Thiago Macieira5934a9f2015-06-16 11:55:28 -0700213 v = cbor_htons(v);
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700214 memcpy(where, &v, sizeof(v));
215}
216
Thiago Macieiradbc01292016-06-06 17:02:25 -0700217/* Note: Since this is currently only used in situations where OOM is the only
218 * valid error, we KNOW this to be true. Thus, this function now returns just 'true',
219 * but if in the future, any function starts returning a non-OOM error, this will need
220 * to be changed to the test. At the moment, this is done to prevent more branches
221 * being created in the tinycbor output */
Erich Keane47a78562015-08-10 15:19:50 -0700222static inline bool isOomError(CborError err)
223{
224 (void) err;
225 return true;
226}
227
Thiago Macieira5752ce52015-06-16 12:10:03 -0700228static inline void put32(void *where, uint32_t v)
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700229{
Thiago Macieira5934a9f2015-06-16 11:55:28 -0700230 v = cbor_htonl(v);
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700231 memcpy(where, &v, sizeof(v));
232}
233
Thiago Macieira5752ce52015-06-16 12:10:03 -0700234static inline void put64(void *where, uint64_t v)
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700235{
Thiago Macieira5934a9f2015-06-16 11:55:28 -0700236 v = cbor_htonll(v);
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700237 memcpy(where, &v, sizeof(v));
238}
239
Thiago Macieira397f9792015-09-18 19:36:26 -0700240static inline bool would_overflow(CborEncoder *encoder, size_t len)
241{
242 ptrdiff_t remaining = (ptrdiff_t)encoder->end;
Thiago Macieiraede7f142016-07-30 23:08:39 -0700243 remaining -= remaining ? (ptrdiff_t)encoder->data.ptr : encoder->data.bytes_needed;
Thiago Macieira397f9792015-09-18 19:36:26 -0700244 remaining -= (ptrdiff_t)len;
245 return unlikely(remaining < 0);
246}
247
248static inline void advance_ptr(CborEncoder *encoder, size_t n)
249{
250 if (encoder->end)
Thiago Macieiraede7f142016-07-30 23:08:39 -0700251 encoder->data.ptr += n;
Thiago Macieira397f9792015-09-18 19:36:26 -0700252 else
Thiago Macieiraede7f142016-07-30 23:08:39 -0700253 encoder->data.bytes_needed += n;
Thiago Macieira397f9792015-09-18 19:36:26 -0700254}
255
Thiago Macieira5752ce52015-06-16 12:10:03 -0700256static inline CborError append_to_buffer(CborEncoder *encoder, const void *data, size_t len)
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700257{
Thiago Macieira397f9792015-09-18 19:36:26 -0700258 if (would_overflow(encoder, len)) {
Erich Keane47a78562015-08-10 15:19:50 -0700259 if (encoder->end != NULL) {
Thiago Macieiraede7f142016-07-30 23:08:39 -0700260 len -= encoder->end - encoder->data.ptr;
Thiago Macieira397f9792015-09-18 19:36:26 -0700261 encoder->end = NULL;
Thiago Macieiraede7f142016-07-30 23:08:39 -0700262 encoder->data.bytes_needed = 0;
Erich Keane47a78562015-08-10 15:19:50 -0700263 }
264
Thiago Macieira397f9792015-09-18 19:36:26 -0700265 advance_ptr(encoder, len);
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700266 return CborErrorOutOfMemory;
Erich Keane47a78562015-08-10 15:19:50 -0700267 }
268
Thiago Macieiraede7f142016-07-30 23:08:39 -0700269 memcpy(encoder->data.ptr, data, len);
270 encoder->data.ptr += len;
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700271 return CborNoError;
272}
273
Thiago Macieira5752ce52015-06-16 12:10:03 -0700274static inline CborError append_byte_to_buffer(CborEncoder *encoder, uint8_t byte)
Thiago Macieira8f7bd9e2015-05-12 13:37:46 +0900275{
Thiago Macieira618d2f12015-09-22 09:14:29 -0700276 return append_to_buffer(encoder, &byte, 1);
Thiago Macieira8f7bd9e2015-05-12 13:37:46 +0900277}
278
Thiago Macieira4e9626c2015-09-21 14:57:17 -0700279static inline CborError encode_number_no_update(CborEncoder *encoder, uint64_t ui, uint8_t shiftedMajorType)
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700280{
Thiago Macieiraafa4ff62015-05-09 10:09:55 -0700281 /* Little-endian would have been so much more convenient here:
282 * We could just write at the beginning of buf but append_to_buffer
283 * only the necessary bytes.
284 * Since it has to be big endian, do it the other way around:
285 * write from the end. */
Thiago Macieira510e5b82015-09-21 16:05:02 -0700286 uint64_t buf[2];
287 uint8_t *const bufend = (uint8_t *)buf + sizeof(buf);
Thiago Macieira5752ce52015-06-16 12:10:03 -0700288 uint8_t *bufstart = bufend - 1;
Thiago Macieiradbc01292016-06-06 17:02:25 -0700289 put64(buf + 1, ui); /* we probably have a bunch of zeros in the beginning */
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700290
291 if (ui < Value8Bit) {
Thiago Macieiraafa4ff62015-05-09 10:09:55 -0700292 *bufstart += shiftedMajorType;
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700293 } else {
alradmsft9ba47912016-10-11 17:56:15 -0700294 uint8_t more = 0;
Thiago Macieira13c85792015-07-07 16:15:41 -0700295 if (ui > 0xffU)
Thiago Macieiraafa4ff62015-05-09 10:09:55 -0700296 ++more;
Thiago Macieira13c85792015-07-07 16:15:41 -0700297 if (ui > 0xffffU)
Thiago Macieiraafa4ff62015-05-09 10:09:55 -0700298 ++more;
Thiago Macieira13c85792015-07-07 16:15:41 -0700299 if (ui > 0xffffffffU)
Thiago Macieiraafa4ff62015-05-09 10:09:55 -0700300 ++more;
Thiago Macieirae12dfd02016-06-07 16:29:25 -0700301 bufstart -= (size_t)1 << more;
Thiago Macieiraafa4ff62015-05-09 10:09:55 -0700302 *bufstart = shiftedMajorType + Value8Bit + more;
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700303 }
304
Thiago Macieiraafa4ff62015-05-09 10:09:55 -0700305 return append_to_buffer(encoder, bufstart, bufend - bufstart);
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700306}
307
Thiago Macieiracc2bfbb2017-12-17 23:38:37 -0800308static inline void saturated_decrement(CborEncoder *encoder)
309{
310 if (encoder->remaining)
311 --encoder->remaining;
312}
313
Thiago Macieira4e9626c2015-09-21 14:57:17 -0700314static inline CborError encode_number(CborEncoder *encoder, uint64_t ui, uint8_t shiftedMajorType)
315{
Thiago Macieiracc2bfbb2017-12-17 23:38:37 -0800316 saturated_decrement(encoder);
Thiago Macieira4e9626c2015-09-21 14:57:17 -0700317 return encode_number_no_update(encoder, ui, shiftedMajorType);
318}
319
Thiago Macieira46a818e2015-10-08 15:13:05 +0200320/**
321 * Appends the unsigned 64-bit integer \a value to the CBOR stream provided by
322 * \a encoder.
323 *
324 * \sa cbor_encode_negative_int, cbor_encode_int
325 */
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700326CborError cbor_encode_uint(CborEncoder *encoder, uint64_t value)
327{
328 return encode_number(encoder, value, UnsignedIntegerType << MajorTypeShift);
329}
330
Thiago Macieira46a818e2015-10-08 15:13:05 +0200331/**
332 * Appends the negative 64-bit integer whose absolute value is \a
333 * absolute_value to the CBOR stream provided by \a encoder.
334 *
Thiago Macieiraf5a172b2018-02-05 14:53:14 -0800335 * If the value \a absolute_value is zero, this function encodes -2^64.
Thiago Macieira497066e2018-01-11 19:37:09 -0800336 *
Thiago Macieira46a818e2015-10-08 15:13:05 +0200337 * \sa cbor_encode_uint, cbor_encode_int
338 */
Thiago Macieira78632b32015-09-26 14:18:48 -0700339CborError cbor_encode_negative_int(CborEncoder *encoder, uint64_t absolute_value)
340{
Thiago Macieira497066e2018-01-11 19:37:09 -0800341 return encode_number(encoder, absolute_value - 1, NegativeIntegerType << MajorTypeShift);
Thiago Macieira78632b32015-09-26 14:18:48 -0700342}
343
Thiago Macieira46a818e2015-10-08 15:13:05 +0200344/**
345 * Appends the signed 64-bit integer \a value to the CBOR stream provided by
346 * \a encoder.
347 *
348 * \sa cbor_encode_negative_int, cbor_encode_uint
349 */
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700350CborError cbor_encode_int(CborEncoder *encoder, int64_t value)
351{
Thiago Macieiradbc01292016-06-06 17:02:25 -0700352 /* adapted from code in RFC 7049 appendix C (pseudocode) */
353 uint64_t ui = value >> 63; /* extend sign to whole length */
354 uint8_t majorType = ui & 0x20; /* extract major type */
355 ui ^= value; /* complement negatives */
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700356 return encode_number(encoder, ui, majorType);
357}
358
Thiago Macieira46a818e2015-10-08 15:13:05 +0200359/**
360 * Appends the CBOR Simple Type of value \a value to the CBOR stream provided by
361 * \a encoder.
362 *
363 * This function may return error CborErrorIllegalSimpleType if the \a value
364 * variable contains a number that is not a valid simple type.
365 */
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700366CborError cbor_encode_simple_value(CborEncoder *encoder, uint8_t value)
367{
368#ifndef CBOR_ENCODER_NO_CHECK_USER
Thiago Macieiradbc01292016-06-06 17:02:25 -0700369 /* check if this is a valid simple type */
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700370 if (value >= HalfPrecisionFloat && value <= Break)
371 return CborErrorIllegalSimpleType;
372#endif
373 return encode_number(encoder, value, SimpleTypesType << MajorTypeShift);
374}
375
Thiago Macieira46a818e2015-10-08 15:13:05 +0200376/**
377 * Appends the floating-point value of type \a fpType and pointed to by \a
378 * value to the CBOR stream provided by \a encoder. The value of \a fpType must
379 * be one of CborHalfFloatType, CborFloatType or CborDoubleType, otherwise the
380 * behavior of this function is undefined.
381 *
382 * This function is useful for code that needs to pass through floating point
383 * values but does not wish to have the actual floating-point code.
384 *
385 * \sa cbor_encode_half_float, cbor_encode_float, cbor_encode_double
386 */
Thiago Macieira81f33432015-07-02 16:16:28 -0700387CborError cbor_encode_floating_point(CborEncoder *encoder, CborType fpType, const void *value)
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700388{
Thiago Macieira81f33432015-07-02 16:16:28 -0700389 uint8_t buf[1 + sizeof(uint64_t)];
Thiago Macieirada8e35e2017-03-05 09:58:01 +0100390 cbor_assert(fpType == CborHalfFloatType || fpType == CborFloatType || fpType == CborDoubleType);
Thiago Macieira81f33432015-07-02 16:16:28 -0700391 buf[0] = fpType;
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700392
Thiago Macieira81f33432015-07-02 16:16:28 -0700393 unsigned size = 2U << (fpType - CborHalfFloatType);
394 if (size == 8)
395 put64(buf + 1, *(const uint64_t*)value);
396 else if (size == 4)
397 put32(buf + 1, *(const uint32_t*)value);
398 else
399 put16(buf + 1, *(const uint16_t*)value);
Thiago Macieiracc2bfbb2017-12-17 23:38:37 -0800400 saturated_decrement(encoder);
Thiago Macieira81f33432015-07-02 16:16:28 -0700401 return append_to_buffer(encoder, buf, size + 1);
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700402}
Thiago Macieira8f98a112015-05-08 17:25:29 -0700403
Thiago Macieira46a818e2015-10-08 15:13:05 +0200404/**
405 * Appends the CBOR tag \a tag to the CBOR stream provided by \a encoder.
406 *
407 * \sa CborTag
408 */
Thiago Macieira8f98a112015-05-08 17:25:29 -0700409CborError cbor_encode_tag(CborEncoder *encoder, CborTag tag)
410{
Thiago Macieiradbc01292016-06-06 17:02:25 -0700411 /* tags don't count towards the number of elements in an array or map */
Thiago Macieira4e9626c2015-09-21 14:57:17 -0700412 return encode_number_no_update(encoder, tag, TagType << MajorTypeShift);
Thiago Macieira8f98a112015-05-08 17:25:29 -0700413}
Thiago Macieirab54debe2015-05-08 17:42:39 -0700414
Thiago Macieira5752ce52015-06-16 12:10:03 -0700415static CborError encode_string(CborEncoder *encoder, size_t length, uint8_t shiftedMajorType, const void *string)
Thiago Macieirab54debe2015-05-08 17:42:39 -0700416{
417 CborError err = encode_number(encoder, length, shiftedMajorType);
Erich Keane47a78562015-08-10 15:19:50 -0700418 if (err && !isOomError(err))
Thiago Macieirab54debe2015-05-08 17:42:39 -0700419 return err;
420 return append_to_buffer(encoder, string, length);
421}
422
Thiago Macieira46a818e2015-10-08 15:13:05 +0200423/**
424 * \fn CborError cbor_encode_text_stringz(CborEncoder *encoder, const char *string)
425 *
426 * Appends the null-terminated text string \a string to the CBOR stream
427 * provided by \a encoder. CBOR requires that \a string be valid UTF-8, but
428 * TinyCBOR makes no verification of correctness. The terminating null is not
429 * included in the stream.
430 *
431 * \sa cbor_encode_text_string, cbor_encode_byte_string
432 */
433
434/**
435 * Appends the text string \a string of length \a length to the CBOR stream
436 * provided by \a encoder. CBOR requires that \a string be valid UTF-8, but
437 * TinyCBOR makes no verification of correctness.
438 *
439 * \sa CborError cbor_encode_text_stringz, cbor_encode_byte_string
440 */
Thiago Macieira5752ce52015-06-16 12:10:03 -0700441CborError cbor_encode_byte_string(CborEncoder *encoder, const uint8_t *string, size_t length)
Thiago Macieirab54debe2015-05-08 17:42:39 -0700442{
443 return encode_string(encoder, length, ByteStringType << MajorTypeShift, string);
444}
445
Thiago Macieira46a818e2015-10-08 15:13:05 +0200446/**
447 * Appends the byte string \a string of length \a length to the CBOR stream
448 * provided by \a encoder. CBOR byte strings are arbitrary raw data.
449 *
450 * \sa cbor_encode_text_stringz, cbor_encode_text_string
451 */
Thiago Macieirab54debe2015-05-08 17:42:39 -0700452CborError cbor_encode_text_string(CborEncoder *encoder, const char *string, size_t length)
453{
454 return encode_string(encoder, length, TextStringType << MajorTypeShift, string);
455}
Thiago Macieira355817e2015-05-08 18:38:18 -0700456
Thiago Macieira56635242015-09-20 17:44:51 -0700457#ifdef __GNUC__
458__attribute__((noinline))
459#endif
460static CborError create_container(CborEncoder *encoder, CborEncoder *container, size_t length, uint8_t shiftedMajorType)
Thiago Macieira355817e2015-05-08 18:38:18 -0700461{
Thiago Macieira8f7bd9e2015-05-12 13:37:46 +0900462 CborError err;
Thiago Macieiraede7f142016-07-30 23:08:39 -0700463 container->data.ptr = encoder->data.ptr;
Thiago Macieira4e9626c2015-09-21 14:57:17 -0700464 container->end = encoder->end;
Thiago Macieiracc2bfbb2017-12-17 23:38:37 -0800465 saturated_decrement(encoder);
466 container->remaining = length + 1; /* overflow ok on CborIndefiniteLength */
Thiago Macieira4e9626c2015-09-21 14:57:17 -0700467
468 cbor_static_assert(((MapType << MajorTypeShift) & CborIteratorFlag_ContainerIsMap) == CborIteratorFlag_ContainerIsMap);
469 cbor_static_assert(((ArrayType << MajorTypeShift) & CborIteratorFlag_ContainerIsMap) == 0);
470 container->flags = shiftedMajorType & CborIteratorFlag_ContainerIsMap;
471
472 if (length == CborIndefiniteLength) {
473 container->flags |= CborIteratorFlag_UnknownLength;
474 err = append_byte_to_buffer(container, shiftedMajorType + IndefiniteLength);
475 } else {
Thiago Macieiracc2bfbb2017-12-17 23:38:37 -0800476 if (shiftedMajorType & CborIteratorFlag_ContainerIsMap)
477 container->remaining += length;
Thiago Macieira4e9626c2015-09-21 14:57:17 -0700478 err = encode_number_no_update(container, length, shiftedMajorType);
479 }
Thiago Macieira863a4802016-10-26 20:48:54 -0700480 return err;
Thiago Macieira355817e2015-05-08 18:38:18 -0700481}
482
Thiago Macieira46a818e2015-10-08 15:13:05 +0200483/**
484 * Creates a CBOR array in the CBOR stream provided by \a encoder and
485 * initializes \a arrayEncoder so that items can be added to the array using
486 * the CborEncoder functions. The array must be terminated by calling either
487 * cbor_encoder_close_container() or cbor_encoder_close_container_checked()
488 * with the same \a encoder and \a arrayEncoder parameters.
489 *
490 * The number of items inserted into the array must be exactly \a length items,
491 * otherwise the stream is invalid. If the number of items is not known when
492 * creating the array, the constant \ref CborIndefiniteLength may be passed as
493 * length instead.
494 *
495 * \sa cbor_encoder_create_map
496 */
Thiago Macieira355817e2015-05-08 18:38:18 -0700497CborError cbor_encoder_create_array(CborEncoder *encoder, CborEncoder *arrayEncoder, size_t length)
498{
Thiago Macieira56635242015-09-20 17:44:51 -0700499 return create_container(encoder, arrayEncoder, length, ArrayType << MajorTypeShift);
Thiago Macieira355817e2015-05-08 18:38:18 -0700500}
501
Thiago Macieira46a818e2015-10-08 15:13:05 +0200502/**
503 * Creates a CBOR map in the CBOR stream provided by \a encoder and
504 * initializes \a mapEncoder so that items can be added to the map using
505 * the CborEncoder functions. The map must be terminated by calling either
506 * cbor_encoder_close_container() or cbor_encoder_close_container_checked()
507 * with the same \a encoder and \a mapEncoder parameters.
508 *
509 * The number of pair of items inserted into the map must be exactly \a length
Thiago Macieiraf5a172b2018-02-05 14:53:14 -0800510 * items, otherwise the stream is invalid. If the number is not known
Thiago Macieira46a818e2015-10-08 15:13:05 +0200511 * when creating the map, the constant \ref CborIndefiniteLength may be passed as
512 * length instead.
513 *
514 * \b{Implementation limitation:} TinyCBOR cannot encode more than SIZE_MAX/2
515 * key-value pairs in the stream. If the length \a length is larger than this
Thiago Macieiraf5a172b2018-02-05 14:53:14 -0800516 * value (and is not \ref CborIndefiniteLength), this function returns error
517 * CborErrorDataTooLarge.
Thiago Macieira46a818e2015-10-08 15:13:05 +0200518 *
519 * \sa cbor_encoder_create_array
520 */
Thiago Macieira355817e2015-05-08 18:38:18 -0700521CborError cbor_encoder_create_map(CborEncoder *encoder, CborEncoder *mapEncoder, size_t length)
522{
Thiago Macieira4e9626c2015-09-21 14:57:17 -0700523 if (length != CborIndefiniteLength && length > SIZE_MAX / 2)
524 return CborErrorDataTooLarge;
Thiago Macieira56635242015-09-20 17:44:51 -0700525 return create_container(encoder, mapEncoder, length, MapType << MajorTypeShift);
Thiago Macieira355817e2015-05-08 18:38:18 -0700526}
527
Thiago Macieira46a818e2015-10-08 15:13:05 +0200528/**
529 * Closes the CBOR container (array or map) provided by \a containerEncoder and
530 * updates the CBOR stream provided by \a encoder. Both parameters must be the
531 * same as were passed to cbor_encoder_create_array() or
532 * cbor_encoder_create_map().
533 *
Thiago Macieiraf5a172b2018-02-05 14:53:14 -0800534 * Since version 0.5, this function verifies that the number of items (or pairs
535 * of items, in the case of a map) was correct. It is no longer necessary to call
Thiago Macieira46a818e2015-10-08 15:13:05 +0200536 * cbor_encoder_close_container_checked() instead.
537 *
538 * \sa cbor_encoder_create_array(), cbor_encoder_create_map()
539 */
Thiago Macieira355817e2015-05-08 18:38:18 -0700540CborError cbor_encoder_close_container(CborEncoder *encoder, const CborEncoder *containerEncoder)
541{
Thiago Macieira397f9792015-09-18 19:36:26 -0700542 if (encoder->end)
Thiago Macieiraede7f142016-07-30 23:08:39 -0700543 encoder->data.ptr = containerEncoder->data.ptr;
Thiago Macieira397f9792015-09-18 19:36:26 -0700544 else
Thiago Macieiraede7f142016-07-30 23:08:39 -0700545 encoder->data.bytes_needed = containerEncoder->data.bytes_needed;
Erich Keane47a78562015-08-10 15:19:50 -0700546 encoder->end = containerEncoder->end;
Thiago Macieira8f7bd9e2015-05-12 13:37:46 +0900547 if (containerEncoder->flags & CborIteratorFlag_UnknownLength)
548 return append_byte_to_buffer(encoder, BreakByte);
Thiago Macieiracc2bfbb2017-12-17 23:38:37 -0800549
550 if (containerEncoder->remaining != 1)
551 return containerEncoder->remaining == 0 ? CborErrorTooManyItems : CborErrorTooFewItems;
552
Thiago Macieira5433fc32017-12-17 15:15:50 -0800553 if (!encoder->end)
Thiago Macieira3369dd12017-11-13 11:14:27 -0800554 return CborErrorOutOfMemory; /* keep the state */
Thiago Macieira355817e2015-05-08 18:38:18 -0700555 return CborNoError;
556}
Thiago Macieira46a818e2015-10-08 15:13:05 +0200557
558/**
559 * \fn CborError cbor_encode_boolean(CborEncoder *encoder, bool value)
560 *
561 * Appends the boolean value \a value to the CBOR stream provided by \a encoder.
562 */
563
564/**
565 * \fn CborError cbor_encode_null(CborEncoder *encoder)
566 *
567 * Appends the CBOR type representing a null value to the CBOR stream provided
568 * by \a encoder.
569 *
570 * \sa cbor_encode_undefined()
571 */
572
573/**
574 * \fn CborError cbor_encode_undefined(CborEncoder *encoder)
575 *
576 * Appends the CBOR type representing an undefined value to the CBOR stream
577 * provided by \a encoder.
578 *
579 * \sa cbor_encode_null()
580 */
581
582/**
583 * \fn CborError cbor_encode_half_float(CborEncoder *encoder, const void *value)
584 *
585 * Appends the IEEE 754 half-precision (16-bit) floating point value pointed to
586 * by \a value to the CBOR stream provided by \a encoder.
587 *
588 * \sa cbor_encode_floating_point(), cbor_encode_float(), cbor_encode_double()
589 */
590
591/**
592 * \fn CborError cbor_encode_float(CborEncoder *encoder, float value)
593 *
594 * Appends the IEEE 754 single-precision (32-bit) floating point value \a value
595 * to the CBOR stream provided by \a encoder.
596 *
597 * \sa cbor_encode_floating_point(), cbor_encode_half_float(), cbor_encode_double()
598 */
599
600/**
601 * \fn CborError cbor_encode_double(CborEncoder *encoder, double value)
602 *
603 * Appends the IEEE 754 double-precision (64-bit) floating point value \a value
604 * to the CBOR stream provided by \a encoder.
605 *
606 * \sa cbor_encode_floating_point(), cbor_encode_half_float(), cbor_encode_float()
607 */
608
Thiago Macieira7ae36a72015-10-28 16:19:23 -0700609/**
610 * \fn size_t cbor_encoder_get_buffer_size(const CborEncoder *encoder, const uint8_t *buffer)
611 *
612 * Returns the total size of the buffer starting at \a buffer after the
613 * encoding finished without errors. The \a encoder and \a buffer arguments
614 * must be the same as supplied to cbor_encoder_init().
615 *
616 * If the encoding process had errors, the return value of this function is
617 * meaningless. If the only errors were CborErrorOutOfMemory, instead use
618 * cbor_encoder_get_extra_bytes_needed() to find out by how much to grow the
619 * buffer before encoding again.
620 *
621 * See \ref CborEncoding for an example of using this function.
622 *
623 * \sa cbor_encoder_init(), cbor_encoder_get_extra_bytes_needed(), CborEncoding
624 */
625
626/**
627 * \fn size_t cbor_encoder_get_extra_bytes_needed(const CborEncoder *encoder)
628 *
629 * Returns how many more bytes the original buffer supplied to
630 * cbor_encoder_init() needs to be extended by so that no CborErrorOutOfMemory
631 * condition will happen for the encoding. If the buffer was big enough, this
632 * function returns 0. The \a encoder must be the original argument as passed
633 * to cbor_encoder_init().
634 *
635 * This function is usually called after an encoding sequence ended with one or
636 * more CborErrorOutOfMemory errors, but no other error. If any other error
637 * happened, the return value of this function is meaningless.
638 *
639 * See \ref CborEncoding for an example of using this function.
640 *
641 * \sa cbor_encoder_init(), cbor_encoder_get_buffer_size(), CborEncoding
642 */
643
Thiago Macieira46a818e2015-10-08 15:13:05 +0200644/** @} */