2 * Copyright © 2007, 2008 Ryan Lortie
3 * Copyright © 2010 Codethink Limited
5 * This library is free software; you can redistribute it and/or
6 * modify it under the terms of the GNU Lesser General Public
7 * License as published by the Free Software Foundation; either
8 * version 2 of the licence, or (at your option) any later version.
10 * This library is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 * Lesser General Public License for more details.
15 * You should have received a copy of the GNU Lesser General Public
16 * License along with this library; if not, write to the
17 * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
18 * Boston, MA 02111-1307, USA.
20 * Author: Ryan Lortie <desrt@desrt.ca>
27 #include <glib/gvariant-serialiser.h>
28 #include "gvariant-internal.h"
29 #include <glib/gvariant-core.h>
30 #include <glib/gtestutils.h>
31 #include <glib/gstrfuncs.h>
32 #include <glib/ghash.h>
33 #include <glib/gmem.h>
42 * @short_description: strongly typed value datatype
43 * @see_also: GVariantType
45 * #GVariant is a variant datatype; it stores a value along with
46 * information about the type of that value. The range of possible
47 * values is determined by the type. The type system used by #GVariant
50 * #GVariant instances always have a type and a value (which are given
51 * at construction time). The type and value of a #GVariant instance
52 * can never change other than by the #GVariant itself being
53 * destroyed. A #GVariant can not contain a pointer.
55 * #GVariant is reference counted using g_variant_ref() and
56 * g_variant_unref(). #GVariant also has floating reference counts --
57 * see g_variant_ref_sink().
59 * #GVariant is completely threadsafe. A #GVariant instance can be
60 * concurrently accessed in any way from any number of threads without
63 * #GVariant is heavily optimised for dealing with data in serialised
64 * form. It works particularly well with data located in memory-mapped
65 * files. It can perform nearly all deserialisation operations in a
66 * small constant time, usually touching only a single memory page.
67 * Serialised #GVariant data can also be sent over the network.
69 * #GVariant is largely compatible with DBus. Almost all types of
70 * #GVariant instances can be sent over DBus. See #GVariantType for
73 * For convenience to C programmers, #GVariant features powerful
74 * varargs-based value construction and destruction. This feature is
75 * designed to be embedded in other libraries.
77 * There is a Python-inspired text language for describing #GVariant
78 * values. #GVariant includes a printer for this language and a parser
79 * with type inferencing.
82 * <title>Memory Use</title>
84 * #GVariant tries to be quite efficient with respect to memory use.
85 * This section gives a rough idea of how much memory is used by the
86 * current implementation. The information here is subject to change
90 * The memory allocated by #GVariant can be grouped into 4 broad
91 * purposes: memory for serialised data, memory for the type
92 * information cache, buffer management memory and memory for the
93 * #GVariant structure itself.
96 * <title>Serialised Data Memory</title>
98 * This is the memory that is used for storing GVariant data in
99 * serialised form. This is what would be sent over the network or
100 * what would end up on disk.
103 * The amount of memory required to store a boolean is 1 byte. 16,
104 * 32 and 64 bit integers and double precision floating point numbers
105 * use their "natural" size. Strings (including object path and
106 * signature strings) are stored with a nul terminator, and as such
107 * use the length of the string plus 1 byte.
110 * Maybe types use no space at all to represent the null value and
111 * use the same amount of space (sometimes plus one byte) as the
112 * equivalent non-maybe-typed value to represent the non-null case.
115 * Arrays use the amount of space required to store each of their
116 * members, concatenated. Additionally, if the items stored in an
117 * array are not of a fixed-size (ie: strings, other arrays, etc)
118 * then an additional framing offset is stored for each item. The
119 * size of this offset is either 1, 2 or 4 bytes depending on the
120 * overall size of the container. Additionally, extra padding bytes
121 * are added as required for alignment of child values.
124 * Tuples (including dictionary entries) use the amount of space
125 * required to store each of their members, concatenated, plus one
126 * framing offset (as per arrays) for each non-fixed-sized item in
127 * the tuple, except for the last one. Additionally, extra padding
128 * bytes are added as required for alignment of child values.
131 * Variants use the same amount of space as the item inside of the
132 * variant, plus 1 byte, plus the length of the type string for the
133 * item inside the variant.
136 * As an example, consider a dictionary mapping strings to variants.
137 * In the case that the dictionary is empty, 0 bytes are required for
141 * If we add an item "width" that maps to the int32 value of 500 then
142 * we will use 4 byte to store the int32 (so 6 for the variant
143 * containing it) and 6 bytes for the string. The variant must be
144 * aligned to 8 after the 6 bytes of the string, so that's 2 extra
145 * bytes. 6 (string) + 2 (padding) + 6 (variant) is 14 bytes used
146 * for the dictionary entry. An additional 1 byte is added to the
147 * array as a framing offset making a total of 15 bytes.
150 * If we add another entry, "title" that maps to a nullable string
151 * that happens to have a value of null, then we use 0 bytes for the
152 * null value (and 3 bytes for the variant to contain it along with
153 * its type string) plus 6 bytes for the string. Again, we need 2
154 * padding bytes. That makes a total of 6 + 2 + 3 = 11 bytes.
157 * We now require extra padding between the two items in the array.
158 * After the 14 bytes of the first item, that's 2 bytes required. We
159 * now require 2 framing offsets for an extra two bytes. 14 + 2 + 11
160 * + 2 = 29 bytes to encode the entire two-item dictionary.
164 * <title>Type Information Cache</title>
166 * For each GVariant type that currently exists in the program a type
167 * information structure is kept in the type information cache. The
168 * type information structure is required for rapid deserialisation.
171 * Continuing with the above example, if a #GVariant exists with the
172 * type "a{sv}" then a type information struct will exist for
173 * "a{sv}", "{sv}", "s", and "v". Multiple uses of the same type
174 * will share the same type information. Additionally, all
175 * single-digit types are stored in read-only static memory and do
176 * not contribute to the writable memory footprint of a program using
180 * Aside from the type information structures stored in read-only
181 * memory, there are two forms of type information. One is used for
182 * container types where there is a single element type: arrays and
183 * maybe types. The other is used for container types where there
184 * are multiple element types: tuples and dictionary entries.
187 * Array type info structures are 6 * sizeof (void *), plus the
188 * memory required to store the type string itself. This means that
189 * on 32bit systems, the cache entry for "a{sv}" would require 30
190 * bytes of memory (plus malloc overhead).
193 * Tuple type info structures are 6 * sizeof (void *), plus 4 *
194 * sizeof (void *) for each item in the tuple, plus the memory
195 * required to store the type string itself. A 2-item tuple, for
196 * example, would have a type information structure that consumed
197 * writable memory in the size of 14 * sizeof (void *) (plus type
198 * string) This means that on 32bit systems, the cache entry for
199 * "{sv}" would require 61 bytes of memory (plus malloc overhead).
202 * This means that in total, for our "a{sv}" example, 91 bytes of
203 * type information would be allocated.
206 * The type information cache, additionally, uses a #GHashTable to
207 * store and lookup the cached items and stores a pointer to this
208 * hash table in static storage. The hash table is freed when there
209 * are zero items in the type cache.
212 * Although these sizes may seem large it is important to remember
213 * that a program will probably only have a very small number of
214 * different types of values in it and that only one type information
215 * structure is required for many different values of the same type.
219 * <title>Buffer Management Memory</title>
221 * #GVariant uses an internal buffer management structure to deal
222 * with the various different possible sources of serialised data
223 * that it uses. The buffer is responsible for ensuring that the
224 * correct call is made when the data is no longer in use by
225 * #GVariant. This may involve a g_free() or a g_slice_free() or
226 * even g_mapped_file_unref().
229 * One buffer management structure is used for each chunk of
230 * serialised data. The size of the buffer management structure is 4
231 * * (void *). On 32bit systems, that's 16 bytes.
235 * <title>GVariant structure</title>
237 * The size of a #GVariant structure is 6 * (void *). On 32 bit
238 * systems, that's 24 bytes.
241 * #GVariant structures only exist if they are explicitly created
242 * with API calls. For example, if a #GVariant is constructed out of
243 * serialised data for the example given above (with the dictionary)
244 * then although there are 9 individual values that comprise the
245 * entire dictionary (two keys, two values, two variants containing
246 * the values, two dictionary entries, plus the dictionary itself),
247 * only 1 #GVariant instance exists -- the one refering to the
251 * If calls are made to start accessing the other values then
252 * #GVariant instances will exist for those values only for as long
253 * as they are in use (ie: until you call g_variant_unref()). The
254 * type information is shared. The serialised data and the buffer
255 * management structure for that serialised data is shared by the
260 * <title>Summary</title>
262 * To put the entire example together, for our dictionary mapping
263 * strings to variants (with two entries, as given above), we are
264 * using 91 bytes of memory for type information, 29 byes of memory
265 * for the serialised data, 16 bytes for buffer management and 24
266 * bytes for the #GVariant instance, or a total of 160 bytes, plus
267 * malloc overhead. If we were to use g_variant_get_child_value() to
268 * access the two dictionary entries, we would use an additional 48
269 * bytes. If we were to have other dictionaries of the same type, we
270 * would use more memory for the serialised data and buffer
271 * management for those dictionaries, but the type information would
278 /* definition of GVariant structure is in gvariant-core.c */
280 /* this is a g_return_val_if_fail() for making
281 * sure a (GVariant *) has the required type.
283 #define TYPE_CHECK(value, TYPE, val) \
284 if G_UNLIKELY (!g_variant_is_of_type (value, TYPE)) { \
285 g_return_if_fail_warning (G_LOG_DOMAIN, G_STRFUNC, \
286 "g_variant_is_of_type (" #value \
291 /* Numeric Type Constructor/Getters {{{1 */
293 * g_variant_new_from_trusted:
294 * @type: the #GVariantType
295 * @data: the data to use
296 * @size: the size of @data
297 * @returns: a new floating #GVariant
299 * Constructs a new trusted #GVariant instance from the provided data.
300 * This is used to implement g_variant_new_* for all the basic types.
303 g_variant_new_from_trusted (const GVariantType *type,
310 buffer = g_buffer_new_from_data (data, size);
311 value = g_variant_new_from_buffer (type, buffer, TRUE);
312 g_buffer_unref (buffer);
318 * g_variant_new_boolean:
319 * @boolean: a #gboolean value
320 * @returns: a new boolean #GVariant instance
322 * Creates a new boolean #GVariant instance -- either %TRUE or %FALSE.
327 g_variant_new_boolean (gboolean value)
331 return g_variant_new_from_trusted (G_VARIANT_TYPE_BOOLEAN, &v, 1);
335 * g_variant_get_boolean:
336 * @value: a boolean #GVariant instance
337 * @returns: %TRUE or %FALSE
339 * Returns the boolean value of @value.
341 * It is an error to call this function with a @value of any type
342 * other than %G_VARIANT_TYPE_BOOLEAN.
347 g_variant_get_boolean (GVariant *value)
351 TYPE_CHECK (value, G_VARIANT_TYPE_BOOLEAN, FALSE);
353 data = g_variant_get_data (value);
355 return data != NULL ? *data != 0 : FALSE;
358 /* the constructors and accessors for byte, int{16,32,64}, handles and
359 * doubles all look pretty much exactly the same, so we reduce
362 #define NUMERIC_TYPE(TYPE, type, ctype) \
363 GVariant *g_variant_new_##type (ctype value) { \
364 return g_variant_new_from_trusted (G_VARIANT_TYPE_##TYPE, \
365 &value, sizeof value); \
367 ctype g_variant_get_##type (GVariant *value) { \
369 TYPE_CHECK (value, G_VARIANT_TYPE_ ## TYPE, 0); \
370 data = g_variant_get_data (value); \
371 return data != NULL ? *data : 0; \
376 * g_variant_new_byte:
377 * @byte: a #guint8 value
378 * @returns: a new byte #GVariant instance
380 * Creates a new byte #GVariant instance.
385 * g_variant_get_byte:
386 * @value: a byte #GVariant instance
387 * @returns: a #guchar
389 * Returns the byte value of @value.
391 * It is an error to call this function with a @value of any type
392 * other than %G_VARIANT_TYPE_BYTE.
396 NUMERIC_TYPE (BYTE, byte, guchar)
399 * g_variant_new_int16:
400 * @int16: a #gint16 value
401 * @returns: a new int16 #GVariant instance
403 * Creates a new int16 #GVariant instance.
408 * g_variant_get_int16:
409 * @value: a int16 #GVariant instance
410 * @returns: a #gint16
412 * Returns the 16-bit signed integer value of @value.
414 * It is an error to call this function with a @value of any type
415 * other than %G_VARIANT_TYPE_INT16.
419 NUMERIC_TYPE (INT16, int16, gint16)
422 * g_variant_new_uint16:
423 * @uint16: a #guint16 value
424 * @returns: a new uint16 #GVariant instance
426 * Creates a new uint16 #GVariant instance.
431 * g_variant_get_uint16:
432 * @value: a uint16 #GVariant instance
433 * @returns: a #guint16
435 * Returns the 16-bit unsigned integer value of @value.
437 * It is an error to call this function with a @value of any type
438 * other than %G_VARIANT_TYPE_UINT16.
442 NUMERIC_TYPE (UINT16, uint16, guint16)
445 * g_variant_new_int32:
446 * @int32: a #gint32 value
447 * @returns: a new int32 #GVariant instance
449 * Creates a new int32 #GVariant instance.
454 * g_variant_get_int32:
455 * @value: a int32 #GVariant instance
456 * @returns: a #gint32
458 * Returns the 32-bit signed integer value of @value.
460 * It is an error to call this function with a @value of any type
461 * other than %G_VARIANT_TYPE_INT32.
465 NUMERIC_TYPE (INT32, int32, gint32)
468 * g_variant_new_uint32:
469 * @uint32: a #guint32 value
470 * @returns: a new uint32 #GVariant instance
472 * Creates a new uint32 #GVariant instance.
477 * g_variant_get_uint32:
478 * @value: a uint32 #GVariant instance
479 * @returns: a #guint32
481 * Returns the 32-bit unsigned integer value of @value.
483 * It is an error to call this function with a @value of any type
484 * other than %G_VARIANT_TYPE_UINT32.
488 NUMERIC_TYPE (UINT32, uint32, guint32)
491 * g_variant_new_int64:
492 * @int64: a #gint64 value
493 * @returns: a new int64 #GVariant instance
495 * Creates a new int64 #GVariant instance.
500 * g_variant_get_int64:
501 * @value: a int64 #GVariant instance
502 * @returns: a #gint64
504 * Returns the 64-bit signed integer value of @value.
506 * It is an error to call this function with a @value of any type
507 * other than %G_VARIANT_TYPE_INT64.
511 NUMERIC_TYPE (INT64, int64, gint64)
514 * g_variant_new_uint64:
515 * @uint64: a #guint64 value
516 * @returns: a new uint64 #GVariant instance
518 * Creates a new uint64 #GVariant instance.
523 * g_variant_get_uint64:
524 * @value: a uint64 #GVariant instance
525 * @returns: a #guint64
527 * Returns the 64-bit unsigned integer value of @value.
529 * It is an error to call this function with a @value of any type
530 * other than %G_VARIANT_TYPE_UINT64.
534 NUMERIC_TYPE (UINT64, uint64, guint64)
537 * g_variant_new_handle:
538 * @handle: a #gint32 value
539 * @returns: a new handle #GVariant instance
541 * Creates a new handle #GVariant instance.
543 * By convention, handles are indexes into an array of file descriptors
544 * that are sent alongside a DBus message. If you're not interacting
545 * with DBus, you probably don't need them.
550 * g_variant_get_handle:
551 * @value: a handle #GVariant instance
552 * @returns: a #gint32
554 * Returns the 32-bit signed integer value of @value.
556 * It is an error to call this function with a @value of any type other
557 * than %G_VARIANT_TYPE_HANDLE.
559 * By convention, handles are indexes into an array of file descriptors
560 * that are sent alongside a DBus message. If you're not interacting
561 * with DBus, you probably don't need them.
565 NUMERIC_TYPE (HANDLE, handle, gint32)
568 * g_variant_new_double:
569 * @floating: a #gdouble floating point value
570 * @returns: a new double #GVariant instance
572 * Creates a new double #GVariant instance.
577 * g_variant_get_double:
578 * @value: a double #GVariant instance
579 * @returns: a #gdouble
581 * Returns the double precision floating point value of @value.
583 * It is an error to call this function with a @value of any type
584 * other than %G_VARIANT_TYPE_DOUBLE.
588 NUMERIC_TYPE (DOUBLE, double, gdouble)
590 /* Container type Constructor / Deconstructors {{{1 */
592 * g_variant_new_maybe:
593 * @child_type: the #GVariantType of the child
594 * @child: the child value, or %NULL
595 * @returns: a new #GVariant maybe instance
597 * Depending on if @value is %NULL, either wraps @value inside of a
598 * maybe container or creates a Nothing instance for the given @type.
600 * At least one of @type and @value must be non-%NULL. If @type is
601 * non-%NULL then it must be a definite type. If they are both
602 * non-%NULL then @type must be the type of @value.
607 g_variant_new_maybe (const GVariantType *child_type,
610 GVariantType *maybe_type;
613 g_return_val_if_fail (child_type == NULL || g_variant_type_is_definite
615 g_return_val_if_fail (child_type != NULL || child != NULL, NULL);
616 g_return_val_if_fail (child_type == NULL || child == NULL ||
617 g_variant_is_of_type (child, child_type),
620 if (child_type == NULL)
621 child_type = g_variant_get_type (child);
623 maybe_type = g_variant_type_new_maybe (child_type);
630 children = g_new (GVariant *, 1);
631 children[0] = g_variant_ref_sink (child);
632 trusted = g_variant_is_trusted (children[0]);
634 value = g_variant_new_from_children (maybe_type, children, 1, trusted);
637 value = g_variant_new_from_children (maybe_type, NULL, 0, TRUE);
639 g_variant_type_free (maybe_type);
645 * g_variant_get_maybe:
646 * @value: a maybe-typed value
647 * @returns: the contents of @value, or %NULL
649 * Given a maybe-typed #GVariant instance, extract its value. If the
650 * value is Nothing, then this function returns %NULL.
655 g_variant_get_maybe (GVariant *value)
657 TYPE_CHECK (value, G_VARIANT_TYPE_MAYBE, NULL);
659 if (g_variant_n_children (value))
660 return g_variant_get_child_value (value, 0);
666 * g_variant_new_variant:
667 * @value: a #GVariance instance
668 * @returns: a new variant #GVariant instance
670 * Boxes @value. The result is a #GVariant instance representing a
671 * variant containing the original value.
676 g_variant_new_variant (GVariant *value)
678 g_return_val_if_fail (value != NULL, NULL);
680 g_variant_ref_sink (value);
682 return g_variant_new_from_children (G_VARIANT_TYPE_VARIANT,
683 g_memdup (&value, sizeof value),
684 1, g_variant_is_trusted (value));
688 * g_variant_get_variant:
689 * @value: a variant #GVariance instance
690 * @returns: the item contained in the variant
692 * Unboxes @value. The result is the #GVariant instance that was
693 * contained in @value.
698 g_variant_get_variant (GVariant *value)
700 TYPE_CHECK (value, G_VARIANT_TYPE_VARIANT, NULL);
702 return g_variant_get_child_value (value, 0);
706 * g_variant_new_array:
707 * @child_type: the element type of the new array
708 * @children: an array of #GVariant pointers, the children
709 * @n_children: the length of @children
710 * @returns: a new #GVariant array
712 * Creates a new #GVariant array from @children.
714 * @child_type must be non-%NULL if @n_children is zero. Otherwise, the
715 * child type is determined by inspecting the first element of the
716 * @children array. If @child_type is non-%NULL then it must be a
719 * The items of the array are taken from the @children array. No entry
720 * in the @children array may be %NULL.
722 * All items in the array must have the same type, which must be the
723 * same as @child_type, if given.
728 g_variant_new_array (const GVariantType *child_type,
729 GVariant * const *children,
732 GVariantType *array_type;
733 GVariant **my_children;
738 g_return_val_if_fail (n_children > 0 || child_type != NULL, NULL);
739 g_return_val_if_fail (n_children == 0 || children != NULL, NULL);
740 g_return_val_if_fail (child_type == NULL ||
741 g_variant_type_is_definite (child_type), NULL);
743 my_children = g_new (GVariant *, n_children);
746 if (child_type == NULL)
747 child_type = g_variant_get_type (children[0]);
748 array_type = g_variant_type_new_array (child_type);
750 for (i = 0; i < n_children; i++)
752 TYPE_CHECK (children[i], child_type, NULL);
753 my_children[i] = g_variant_ref_sink (children[i]);
754 trusted &= g_variant_is_trusted (children[i]);
757 value = g_variant_new_from_children (array_type, my_children,
758 n_children, trusted);
759 g_variant_type_free (array_type);
765 * g_variant_make_tuple_type:
766 * @children: an array of GVariant *
767 * @n_children: the length of @children
769 * Return the type of a tuple containing @children as its items.
771 static GVariantType *
772 g_variant_make_tuple_type (GVariant * const *children,
775 const GVariantType **types;
779 types = g_new (const GVariantType *, n_children);
781 for (i = 0; i < n_children; i++)
782 types[i] = g_variant_get_type (children[i]);
784 type = g_variant_type_new_tuple (types, n_children);
791 * g_variant_new_tuple:
792 * @children: the items to make the tuple out of
793 * @n_children: the length of @children
794 * @returns: a new #GVariant tuple
796 * Creates a new tuple #GVariant out of the items in @children. The
797 * type is determined from the types of @children. No entry in the
798 * @children array may be %NULL.
800 * If @n_children is 0 then the unit tuple is constructed.
805 g_variant_new_tuple (GVariant * const *children,
808 GVariantType *tuple_type;
809 GVariant **my_children;
814 g_return_val_if_fail (n_children == 0 || children != NULL, NULL);
816 my_children = g_new (GVariant *, n_children);
819 for (i = 0; i < n_children; i++)
821 my_children[i] = g_variant_ref_sink (children[i]);
822 trusted &= g_variant_is_trusted (children[i]);
825 tuple_type = g_variant_make_tuple_type (children, n_children);
826 value = g_variant_new_from_children (tuple_type, my_children,
827 n_children, trusted);
828 g_variant_type_free (tuple_type);
834 * g_variant_make_dict_entry_type:
835 * @key: a #GVariant, the key
836 * @val: a #GVariant, the value
838 * Return the type of a dictionary entry containing @key and @val as its
841 static GVariantType *
842 g_variant_make_dict_entry_type (GVariant *key,
845 return g_variant_type_new_dict_entry (g_variant_get_type (key),
846 g_variant_get_type (val));
850 * g_variant_new_dict_entry:
851 * @key: a basic #GVariant, the key
852 * @value: a #GVariant, the value
853 * @returns: a new dictionary entry #GVariant
855 * Creates a new dictionary entry #GVariant. @key and @value must be
858 * @key must be a value of a basic type (ie: not a container).
863 g_variant_new_dict_entry (GVariant *key,
866 GVariantType *dict_type;
870 g_return_val_if_fail (key != NULL && value != NULL, NULL);
871 g_return_val_if_fail (!g_variant_is_container (key), NULL);
873 children = g_new (GVariant *, 2);
874 children[0] = g_variant_ref_sink (key);
875 children[1] = g_variant_ref_sink (value);
876 trusted = g_variant_is_trusted (key) && g_variant_is_trusted (value);
878 dict_type = g_variant_make_dict_entry_type (key, value);
879 value = g_variant_new_from_children (dict_type, children, 2, trusted);
880 g_variant_type_free (dict_type);
886 * g_variant_get_fixed_array:
887 * @value: a #GVariant array with fixed-sized elements
888 * @n_elements: a pointer to the location to store the number of items
889 * @element_size: the size of each element
890 * @returns: a pointer to the fixed array
892 * Provides access to the serialised data for an array of fixed-sized
895 * @value must be an array with fixed-sized elements. Numeric types are
896 * fixed-size as are tuples containing only other fixed-sized types.
898 * @element_size must be the size of a single element in the array. For
899 * example, if calling this function for an array of 32 bit integers,
900 * you might say <code>sizeof (gint32)</code>. This value isn't used
901 * except for the purpose of a double-check that the form of the
902 * seralised data matches the caller's expectation.
904 * @n_elements, which must be non-%NULL is set equal to the number of
905 * items in the array.
910 g_variant_get_fixed_array (GVariant *value,
914 GVariantTypeInfo *array_info;
915 gsize array_element_size;
919 TYPE_CHECK (value, G_VARIANT_TYPE_ARRAY, NULL);
921 g_return_val_if_fail (n_elements != NULL, NULL);
922 g_return_val_if_fail (element_size > 0, NULL);
924 array_info = g_variant_get_type_info (value);
925 g_variant_type_info_query_element (array_info, NULL, &array_element_size);
927 g_return_val_if_fail (array_element_size, NULL);
929 if G_UNLIKELY (array_element_size != element_size)
931 if (array_element_size)
932 g_critical ("g_variant_get_fixed_array: assertion "
933 "`g_variant_array_has_fixed_size (value, element_size)' "
934 "failed: array size %"G_GSIZE_FORMAT" does not match "
935 "given element_size %"G_GSIZE_FORMAT".",
936 array_element_size, element_size);
938 g_critical ("g_variant_get_fixed_array: assertion "
939 "`g_variant_array_has_fixed_size (value, element_size)' "
940 "failed: array does not have fixed size.");
943 data = g_variant_get_data (value);
944 size = g_variant_get_size (value);
946 if (size % element_size)
949 *n_elements = size / element_size;
957 /* String type constructor/getters/validation {{{1 */
959 * g_variant_new_string:
960 * @string: a normal utf8 nul-terminated string
961 * @returns: a new string #GVariant instance
963 * Creates a string #GVariant with the contents of @string.
965 * @string must be valid utf8.
970 g_variant_new_string (const gchar *string)
972 g_return_val_if_fail (string != NULL, NULL);
974 return g_variant_new_from_trusted (G_VARIANT_TYPE_STRING,
975 string, strlen (string) + 1);
979 * g_variant_new_object_path:
980 * @object_path: a normal C nul-terminated string
981 * @returns: a new object path #GVariant instance
983 * Creates a DBus object path #GVariant with the contents of @string.
984 * @string must be a valid DBus object path. Use
985 * g_variant_is_object_path() if you're not sure.
990 g_variant_new_object_path (const gchar *object_path)
992 g_return_val_if_fail (g_variant_is_object_path (object_path), NULL);
994 return g_variant_new_from_trusted (G_VARIANT_TYPE_OBJECT_PATH,
995 object_path, strlen (object_path) + 1);
999 * g_variant_is_object_path:
1000 * @string: a normal C nul-terminated string
1001 * @returns: %TRUE if @string is a DBus object path
1003 * Determines if a given string is a valid DBus object path. You
1004 * should ensure that a string is a valid DBus object path before
1005 * passing it to g_variant_new_object_path().
1007 * A valid object path starts with '/' followed by zero or more
1008 * sequences of characters separated by '/' characters. Each sequence
1009 * must contain only the characters "[A-Z][a-z][0-9]_". No sequence
1010 * (including the one following the final '/' character) may be empty.
1015 g_variant_is_object_path (const gchar *string)
1017 g_return_val_if_fail (string != NULL, FALSE);
1019 return g_variant_serialiser_is_object_path (string, strlen (string) + 1);
1023 * g_variant_new_signature:
1024 * @signature: a normal C nul-terminated string
1025 * @returns: a new signature #GVariant instance
1027 * Creates a DBus type signature #GVariant with the contents of
1028 * @string. @string must be a valid DBus type signature. Use
1029 * g_variant_is_signature() if you're not sure.
1034 g_variant_new_signature (const gchar *signature)
1036 g_return_val_if_fail (g_variant_is_signature (signature), NULL);
1038 return g_variant_new_from_trusted (G_VARIANT_TYPE_SIGNATURE,
1039 signature, strlen (signature) + 1);
1043 * g_variant_is_signature:
1044 * @string: a normal C nul-terminated string
1045 * @returns: %TRUE if @string is a DBus type signature
1047 * Determines if a given string is a valid DBus type signature. You
1048 * should ensure that a string is a valid DBus object path before
1049 * passing it to g_variant_new_signature().
1051 * DBus type signatures consist of zero or more definite #GVariantType
1052 * strings in sequence.
1057 g_variant_is_signature (const gchar *string)
1059 g_return_val_if_fail (string != NULL, FALSE);
1061 return g_variant_serialiser_is_signature (string, strlen (string) + 1);
1065 * g_variant_get_string:
1066 * @value: a string #GVariant instance
1067 * @length: a pointer to a #gsize, to store the length
1068 * @returns: the constant string, utf8 encoded
1070 * Returns the string value of a #GVariant instance with a string
1071 * type. This includes the types %G_VARIANT_TYPE_STRING,
1072 * %G_VARIANT_TYPE_OBJECT_PATH and %G_VARIANT_TYPE_SIGNATURE.
1074 * The string will always be utf8 encoded.
1076 * If @length is non-%NULL then the length of the string (in bytes) is
1077 * returned there. For trusted values, this information is already
1078 * known. For untrusted values, a strlen() will be performed.
1080 * It is an error to call this function with a @value of any type
1081 * other than those three.
1083 * The return value remains valid as long as @value exists.
1088 g_variant_get_string (GVariant *value,
1094 g_return_val_if_fail (value != NULL, NULL);
1095 g_return_val_if_fail (
1096 g_variant_is_of_type (value, G_VARIANT_TYPE_STRING) ||
1097 g_variant_is_of_type (value, G_VARIANT_TYPE_OBJECT_PATH) ||
1098 g_variant_is_of_type (value, G_VARIANT_TYPE_SIGNATURE), NULL);
1100 data = g_variant_get_data (value);
1101 size = g_variant_get_size (value);
1103 if (!g_variant_is_trusted (value))
1105 switch (g_variant_classify (value))
1107 case G_VARIANT_CLASS_STRING:
1108 if (g_variant_serialiser_is_string (data, size))
1115 case G_VARIANT_CLASS_OBJECT_PATH:
1116 if (g_variant_serialiser_is_object_path (data, size))
1123 case G_VARIANT_CLASS_SIGNATURE:
1124 if (g_variant_serialiser_is_signature (data, size))
1132 g_assert_not_reached ();
1143 * g_variant_dup_string:
1144 * @value: a string #GVariant instance
1145 * @length: a pointer to a #gsize, to store the length
1146 * @returns: a newly allocated string, utf8 encoded
1148 * Similar to g_variant_get_string() except that instead of returning
1149 * a constant string, the string is duplicated.
1151 * The string will always be utf8 encoded.
1153 * The return value must be freed using g_free().
1158 g_variant_dup_string (GVariant *value,
1161 return g_strdup (g_variant_get_string (value, length));
1165 * g_variant_new_strv:
1166 * @strv: an array of strings
1167 * @length: the length of @strv, or -1
1168 * @returns: a new floating #GVariant instance
1170 * Constructs an array of strings #GVariant from the given array of
1173 * If @length is not -1 then it gives the maximum length of @strv. In
1174 * any case, a %NULL pointer in @strv is taken as a terminator.
1179 g_variant_new_strv (const gchar * const *strv,
1185 g_return_val_if_fail (length == 0 || strv != NULL, NULL);
1188 length = g_strv_length ((gchar **) strv);
1190 strings = g_new (GVariant *, length);
1191 for (i = 0; i < length; i++)
1192 strings[i] = g_variant_ref_sink (g_variant_new_string (strv[i]));
1194 return g_variant_new_from_children (G_VARIANT_TYPE ("as"),
1195 strings, length, TRUE);
1199 * g_variant_get_strv:
1200 * @value: an array of strings #GVariant
1201 * @length: the length of the result, or %NULL
1202 * @returns: an array of constant strings
1204 * Gets the contents of an array of strings #GVariant. This call
1205 * makes a shallow copy; the return result should be released with
1206 * g_free(), but the individual strings must not be modified.
1208 * If @length is non-%NULL then the number of elements in the result
1209 * is stored there. In any case, the resulting array will be
1212 * For an empty array, @length will be set to 0 and a pointer to a
1213 * %NULL pointer will be returned.
1218 g_variant_get_strv (GVariant *value,
1225 g_return_val_if_fail (g_variant_is_of_type (value, G_VARIANT_TYPE ("as")) ||
1226 g_variant_is_of_type (value, G_VARIANT_TYPE ("ao")) ||
1227 g_variant_is_of_type (value, G_VARIANT_TYPE ("ag")),
1230 g_variant_get_data (value);
1231 n = g_variant_n_children (value);
1232 strv = g_new (const gchar *, n + 1);
1234 for (i = 0; i < n; i++)
1238 string = g_variant_get_child_value (value, i);
1239 strv[i] = g_variant_get_string (string, NULL);
1240 g_variant_unref (string);
1251 * g_variant_dup_strv:
1252 * @value: an array of strings #GVariant
1253 * @length: the length of the result, or %NULL
1254 * @returns: an array of constant strings
1256 * Gets the contents of an array of strings #GVariant. This call
1257 * makes a deep copy; the return result should be released with
1260 * If @length is non-%NULL then the number of elements in the result
1261 * is stored there. In any case, the resulting array will be
1264 * For an empty array, @length will be set to 0 and a pointer to a
1265 * %NULL pointer will be returned.
1270 g_variant_dup_strv (GVariant *value,
1277 g_return_val_if_fail (g_variant_is_of_type (value, G_VARIANT_TYPE ("as")) ||
1278 g_variant_is_of_type (value, G_VARIANT_TYPE ("ao")) ||
1279 g_variant_is_of_type (value, G_VARIANT_TYPE ("ag")),
1282 n = g_variant_n_children (value);
1283 strv = g_new (gchar *, n + 1);
1285 for (i = 0; i < n; i++)
1289 string = g_variant_get_child_value (value, i);
1290 strv[i] = g_variant_dup_string (string, NULL);
1291 g_variant_unref (string);
1301 /* Type checking and querying {{{1 */
1303 * g_variant_get_type:
1304 * @value: a #GVariant
1305 * @returns: a #GVariantType
1307 * Determines the type of @value.
1309 * The return value is valid for the lifetime of @value and must not
1314 const GVariantType *
1315 g_variant_get_type (GVariant *value)
1317 GVariantTypeInfo *type_info;
1319 g_return_val_if_fail (value != NULL, NULL);
1321 type_info = g_variant_get_type_info (value);
1323 return (GVariantType *) g_variant_type_info_get_type_string (type_info);
1327 * g_variant_get_type_string:
1328 * @value: a #GVariant
1329 * @returns: the type string for the type of @value
1331 * Returns the type string of @value. Unlike the result of calling
1332 * g_variant_type_peek_string(), this string is nul-terminated. This
1333 * string belongs to #GVariant and must not be freed.
1338 g_variant_get_type_string (GVariant *value)
1340 GVariantTypeInfo *type_info;
1342 g_return_val_if_fail (value != NULL, NULL);
1344 type_info = g_variant_get_type_info (value);
1346 return g_variant_type_info_get_type_string (type_info);
1350 * g_variant_is_of_type:
1351 * @value: a #GVariant instance
1352 * @type: a #GVariantType
1353 * @returns: %TRUE if the type of @value matches @type
1355 * Checks if a value has a type matching the provided type.
1360 g_variant_is_of_type (GVariant *value,
1361 const GVariantType *type)
1363 return g_variant_type_is_subtype_of (g_variant_get_type (value), type);
1367 * g_variant_is_container:
1368 * @value: a #GVariant instance
1369 * @returns: %TRUE if @value is a container
1371 * Checks if @value is a container.
1374 g_variant_is_container (GVariant *value)
1376 return g_variant_type_is_container (g_variant_get_type (value));
1381 * g_variant_classify:
1382 * @value: a #GVariant
1383 * @returns: the #GVariantClass of @value
1385 * Classifies @value according to its top-level type.
1391 * @G_VARIANT_CLASS_BOOLEAN: The #GVariant is a boolean.
1392 * @G_VARIANT_CLASS_BYTE: The #GVariant is a byte.
1393 * @G_VARIANT_CLASS_INT16: The #GVariant is a signed 16 bit integer.
1394 * @G_VARIANT_CLASS_UINT16: The #GVariant is an unsigned 16 bit integer.
1395 * @G_VARIANT_CLASS_INT32: The #GVariant is a signed 32 bit integer.
1396 * @G_VARIANT_CLASS_UINT32: The #GVariant is an unsigned 32 bit integer.
1397 * @G_VARIANT_CLASS_INT64: The #GVariant is a signed 64 bit integer.
1398 * @G_VARIANT_CLASS_UINT64: The #GVariant is an unsigned 64 bit integer.
1399 * @G_VARIANT_CLASS_HANDLE: The #GVariant is a file handle index.
1400 * @G_VARIANT_CLASS_DOUBLE: The #GVariant is a double precision floating
1402 * @G_VARIANT_CLASS_STRING: The #GVariant is a normal string.
1403 * @G_VARIANT_CLASS_OBJECT_PATH: The #GVariant is a DBus object path
1405 * @G_VARIANT_CLASS_SIGNATURE: The #GVariant is a DBus signature string.
1406 * @G_VARIANT_CLASS_VARIANT: The #GVariant is a variant.
1407 * @G_VARIANT_CLASS_MAYBE: The #GVariant is a maybe-typed value.
1408 * @G_VARIANT_CLASS_ARRAY: The #GVariant is an array.
1409 * @G_VARIANT_CLASS_TUPLE: The #GVariant is a tuple.
1410 * @G_VARIANT_CLASS_DICT_ENTRY: The #GVariant is a dictionary entry.
1412 * The range of possible top-level types of #GVariant instances.
1417 g_variant_classify (GVariant *value)
1419 g_return_val_if_fail (value != NULL, 0);
1421 return *g_variant_get_type_string (value);
1424 /* Pretty printer {{{1 */
1426 * g_variant_print_string:
1427 * @value: a #GVariant
1428 * @string: a #GString, or %NULL
1429 * @type_annotate: %TRUE if type information should be included in
1431 * @returns: a #GString containing the string
1433 * Behaves as g_variant_print(), but operates on a #GString.
1435 * If @string is non-%NULL then it is appended to and returned. Else,
1436 * a new empty #GString is allocated and it is returned.
1441 g_variant_print_string (GVariant *value,
1443 gboolean type_annotate)
1445 if G_UNLIKELY (string == NULL)
1446 string = g_string_new (NULL);
1448 switch (g_variant_classify (value))
1450 case G_VARIANT_CLASS_MAYBE:
1452 g_string_append_printf (string, "@%s ",
1453 g_variant_get_type_string (value));
1455 if (g_variant_n_children (value))
1457 gchar *printed_child;
1462 * Consider the case of the type "mmi". In this case we could
1463 * write "just just 4", but "4" alone is totally unambiguous,
1464 * so we try to drop "just" where possible.
1466 * We have to be careful not to always drop "just", though,
1467 * since "nothing" needs to be distinguishable from "just
1468 * nothing". The case where we need to ensure we keep the
1469 * "just" is actually exactly the case where we have a nested
1472 * Instead of searching for that nested Nothing, we just print
1473 * the contained value into a separate string and see if we
1474 * end up with "nothing" at the end of it. If so, we need to
1475 * add "just" at our level.
1477 element = g_variant_get_child_value (value, 0);
1478 printed_child = g_variant_print (element, FALSE);
1479 g_variant_unref (element);
1481 if (g_str_has_suffix (printed_child, "nothing"))
1482 g_string_append (string, "just ");
1483 g_string_append (string, printed_child);
1484 g_free (printed_child);
1487 g_string_append (string, "nothing");
1491 case G_VARIANT_CLASS_ARRAY:
1492 /* it's an array so the first character of the type string is 'a'
1494 * if the first two characters are 'a{' then it's an array of
1495 * dictionary entries (ie: a dictionary) so we print that
1498 if (g_variant_get_type_string (value)[1] == '{')
1501 const gchar *comma = "";
1504 if ((n = g_variant_n_children (value)) == 0)
1507 g_string_append_printf (string, "@%s ",
1508 g_variant_get_type_string (value));
1509 g_string_append (string, "{}");
1513 g_string_append_c (string, '{');
1514 for (i = 0; i < n; i++)
1516 GVariant *entry, *key, *val;
1518 g_string_append (string, comma);
1521 entry = g_variant_get_child_value (value, i);
1522 key = g_variant_get_child_value (entry, 0);
1523 val = g_variant_get_child_value (entry, 1);
1524 g_variant_unref (entry);
1526 g_variant_print_string (key, string, type_annotate);
1527 g_variant_unref (key);
1528 g_string_append (string, ": ");
1529 g_variant_print_string (val, string, type_annotate);
1530 g_variant_unref (val);
1531 type_annotate = FALSE;
1533 g_string_append_c (string, '}');
1536 /* normal (non-dictionary) array */
1538 const gchar *comma = "";
1541 if ((n = g_variant_n_children (value)) == 0)
1544 g_string_append_printf (string, "@%s ",
1545 g_variant_get_type_string (value));
1546 g_string_append (string, "[]");
1550 g_string_append_c (string, '[');
1551 for (i = 0; i < n; i++)
1555 g_string_append (string, comma);
1558 element = g_variant_get_child_value (value, i);
1560 g_variant_print_string (element, string, type_annotate);
1561 g_variant_unref (element);
1562 type_annotate = FALSE;
1564 g_string_append_c (string, ']');
1569 case G_VARIANT_CLASS_TUPLE:
1573 n = g_variant_n_children (value);
1575 g_string_append_c (string, '(');
1576 for (i = 0; i < n; i++)
1580 element = g_variant_get_child_value (value, i);
1581 g_variant_print_string (element, string, type_annotate);
1582 g_string_append (string, ", ");
1583 g_variant_unref (element);
1586 /* for >1 item: remove final ", "
1587 * for 1 item: remove final " ", but leave the ","
1588 * for 0 items: there is only "(", so remove nothing
1590 g_string_truncate (string, string->len - (n > 0) - (n > 1));
1591 g_string_append_c (string, ')');
1595 case G_VARIANT_CLASS_DICT_ENTRY:
1599 g_string_append_c (string, '{');
1601 element = g_variant_get_child_value (value, 0);
1602 g_variant_print_string (element, string, type_annotate);
1603 g_variant_unref (element);
1605 g_string_append (string, ", ");
1607 element = g_variant_get_child_value (value, 1);
1608 g_variant_print_string (element, string, type_annotate);
1609 g_variant_unref (element);
1611 g_string_append_c (string, '}');
1615 case G_VARIANT_CLASS_VARIANT:
1617 GVariant *child = g_variant_get_variant (value);
1619 /* Always annotate types in nested variants, because they are
1620 * (by nature) of variable type.
1622 g_string_append_c (string, '<');
1623 g_variant_print_string (child, string, TRUE);
1624 g_string_append_c (string, '>');
1626 g_variant_unref (child);
1630 case G_VARIANT_CLASS_BOOLEAN:
1631 if (g_variant_get_boolean (value))
1632 g_string_append (string, "true");
1634 g_string_append (string, "false");
1637 case G_VARIANT_CLASS_STRING:
1639 const gchar *str = g_variant_get_string (value, NULL);
1640 gchar *escaped = g_strescape (str, NULL);
1642 /* use double quotes only if a ' is in the string */
1643 if (strchr (str, '\''))
1644 g_string_append_printf (string, "\"%s\"", escaped);
1646 g_string_append_printf (string, "'%s'", escaped);
1652 case G_VARIANT_CLASS_BYTE:
1654 g_string_append (string, "byte ");
1655 g_string_append_printf (string, "0x%02x",
1656 g_variant_get_byte (value));
1659 case G_VARIANT_CLASS_INT16:
1661 g_string_append (string, "int16 ");
1662 g_string_append_printf (string, "%"G_GINT16_FORMAT,
1663 g_variant_get_int16 (value));
1666 case G_VARIANT_CLASS_UINT16:
1668 g_string_append (string, "uint16 ");
1669 g_string_append_printf (string, "%"G_GUINT16_FORMAT,
1670 g_variant_get_uint16 (value));
1673 case G_VARIANT_CLASS_INT32:
1674 /* Never annotate this type because it is the default for numbers
1675 * (and this is a *pretty* printer)
1677 g_string_append_printf (string, "%"G_GINT32_FORMAT,
1678 g_variant_get_int32 (value));
1681 case G_VARIANT_CLASS_HANDLE:
1683 g_string_append (string, "handle ");
1684 g_string_append_printf (string, "%"G_GINT32_FORMAT,
1685 g_variant_get_handle (value));
1688 case G_VARIANT_CLASS_UINT32:
1690 g_string_append (string, "uint32 ");
1691 g_string_append_printf (string, "%"G_GUINT32_FORMAT,
1692 g_variant_get_uint32 (value));
1695 case G_VARIANT_CLASS_INT64:
1697 g_string_append (string, "int64 ");
1698 g_string_append_printf (string, "%"G_GINT64_FORMAT,
1699 g_variant_get_int64 (value));
1702 case G_VARIANT_CLASS_UINT64:
1704 g_string_append (string, "uint64 ");
1705 g_string_append_printf (string, "%"G_GUINT64_FORMAT,
1706 g_variant_get_uint64 (value));
1709 case G_VARIANT_CLASS_DOUBLE:
1714 g_ascii_dtostr (buffer, sizeof buffer, g_variant_get_double (value));
1716 for (i = 0; buffer[i]; i++)
1717 if (buffer[i] == '.' || buffer[i] == 'e' ||
1718 buffer[i] == 'n' || buffer[i] == 'N')
1721 /* if there is no '.' or 'e' in the float then add one */
1722 if (buffer[i] == '\0')
1729 g_string_append (string, buffer);
1733 case G_VARIANT_CLASS_OBJECT_PATH:
1735 g_string_append (string, "objectpath ");
1736 g_string_append_printf (string, "\'%s\'",
1737 g_variant_get_string (value, NULL));
1740 case G_VARIANT_CLASS_SIGNATURE:
1742 g_string_append (string, "signature ");
1743 g_string_append_printf (string, "\'%s\'",
1744 g_variant_get_string (value, NULL));
1748 g_assert_not_reached ();
1756 * @value: a #GVariant
1757 * @type_annotate: %TRUE if type information should be included in
1759 * @returns: a newly-allocated string holding the result.
1761 * Pretty-prints @value in the format understood by g_variant_parse().
1763 * If @type_annotate is %TRUE, then type information is included in
1767 g_variant_print (GVariant *value,
1768 gboolean type_annotate)
1770 return g_string_free (g_variant_print_string (value, NULL, type_annotate),
1774 /* Hash, Equal, Compare {{{1 */
1777 * @value: a basic #GVariant value as a #gconstpointer
1778 * @returns: a hash value corresponding to @value
1780 * Generates a hash value for a #GVariant instance.
1782 * The output of this function is guaranteed to be the same for a given
1783 * value only per-process. It may change between different processor
1784 * architectures or even different versions of GLib. Do not use this
1785 * function as a basis for building protocols or file formats.
1787 * The type of @value is #gconstpointer only to allow use of this
1788 * function with #GHashTable. @value must be a #GVariant.
1793 g_variant_hash (gconstpointer value_)
1795 GVariant *value = (GVariant *) value_;
1797 switch (g_variant_classify (value))
1799 case G_VARIANT_CLASS_STRING:
1800 case G_VARIANT_CLASS_OBJECT_PATH:
1801 case G_VARIANT_CLASS_SIGNATURE:
1802 return g_str_hash (g_variant_get_string (value, NULL));
1804 case G_VARIANT_CLASS_BOOLEAN:
1805 /* this is a very odd thing to hash... */
1806 return g_variant_get_boolean (value);
1808 case G_VARIANT_CLASS_BYTE:
1809 return g_variant_get_byte (value);
1811 case G_VARIANT_CLASS_INT16:
1812 case G_VARIANT_CLASS_UINT16:
1816 ptr = g_variant_get_data (value);
1824 case G_VARIANT_CLASS_INT32:
1825 case G_VARIANT_CLASS_UINT32:
1826 case G_VARIANT_CLASS_HANDLE:
1830 ptr = g_variant_get_data (value);
1838 case G_VARIANT_CLASS_INT64:
1839 case G_VARIANT_CLASS_UINT64:
1840 case G_VARIANT_CLASS_DOUBLE:
1841 /* need a separate case for these guys because otherwise
1842 * performance could be quite bad on big endian systems
1847 ptr = g_variant_get_data (value);
1850 return ptr[0] + ptr[1];
1856 g_return_val_if_fail (!g_variant_is_container (value), 0);
1857 g_assert_not_reached ();
1863 * @one: a #GVariant instance
1864 * @two: a #GVariant instance
1865 * @returns: %TRUE if @one and @two are equal
1867 * Checks if @one and @two have the same type and value.
1869 * The types of @one and @two are #gconstpointer only to allow use of
1870 * this function with #GHashTable. They must each be a #GVariant.
1875 g_variant_equal (gconstpointer one,
1880 g_return_val_if_fail (one != NULL && two != NULL, FALSE);
1882 if (g_variant_get_type_info ((GVariant *) one) !=
1883 g_variant_get_type_info ((GVariant *) two))
1886 /* if both values are trusted to be in their canonical serialised form
1887 * then a simple memcmp() of their serialised data will answer the
1890 * if not, then this might generate a false negative (since it is
1891 * possible for two different byte sequences to represent the same
1892 * value). for now we solve this by pretty-printing both values and
1893 * comparing the result.
1895 if (g_variant_is_trusted ((GVariant *) one) &&
1896 g_variant_is_trusted ((GVariant *) two))
1898 gconstpointer data_one, data_two;
1899 gsize size_one, size_two;
1901 size_one = g_variant_get_size ((GVariant *) one);
1902 size_two = g_variant_get_size ((GVariant *) two);
1904 if (size_one != size_two)
1907 data_one = g_variant_get_data ((GVariant *) one);
1908 data_two = g_variant_get_data ((GVariant *) two);
1910 equal = memcmp (data_one, data_two, size_one) == 0;
1914 gchar *strone, *strtwo;
1916 strone = g_variant_print ((GVariant *) one, FALSE);
1917 strtwo = g_variant_print ((GVariant *) two, FALSE);
1918 equal = strcmp (strone, strtwo) == 0;
1927 * g_variant_compare:
1928 * @one: a basic-typed #GVariant instance
1929 * @two: a #GVariant instance of the same type
1930 * @returns: negative value if a < b;
1932 * positive value if a > b.
1934 * Compares @one and @two.
1936 * The types of @one and @two are #gconstpointer only to allow use of
1937 * this function with #GTree, #GPtrArray, etc. They must each be a
1940 * Comparison is only defined for basic types (ie: booleans, numbers,
1941 * strings). For booleans, %FALSE is less than %TRUE. Numbers are
1942 * ordered in the usual way. Strings are in ASCII lexographical order.
1944 * It is a programmer error to attempt to compare container values or
1945 * two values that have types that are not exactly equal. For example,
1946 * you can not compare a 32-bit signed integer with a 32-bit unsigned
1947 * integer. Also note that this function is not particularly
1948 * well-behaved when it comes to comparison of doubles; in particular,
1949 * the handling of incomparable values (ie: NaN) is undefined.
1951 * If you only require an equality comparison, g_variant_equal() is more
1957 g_variant_compare (gconstpointer one,
1960 GVariant *a = (GVariant *) one;
1961 GVariant *b = (GVariant *) two;
1963 g_return_val_if_fail (g_variant_classify (a) == g_variant_classify (b), 0);
1965 switch (g_variant_classify (a))
1967 case G_VARIANT_CLASS_BYTE:
1968 return ((gint) g_variant_get_byte (a)) -
1969 ((gint) g_variant_get_byte (b));
1971 case G_VARIANT_CLASS_INT16:
1972 return ((gint) g_variant_get_int16 (a)) -
1973 ((gint) g_variant_get_int16 (b));
1975 case G_VARIANT_CLASS_UINT16:
1976 return ((gint) g_variant_get_uint16 (a)) -
1977 ((gint) g_variant_get_uint16 (b));
1979 case G_VARIANT_CLASS_INT32:
1981 gint32 a_val = g_variant_get_int32 (a);
1982 gint32 b_val = g_variant_get_int32 (b);
1984 return (a_val == b_val) ? 0 : (a_val > b_val) ? 1 : -1;
1987 case G_VARIANT_CLASS_UINT32:
1989 guint32 a_val = g_variant_get_uint32 (a);
1990 guint32 b_val = g_variant_get_uint32 (b);
1992 return (a_val == b_val) ? 0 : (a_val > b_val) ? 1 : -1;
1995 case G_VARIANT_CLASS_INT64:
1997 gint64 a_val = g_variant_get_int64 (a);
1998 gint64 b_val = g_variant_get_int64 (b);
2000 return (a_val == b_val) ? 0 : (a_val > b_val) ? 1 : -1;
2003 case G_VARIANT_CLASS_UINT64:
2005 guint64 a_val = g_variant_get_int32 (a);
2006 guint64 b_val = g_variant_get_int32 (b);
2008 return (a_val == b_val) ? 0 : (a_val > b_val) ? 1 : -1;
2011 case G_VARIANT_CLASS_DOUBLE:
2013 gdouble a_val = g_variant_get_double (a);
2014 gdouble b_val = g_variant_get_double (b);
2016 return (a_val == b_val) ? 0 : (a_val > b_val) ? 1 : -1;
2019 case G_VARIANT_CLASS_STRING:
2020 case G_VARIANT_CLASS_OBJECT_PATH:
2021 case G_VARIANT_CLASS_SIGNATURE:
2022 return strcmp (g_variant_get_string (a, NULL),
2023 g_variant_get_string (b, NULL));
2026 g_return_val_if_fail (!g_variant_is_container (a), 0);
2027 g_assert_not_reached ();
2031 /* GVariantIter {{{1 */
2035 * #GVariantIter is an opaque data structure and can only be accessed
2036 * using the following functions.
2043 const gchar *loop_format;
2049 G_STATIC_ASSERT (sizeof (struct stack_iter) <= sizeof (GVariantIter));
2053 struct stack_iter iter;
2055 GVariant *value_ref;
2059 #define GVSI(i) ((struct stack_iter *) (i))
2060 #define GVHI(i) ((struct heap_iter *) (i))
2061 #define GVSI_MAGIC ((gsize) 3579507750u)
2062 #define GVHI_MAGIC ((gsize) 1450270775u)
2063 #define is_valid_iter(i) (i != NULL && \
2064 GVSI(i)->magic == GVSI_MAGIC)
2065 #define is_valid_heap_iter(i) (GVHI(i)->magic == GVHI_MAGIC && \
2069 * g_variant_iter_new:
2070 * @value: a container #GVariant
2071 * @returns: a new heap-allocated #GVariantIter
2073 * Creates a heap-allocated #GVariantIter for iterating over the items
2076 * Use g_variant_iter_free() to free the return value when you no longer
2079 * A reference is taken to @value and will be released only when
2080 * g_variant_iter_free() is called.
2085 g_variant_iter_new (GVariant *value)
2089 iter = (GVariantIter *) g_slice_new (struct heap_iter);
2090 GVHI(iter)->value_ref = g_variant_ref (value);
2091 GVHI(iter)->magic = GVHI_MAGIC;
2093 g_variant_iter_init (iter, value);
2099 * g_variant_iter_init:
2100 * @iter: a pointer to a #GVariantIter
2101 * @value: a container #GVariant
2102 * @returns: the number of items in @value
2104 * Initialises (without allocating) a #GVariantIter. @iter may be
2105 * completely uninitialised prior to this call; its old value is
2108 * The iterator remains valid for as long as @value exists, and need not
2109 * be freed in any way.
2114 g_variant_iter_init (GVariantIter *iter,
2117 GVSI(iter)->magic = GVSI_MAGIC;
2118 GVSI(iter)->value = value;
2119 GVSI(iter)->n = g_variant_n_children (value);
2121 GVSI(iter)->loop_format = NULL;
2123 return GVSI(iter)->n;
2127 * g_variant_iter_copy:
2128 * @iter: a #GVariantIter
2129 * @returns: a new heap-allocated #GVariantIter
2131 * Creates a new heap-allocated #GVariantIter to iterate over the
2132 * container that was being iterated over by @iter. Iteration begins on
2133 * the new iterator from the current position of the old iterator but
2134 * the two copies are independent past that point.
2136 * Use g_variant_iter_free() to free the return value when you no longer
2139 * A reference is taken to the container that @iter is iterating over
2140 * and will be releated only when g_variant_iter_free() is called.
2145 g_variant_iter_copy (GVariantIter *iter)
2149 g_return_val_if_fail (is_valid_iter (iter), 0);
2151 copy = g_variant_iter_new (GVSI(iter)->value);
2152 GVSI(copy)->i = GVSI(iter)->i;
2158 * g_variant_iter_n_children:
2159 * @iter: a #GVariantIter
2160 * @returns: the number of children in the container
2162 * Queries the number of child items in the container that we are
2163 * iterating over. This is the total number of items -- not the number
2164 * of items remaining.
2166 * This function might be useful for preallocation of arrays.
2171 g_variant_iter_n_children (GVariantIter *iter)
2173 g_return_val_if_fail (is_valid_iter (iter), 0);
2175 return GVSI(iter)->n;
2179 * g_variant_iter_free:
2180 * @iter: a heap-allocated #GVariantIter
2182 * Frees a heap-allocated #GVariantIter. Only call this function on
2183 * iterators that were returned by g_variant_iter_new() or
2184 * g_variant_iter_copy().
2189 g_variant_iter_free (GVariantIter *iter)
2191 g_return_if_fail (is_valid_heap_iter (iter));
2193 g_variant_unref (GVHI(iter)->value_ref);
2194 GVHI(iter)->magic = 0;
2196 g_slice_free (struct heap_iter, GVHI(iter));
2200 * g_variant_iter_next_value:
2201 * @iter: a #GVariantIter
2202 * @returns: a #GVariant, or %NULL
2204 * Gets the next item in the container. If no more items remain then
2205 * %NULL is returned.
2207 * Use g_variant_unref() to drop your reference on the return value when
2208 * you no longer need it.
2211 * <title>Iterating with g_variant_iter_next_value()</title>
2213 * /<!-- -->* recursively iterate a container *<!-- -->/
2215 * iterate_container_recursive (GVariant *container)
2217 * GVariantIter iter;
2220 * g_variant_iter_init (&iter, dictionary);
2221 * while ((child = g_variant_iter_next_value (&iter)))
2223 * g_print ("type '%s'\n", g_variant_get_type_string (child));
2225 * if (g_variant_is_container (child))
2226 * iterate_container_recursive (child);
2228 * g_variant_unref (child);
2237 g_variant_iter_next_value (GVariantIter *iter)
2239 g_return_val_if_fail (is_valid_iter (iter), FALSE);
2241 if G_UNLIKELY (GVSI(iter)->i >= GVSI(iter)->n)
2243 g_critical ("g_variant_iter_next_value: must not be called again "
2244 "after NULL has already been returned.");
2250 if (GVSI(iter)->i < GVSI(iter)->n)
2251 return g_variant_get_child_value (GVSI(iter)->value, GVSI(iter)->i);
2256 /* GVariantBuilder {{{1 */
2260 * A utility type for constructing container-type #GVariant instances.
2262 * This is an opaque structure and may only be accessed using the
2263 * following functions.
2265 * #GVariantBuilder is not threadsafe in any way. Do not attempt to
2266 * access it from more than one thread.
2269 struct stack_builder
2271 GVariantBuilder *parent;
2274 /* type constraint explicitly specified by 'type'.
2275 * for tuple types, this moves along as we add more items.
2277 const GVariantType *expected_type;
2279 /* type constraint implied by previous array item.
2281 const GVariantType *prev_item_type;
2283 /* constraints on the number of children. max = -1 for unlimited. */
2287 /* dynamically-growing pointer array */
2288 GVariant **children;
2289 gsize allocated_children;
2292 /* set to '1' if all items in the container will have the same type
2293 * (ie: maybe, array, variant) '0' if not (ie: tuple, dict entry)
2295 guint uniform_item_types : 1;
2297 /* set to '1' initially and changed to '0' if an untrusted value is
2305 G_STATIC_ASSERT (sizeof (struct stack_builder) <= sizeof (GVariantBuilder));
2309 GVariantBuilder builder;
2315 #define GVSB(b) ((struct stack_builder *) (b))
2316 #define GVHB(b) ((struct heap_builder *) (b))
2317 #define GVSB_MAGIC ((gsize) 1033660112u)
2318 #define GVHB_MAGIC ((gsize) 3087242682u)
2319 #define is_valid_builder(b) (b != NULL && \
2320 GVSB(b)->magic == GVSB_MAGIC)
2321 #define is_valid_heap_builder(b) (GVHB(b)->magic == GVHB_MAGIC)
2324 * g_variant_builder_new:
2325 * @type: a container type
2326 * @returns: a #GVariantBuilder
2328 * Allocates and initialises a new #GVariantBuilder.
2330 * You should call g_variant_builder_unref() on the return value when it
2331 * is no longer needed. The memory will not be automatically freed by
2334 * In most cases it is easier to place a #GVariantBuilder directly on
2335 * the stack of the calling function and initialise it with
2336 * g_variant_builder_init().
2341 g_variant_builder_new (const GVariantType *type)
2343 GVariantBuilder *builder;
2345 builder = (GVariantBuilder *) g_slice_new (struct heap_builder);
2346 g_variant_builder_init (builder, type);
2347 GVHB(builder)->magic = GVHB_MAGIC;
2348 GVHB(builder)->ref_count = 1;
2354 * g_variant_builder_unref:
2355 * @builder: a #GVariantBuilder allocated by g_variant_builder_new()
2357 * Decreases the reference count on @builder.
2359 * In the event that there are no more references, releases all memory
2360 * associated with the #GVariantBuilder.
2362 * Don't call this on stack-allocated #GVariantBuilder instances or bad
2363 * things will happen.
2368 g_variant_builder_unref (GVariantBuilder *builder)
2370 g_return_if_fail (is_valid_heap_builder (builder));
2372 if (--GVHB(builder)->ref_count)
2375 g_variant_builder_clear (builder);
2376 GVHB(builder)->magic = 0;
2378 g_slice_free (struct heap_builder, GVHB(builder));
2382 * g_variant_builder_ref:
2383 * @builder: a #GVariantBuilder allocated by g_variant_builder_new()
2384 * @returns: a new reference to @builder
2386 * Increases the reference count on @builder.
2388 * Don't call this on stack-allocated #GVariantBuilder instances or bad
2389 * things will happen.
2394 g_variant_builder_ref (GVariantBuilder *builder)
2396 g_return_val_if_fail (is_valid_heap_builder (builder), NULL);
2398 GVHB(builder)->ref_count++;
2404 * g_variant_builder_clear:
2405 * @builder: a #GVariantBuilder
2407 * Releases all memory associated with a #GVariantBuilder without
2408 * freeing the #GVariantBuilder structure itself.
2410 * It typically only makes sense to do this on a stack-allocated
2411 * #GVariantBuilder if you want to abort building the value part-way
2412 * through. This function need not be called if you call
2413 * g_variant_builder_end() and it also doesn't need to be called on
2414 * builders allocated with g_variant_builder_new (see
2415 * g_variant_builder_free() for that).
2417 * This function leaves the #GVariantBuilder structure set to all-zeros.
2418 * It is valid to call this function on either an initialised
2419 * #GVariantBuilder or one that is set to all-zeros but it is not valid
2420 * to call this function on uninitialised memory.
2425 g_variant_builder_clear (GVariantBuilder *builder)
2429 if (GVSB(builder)->magic == 0)
2430 /* all-zeros case */
2433 g_return_if_fail (is_valid_builder (builder));
2435 g_variant_type_free (GVSB(builder)->type);
2437 for (i = 0; i < GVSB(builder)->offset; i++)
2438 g_variant_unref (GVSB(builder)->children[i]);
2440 g_free (GVSB(builder)->children);
2442 if (GVSB(builder)->parent)
2444 g_variant_builder_clear (GVSB(builder)->parent);
2445 g_slice_free (GVariantBuilder, GVSB(builder)->parent);
2448 memset (builder, 0, sizeof (GVariantBuilder));
2452 * g_variant_builder_init:
2453 * @builder: a #GVariantBuilder
2454 * @type: a container type
2456 * Initialises a #GVariantBuilder structure.
2458 * @type must be non-%NULL. It specifies the type of container to
2459 * construct. It can be an indefinite type such as
2460 * %G_VARIANT_TYPE_ARRAY or a definite type such as "as" or "(ii)".
2461 * Maybe, array, tuple, dictionary entry and variant-typed values may be
2464 * After the builder is initialised, values are added using
2465 * g_variant_builder_add_value() or g_variant_builder_add().
2467 * After all the child values are added, g_variant_builder_end() frees
2468 * the memory associated with the builder and returns the #GVariant that
2471 * This function completely ignores the previous contents of @builder.
2472 * On one hand this means that it is valid to pass in completely
2473 * uninitialised memory. On the other hand, this means that if you are
2474 * initialising over top of an existing #GVariantBuilder you need to
2475 * first call g_variant_builder_clear() in order to avoid leaking
2478 * You must not call g_variant_builder_ref() or
2479 * g_variant_builder_unref() on a #GVariantBuilder that was initialised
2480 * with this function. If you ever pass a reference to a
2481 * #GVariantBuilder outside of the control of your own code then you
2482 * should assume that the person receiving that reference may try to use
2483 * reference counting; you should use g_variant_builder_new() instead of
2489 g_variant_builder_init (GVariantBuilder *builder,
2490 const GVariantType *type)
2492 g_return_if_fail (type != NULL);
2493 g_return_if_fail (g_variant_type_is_container (type));
2495 memset (builder, 0, sizeof (GVariantBuilder));
2497 GVSB(builder)->type = g_variant_type_copy (type);
2498 GVSB(builder)->magic = GVSB_MAGIC;
2499 GVSB(builder)->trusted = TRUE;
2501 switch (*(const gchar *) type)
2503 case G_VARIANT_CLASS_VARIANT:
2504 GVSB(builder)->uniform_item_types = TRUE;
2505 GVSB(builder)->allocated_children = 1;
2506 GVSB(builder)->expected_type = NULL;
2507 GVSB(builder)->min_items = 1;
2508 GVSB(builder)->max_items = 1;
2511 case G_VARIANT_CLASS_ARRAY:
2512 GVSB(builder)->uniform_item_types = TRUE;
2513 GVSB(builder)->allocated_children = 8;
2514 GVSB(builder)->expected_type =
2515 g_variant_type_element (GVSB(builder)->type);
2516 GVSB(builder)->min_items = 0;
2517 GVSB(builder)->max_items = -1;
2520 case G_VARIANT_CLASS_MAYBE:
2521 GVSB(builder)->uniform_item_types = TRUE;
2522 GVSB(builder)->allocated_children = 1;
2523 GVSB(builder)->expected_type =
2524 g_variant_type_element (GVSB(builder)->type);
2525 GVSB(builder)->min_items = 0;
2526 GVSB(builder)->max_items = 1;
2529 case G_VARIANT_CLASS_DICT_ENTRY:
2530 GVSB(builder)->uniform_item_types = FALSE;
2531 GVSB(builder)->allocated_children = 2;
2532 GVSB(builder)->expected_type =
2533 g_variant_type_key (GVSB(builder)->type);
2534 GVSB(builder)->min_items = 2;
2535 GVSB(builder)->max_items = 2;
2538 case 'r': /* G_VARIANT_TYPE_TUPLE was given */
2539 GVSB(builder)->uniform_item_types = FALSE;
2540 GVSB(builder)->allocated_children = 8;
2541 GVSB(builder)->expected_type = NULL;
2542 GVSB(builder)->min_items = 0;
2543 GVSB(builder)->max_items = -1;
2546 case G_VARIANT_CLASS_TUPLE: /* a definite tuple type was given */
2547 GVSB(builder)->allocated_children = g_variant_type_n_items (type);
2548 GVSB(builder)->expected_type =
2549 g_variant_type_first (GVSB(builder)->type);
2550 GVSB(builder)->min_items = GVSB(builder)->allocated_children;
2551 GVSB(builder)->max_items = GVSB(builder)->allocated_children;
2552 GVSB(builder)->uniform_item_types = FALSE;
2556 g_assert_not_reached ();
2559 GVSB(builder)->children = g_new (GVariant *,
2560 GVSB(builder)->allocated_children);
2564 g_variant_builder_make_room (struct stack_builder *builder)
2566 if (builder->offset == builder->allocated_children)
2568 builder->allocated_children *= 2;
2569 builder->children = g_renew (GVariant *, builder->children,
2570 builder->allocated_children);
2575 * g_variant_builder_add_value:
2576 * @builder: a #GVariantBuilder
2577 * @value: a #GVariant
2579 * Adds @value to @builder.
2581 * It is an error to call this function in any way that would create an
2582 * inconsistent value to be constructed. Some examples of this are
2583 * putting different types of items into an array, putting the wrong
2584 * types or number of items in a tuple, putting more than one value into
2590 g_variant_builder_add_value (GVariantBuilder *builder,
2593 g_return_if_fail (is_valid_builder (builder));
2594 g_return_if_fail (GVSB(builder)->offset < GVSB(builder)->max_items);
2595 g_return_if_fail (!GVSB(builder)->expected_type ||
2596 g_variant_is_of_type (value,
2597 GVSB(builder)->expected_type));
2598 g_return_if_fail (!GVSB(builder)->prev_item_type ||
2599 g_variant_is_of_type (value,
2600 GVSB(builder)->prev_item_type));
2602 GVSB(builder)->trusted &= g_variant_is_trusted (value);
2604 if (!GVSB(builder)->uniform_item_types)
2606 /* advance our expected type pointers */
2607 if (GVSB(builder)->expected_type)
2608 GVSB(builder)->expected_type =
2609 g_variant_type_next (GVSB(builder)->expected_type);
2611 if (GVSB(builder)->prev_item_type)
2612 GVSB(builder)->prev_item_type =
2613 g_variant_type_next (GVSB(builder)->prev_item_type);
2616 GVSB(builder)->prev_item_type = g_variant_get_type (value);
2618 g_variant_builder_make_room (GVSB(builder));
2620 GVSB(builder)->children[GVSB(builder)->offset++] =
2621 g_variant_ref_sink (value);
2625 * g_variant_builder_open:
2626 * @builder: a #GVariantBuilder
2627 * @type: a #GVariantType
2629 * Opens a subcontainer inside the given @builder. When done adding
2630 * items to the subcontainer, g_variant_builder_close() must be called.
2632 * It is an error to call this function in any way that would cause an
2633 * inconsistent value to be constructed (ie: adding too many values or
2634 * a value of an incorrect type).
2639 g_variant_builder_open (GVariantBuilder *builder,
2640 const GVariantType *type)
2642 GVariantBuilder *parent;
2644 g_return_if_fail (is_valid_builder (builder));
2645 g_return_if_fail (GVSB(builder)->offset < GVSB(builder)->max_items);
2646 g_return_if_fail (!GVSB(builder)->expected_type ||
2647 g_variant_type_is_subtype_of (type,
2648 GVSB(builder)->expected_type));
2649 g_return_if_fail (!GVSB(builder)->prev_item_type ||
2650 g_variant_type_is_subtype_of (GVSB(builder)->prev_item_type,
2653 parent = g_slice_dup (GVariantBuilder, builder);
2654 g_variant_builder_init (builder, type);
2655 GVSB(builder)->parent = parent;
2657 /* push the prev_item_type down into the subcontainer */
2658 if (GVSB(parent)->prev_item_type)
2660 if (!GVSB(builder)->uniform_item_types)
2661 /* tuples and dict entries */
2662 GVSB(builder)->prev_item_type =
2663 g_variant_type_first (GVSB(parent)->prev_item_type);
2665 else if (!g_variant_type_is_variant (GVSB(builder)->type))
2666 /* maybes and arrays */
2667 GVSB(builder)->prev_item_type =
2668 g_variant_type_element (GVSB(parent)->prev_item_type);
2673 * g_variant_builder_close:
2674 * @builder: a #GVariantBuilder
2676 * Closes the subcontainer inside the given @builder that was opened by
2677 * the most recent call to g_variant_builder_open().
2679 * It is an error to call this function in any way that would create an
2680 * inconsistent value to be constructed (ie: too few values added to the
2686 g_variant_builder_close (GVariantBuilder *builder)
2688 GVariantBuilder *parent;
2690 g_return_if_fail (is_valid_builder (builder));
2691 g_return_if_fail (GVSB(builder)->parent != NULL);
2693 parent = GVSB(builder)->parent;
2694 GVSB(builder)->parent = NULL;
2696 g_variant_builder_add_value (parent, g_variant_builder_end (builder));
2699 g_slice_free (GVariantBuilder, parent);
2703 * g_variant_make_maybe_type:
2704 * @element: a #GVariant
2706 * Return the type of a maybe containing @element.
2708 static GVariantType *
2709 g_variant_make_maybe_type (GVariant *element)
2711 return g_variant_type_new_maybe (g_variant_get_type (element));
2715 * g_variant_make_array_type:
2716 * @element: a #GVariant
2718 * Return the type of an array containing @element.
2720 static GVariantType *
2721 g_variant_make_array_type (GVariant *element)
2723 return g_variant_type_new_array (g_variant_get_type (element));
2727 * g_variant_builder_end:
2728 * @builder: a #GVariantBuilder
2729 * @returns: a new, floating, #GVariant
2731 * Ends the builder process and returns the constructed value.
2733 * This call automatically reduces the reference count on @builder by
2734 * one, unless it has previously had g_variant_builder_no_autofree()
2735 * called on it. Unless you've taken other actions, this is usually
2736 * sufficient to free @builder.
2738 * Even if additional references are held, it is not permissible to use
2739 * @builder in any way after this call except for further reference
2740 * counting operations.
2742 * It is an error to call this function in any way that would create an
2743 * inconsistent value to be constructed (ie: insufficient number of
2744 * items added to a container with a specific number of children
2745 * required). It is also an error to call this function if the builder
2746 * was created with an indefinite array or maybe type and no children
2747 * have been added; in this case it is impossible to infer the type of
2753 g_variant_builder_end (GVariantBuilder *builder)
2755 GVariantType *my_type;
2758 g_return_val_if_fail (is_valid_builder (builder), NULL);
2759 g_return_val_if_fail (GVSB(builder)->offset >= GVSB(builder)->min_items,
2761 g_return_val_if_fail (!GVSB(builder)->uniform_item_types ||
2762 GVSB(builder)->prev_item_type != NULL ||
2763 g_variant_type_is_definite (GVSB(builder)->type),
2766 if (g_variant_type_is_definite (GVSB(builder)->type))
2767 my_type = g_variant_type_copy (GVSB(builder)->type);
2769 else if (g_variant_type_is_maybe (GVSB(builder)->type))
2770 my_type = g_variant_make_maybe_type (GVSB(builder)->children[0]);
2772 else if (g_variant_type_is_array (GVSB(builder)->type))
2773 my_type = g_variant_make_array_type (GVSB(builder)->children[0]);
2775 else if (g_variant_type_is_tuple (GVSB(builder)->type))
2776 my_type = g_variant_make_tuple_type (GVSB(builder)->children,
2777 GVSB(builder)->offset);
2779 else if (g_variant_type_is_dict_entry (GVSB(builder)->type))
2780 my_type = g_variant_make_dict_entry_type (GVSB(builder)->children[0],
2781 GVSB(builder)->children[1]);
2783 g_assert_not_reached ();
2785 value = g_variant_new_from_children (my_type,
2786 g_renew (GVariant *,
2787 GVSB(builder)->children,
2788 GVSB(builder)->offset),
2789 GVSB(builder)->offset,
2790 GVSB(builder)->trusted);
2791 GVSB(builder)->children = NULL;
2792 GVSB(builder)->offset = 0;
2794 g_variant_builder_clear (builder);
2795 g_variant_type_free (my_type);
2800 /* Format strings {{{1 */
2802 * g_variant_format_string_scan:
2803 * @string: a string that may be prefixed with a format string
2804 * @limit: a pointer to the end of @string, or %NULL
2805 * @endptr: location to store the end pointer, or %NULL
2806 * @returns: %TRUE if there was a valid format string
2808 * Checks the string pointed to by @string for starting with a properly
2809 * formed #GVariant varargs format string. If no valid format string is
2810 * found then %FALSE is returned.
2812 * If @string does start with a valid format string then %TRUE is
2813 * returned. If @endptr is non-%NULL then it is updated to point to the
2814 * first character after the format string.
2816 * If @limit is non-%NULL then @limit (and any charater after it) will
2817 * not be accessed and the effect is otherwise equivalent to if the
2818 * character at @limit were nul.
2820 * See the section on <link linkend='gvariant-format-strings'>GVariant
2821 * Format Strings</link>.
2826 g_variant_format_string_scan (const gchar *string,
2828 const gchar **endptr)
2830 #define next_char() (string == limit ? '\0' : *string++)
2831 #define peek_char() (string == limit ? '\0' : *string)
2834 switch (next_char())
2836 case 'b': case 'y': case 'n': case 'q': case 'i': case 'u':
2837 case 'x': case 't': case 'h': case 'd': case 's': case 'o':
2838 case 'g': case 'v': case '*': case '?': case 'r':
2842 return g_variant_format_string_scan (string, limit, endptr);
2846 return g_variant_type_string_scan (string, limit, endptr);
2849 while (peek_char() != ')')
2850 if (!g_variant_format_string_scan (string, limit, &string))
2853 next_char(); /* consume ')' */
2863 if (c != 's' && c != 'o' && c != 'g')
2871 /* ISO/IEC 9899:1999 (C99) §7.21.5.2:
2872 * The terminating null character is considered to be
2873 * part of the string.
2875 if (c != '\0' && strchr ("bynqiuxthdsog?", c) == NULL)
2879 if (!g_variant_format_string_scan (string, limit, &string))
2882 if (next_char() != '}')
2887 case '^': /* '^as' or '^a&s' only */
2888 if (next_char() != 'a')
2891 if (peek_char() == '&')
2896 if (c != 's' && c != 'o' && c != 'g')
2904 if (c != 's' && c != 'o' && c != 'g')
2923 * g_variant_format_string_scan_type:
2924 * @string: a string that may be prefixed with a format string
2925 * @limit: a pointer to the end of @string
2926 * @endptr: location to store the end pointer, or %NULL
2927 * @returns: a #GVariantType if there was a valid format string
2929 * If @string starts with a valid format string then this function will
2930 * return the type that the format string corresponds to. Otherwise
2931 * this function returns %NULL.
2933 * Use g_variant_type_free() to free the return value when you no longer
2936 * This function is otherwise exactly like
2937 * g_variant_format_string_scan().
2942 g_variant_format_string_scan_type (const gchar *string,
2944 const gchar **endptr)
2946 const gchar *my_end;
2953 if (!g_variant_format_string_scan (string, limit, endptr))
2956 dest = new = g_malloc (*endptr - string + 1);
2957 while (string != *endptr)
2959 if (*string != '@' && *string != '&' && *string != '^')
2965 return (GVariantType *) G_VARIANT_TYPE (new);
2969 valid_format_string (const gchar *format_string,
2973 const gchar *endptr;
2976 type = g_variant_format_string_scan_type (format_string, NULL, &endptr);
2978 if G_UNLIKELY (type == NULL || (single && *endptr != '\0'))
2981 g_critical ("`%s' is not a valid GVariant format string",
2984 g_critical ("`%s' does not have a valid GVariant format "
2985 "string as a prefix", format_string);
2988 g_variant_type_free (type);
2993 if G_UNLIKELY (value && !g_variant_is_of_type (value, type))
2998 fragment = g_strndup (format_string, endptr - format_string);
2999 typestr = g_variant_type_dup_string (type);
3001 g_critical ("the GVariant format string `%s' has a type of "
3002 "`%s' but the given value has a type of `%s'",
3003 fragment, typestr, g_variant_get_type_string (value));
3005 g_variant_type_free (type);
3010 g_variant_type_free (type);
3015 /* Variable Arguments {{{1 */
3016 /* We consider 2 main classes of format strings:
3018 * - recursive format strings
3019 * these are ones that result in recursion and the collection of
3020 * possibly more than one argument. Maybe types, tuples,
3021 * dictionary entries.
3023 * - leaf format string
3024 * these result in the collection of a single argument.
3026 * Leaf format strings are further subdivided into two categories:
3028 * - single non-null pointer ("nnp")
3029 * these either collect or return a single non-null pointer.
3032 * these collect or return something else (bool, number, etc).
3034 * Based on the above, the varargs handling code is split into 4 main parts:
3036 * - nnp handling code
3037 * - leaf handling code (which may invoke nnp code)
3038 * - generic handling code (may be recursive, may invoke leaf code)
3039 * - user-facing API (which invokes the generic code)
3041 * Each section implements some of the following functions:
3044 * collect the arguments for the format string as if
3045 * g_variant_new() had been called, but do nothing with them. used
3046 * for skipping over arguments when constructing a Nothing maybe
3050 * create a GVariant *
3053 * unpack a GVariant *
3055 * - free (nnp only):
3056 * free a previously allocated item
3060 g_variant_format_string_is_leaf (const gchar *str)
3062 return str[0] != 'm' && str[0] != '(' && str[0] != '{';
3066 g_variant_format_string_is_nnp (const gchar *str)
3068 return str[0] == 'a' || str[0] == 's' || str[0] == 'o' || str[0] == 'g' ||
3069 str[0] == '^' || str[0] == '@' || str[0] == '*' || str[0] == '?' ||
3070 str[0] == 'r' || str[0] == 'v' || str[0] == '&';
3073 /* Single non-null pointer ("nnp") {{{2 */
3075 g_variant_valist_free_nnp (const gchar *str,
3081 g_variant_iter_free (ptr);
3085 if (str[2] != '&') /* '^as' */
3101 g_variant_unref (ptr);
3108 g_assert_not_reached ();
3113 g_variant_valist_new_nnp (const gchar **str,
3123 const GVariantType *type;
3126 value = g_variant_builder_end (ptr);
3127 type = g_variant_get_type (value);
3129 if G_UNLIKELY (!g_variant_type_is_array (type))
3130 g_error ("g_variant_new: expected array GVariantBuilder but "
3131 "the built value has type `%s'",
3132 g_variant_get_type_string (value));
3134 type = g_variant_type_element (type);
3136 if G_UNLIKELY (!g_variant_type_is_subtype_of (type, (GVariantType *) *str))
3137 g_error ("g_variant_new: expected GVariantBuilder array element "
3138 "type `%s' but the built value has element type `%s'",
3139 g_variant_type_dup_string ((GVariantType *) *str),
3140 g_variant_get_type_string (value) + 1);
3142 g_variant_type_string_scan (*str, NULL, str);
3148 return g_variant_new_string (ptr);
3151 return g_variant_new_object_path (ptr);
3154 return g_variant_new_signature (ptr);
3158 const GVariantType *type;
3159 GVariantType *array_type;
3160 GVariant **children;
3165 if ((*str)[1] == '&') /* '^a&s' */
3170 type = (GVariantType *) (*str)++;
3171 array_type = g_variant_type_new_array (type);
3172 length = g_strv_length (strv);
3173 children = g_new (GVariant *, length);
3174 for (i = 0; i < length; i++)
3175 children[i] = g_variant_ref_sink (
3176 g_variant_new_from_trusted (type, strv[i], strlen (strv[i]) + 1));
3178 value = g_variant_new_from_children (array_type, children,
3180 g_variant_type_free (array_type);
3186 if G_UNLIKELY (!g_variant_is_of_type (ptr, (GVariantType *) *str))
3187 g_error ("g_variant_new: expected GVariant of type `%s' but "
3188 "received value has type `%s'",
3189 g_variant_type_dup_string ((GVariantType *) *str),
3190 g_variant_get_type_string (ptr));
3192 g_variant_type_string_scan (*str, NULL, str);
3200 if G_UNLIKELY (!g_variant_type_is_basic (g_variant_get_type (ptr)))
3201 g_error ("g_variant_new: format string `?' expects basic-typed "
3202 "GVariant, but received value has type `%s'",
3203 g_variant_get_type_string (ptr));
3208 if G_UNLIKELY (!g_variant_type_is_tuple (g_variant_get_type (ptr)))
3209 g_error ("g_variant_new: format string `r` expects tuple-typed "
3210 "GVariant, but received value has type `%s'",
3211 g_variant_get_type_string (ptr));
3216 return g_variant_new_variant (ptr);
3219 g_assert_not_reached ();
3224 g_variant_valist_get_nnp (const gchar **str,
3230 g_variant_type_string_scan (*str, NULL, str);
3231 return g_variant_iter_new (value);
3235 return (gchar *) g_variant_get_string (value, NULL);
3240 return g_variant_dup_string (value, NULL);
3243 if ((*str)[1] == '&') /* '^a&s' */
3246 return g_variant_get_strv (value, NULL);
3251 return g_variant_dup_strv (value, NULL);
3255 g_variant_type_string_scan (*str, NULL, str);
3261 return g_variant_ref (value);
3264 return g_variant_get_variant (value);
3267 g_assert_not_reached ();
3273 g_variant_valist_skip_leaf (const gchar **str,
3276 if (g_variant_format_string_is_nnp (*str))
3278 g_variant_format_string_scan (*str, NULL, str);
3279 va_arg (*app, gpointer);
3297 va_arg (*app, guint64);
3301 va_arg (*app, gdouble);
3305 g_assert_not_reached ();
3310 g_variant_valist_new_leaf (const gchar **str,
3313 if (g_variant_format_string_is_nnp (*str))
3314 return g_variant_valist_new_nnp (str, va_arg (*app, gpointer));
3319 return g_variant_new_boolean (va_arg (*app, gboolean));
3322 return g_variant_new_byte (va_arg (*app, guint));
3325 return g_variant_new_int16 (va_arg (*app, gint));
3328 return g_variant_new_uint16 (va_arg (*app, guint));
3331 return g_variant_new_int32 (va_arg (*app, gint));
3334 return g_variant_new_uint32 (va_arg (*app, guint));
3337 return g_variant_new_int64 (va_arg (*app, gint64));
3340 return g_variant_new_uint64 (va_arg (*app, guint64));
3343 return g_variant_new_handle (va_arg (*app, gint));
3346 return g_variant_new_double (va_arg (*app, gdouble));
3349 g_assert_not_reached ();
3353 /* The code below assumes this */
3354 G_STATIC_ASSERT (sizeof (gboolean) == sizeof (guint32));
3355 G_STATIC_ASSERT (sizeof (gdouble) == sizeof (guint64));
3358 g_variant_valist_get_leaf (const gchar **str,
3363 gpointer ptr = va_arg (*app, gpointer);
3367 g_variant_format_string_scan (*str, NULL, str);
3371 if (g_variant_format_string_is_nnp (*str))
3373 gpointer *nnp = (gpointer *) ptr;
3375 if (free && *nnp != NULL)
3376 g_variant_valist_free_nnp (*str, *nnp);
3381 *nnp = g_variant_valist_get_nnp (str, value);
3383 g_variant_format_string_scan (*str, NULL, str);
3393 *(gboolean *) ptr = g_variant_get_boolean (value);
3397 *(guchar *) ptr = g_variant_get_byte (value);
3401 *(gint16 *) ptr = g_variant_get_int16 (value);
3405 *(guint16 *) ptr = g_variant_get_uint16 (value);
3409 *(gint32 *) ptr = g_variant_get_int32 (value);
3413 *(guint32 *) ptr = g_variant_get_uint32 (value);
3417 *(gint64 *) ptr = g_variant_get_int64 (value);
3421 *(guint64 *) ptr = g_variant_get_uint64 (value);
3425 *(gint32 *) ptr = g_variant_get_handle (value);
3429 *(gdouble *) ptr = g_variant_get_double (value);
3438 *(guchar *) ptr = 0;
3443 *(guint16 *) ptr = 0;
3450 *(guint32 *) ptr = 0;
3456 *(guint64 *) ptr = 0;
3461 g_assert_not_reached ();
3464 /* Generic (recursive) {{{2 */
3466 g_variant_valist_skip (const gchar **str,
3469 if (g_variant_format_string_is_leaf (*str))
3470 g_variant_valist_skip_leaf (str, app);
3472 else if (**str == 'm') /* maybe */
3476 if (!g_variant_format_string_is_nnp (*str))
3477 va_arg (*app, gboolean);
3479 g_variant_valist_skip (str, app);
3481 else /* tuple, dictionary entry */
3483 g_assert (**str == '(' || **str == '{');
3485 while (**str != ')' && **str != '}')
3486 g_variant_valist_skip (str, app);
3492 g_variant_valist_new (const gchar **str,
3495 if (g_variant_format_string_is_leaf (*str))
3496 return g_variant_valist_new_leaf (str, app);
3498 if (**str == 'm') /* maybe */
3500 GVariantType *type = NULL;
3501 GVariant *value = NULL;
3505 if (g_variant_format_string_is_nnp (*str))
3507 gpointer nnp = va_arg (*app, gpointer);
3510 value = g_variant_valist_new_nnp (str, nnp);
3512 type = g_variant_format_string_scan_type (*str, NULL, str);
3516 gboolean just = va_arg (*app, gboolean);
3519 value = g_variant_valist_new (str, app);
3522 type = g_variant_format_string_scan_type (*str, NULL, NULL);
3523 g_variant_valist_skip (str, app);
3527 value = g_variant_new_maybe (type, value);
3530 g_variant_type_free (type);
3534 else /* tuple, dictionary entry */
3539 g_variant_builder_init (&b, G_VARIANT_TYPE_TUPLE);
3542 g_assert (**str == '{');
3543 g_variant_builder_init (&b, G_VARIANT_TYPE_DICT_ENTRY);
3547 while (**str != ')' && **str != '}')
3548 g_variant_builder_add_value (&b, g_variant_valist_new (str, app));
3551 return g_variant_builder_end (&b);
3556 g_variant_valist_get (const gchar **str,
3561 if (g_variant_format_string_is_leaf (*str))
3562 g_variant_valist_get_leaf (str, value, free, app);
3564 else if (**str == 'm')
3569 value = g_variant_get_maybe (value);
3571 if (!g_variant_format_string_is_nnp (*str))
3573 gboolean *ptr = va_arg (*app, gboolean *);
3576 *ptr = value != NULL;
3579 g_variant_valist_get (str, value, free, app);
3582 g_variant_unref (value);
3585 else /* tuple, dictionary entry */
3589 g_assert (**str == '(' || **str == '{');
3592 while (**str != ')' && **str != '}')
3596 GVariant *child = g_variant_get_child_value (value, index++);
3597 g_variant_valist_get (str, child, free, app);
3598 g_variant_unref (child);
3601 g_variant_valist_get (str, NULL, free, app);
3607 /* User-facing API {{{2 */
3610 * @format_string: a #GVariant format string
3611 * @...: arguments, as per @format_string
3612 * @returns: a new floating #GVariant instance
3614 * Creates a new #GVariant instance.
3616 * Think of this function as an analogue to g_strdup_printf().
3618 * The type of the created instance and the arguments that are
3619 * expected by this function are determined by @format_string. See the
3620 * section on <link linkend='gvariant-format-strings'>GVariant Format
3621 * Strings</link>. Please note that the syntax of the format string is
3622 * very likely to be extended in the future.
3624 * The first character of the format string must not be '*' '?' '@' or
3625 * 'r'; in essence, a new #GVariant must always be constructed by this
3626 * function (and not merely passed through it unmodified).
3631 g_variant_new (const gchar *format_string,
3637 g_return_val_if_fail (valid_format_string (format_string, TRUE, NULL) &&
3638 format_string[0] != '?' && format_string[0] != '@' &&
3639 format_string[0] != '*' && format_string[0] != 'r',
3642 va_start (ap, format_string);
3643 value = g_variant_new_va (format_string, NULL, &ap);
3651 * @format_string: a string that is prefixed with a format string
3652 * @endptr: location to store the end pointer, or %NULL
3653 * @app: a pointer to a #va_list
3654 * @returns: a new, usually floating, #GVariant
3656 * This function is intended to be used by libraries based on
3657 * #GVariant that want to provide g_variant_new()-like functionality
3660 * The API is more general than g_variant_new() to allow a wider range
3663 * @format_string must still point to a valid format string, but it only
3664 * needs to be nul-terminated if @endptr is %NULL. If @endptr is
3665 * non-%NULL then it is updated to point to the first character past the
3666 * end of the format string.
3668 * @app is a pointer to a #va_list. The arguments, according to
3669 * @format_string, are collected from this #va_list and the list is left
3670 * pointing to the argument following the last.
3672 * These two generalisations allow mixing of multiple calls to
3673 * g_variant_new_va() and g_variant_get_va() within a single actual
3674 * varargs call by the user.
3676 * The return value will be floating if it was a newly created GVariant
3677 * instance (for example, if the format string was "(ii)"). In the case
3678 * that the format_string was '*', '?', 'r', or a format starting with
3679 * '@' then the collected #GVariant pointer will be returned unmodified,
3680 * without adding any additional references.
3682 * In order to behave correctly in all cases it is necessary for the
3683 * calling function to g_variant_ref_sink() the return result before
3684 * returning control to the user that originally provided the pointer.
3685 * At this point, the caller will have their own full reference to the
3686 * result. This can also be done by adding the result to a container,
3687 * or by passing it to another g_variant_new() call.
3692 g_variant_new_va (const gchar *format_string,
3693 const gchar **endptr,
3698 g_return_val_if_fail (valid_format_string (format_string, !endptr, NULL),
3700 g_return_val_if_fail (app != NULL, NULL);
3702 value = g_variant_valist_new (&format_string, app);
3705 *endptr = format_string;
3712 * @value: a #GVariant instance
3713 * @format_string: a #GVariant format string
3714 * @...: arguments, as per @format_string
3716 * Deconstructs a #GVariant instance.
3718 * Think of this function as an analogue to scanf().
3720 * The arguments that are expected by this function are entirely
3721 * determined by @format_string. @format_string also restricts the
3722 * permissible types of @value. It is an error to give a value with
3723 * an incompatible type. See the section on <link
3724 * linkend='gvariant-format-strings'>GVariant Format Strings</link>.
3725 * Please note that the syntax of the format string is very likely to be
3726 * extended in the future.
3731 g_variant_get (GVariant *value,
3732 const gchar *format_string,
3737 g_return_if_fail (valid_format_string (format_string, TRUE, value));
3739 /* if any direct-pointer-access formats are in use, flatten first */
3740 if (strchr (format_string, '&'))
3741 g_variant_get_data (value);
3743 va_start (ap, format_string);
3744 g_variant_get_va (value, format_string, NULL, &ap);
3750 * @value: a #GVariant
3751 * @format_string: a string that is prefixed with a format string
3752 * @endptr: location to store the end pointer, or %NULL
3753 * @app: a pointer to a #va_list
3755 * This function is intended to be used by libraries based on #GVariant
3756 * that want to provide g_variant_get()-like functionality to their
3759 * The API is more general than g_variant_get() to allow a wider range
3762 * @format_string must still point to a valid format string, but it only
3763 * need to be nul-terminated if @endptr is %NULL. If @endptr is
3764 * non-%NULL then it is updated to point to the first character past the
3765 * end of the format string.
3767 * @app is a pointer to a #va_list. The arguments, according to
3768 * @format_string, are collected from this #va_list and the list is left
3769 * pointing to the argument following the last.
3771 * These two generalisations allow mixing of multiple calls to
3772 * g_variant_new_va() and g_variant_get_va() within a single actual
3773 * varargs call by the user.
3778 g_variant_get_va (GVariant *value,
3779 const gchar *format_string,
3780 const gchar **endptr,
3783 g_return_if_fail (valid_format_string (format_string, !endptr, value));
3784 g_return_if_fail (value != NULL);
3785 g_return_if_fail (app != NULL);
3787 /* if any direct-pointer-access formats are in use, flatten first */
3788 if (strchr (format_string, '&'))
3789 g_variant_get_data (value);
3791 g_variant_valist_get (&format_string, value, FALSE, app);
3794 *endptr = format_string;
3797 /* Varargs-enabled Utility Functions {{{1 */
3800 * g_variant_builder_add:
3801 * @builder: a #GVariantBuilder
3802 * @format_string: a #GVariant varargs format string
3803 * @...: arguments, as per @format_string
3805 * Adds to a #GVariantBuilder.
3807 * This call is a convenience wrapper that is exactly equivalent to
3808 * calling g_variant_new() followed by g_variant_builder_add_value().
3810 * This function might be used as follows:
3814 * make_pointless_dictionary (void)
3816 * GVariantBuilder *builder;
3819 * builder = g_variant_builder_new (G_VARIANT_TYPE_CLASS_ARRAY,
3821 * for (i = 0; i < 16; i++)
3825 * sprintf (buf, "%d", i);
3826 * g_variant_builder_add (builder, "{is}", i, buf);
3829 * return g_variant_builder_end (builder);
3836 g_variant_builder_add (GVariantBuilder *builder,
3837 const gchar *format_string,
3843 va_start (ap, format_string);
3844 variant = g_variant_new_va (format_string, NULL, &ap);
3847 g_variant_builder_add_value (builder, variant);
3851 * g_variant_get_child:
3852 * @value: a container #GVariant
3853 * @index_: the index of the child to deconstruct
3854 * @format_string: a #GVariant format string
3855 * @...: arguments, as per @format_string
3857 * Reads a child item out of a container #GVariant instance and
3858 * deconstructs it according to @format_string. This call is
3859 * essentially a combination of g_variant_get_child_value() and
3865 g_variant_get_child (GVariant *value,
3867 const gchar *format_string,
3873 child = g_variant_get_child_value (value, index_);
3874 g_return_if_fail (valid_format_string (format_string, TRUE, child));
3876 va_start (ap, format_string);
3877 g_variant_get_va (child, format_string, NULL, &ap);
3880 g_variant_unref (child);
3884 * g_variant_iter_next:
3885 * @iter: a #GVariantIter
3886 * @format_string: a GVariant format string
3887 * @...: the arguments to unpack the value into
3888 * @returns: %TRUE if a value was unpacked, or %FALSE if there as no
3891 * Gets the next item in the container and unpacks it into the variable
3892 * argument list according to @format_string, returning %TRUE.
3894 * If no more items remain then %FALSE is returned.
3896 * All of the pointers given on the variable arguments list of this
3897 * function are assumed to point at uninitialised memory. It is the
3898 * responsibility of the caller to free all of the values returned by
3899 * the unpacking process.
3902 * <title>Memory management with g_variant_iter_next()</title>
3904 * /<!-- -->* Iterates a dictionary of type 'a{sv}' *<!-- -->/
3906 * iterate_dictionary (GVariant *dictionary)
3908 * GVariantIter iter;
3912 * g_variant_iter_init (&iter, dictionary);
3913 * while (g_variant_iter_next (&iter, "{sv}", &key, &value))
3915 * g_print ("Item '%s' has type '%s'\n", key,
3916 * g_variant_get_type_string (value));
3918 * /<!-- -->* must free data for ourselves *<!-- -->/
3919 * g_variant_unref (value);
3926 * For a solution that is likely to be more convenient to C programmers
3927 * when dealing with loops, see g_variant_iter_loop().
3932 g_variant_iter_next (GVariantIter *iter,
3933 const gchar *format_string,
3938 value = g_variant_iter_next_value (iter);
3940 g_return_val_if_fail (valid_format_string (format_string, TRUE, value),
3947 va_start (ap, format_string);
3948 g_variant_valist_get (&format_string, value, FALSE, &ap);
3951 g_variant_unref (value);
3954 return value != NULL;
3958 * g_variant_iter_loop:
3959 * @iter: a #GVariantIter
3960 * @format_string: a GVariant format string
3961 * @...: the arguments to unpack the value into
3962 * @returns: %TRUE if a value was unpacked, or %FALSE if there as no
3965 * Gets the next item in the container and unpacks it into the variable
3966 * argument list according to @format_string, returning %TRUE.
3968 * If no more items remain then %FALSE is returned.
3970 * On the first call to this function, the pointers appearing on the
3971 * variable argument list are assumed to point at uninitialised memory.
3972 * On the second and later calls, it is assumed that the same pointers
3973 * will be given and that they will point to the memory as set by the
3974 * previous call to this function. This allows the previous values to
3975 * be freed, as appropriate.
3977 * This function is intended to be used with a while loop as
3978 * demonstrated in the following example. This function can only be
3979 * used when iterating over an array. It is only valid to call this
3980 * function with a string constant for the format string and the same
3981 * string constant must be used each time. Mixing calls to this
3982 * function and g_variant_iter_next() or g_variant_iter_next_value() on
3983 * the same iterator is not recommended.
3986 * <title>Memory management with g_variant_iter_loop()</title>
3988 * /<!-- -->* Iterates a dictionary of type 'a{sv}' *<!-- -->/
3990 * iterate_dictionary (GVariant *dictionary)
3992 * GVariantIter iter;
3996 * g_variant_iter_init (&iter, dictionary);
3997 * while (g_variant_iter_loop (&iter, "{sv}", &key, &value))
3999 * g_print ("Item '%s' has type '%s'\n", key,
4000 * g_variant_get_type_string (value));
4002 * /<!-- -->* no need to free 'key' and 'value' here *<!-- -->/
4008 * If you want a slightly less magical alternative that requires more
4009 * typing, see g_variant_iter_next().
4014 g_variant_iter_loop (GVariantIter *iter,
4015 const gchar *format_string,
4018 gboolean first_time = GVSI(iter)->loop_format == NULL;
4022 g_return_val_if_fail (first_time ||
4023 format_string == GVSI(iter)->loop_format,
4028 TYPE_CHECK (GVSI(iter)->value, G_VARIANT_TYPE_ARRAY, FALSE);
4029 GVSI(iter)->loop_format = format_string;
4031 if (strchr (format_string, '&'))
4032 g_variant_get_data (GVSI(iter)->value);
4035 value = g_variant_iter_next_value (iter);
4037 g_return_val_if_fail (!first_time ||
4038 valid_format_string (format_string, TRUE, value),
4041 va_start (ap, format_string);
4042 g_variant_valist_get (&format_string, value, !first_time, &ap);
4046 g_variant_unref (value);
4048 return value != NULL;
4051 /* Serialised data {{{1 */
4053 g_variant_deep_copy (GVariant *value)
4055 switch (g_variant_classify (value))
4057 case G_VARIANT_CLASS_MAYBE:
4058 case G_VARIANT_CLASS_ARRAY:
4059 case G_VARIANT_CLASS_TUPLE:
4060 case G_VARIANT_CLASS_DICT_ENTRY:
4061 case G_VARIANT_CLASS_VARIANT:
4063 GVariantBuilder builder;
4067 g_variant_builder_init (&builder, g_variant_get_type (value));
4068 g_variant_iter_init (&iter, value);
4070 while ((child = g_variant_iter_next_value (&iter)))
4072 g_variant_builder_add_value (&builder, g_variant_deep_copy (child));
4073 g_variant_unref (child);
4076 return g_variant_builder_end (&builder);
4079 case G_VARIANT_CLASS_BOOLEAN:
4080 return g_variant_new_boolean (g_variant_get_boolean (value));
4082 case G_VARIANT_CLASS_BYTE:
4083 return g_variant_new_byte (g_variant_get_byte (value));
4085 case G_VARIANT_CLASS_INT16:
4086 return g_variant_new_int16 (g_variant_get_int16 (value));
4088 case G_VARIANT_CLASS_UINT16:
4089 return g_variant_new_uint16 (g_variant_get_uint16 (value));
4091 case G_VARIANT_CLASS_INT32:
4092 return g_variant_new_int32 (g_variant_get_int32 (value));
4094 case G_VARIANT_CLASS_UINT32:
4095 return g_variant_new_uint32 (g_variant_get_uint32 (value));
4097 case G_VARIANT_CLASS_INT64:
4098 return g_variant_new_int64 (g_variant_get_int64 (value));
4100 case G_VARIANT_CLASS_UINT64:
4101 return g_variant_new_uint64 (g_variant_get_uint64 (value));
4103 case G_VARIANT_CLASS_HANDLE:
4104 return g_variant_new_handle (g_variant_get_handle (value));
4106 case G_VARIANT_CLASS_DOUBLE:
4107 return g_variant_new_double (g_variant_get_double (value));
4109 case G_VARIANT_CLASS_STRING:
4110 return g_variant_new_string (g_variant_get_string (value, NULL));
4112 case G_VARIANT_CLASS_OBJECT_PATH:
4113 return g_variant_new_object_path (g_variant_get_string (value, NULL));
4115 case G_VARIANT_CLASS_SIGNATURE:
4116 return g_variant_new_signature (g_variant_get_string (value, NULL));
4119 g_assert_not_reached ();
4123 * g_variant_get_normal_form:
4124 * @value: a #GVariant
4125 * @returns: a trusted #GVariant
4127 * Gets a #GVariant instance that has the same value as @value and is
4128 * trusted to be in normal form.
4130 * If @value is already trusted to be in normal form then a new
4131 * reference to @value is returned.
4133 * If @value is not already trusted, then it is scanned to check if it
4134 * is in normal form. If it is found to be in normal form then it is
4135 * marked as trusted and a new reference to it is returned.
4137 * If @value is found not to be in normal form then a new trusted
4138 * #GVariant is created with the same value as @value.
4140 * It makes sense to call this function if you've received #GVariant
4141 * data from untrusted sources and you want to ensure your serialised
4142 * output is definitely in normal form.
4147 g_variant_get_normal_form (GVariant *value)
4151 if (g_variant_is_normal_form (value))
4152 return g_variant_ref (value);
4154 trusted = g_variant_deep_copy (value);
4155 g_assert (g_variant_is_trusted (trusted));
4157 return g_variant_ref_sink (trusted);
4161 * g_variant_byteswap:
4162 * @value: a #GVariant
4163 * @returns: the byteswapped form of @value
4165 * Performs a byteswapping operation on the contents of @value. The
4166 * result is that all multi-byte numeric data contained in @value is
4167 * byteswapped. That includes 16, 32, and 64bit signed and unsigned
4168 * integers as well as file handles and double precision floating point
4171 * This function is an identity mapping on any value that does not
4172 * contain multi-byte numeric data. That include strings, booleans,
4173 * bytes and containers containing only these things (recursively).
4175 * The returned value is always in normal form and is marked as trusted.
4180 g_variant_byteswap (GVariant *value)
4182 GVariantSerialised serialised;
4187 trusted = g_variant_get_normal_form (value);
4188 serialised.type_info = g_variant_get_type_info (trusted);
4189 serialised.size = g_variant_get_size (trusted);
4190 serialised.data = g_malloc (serialised.size);
4191 g_variant_store (trusted, serialised.data);
4192 g_variant_unref (trusted);
4194 g_variant_serialised_byteswap (serialised);
4196 buffer = g_buffer_new_take_data (serialised.data, serialised.size);
4197 new = g_variant_new_from_buffer (g_variant_get_type (value), buffer, TRUE);
4198 g_buffer_unref (buffer);
4200 return g_variant_ref_sink (new);
4204 * g_variant_new_from_data:
4205 * @type: a definite #GVariantType
4206 * @data: the serialised data
4207 * @size: the size of @data
4208 * @trusted: %TRUE if @data is definitely in normal form
4209 * @notify: function to call when @data is no longer needed
4210 * @user_data: data for @notify
4211 * @returns: a new floating #GVariant of type @type
4213 * Creates a new #GVariant instance from serialised data.
4215 * @type is the type of #GVariant instance that will be constructed.
4216 * The interpretation of @data depends on knowing the type.
4218 * @data is not modified by this function and must remain valid with an
4219 * unchanging value until such a time as @notify is called with
4220 * @user_data. If the contents of @data change before that time then
4221 * the result is undefined.
4223 * If @data is trusted to be serialised data in normal form then
4224 * @trusted should be %TRUE. This applies to serialised data created
4225 * within this process or read from a trusted location on the disk (such
4226 * as a file installed in /usr/lib alongside your application). You
4227 * should set trusted to %FALSE if @data is read from the network, a
4228 * file in the user's home directory, etc.
4230 * @notify will be called with @user_data when @data is no longer
4231 * needed. The exact time of this call is unspecified and might even be
4232 * before this function returns.
4237 g_variant_new_from_data (const GVariantType *type,
4241 GDestroyNotify notify,
4247 g_return_val_if_fail (g_variant_type_is_definite (type), NULL);
4248 g_return_val_if_fail (data != NULL || size == 0, NULL);
4251 buffer = g_buffer_new_from_pointer (data, size, notify, user_data);
4253 buffer = g_buffer_new_from_static_data (data, size);
4255 value = g_variant_new_from_buffer (type, buffer, trusted);
4256 g_buffer_unref (buffer);
4262 #define __G_VARIANT_C__
4263 #include "galiasdef.c"
4265 /* vim:set foldmethod=marker: */