blob: 785b485d7dabfa2b4db826f4efd79ed55903e50a [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
Thiago Macieiraed5b57c2015-07-07 16:38:27 -070025#define _BSD_SOURCE 1
Otavio Pontese2d5dd52016-07-08 09:49:38 -030026#define _DEFAULT_SOURCE 1
Thiago Macieira86c81862016-08-04 13:56:48 -070027#ifndef __STDC_LIMIT_MACROS
28# define __STDC_LIMIT_MACROS 1
29#endif
30
Thiago Macieiraf1cadf02015-05-08 17:19:17 -070031#include "cbor.h"
32#include "cborconstants_p.h"
33#include "compilersupport_p.h"
34
35#include <assert.h>
Thiago Macieiraf1cadf02015-05-08 17:19:17 -070036#include <stdlib.h>
37#include <string.h>
38
Thiago Macieira8f3fb782015-06-16 16:27:01 -070039#include "assert_p.h" /* Always include last */
40
Thiago Macieira46a818e2015-10-08 15:13:05 +020041/**
42 * \defgroup CborEncoding Encoding to CBOR
43 * \brief Group of functions used to encode data to CBOR.
44 *
45 * CborEncoder is used to encode data into a CBOR stream. The outermost
46 * CborEncoder is initialized by calling cbor_encoder_init(), with the buffer
47 * where the CBOR stream will be stored. The outermost CborEncoder is usually
48 * used to encode exactly one item, most often an array or map. It is possible
49 * to encode more than one item, but care must then be taken on the decoder
50 * side to ensure the state is reset after each item was decoded.
51 *
52 * Nested CborEncoder objects are created using cbor_encoder_create_array() and
53 * cbor_encoder_create_map(), later closed with cbor_encoder_close_container()
54 * or cbor_encoder_close_container_checked(). The pairs of creation and closing
55 * must be exactly matched and their parameters are always the same.
56 *
57 * CborEncoder writes directly to the user-supplied buffer, without extra
58 * buffering. CborEncoder does not allocate memory and CborEncoder objects are
59 * usually created on the stack of the encoding functions.
60 *
61 * The example below initializes a CborEncoder object with a buffer and encodes
62 * a single integer.
63 *
64 * \code
65 * uint8_t buf[16];
66 * CborEncoder encoder;
67 * cbor_encoder_init(&encoder, &buf, sizeof(buf), 0);
68 * cbor_encode_int(&encoder, some_value);
69 * \endcode
70 *
71 * As explained before, usually the outermost CborEncoder object is used to add
72 * one array or map, which in turn contains multiple elements. The example
73 * below creates a CBOR map with one element: a key "foo" and a boolean value.
74 *
75 * \code
76 * uint8_t buf[16];
77 * CborEncoder encoder, mapEncoder;
78 * cbor_encoder_init(&encoder, &buf, sizeof(buf), 0);
79 * cbor_encoder_create_map(&encoder, &mapEncoder, 1);
80 * cbor_encode_text_stringz(&mapEncoder, "foo");
81 * cbor_encode_boolean(&mapEncoder, some_value);
82 * cbor_encoder_close_container(&encoder, &mapEncoder);
83 * \endcode
84 *
85 * <h3 class="groupheader">Error checking and buffer size</h2>
86 *
87 * All functions operating on CborEncoder return a condition of type CborError.
88 * If the encoding was successful, they return CborNoError. Some functions do
89 * extra checking on the input provided and may return some other error
90 * conditions (for example, cbor_encode_simple_value() checks that the type is
91 * of the correct type).
92 *
93 * In addition, all functions check whether the buffer has enough bytes to
94 * encode the item being appended. If that is not possible, they return
95 * CborErrorOutOfMemory.
96 *
97 * It is possible to continue with the encoding of data past the first function
98 * that returns CborErrorOutOfMemory. CborEncoder functions will not overrun
99 * the buffer, but will instead count how many more bytes are needed to
Thiago Macieira7ae36a72015-10-28 16:19:23 -0700100 * complete the encoding. At the end, you can obtain that count by calling
101 * cbor_encoder_get_extra_bytes_needed().
Thiago Macieira46a818e2015-10-08 15:13:05 +0200102 *
103 * \section1 Finalizing the encoding
104 *
105 * Once all items have been appended and the containers have all been properly
106 * closed, the user-supplied buffer will contain the CBOR stream and may be
Thiago Macieira7ae36a72015-10-28 16:19:23 -0700107 * immediately used. To obtain the size of the buffer, call
108 * cbor_encoder_get_buffer_size() with the original buffer pointer.
Thiago Macieira46a818e2015-10-08 15:13:05 +0200109 *
110 * The example below illustrates how one can encode an item with error checking
111 * and then pass on the buffer for network sending.
112 *
113 * \code
114 * uint8_t buf[16];
115 * CborError err;
116 * CborEncoder encoder, mapEncoder;
117 * cbor_encoder_init(&encoder, &buf, sizeof(buf), 0);
118 * err = cbor_encoder_create_map(&encoder, &mapEncoder, 1);
119 * if (!err)
120 * return err;
121 * err = cbor_encode_text_stringz(&mapEncoder, "foo");
122 * if (!err)
123 * return err;
124 * err = cbor_encode_boolean(&mapEncoder, some_value);
125 * if (!err)
126 * return err;
127 * err = cbor_encoder_close_container_checked(&encoder, &mapEncoder);
128 * if (!err)
129 * return err;
130 *
Thiago Macieira7ae36a72015-10-28 16:19:23 -0700131 * size_t len = cbor_encoder_get_buffer_size(&encoder, buf);
Thiago Macieira46a818e2015-10-08 15:13:05 +0200132 * send_payload(buf, len);
133 * return CborNoError;
134 * \endcode
Thiago Macieira7ae36a72015-10-28 16:19:23 -0700135 *
136 * Finally, the example below illustrates expands on the one above and also
137 * deals with dynamically growing the buffer if the initial allocation wasn't
138 * big enough. Note the two places where the error checking was replaced with
139 * an assertion, showing where the author assumes no error can occur.
140 *
141 * \code
142 * uint8_t *encode_string_array(const char **strings, int n, size_t *bufsize)
143 * {
144 * CborError err;
145 * CborEncoder encoder, arrayEncoder;
146 * size_t size = 256;
147 * uint8_t *buf = NULL;
148 *
149 * while (1) {
150 * int i;
151 * size_t more_bytes;
152 * uint8_t *nbuf = realloc(buf, size);
153 * if (nbuf == NULL)
154 * goto error;
155 * buf = nbuf;
156 *
157 * cbor_encoder_init(&encoder, &buf, size, 0);
158 * err = cbor_encoder_create_array(&encoder, &arrayEncoder, n);
159 * assert(err); // can't fail, the buffer is always big enough
160 *
161 * for (i = 0; i < n; ++i) {
162 * err = cbor_encode_text_stringz(&arrayEncoder, strings[i]);
163 * if (err && err != CborErrorOutOfMemory)
164 * goto error;
165 * }
166 *
167 * err = cbor_encoder_close_container_checked(&encoder, &arrayEncoder);
168 * assert(err); // shouldn't fail!
169 *
170 * more_bytes = cbor_encoder_get_extra_bytes_needed(encoder);
171 * if (more_size) {
172 * // buffer wasn't big enough, try again
173 * size += more_bytes;
174 * continue;
175 * }
176 *
177 * *bufsize = cbor_encoder_get_buffer_size(encoder, buf);
178 * return buf;
179 * }
180 * error:
181 * free(buf);
182 * return NULL;
183 * }
184 * \endcode
Thiago Macieira46a818e2015-10-08 15:13:05 +0200185 */
186
187/**
188 * \addtogroup CborEncoding
189 * @{
190 */
191
192/**
193 * \struct CborEncoder
194 * Structure used to encode to CBOR.
195 */
196
197/**
198 * Initializes a CborEncoder structure \a encoder by pointing it to buffer \a
199 * buffer of size \a size. The \a flags field is currently unused and must be
200 * zero.
201 */
Thiago Macieira5752ce52015-06-16 12:10:03 -0700202void cbor_encoder_init(CborEncoder *encoder, uint8_t *buffer, size_t size, int flags)
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700203{
Thiago Macieira4628a112016-07-30 23:04:46 -0700204 encoder->ptr = buffer;
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700205 encoder->end = buffer + size;
Thiago Macieira4e9626c2015-09-21 14:57:17 -0700206 encoder->added = 0;
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700207 encoder->flags = flags;
208}
209
Thiago Macieira5752ce52015-06-16 12:10:03 -0700210static inline void put16(void *where, uint16_t v)
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700211{
Thiago Macieira5934a9f2015-06-16 11:55:28 -0700212 v = cbor_htons(v);
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700213 memcpy(where, &v, sizeof(v));
214}
215
Thiago Macieiradbc01292016-06-06 17:02:25 -0700216/* Note: Since this is currently only used in situations where OOM is the only
217 * valid error, we KNOW this to be true. Thus, this function now returns just 'true',
218 * but if in the future, any function starts returning a non-OOM error, this will need
219 * to be changed to the test. At the moment, this is done to prevent more branches
220 * being created in the tinycbor output */
Erich Keane47a78562015-08-10 15:19:50 -0700221static inline bool isOomError(CborError err)
222{
223 (void) err;
224 return true;
225}
226
Thiago Macieira5752ce52015-06-16 12:10:03 -0700227static inline void put32(void *where, uint32_t v)
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700228{
Thiago Macieira5934a9f2015-06-16 11:55:28 -0700229 v = cbor_htonl(v);
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700230 memcpy(where, &v, sizeof(v));
231}
232
Thiago Macieira5752ce52015-06-16 12:10:03 -0700233static inline void put64(void *where, uint64_t v)
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700234{
Thiago Macieira5934a9f2015-06-16 11:55:28 -0700235 v = cbor_htonll(v);
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700236 memcpy(where, &v, sizeof(v));
237}
238
Thiago Macieira397f9792015-09-18 19:36:26 -0700239static inline bool would_overflow(CborEncoder *encoder, size_t len)
240{
241 ptrdiff_t remaining = (ptrdiff_t)encoder->end;
Thiago Macieira4628a112016-07-30 23:04:46 -0700242 remaining -= remaining ? (ptrdiff_t)encoder->ptr : encoder->bytes_needed;
Thiago Macieira397f9792015-09-18 19:36:26 -0700243 remaining -= (ptrdiff_t)len;
244 return unlikely(remaining < 0);
245}
246
247static inline void advance_ptr(CborEncoder *encoder, size_t n)
248{
249 if (encoder->end)
Thiago Macieira4628a112016-07-30 23:04:46 -0700250 encoder->ptr += n;
Thiago Macieira397f9792015-09-18 19:36:26 -0700251 else
Thiago Macieira4628a112016-07-30 23:04:46 -0700252 encoder->bytes_needed += n;
Thiago Macieira397f9792015-09-18 19:36:26 -0700253}
254
Thiago Macieira5752ce52015-06-16 12:10:03 -0700255static inline CborError append_to_buffer(CborEncoder *encoder, const void *data, size_t len)
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700256{
Thiago Macieira397f9792015-09-18 19:36:26 -0700257 if (would_overflow(encoder, len)) {
Erich Keane47a78562015-08-10 15:19:50 -0700258 if (encoder->end != NULL) {
Thiago Macieira4628a112016-07-30 23:04:46 -0700259 len -= encoder->end - encoder->ptr;
Thiago Macieira397f9792015-09-18 19:36:26 -0700260 encoder->end = NULL;
Thiago Macieira4628a112016-07-30 23:04:46 -0700261 encoder->bytes_needed = 0;
Erich Keane47a78562015-08-10 15:19:50 -0700262 }
263
Thiago Macieira397f9792015-09-18 19:36:26 -0700264 advance_ptr(encoder, len);
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700265 return CborErrorOutOfMemory;
Erich Keane47a78562015-08-10 15:19:50 -0700266 }
267
Thiago Macieira4628a112016-07-30 23:04:46 -0700268 memcpy(encoder->ptr, data, len);
269 encoder->ptr += len;
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700270 return CborNoError;
271}
272
Thiago Macieira5752ce52015-06-16 12:10:03 -0700273static inline CborError append_byte_to_buffer(CborEncoder *encoder, uint8_t byte)
Thiago Macieira8f7bd9e2015-05-12 13:37:46 +0900274{
Thiago Macieira618d2f12015-09-22 09:14:29 -0700275 return append_to_buffer(encoder, &byte, 1);
Thiago Macieira8f7bd9e2015-05-12 13:37:46 +0900276}
277
Thiago Macieira4e9626c2015-09-21 14:57:17 -0700278static inline CborError encode_number_no_update(CborEncoder *encoder, uint64_t ui, uint8_t shiftedMajorType)
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700279{
Thiago Macieiraafa4ff62015-05-09 10:09:55 -0700280 /* Little-endian would have been so much more convenient here:
281 * We could just write at the beginning of buf but append_to_buffer
282 * only the necessary bytes.
283 * Since it has to be big endian, do it the other way around:
284 * write from the end. */
Thiago Macieira510e5b82015-09-21 16:05:02 -0700285 uint64_t buf[2];
286 uint8_t *const bufend = (uint8_t *)buf + sizeof(buf);
Thiago Macieira5752ce52015-06-16 12:10:03 -0700287 uint8_t *bufstart = bufend - 1;
Thiago Macieiradbc01292016-06-06 17:02:25 -0700288 put64(buf + 1, ui); /* we probably have a bunch of zeros in the beginning */
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700289
290 if (ui < Value8Bit) {
Thiago Macieiraafa4ff62015-05-09 10:09:55 -0700291 *bufstart += shiftedMajorType;
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700292 } else {
alradmsft9ba47912016-10-11 17:56:15 -0700293 uint8_t more = 0;
Thiago Macieira13c85792015-07-07 16:15:41 -0700294 if (ui > 0xffU)
Thiago Macieiraafa4ff62015-05-09 10:09:55 -0700295 ++more;
Thiago Macieira13c85792015-07-07 16:15:41 -0700296 if (ui > 0xffffU)
Thiago Macieiraafa4ff62015-05-09 10:09:55 -0700297 ++more;
Thiago Macieira13c85792015-07-07 16:15:41 -0700298 if (ui > 0xffffffffU)
Thiago Macieiraafa4ff62015-05-09 10:09:55 -0700299 ++more;
Thiago Macieirae12dfd02016-06-07 16:29:25 -0700300 bufstart -= (size_t)1 << more;
Thiago Macieiraafa4ff62015-05-09 10:09:55 -0700301 *bufstart = shiftedMajorType + Value8Bit + more;
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700302 }
303
Thiago Macieiraafa4ff62015-05-09 10:09:55 -0700304 return append_to_buffer(encoder, bufstart, bufend - bufstart);
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700305}
306
Thiago Macieira4e9626c2015-09-21 14:57:17 -0700307static inline CborError encode_number(CborEncoder *encoder, uint64_t ui, uint8_t shiftedMajorType)
308{
309 ++encoder->added;
310 return encode_number_no_update(encoder, ui, shiftedMajorType);
311}
312
Thiago Macieira46a818e2015-10-08 15:13:05 +0200313/**
314 * Appends the unsigned 64-bit integer \a value to the CBOR stream provided by
315 * \a encoder.
316 *
317 * \sa cbor_encode_negative_int, cbor_encode_int
318 */
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700319CborError cbor_encode_uint(CborEncoder *encoder, uint64_t value)
320{
321 return encode_number(encoder, value, UnsignedIntegerType << MajorTypeShift);
322}
323
Thiago Macieira46a818e2015-10-08 15:13:05 +0200324/**
325 * Appends the negative 64-bit integer whose absolute value is \a
326 * absolute_value to the CBOR stream provided by \a encoder.
327 *
328 * \sa cbor_encode_uint, cbor_encode_int
329 */
Thiago Macieira78632b32015-09-26 14:18:48 -0700330CborError cbor_encode_negative_int(CborEncoder *encoder, uint64_t absolute_value)
331{
332 return encode_number(encoder, absolute_value, NegativeIntegerType << MajorTypeShift);
333}
334
Thiago Macieira46a818e2015-10-08 15:13:05 +0200335/**
336 * Appends the signed 64-bit integer \a value to the CBOR stream provided by
337 * \a encoder.
338 *
339 * \sa cbor_encode_negative_int, cbor_encode_uint
340 */
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700341CborError cbor_encode_int(CborEncoder *encoder, int64_t value)
342{
Thiago Macieiradbc01292016-06-06 17:02:25 -0700343 /* adapted from code in RFC 7049 appendix C (pseudocode) */
344 uint64_t ui = value >> 63; /* extend sign to whole length */
345 uint8_t majorType = ui & 0x20; /* extract major type */
346 ui ^= value; /* complement negatives */
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700347 return encode_number(encoder, ui, majorType);
348}
349
Thiago Macieira46a818e2015-10-08 15:13:05 +0200350/**
351 * Appends the CBOR Simple Type of value \a value to the CBOR stream provided by
352 * \a encoder.
353 *
354 * This function may return error CborErrorIllegalSimpleType if the \a value
355 * variable contains a number that is not a valid simple type.
356 */
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700357CborError cbor_encode_simple_value(CborEncoder *encoder, uint8_t value)
358{
359#ifndef CBOR_ENCODER_NO_CHECK_USER
Thiago Macieiradbc01292016-06-06 17:02:25 -0700360 /* check if this is a valid simple type */
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700361 if (value >= HalfPrecisionFloat && value <= Break)
362 return CborErrorIllegalSimpleType;
363#endif
364 return encode_number(encoder, value, SimpleTypesType << MajorTypeShift);
365}
366
Thiago Macieira46a818e2015-10-08 15:13:05 +0200367/**
368 * Appends the floating-point value of type \a fpType and pointed to by \a
369 * value to the CBOR stream provided by \a encoder. The value of \a fpType must
370 * be one of CborHalfFloatType, CborFloatType or CborDoubleType, otherwise the
371 * behavior of this function is undefined.
372 *
373 * This function is useful for code that needs to pass through floating point
374 * values but does not wish to have the actual floating-point code.
375 *
376 * \sa cbor_encode_half_float, cbor_encode_float, cbor_encode_double
377 */
Thiago Macieira81f33432015-07-02 16:16:28 -0700378CborError cbor_encode_floating_point(CborEncoder *encoder, CborType fpType, const void *value)
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700379{
Thiago Macieira81f33432015-07-02 16:16:28 -0700380 uint8_t buf[1 + sizeof(uint64_t)];
381 assert(fpType == CborHalfFloatType || fpType == CborFloatType || fpType == CborDoubleType);
382 buf[0] = fpType;
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700383
Thiago Macieira81f33432015-07-02 16:16:28 -0700384 unsigned size = 2U << (fpType - CborHalfFloatType);
385 if (size == 8)
386 put64(buf + 1, *(const uint64_t*)value);
387 else if (size == 4)
388 put32(buf + 1, *(const uint32_t*)value);
389 else
390 put16(buf + 1, *(const uint16_t*)value);
Thiago Macieira4e9626c2015-09-21 14:57:17 -0700391 ++encoder->added;
Thiago Macieira81f33432015-07-02 16:16:28 -0700392 return append_to_buffer(encoder, buf, size + 1);
Thiago Macieiraf1cadf02015-05-08 17:19:17 -0700393}
Thiago Macieira8f98a112015-05-08 17:25:29 -0700394
Thiago Macieira46a818e2015-10-08 15:13:05 +0200395/**
396 * Appends the CBOR tag \a tag to the CBOR stream provided by \a encoder.
397 *
398 * \sa CborTag
399 */
Thiago Macieira8f98a112015-05-08 17:25:29 -0700400CborError cbor_encode_tag(CborEncoder *encoder, CborTag tag)
401{
Thiago Macieiradbc01292016-06-06 17:02:25 -0700402 /* tags don't count towards the number of elements in an array or map */
Thiago Macieira4e9626c2015-09-21 14:57:17 -0700403 return encode_number_no_update(encoder, tag, TagType << MajorTypeShift);
Thiago Macieira8f98a112015-05-08 17:25:29 -0700404}
Thiago Macieirab54debe2015-05-08 17:42:39 -0700405
Thiago Macieira5752ce52015-06-16 12:10:03 -0700406static CborError encode_string(CborEncoder *encoder, size_t length, uint8_t shiftedMajorType, const void *string)
Thiago Macieirab54debe2015-05-08 17:42:39 -0700407{
408 CborError err = encode_number(encoder, length, shiftedMajorType);
Erich Keane47a78562015-08-10 15:19:50 -0700409 if (err && !isOomError(err))
Thiago Macieirab54debe2015-05-08 17:42:39 -0700410 return err;
411 return append_to_buffer(encoder, string, length);
412}
413
Thiago Macieira46a818e2015-10-08 15:13:05 +0200414/**
415 * \fn CborError cbor_encode_text_stringz(CborEncoder *encoder, const char *string)
416 *
417 * Appends the null-terminated text string \a string to the CBOR stream
418 * provided by \a encoder. CBOR requires that \a string be valid UTF-8, but
419 * TinyCBOR makes no verification of correctness. The terminating null is not
420 * included in the stream.
421 *
422 * \sa cbor_encode_text_string, cbor_encode_byte_string
423 */
424
425/**
426 * Appends the text string \a string of length \a length 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.
429 *
430 * \sa CborError cbor_encode_text_stringz, cbor_encode_byte_string
431 */
Thiago Macieira5752ce52015-06-16 12:10:03 -0700432CborError cbor_encode_byte_string(CborEncoder *encoder, const uint8_t *string, size_t length)
Thiago Macieirab54debe2015-05-08 17:42:39 -0700433{
434 return encode_string(encoder, length, ByteStringType << MajorTypeShift, string);
435}
436
Thiago Macieira46a818e2015-10-08 15:13:05 +0200437/**
438 * Appends the byte string \a string of length \a length to the CBOR stream
439 * provided by \a encoder. CBOR byte strings are arbitrary raw data.
440 *
441 * \sa cbor_encode_text_stringz, cbor_encode_text_string
442 */
Thiago Macieirab54debe2015-05-08 17:42:39 -0700443CborError cbor_encode_text_string(CborEncoder *encoder, const char *string, size_t length)
444{
445 return encode_string(encoder, length, TextStringType << MajorTypeShift, string);
446}
Thiago Macieira355817e2015-05-08 18:38:18 -0700447
Thiago Macieira56635242015-09-20 17:44:51 -0700448#ifdef __GNUC__
449__attribute__((noinline))
450#endif
451static CborError create_container(CborEncoder *encoder, CborEncoder *container, size_t length, uint8_t shiftedMajorType)
Thiago Macieira355817e2015-05-08 18:38:18 -0700452{
Thiago Macieira8f7bd9e2015-05-12 13:37:46 +0900453 CborError err;
Thiago Macieira4628a112016-07-30 23:04:46 -0700454 container->ptr = encoder->ptr;
Thiago Macieira4e9626c2015-09-21 14:57:17 -0700455 container->end = encoder->end;
456 ++encoder->added;
457 container->added = 0;
458
459 cbor_static_assert(((MapType << MajorTypeShift) & CborIteratorFlag_ContainerIsMap) == CborIteratorFlag_ContainerIsMap);
460 cbor_static_assert(((ArrayType << MajorTypeShift) & CborIteratorFlag_ContainerIsMap) == 0);
461 container->flags = shiftedMajorType & CborIteratorFlag_ContainerIsMap;
462
463 if (length == CborIndefiniteLength) {
464 container->flags |= CborIteratorFlag_UnknownLength;
465 err = append_byte_to_buffer(container, shiftedMajorType + IndefiniteLength);
466 } else {
467 err = encode_number_no_update(container, length, shiftedMajorType);
468 }
Erich Keane47a78562015-08-10 15:19:50 -0700469 if (err && !isOomError(err))
Thiago Macieira355817e2015-05-08 18:38:18 -0700470 return err;
Thiago Macieira8f7bd9e2015-05-12 13:37:46 +0900471
Thiago Macieira355817e2015-05-08 18:38:18 -0700472 return CborNoError;
473}
474
Thiago Macieira46a818e2015-10-08 15:13:05 +0200475/**
476 * Creates a CBOR array in the CBOR stream provided by \a encoder and
477 * initializes \a arrayEncoder so that items can be added to the array using
478 * the CborEncoder functions. The array must be terminated by calling either
479 * cbor_encoder_close_container() or cbor_encoder_close_container_checked()
480 * with the same \a encoder and \a arrayEncoder parameters.
481 *
482 * The number of items inserted into the array must be exactly \a length items,
483 * otherwise the stream is invalid. If the number of items is not known when
484 * creating the array, the constant \ref CborIndefiniteLength may be passed as
485 * length instead.
486 *
487 * \sa cbor_encoder_create_map
488 */
Thiago Macieira355817e2015-05-08 18:38:18 -0700489CborError cbor_encoder_create_array(CborEncoder *encoder, CborEncoder *arrayEncoder, size_t length)
490{
Thiago Macieira56635242015-09-20 17:44:51 -0700491 return create_container(encoder, arrayEncoder, length, ArrayType << MajorTypeShift);
Thiago Macieira355817e2015-05-08 18:38:18 -0700492}
493
Thiago Macieira46a818e2015-10-08 15:13:05 +0200494/**
495 * Creates a CBOR map in the CBOR stream provided by \a encoder and
496 * initializes \a mapEncoder so that items can be added to the map using
497 * the CborEncoder functions. The map must be terminated by calling either
498 * cbor_encoder_close_container() or cbor_encoder_close_container_checked()
499 * with the same \a encoder and \a mapEncoder parameters.
500 *
501 * The number of pair of items inserted into the map must be exactly \a length
502 * items, otherwise the stream is invalid. If the number of items is not known
503 * when creating the map, the constant \ref CborIndefiniteLength may be passed as
504 * length instead.
505 *
506 * \b{Implementation limitation:} TinyCBOR cannot encode more than SIZE_MAX/2
507 * key-value pairs in the stream. If the length \a length is larger than this
508 * value, this function returns error CborErrorDataTooLarge.
509 *
510 * \sa cbor_encoder_create_array
511 */
Thiago Macieira355817e2015-05-08 18:38:18 -0700512CborError cbor_encoder_create_map(CborEncoder *encoder, CborEncoder *mapEncoder, size_t length)
513{
Thiago Macieira4e9626c2015-09-21 14:57:17 -0700514 if (length != CborIndefiniteLength && length > SIZE_MAX / 2)
515 return CborErrorDataTooLarge;
Thiago Macieira56635242015-09-20 17:44:51 -0700516 return create_container(encoder, mapEncoder, length, MapType << MajorTypeShift);
Thiago Macieira355817e2015-05-08 18:38:18 -0700517}
518
Thiago Macieira46a818e2015-10-08 15:13:05 +0200519/**
520 * Closes the CBOR container (array or map) provided by \a containerEncoder and
521 * updates the CBOR stream provided by \a encoder. Both parameters must be the
522 * same as were passed to cbor_encoder_create_array() or
523 * cbor_encoder_create_map().
524 *
525 * This function does not verify that the number of items (or pair of items, in
526 * the case of a map) was correct. To execute that verification, call
527 * cbor_encoder_close_container_checked() instead.
528 *
529 * \sa cbor_encoder_create_array(), cbor_encoder_create_map()
530 */
Thiago Macieira355817e2015-05-08 18:38:18 -0700531CborError cbor_encoder_close_container(CborEncoder *encoder, const CborEncoder *containerEncoder)
532{
Thiago Macieira397f9792015-09-18 19:36:26 -0700533 if (encoder->end)
Thiago Macieira4628a112016-07-30 23:04:46 -0700534 encoder->ptr = containerEncoder->ptr;
Thiago Macieira397f9792015-09-18 19:36:26 -0700535 else
Thiago Macieira4628a112016-07-30 23:04:46 -0700536 encoder->bytes_needed = containerEncoder->bytes_needed;
Erich Keane47a78562015-08-10 15:19:50 -0700537 encoder->end = containerEncoder->end;
Thiago Macieira8f7bd9e2015-05-12 13:37:46 +0900538 if (containerEncoder->flags & CborIteratorFlag_UnknownLength)
539 return append_byte_to_buffer(encoder, BreakByte);
Thiago Macieira355817e2015-05-08 18:38:18 -0700540 return CborNoError;
541}
Thiago Macieira46a818e2015-10-08 15:13:05 +0200542
543/**
544 * \fn CborError cbor_encode_boolean(CborEncoder *encoder, bool value)
545 *
546 * Appends the boolean value \a value to the CBOR stream provided by \a encoder.
547 */
548
549/**
550 * \fn CborError cbor_encode_null(CborEncoder *encoder)
551 *
552 * Appends the CBOR type representing a null value to the CBOR stream provided
553 * by \a encoder.
554 *
555 * \sa cbor_encode_undefined()
556 */
557
558/**
559 * \fn CborError cbor_encode_undefined(CborEncoder *encoder)
560 *
561 * Appends the CBOR type representing an undefined value to the CBOR stream
562 * provided by \a encoder.
563 *
564 * \sa cbor_encode_null()
565 */
566
567/**
568 * \fn CborError cbor_encode_half_float(CborEncoder *encoder, const void *value)
569 *
570 * Appends the IEEE 754 half-precision (16-bit) floating point value pointed to
571 * by \a value to the CBOR stream provided by \a encoder.
572 *
573 * \sa cbor_encode_floating_point(), cbor_encode_float(), cbor_encode_double()
574 */
575
576/**
577 * \fn CborError cbor_encode_float(CborEncoder *encoder, float value)
578 *
579 * Appends the IEEE 754 single-precision (32-bit) floating point value \a value
580 * to the CBOR stream provided by \a encoder.
581 *
582 * \sa cbor_encode_floating_point(), cbor_encode_half_float(), cbor_encode_double()
583 */
584
585/**
586 * \fn CborError cbor_encode_double(CborEncoder *encoder, double value)
587 *
588 * Appends the IEEE 754 double-precision (64-bit) floating point value \a value
589 * to the CBOR stream provided by \a encoder.
590 *
591 * \sa cbor_encode_floating_point(), cbor_encode_half_float(), cbor_encode_float()
592 */
593
Thiago Macieira7ae36a72015-10-28 16:19:23 -0700594/**
595 * \fn size_t cbor_encoder_get_buffer_size(const CborEncoder *encoder, const uint8_t *buffer)
596 *
597 * Returns the total size of the buffer starting at \a buffer after the
598 * encoding finished without errors. The \a encoder and \a buffer arguments
599 * must be the same as supplied to cbor_encoder_init().
600 *
601 * If the encoding process had errors, the return value of this function is
602 * meaningless. If the only errors were CborErrorOutOfMemory, instead use
603 * cbor_encoder_get_extra_bytes_needed() to find out by how much to grow the
604 * buffer before encoding again.
605 *
606 * See \ref CborEncoding for an example of using this function.
607 *
608 * \sa cbor_encoder_init(), cbor_encoder_get_extra_bytes_needed(), CborEncoding
609 */
610
611/**
612 * \fn size_t cbor_encoder_get_extra_bytes_needed(const CborEncoder *encoder)
613 *
614 * Returns how many more bytes the original buffer supplied to
615 * cbor_encoder_init() needs to be extended by so that no CborErrorOutOfMemory
616 * condition will happen for the encoding. If the buffer was big enough, this
617 * function returns 0. The \a encoder must be the original argument as passed
618 * to cbor_encoder_init().
619 *
620 * This function is usually called after an encoding sequence ended with one or
621 * more CborErrorOutOfMemory errors, but no other error. If any other error
622 * happened, the return value of this function is meaningless.
623 *
624 * See \ref CborEncoding for an example of using this function.
625 *
626 * \sa cbor_encoder_init(), cbor_encoder_get_buffer_size(), CborEncoding
627 */
628
Thiago Macieira46a818e2015-10-08 15:13:05 +0200629/** @} */