Compact data type definitions.

4 files changed, 337 insertions, 67 deletions

diff --git a/src/analysis/type-int.h b/src/analysis/type-int.h
index e14d209..d6c2588 100644
--- a/src/analysis/type-int.h
+++ b/src/analysis/type-int.h
@@ -29,6 +29,7 @@
 
 
 #include "storage/serialize-int.h"
+#include "../glibext/objhole.h"
 
 
 
@@ -58,18 +59,61 @@ typedef bool (* type_is_reference_fc) (const GDataType *);
 
 
 
+/* Informations glissées dans la structure GObject de GBinSymbol */
+typedef union _type_obj_extra
+{
+    struct
+    {
+        TypeQualifier qualifiers;           /* Eventuels qualificatifs     */
+        char ns_sep[2];                     /* Séparateur d'éléments       */
+        TypeFlag flags;                     /* Propriétés du type          */
+
+    };
+
+    gint lock;                              /* Gestion d'accès aux fanions */
+
+} type_obj_extra;
+
 /* Description de type quelconque (instance) */
 struct _GDataType
 {
     GObject parent;                         /* A laisser en premier        */
 
-    TypeQualifier qualifiers;               /* Eventuels qualificatifs     */
-
     GDataType *namespace;                   /* Espace de noms / classe     */
-    char *ns_sep;                           /* Séparateur d'éléments       */
+
+#if __SIZEOF_INT__ == __SIZEOF_LONG__
+
+    /**
+     * L'inclusion des informations suivantes dépend de l'architecture.
+     *
+     * Si la structure GObject possède un trou, on remplit de préférence
+     * ce dernier.
+     */
+
+    type_obj_extra extra;                   /* Externalisation embarquée   */
+
+#endif
 
 };
 
