- */
-
-#include <babeltrace/align.h>
-#include <babeltrace/list.h>
-#include <stdbool.h>
-#include <stdint.h>
-#include <limits.h>
-#include <string.h>
-#include <glib.h>
-#include <assert.h>
-
-/* Preallocate this many fields for structures */
-#define DEFAULT_NR_STRUCT_FIELDS 8
-
-struct stream_pos;
-struct format;
-struct definition;
-
-/* type scope */
-struct declaration_scope {
- /* Hash table mapping type name GQuark to "struct declaration" */
- /* Used for both typedef and typealias. */
- GHashTable *typedef_declarations;
- /* Hash table mapping struct name GQuark to "struct declaration_struct" */
- GHashTable *struct_declarations;
- /* Hash table mapping variant name GQuark to "struct declaration_variant" */
- GHashTable *variant_declarations;
- /* Hash table mapping enum name GQuark to "struct type_enum" */
- GHashTable *enum_declarations;
- struct declaration_scope *parent_scope;
-};
-
-/* definition scope */
-struct definition_scope {
- /* Hash table mapping field name GQuark to "struct definition" */
- GHashTable *definitions;
- struct definition_scope *parent_scope;
- /*
- * Complete "path" leading to this definition scope.
- * Includes dynamic scope name '.' field name '.' field name '.' ....
- * Array of GQuark elements (which are each separated by dots).
- * The dynamic scope name can contain dots, and is encoded into
- * a single GQuark. Thus, scope_path[0] returns the GQuark
- * identifying the dynamic scope.
- */
- GArray *scope_path; /* array of GQuark */
-};
-
-enum ctf_type_id {
- CTF_TYPE_UNKNOWN = 0,
- CTF_TYPE_INTEGER,
- CTF_TYPE_FLOAT,
- CTF_TYPE_ENUM,
- CTF_TYPE_STRING,
- CTF_TYPE_STRUCT,
- CTF_TYPE_UNTAGGED_VARIANT,
- CTF_TYPE_VARIANT,
- CTF_TYPE_ARRAY,
- CTF_TYPE_SEQUENCE,
- NR_CTF_TYPES,
-};
-
-struct declaration {
- enum ctf_type_id id;
- size_t alignment; /* type alignment, in bits */
- int ref; /* number of references to the type */
- /*
- * declaration_free called with declaration ref is decremented to 0.
- */
- void (*declaration_free)(struct declaration *declaration);
- struct definition *
- (*definition_new)(struct declaration *declaration,
- struct definition_scope *parent_scope,
- GQuark field_name, int index);
- /*
- * definition_free called with definition ref is decremented to 0.
- */
- void (*definition_free)(struct definition *definition);
-};
-
-struct definition {
- struct declaration *declaration;
- int index; /* Position of the definition in its container */
- int ref; /* number of references to the definition */
-};
-
-typedef int (*rw_dispatch)(struct stream_pos *pos,
- struct definition *definition);
-
-/* Parent of per-plugin positions */
-struct stream_pos {
- /* read/write dispatch table. Specific to plugin used for stream. */
- rw_dispatch *rw_table; /* rw dispatch table */
-};
-
-static inline
-int generic_rw(struct stream_pos *pos, struct definition *definition)
-{
- enum ctf_type_id dispatch_id = definition->declaration->id;
- rw_dispatch call;
-
- assert(pos->rw_table[dispatch_id] != NULL);
- call = pos->rw_table[dispatch_id];
- return call(pos, definition);
-}
-
-/*
- * Because we address in bits, bitfields end up being exactly the same as
- * integers, except that their read/write functions must be able to deal with
- * read/write non aligned on CHAR_BIT.
- */
-struct declaration_integer {
- struct declaration p;
- size_t len; /* length, in bits. */
- int byte_order; /* byte order */
- int signedness;
-};
-
-struct definition_integer {
- struct definition p;
- struct declaration_integer *declaration;
- /* Last values read */
- union {
- uint64_t _unsigned;
- int64_t _signed;
- } value;
-};
-
-struct declaration_float {
- struct declaration p;
- struct declaration_integer *sign;
- struct declaration_integer *mantissa;
- struct declaration_integer *exp;
- int byte_order;
- /* TODO: we might want to express more info about NaN, +inf and -inf */
-};
-
-struct definition_float {
- struct definition p;
- struct declaration_float *declaration;
- struct definition_integer *sign;
- struct definition_integer *mantissa;
- struct definition_integer *exp;
- /* Last values read */
- long double value;
-};
-
-/*
- * enum_val_equal assumes that signed and unsigned memory layout overlap.
- */
-struct enum_range {
- union {
- int64_t _signed;
- uint64_t _unsigned;
- } start; /* lowest range value */
- union {
- int64_t _signed;
- uint64_t _unsigned;
- } end; /* highest range value */
-};
-
-struct enum_range_to_quark {
- struct cds_list_head node;
- struct enum_range range;
- GQuark quark;
-};
-
-/*
- * We optimize the common case (range of size 1: single value) by creating a
- * hash table mapping values to quark sets. We then lookup the ranges to
- * complete the quark set.