+/**
+ * Accès aux informations éventuellement déportées.
+ */
+
+#if __SIZEOF_INT__ == __SIZEOF_LONG__
+
+#   define INIT_DATA_TYPE_EXTRA(tp) tp->extra.lock = 0
+
+#   define GET_DATA_TYPE_EXTRA(tp) &tp->extra
+
+#else
+
+#   define INIT_DATA_TYPE_EXTRA(tp) INIT_GOBJECT_EXTRA(G_OBJECT(tp))
+
+#   define GET_DATA_TYPE_EXTRA(tp) GET_GOBJECT_EXTRA(G_OBJECT(tp), type_obj_extra)
+
+#endif
+
 /* Description de type quelconque (classe) */
 struct _GDataTypeClass
 {
diff --git a/src/analysis/type.c b/src/analysis/type.c
index a5cc46c..4a0b7d8 100644
--- a/src/analysis/type.c
+++ b/src/analysis/type.c
@@ -24,6 +24,7 @@
 #include "type.h"
 
 
+#include <assert.h>
 #include <malloc.h>
 #include <string.h>
 
@@ -109,10 +110,11 @@ static void g_data_type_class_init(GDataTypeClass *klass)
 
 static void g_data_type_init(GDataType *type)
 {
+    INIT_DATA_TYPE_EXTRA(type);
+
     g_data_type_set_qualifiers(type, TQF_NONE);
 
     type->namespace = NULL;
-    type->ns_sep = NULL;
 
 }
 
@@ -172,9 +174,6 @@ static void g_data_type_dispose(GDataType *type)
 
 static void g_data_type_finalize(GDataType *type)
 {
-    if (type->ns_sep != NULL)
-        free(type->ns_sep);
-
     G_OBJECT_CLASS(g_data_type_parent_class)->finalize(G_OBJECT(type));
 
 }
@@ -197,27 +196,35 @@ static void g_data_type_finalize(GDataType *type)
 static bool _g_data_type_load(GDataType *type, GObjectStorage *storage, packed_buffer *pbuf)
 {
     bool result;                            /* Bilan à retourner           */
-    uint8_t has_ns;                         /* Association d'un espace ?   */
     uleb128_t value;                        /* Valeur ULEB128 à charger    */
+    char ns_sep[2];                         /* Séparateur d'éléments       */
+    GDataType *namespace;                   /* Espace de noms / classe     */
 
     result = unpack_uleb128(&value, pbuf);
     if (!result) goto exit;
 
     g_data_type_set_qualifiers(type, value);
 
-    result = extract_packed_buffer(pbuf, &has_ns, sizeof(uint8_t), false);
+    result = unpack_uleb128(&value, pbuf);
+    if (!result) goto exit;
+
+    g_data_type_set_flags(type, value);
+
+    result = extract_packed_buffer(pbuf, ns_sep, 2 * sizeof(char), false);
     if (!result) goto exit;
 
-    if (has_ns == 0x01)
+    if (ns_sep[0] != '\0')
     {
-        result = g_data_type_load(type->namespace, storage, pbuf);
-        if (!result) goto exit;
+        //result = g_data_type_load(type->namespace, storage, pbuf); // TODO
+        namespace = NULL;
 
-        result = unpack_uleb128(&value, pbuf);
+        result = (namespace != NULL);
         if (!result) goto exit;
 
-        type->ns_sep = calloc(value, sizeof(char));
-        result = extract_packed_buffer(pbuf, type->ns_sep, value, false);
+        result = g_data_type_set_namespace(type, namespace, ns_sep);
+        assert(result);
+
+        g_object_unref(G_OBJECT(namespace));
 
     }
 
@@ -273,31 +280,34 @@ static bool g_data_type_load(GDataType *type, GObjectStorage *storage, packed_bu
 static bool _g_data_type_store(const GDataType *type, GObjectStorage *storage, packed_buffer *pbuf)
 {
     bool result;                            /* Bilan à retourner           */
-    uint8_t has_ns;                         /* Association d'un espace ?   */
-    size_t ns_sep_len;                      /* Taille du séparateur        */
+    type_obj_extra *extra;                  /* Données insérées à modifier */
 
     result = pack_uleb128((uleb128_t []){ g_data_type_get_qualifiers(type) }, pbuf);
     if (!result) goto exit;
 
-    has_ns = (type->namespace != NULL ? 0x01 : 0x00);
-
-    result = extend_packed_buffer(pbuf, &has_ns, sizeof(uint8_t), false);
+    result = pack_uleb128((uleb128_t []){ g_data_type_get_flags(type) }, pbuf);
     if (!result) goto exit;
 
-    if (type->namespace != NULL)
-    {
-        result = g_data_type_store(type->namespace, storage, pbuf);
-        if (!result) goto exit;
+    extra = GET_DATA_TYPE_EXTRA(type);
 
-        ns_sep_len = strlen(type->ns_sep);
+    g_bit_lock(&extra->lock, HOLE_LOCK_BIT);
 
-        result = pack_uleb128((uleb128_t []){ ns_sep_len }, pbuf);
-        if (!result) goto exit;
+    result = extend_packed_buffer(pbuf, extra->ns_sep, 2 * sizeof(char), false);
+    if (!result) goto unlocking_exit;
+
+    if (extra->ns_sep[0] != '\0')
+    {
+        assert(type->namespace != NULL);
 
-        result = extend_packed_buffer(pbuf, type->ns_sep, ns_sep_len, false);
+        result = g_data_type_store(type->namespace, storage, pbuf);
+        if (!result) goto unlocking_exit;
 
     }
 
+ unlocking_exit:
+
+    g_bit_unlock(&extra->lock, HOLE_LOCK_BIT);
+
  exit:
 
     return result;
@@ -380,23 +390,39 @@ GDataType *g_data_type_dup(const GDataType *type)
 {
     GDataType *result;                      /* Copie à retourner           */
     GDataTypeClass *class;                  /* Classe du type              */
+    type_obj_extra *extra;                  /* Données insérées à modifier */
     GDataType *ns;                          /* Eventuel espace de noms     */
-    char *ns_sep;                           /* Séparation des espaces      */
+    bool status;                            /* Bilan d'un rattachement     */
 
     class = G_DATA_TYPE_GET_CLASS(type);
 
     result = class->dup(type);
 
-    if (type->namespace != NULL)
+    g_data_type_set_qualifiers(result, g_data_type_get_qualifiers(type));
+
+    g_data_type_set_flags(result, g_data_type_get_flags(type));
+
+    extra = GET_DATA_TYPE_EXTRA(type);
+
+    g_bit_lock(&extra->lock, HOLE_LOCK_BIT);
+
+    if (extra->ns_sep[0] != '\0')
     {
+        assert(type->namespace != NULL);
+
         ns = g_data_type_dup(type->namespace);
-        ns_sep = type->ns_sep != NULL ? strdup(type->ns_sep) : NULL;
 
-        g_data_type_set_namespace(result, ns, ns_sep);
+        status = g_data_type_set_namespace(result, ns, extra->ns_sep);
+        assert(status);
+
+        g_object_unref(G_OBJECT(ns));
+
+        if (!status)
+            g_clear_object(&result);
 
     }
 
-    result->qualifiers = type->qualifiers;
+    g_bit_unlock(&extra->lock, HOLE_LOCK_BIT);
 
     return result;
 
@@ -420,7 +446,9 @@ char *g_data_type_to_string(const GDataType *type, bool include)
 {
     char *result;                           /* Chaîne à retourner          */
     GDataTypeClass *class;                  /* Classe du type              */
+    type_obj_extra *extra;                  /* Données insérées à modifier */
     char *namespace;                        /* Groupe d'appartenance       */
+    TypeQualifier qualifiers;               /* Qualificatifs du type       */
 
     class = G_DATA_TYPE_GET_CLASS(type);
 
@@ -429,24 +457,36 @@ char *g_data_type_to_string(const GDataType *type, bool include)
     if (result == NULL)
         result = strdup("");
 
-    if (include && type->namespace != NULL && g_data_type_handle_namespaces(type))
+    if (include)
     {
-        namespace = g_data_type_to_string(type->namespace, true);
+        extra = GET_DATA_TYPE_EXTRA(type);
+
+        g_bit_lock(&extra->lock, HOLE_LOCK_BIT);
 
-        result = strprep(result, type->ns_sep);
-        result = strprep(result, namespace);
+        if (type->namespace != NULL && g_data_type_handle_namespaces(type))
+        {
+            namespace = g_data_type_to_string(type->namespace, true);
 
-        free(namespace);
+            result = strprep(result, extra->ns_sep);
+            result = strprep(result, namespace);
+
+            free(namespace);
+
+        }
+
+        g_bit_unlock(&extra->lock, HOLE_LOCK_BIT);
 
     }
 
-    if (type->qualifiers & TQF_RESTRICT)
+    qualifiers = g_data_type_get_qualifiers(type);
+
+    if (qualifiers & TQF_RESTRICT)
         result = strprep(result, "restrict ");
 
-    if (type->qualifiers & TQF_VOLATILE)
+    if (qualifiers & TQF_VOLATILE)
         result = strprep(result, "volatile ");
 
-    if (type->qualifiers & TQF_CONST)
+    if (qualifiers & TQF_CONST)
         result = strprep(result, "const ");
 
     return result;
@@ -457,7 +497,7 @@ char *g_data_type_to_string(const GDataType *type, bool include)
 /******************************************************************************
 *                                                                             *
 *  Paramètres  : type       = instance à mettre à jour.                       *
-*                qualifiers = nouveaux qualificatifs pour la variable.        *
+*                qualifiers = nouveaux qualificatifs pour le type.            *
 *                                                                             *
 *  Description : Définit l'ensemble des qualificatifs d'une instance de type. *
 *                                                                             *
@@ -469,7 +509,15 @@ char *g_data_type_to_string(const GDataType *type, bool include)
 
 void g_data_type_set_qualifiers(GDataType *type, TypeQualifier qualifiers)
 {
-    type->qualifiers = qualifiers;
+    type_obj_extra *extra;                  /* Données insérées à modifier */
+
+    extra = GET_DATA_TYPE_EXTRA(type);
+
+    g_bit_lock(&extra->lock, HOLE_LOCK_BIT);
+
+    extra->qualifiers = qualifiers;
+
+    g_bit_unlock(&extra->lock, HOLE_LOCK_BIT);
 
 }
 
@@ -477,7 +525,7 @@ void g_data_type_set_qualifiers(GDataType *type, TypeQualifier qualifiers)
 /******************************************************************************
 *                                                                             *
 *  Paramètres  : type      = instance à mettre à jour.                        *
-*                qualifier = nouveau qualificatif pour la variable.           *
+*                qualifier = nouveau qualificatif pour le type.               *
 *                                                                             *
 *  Description : Ajoute un qualificatif à une instance de type.               *
 *                                                                             *
@@ -489,7 +537,15 @@ void g_data_type_set_qualifiers(GDataType *type, TypeQualifier qualifiers)
 
 void g_data_type_add_qualifier(GDataType *type, TypeQualifier qualifier)
 {
-    type->qualifiers |= qualifier;
+    type_obj_extra *extra;                  /* Données insérées à modifier */
+
+    extra = GET_DATA_TYPE_EXTRA(type);
+
+    g_bit_lock(&extra->lock, HOLE_LOCK_BIT);
+
+    extra->qualifiers |= qualifier;
+
+    g_bit_unlock(&extra->lock, HOLE_LOCK_BIT);
 
 }
 
@@ -509,8 +565,15 @@ void g_data_type_add_qualifier(GDataType *type, TypeQualifier qualifier)
 TypeQualifier g_data_type_get_qualifiers(const GDataType *type)
 {
     TypeQualifier result;                   /* Qualificatifs à renvoyer    */
+    type_obj_extra *extra;                  /* Données insérées à modifier */
 
-    result = type->qualifiers;
+    extra = GET_DATA_TYPE_EXTRA(type);
+
+    g_bit_lock(&extra->lock, HOLE_LOCK_BIT);
+
+    result = extra->qualifiers;
+
+    g_bit_unlock(&extra->lock, HOLE_LOCK_BIT);
 
     return result;
 
@@ -525,22 +588,48 @@ TypeQualifier g_data_type_get_qualifiers(const GDataType *type)
 *                                                                             *
 *  Description : Définit le groupe d'appartenance d'un type donné.            *
 *                                                                             *
-*  Retour      : -                                                            *
+*  Retour      : true si la définition est effective, false en cas de rejet.  *
 *                                                                             *
 *  Remarques   : -                                                            *
 *                                                                             *
 ******************************************************************************/
 
-void g_data_type_set_namespace(GDataType *type, GDataType *namespace, char *sep)
+bool g_data_type_set_namespace(GDataType *type, GDataType *namespace, const char *sep)
 {
-    if (type->namespace != NULL)
-        g_object_unref(G_OBJECT(type->namespace));
+    bool result;                            /* Bilan à retourner           */
+    type_obj_extra *extra;                  /* Données insérées à modifier */
+
+    result = ((namespace == NULL && sep == NULL) || (namespace != NULL && sep != NULL && sep[0] != '\0'));
+
+    if (result)
+    {
+        extra = GET_DATA_TYPE_EXTRA(type);
+
+        g_bit_lock(&extra->lock, HOLE_LOCK_BIT);
+
+        if (sep == NULL)
+        {
+            extra->ns_sep[0] = '\0';
+            extra->ns_sep[1] = '\0';
+        }
+        else
+        {
+            extra->ns_sep[0] = sep[0];
+            extra->ns_sep[1] = sep[1];
+        }
+
+        if (type->namespace != NULL)
+            g_object_unref(G_OBJECT(type->namespace));
 
-    if (type->ns_sep != NULL)
-        free(type->ns_sep);
+        type->namespace = namespace;
+
+        g_object_ref(G_OBJECT(namespace));
+
+        g_bit_unlock(&extra->lock, HOLE_LOCK_BIT);
+
+    }
 
-    type->namespace = namespace;
-    type->ns_sep = sep;
+    return result;
 
 }
 
@@ -560,12 +649,19 @@ void g_data_type_set_namespace(GDataType *type, GDataType *namespace, char *sep)
 GDataType *g_data_type_get_namespace(const GDataType *type)
 {
     GDataType *result;                      /* Espace à renvoyer           */
+    type_obj_extra *extra;                  /* Données insérées à modifier */
+
+    extra = GET_DATA_TYPE_EXTRA(type);
+
+    g_bit_lock(&extra->lock, HOLE_LOCK_BIT);
 
     result = type->namespace;
 
     if (result != NULL)
         g_object_ref(G_OBJECT(result));
 
+    g_bit_unlock(&extra->lock, HOLE_LOCK_BIT);
+
     return result;
 
 }
@@ -583,11 +679,25 @@ GDataType *g_data_type_get_namespace(const GDataType *type)
 *                                                                             *
 ******************************************************************************/
 
-const char *g_data_type_get_namespace_separator(const GDataType *type)
+char *g_data_type_get_namespace_separator(const GDataType *type)
 {
     char *result;                           /* Séparateur à retourner      */
+    type_obj_extra *extra;                  /* Données insérées à modifier */
+
+    extra = GET_DATA_TYPE_EXTRA(type);
+
+    g_bit_lock(&extra->lock, HOLE_LOCK_BIT);
+
+    if (extra->ns_sep[0] == '\0')
+        result = NULL;
+
+    else if (extra->ns_sep[1] == '\0')
+        result = strndup(extra->ns_sep, 1);
 
-    result = type->ns_sep;
+    else
+        result = strndup(extra->ns_sep, 2);
+
+    g_bit_unlock(&extra->lock, HOLE_LOCK_BIT);
 
     return result;
 
@@ -625,6 +735,92 @@ bool g_data_type_handle_namespaces(const GDataType *type)
 
 /******************************************************************************
 *                                                                             *
+*  Paramètres  : type       = instance à mettre à jour.                       *
+*                flags = nouvelles propriétés pour le type.                   *
+*                                                                             *
+*  Description : Définit l'ensemble des fanions d'une instance de type.       *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+void g_data_type_set_flags(GDataType *type, TypeFlag flags)
+{
+    type_obj_extra *extra;                  /* Données insérées à modifier */
+
+    extra = GET_DATA_TYPE_EXTRA(type);
+
+    g_bit_lock(&extra->lock, HOLE_LOCK_BIT);
+
+    extra->flags = flags;
+
+    g_bit_unlock(&extra->lock, HOLE_LOCK_BIT);
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : type      = instance à mettre à jour.                        *
+*                flag = nouvelle propriété pour le type.                      *
+*                                                                             *
+*  Description : Ajoute un fanion à une instance de type.                     *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+void g_data_type_add_flag(GDataType *type, TypeFlag flag)
+{
+    type_obj_extra *extra;                  /* Données insérées à modifier */
+
+    extra = GET_DATA_TYPE_EXTRA(type);
+
+    g_bit_lock(&extra->lock, HOLE_LOCK_BIT);
+
+    extra->flags |= flag;
+
+    g_bit_unlock(&extra->lock, HOLE_LOCK_BIT);
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : type = instance à consulter.                                 *
+*                                                                             *
+*  Description : Fournit les fanions associés à une instance de type.         *
+*                                                                             *
+*  Retour      : Qualificatifs éventuels.                                     *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+TypeFlag g_data_type_get_flags(const GDataType *type)
+{
+    TypeFlag result;                        /* Propriétés à renvoyer       */
+    type_obj_extra *extra;                  /* Données insérées à modifier */
+
+    extra = GET_DATA_TYPE_EXTRA(type);
+
+    g_bit_lock(&extra->lock, HOLE_LOCK_BIT);
+
+    result = extra->flags;
+
+    g_bit_unlock(&extra->lock, HOLE_LOCK_BIT);
+
+    return result;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
 *  Paramètres  : type = type à consulter.                                     *
 *                                                                             *
 *  Description : Indique si le type est un pointeur.                          *
diff --git a/src/analysis/type.h b/src/analysis/type.h
index f21c008..819af38 100644
--- a/src/analysis/type.h
+++ b/src/analysis/type.h
@@ -51,13 +51,23 @@ typedef enum _TypeQualifier
     TQF_NONE        = (0 << 0),             /* Néant                       */
     TQF_RESTRICT    = (1 << 0),             /* restrict (C99)              */
     TQF_VOLATILE    = (1 << 1),             /* volatile                    */
-    TQF_CONST       = (1 << 2)              /* const                       */
+    TQF_CONST       = (1 << 2),             /* const                       */
+
+    TQF_ALL         = ((1 << 3) - 1)        /* Masque de qualificatifs     */
 
 } TypeQualifier;
 
+/* Propriétés particulières d'un type */
+typedef enum _TypeFlag
+{
+    TFL_NONE            = (0 << 0),         /* Aucune propriété            */
+    TFL_SINGLETON_SOON  = (1 << 0),         /* Singleton en devenir        */
+    TFL_SINGLETON       = (1 << 1),         /* Singleton effectif          */
+
+    TFL_USER_LOW_BIT    = (1 << 2),         /* Premier bit libre           */
+    TFL_USER_HIGH_BIT   = (1 << 6)          /* Dernier bit libre           */
 
-/* Masque de tous les qualificatifs */
-#define TQF_ALL ((1 << 3) - 1)
+} TypeFlag;
 
 
 /* Indique le type défini pour un type quelconque. */
@@ -82,17 +92,26 @@ void g_data_type_add_qualifier(GDataType *, TypeQualifier);
 TypeQualifier g_data_type_get_qualifiers(const GDataType *);
 
 /* Définit le groupe d'appartenance d'un type donné. */
-void g_data_type_set_namespace(GDataType *, GDataType *, char *);
+bool g_data_type_set_namespace(GDataType *, GDataType *, const char *);
 
 /* Fournit le groupe d'appartenance d'un type donné. */
 GDataType *g_data_type_get_namespace(const GDataType *);
 
 /* Fournit la chaîne de séparation entre deux entités. */
-const char *g_data_type_get_namespace_separator(const GDataType *);
+char *g_data_type_get_namespace_separator(const GDataType *);
 
 /* Indique si le type assure une gestion des espaces de noms. */
 bool g_data_type_handle_namespaces(const GDataType *);
 
+/* Définit l'ensemble des fanions d'une instance de type. */
+void g_data_type_set_flags(GDataType *, TypeFlag);
+
+/* Ajoute un fanion à une instance de type. */
+void g_data_type_add_flag(GDataType *, TypeFlag);
+
+/* Fournit les fanions associés à une instance de type. */
+TypeFlag g_data_type_get_flags(const GDataType *);
+
 /* Indique si le type est un pointeur. */
 bool g_data_type_is_pointer(const GDataType *);
 
diff --git a/src/analysis/types/proto.c b/src/analysis/types/proto.c
index aa096d8..4df0552 100644
--- a/src/analysis/types/proto.c
+++ b/src/analysis/types/proto.c
@@ -396,6 +396,7 @@ static char *g_proto_type_to_string(const GProtoType *type, bool include)
 {
     char *result;                           /* Valeur à renvoyer           */
     GDataType *base;                        /* Version d'instance parente  */
+    type_obj_extra *extra;                  /* Données insérées à modifier */
     char *namespace;                        /* Groupe d'appartenance       */
     size_t i;                               /* Boucle de parcours          */
     char *arg;                              /* Argument à décrire          */
@@ -415,15 +416,25 @@ static char *g_proto_type_to_string(const GProtoType *type, bool include)
 
     base = G_DATA_TYPE(type);
 
-    if (include && base->namespace != NULL)
+    if (include)
     {
-        namespace = g_data_type_to_string(base->namespace, true);
-        if (namespace == NULL) goto error;
+        extra = GET_DATA_TYPE_EXTRA(base);
 
-        result = stradd(result, namespace);
-        result = stradd(result, base->ns_sep);
+        g_bit_lock(&extra->lock, HOLE_LOCK_BIT);
 
-        free(namespace);
+        if (base->namespace != NULL)
+        {
+            namespace = g_data_type_to_string(base->namespace, true);
+            if (namespace == NULL) goto error;
+
+            result = strprep(result, extra->ns_sep);
+            result = strprep(result, namespace);
+
+            free(namespace);
+
+        }
+
+        g_bit_unlock(&extra->lock, HOLE_LOCK_BIT);
 
     }