#include <babeltrace/ref.h>
#include <babeltrace/compiler-internal.h>
#include <babeltrace/endian-internal.h>
+#include <babeltrace/assert-internal.h>
+#include <babeltrace/assert-pre-internal.h>
#include <float.h>
#include <inttypes.h>
#include <stdlib.h>
+#define BT_ASSERT_PRE_FT_HAS_ID(_ft, _type_id, _name) \
+ BT_ASSERT_PRE((_ft)->id == (_type_id), \
+ _name " has the wrong type ID: expected-type-id=%s, " \
+ "%![ft-]+F", bt_field_type_id_string(_type_id), (_ft))
+
+#define BT_ASSERT_PRE_FT_HOT(_ft, _name) \
+ BT_ASSERT_PRE_HOT((_ft), (_name), ": +%!+F", (_ft))
+
struct range_overlap_query {
union {
uint64_t _unsigned;
static
void bt_field_type_init(struct bt_field_type *type, bt_bool init_bo)
{
- assert(type && (type->id > BT_FIELD_TYPE_ID_UNKNOWN) &&
+ BT_ASSERT(type && (type->id > BT_FIELD_TYPE_ID_UNKNOWN) &&
(type->id < BT_FIELD_TYPE_ID_NR));
bt_object_init(type, bt_field_type_destroy);
BT_LOGD("Setting initial field type's byte order: bo=%s",
bt_byte_order_string(bo));
ret = bt_field_type_set_byte_order(type, bo);
- assert(ret == 0);
+ BT_ASSERT(ret == 0);
}
type->alignment = 1;
type = container_of(obj, struct bt_field_type, base);
type_id = type->id;
- assert(type_id > BT_FIELD_TYPE_ID_UNKNOWN &&
+ BT_ASSERT(type_id > BT_FIELD_TYPE_ID_UNKNOWN &&
type_id < BT_FIELD_TYPE_ID_NR);
type_destroy_funcs[type_id](type);
}
struct bt_field_type *container_type =
bt_field_type_enumeration_get_container_type(type);
- assert(container_type);
+ BT_ASSERT(container_type);
ret = bt_field_type_validate(container_type);
if (ret) {
BT_LOGW("Invalid enumeration field type: container type is invalid: "
}
element_type = bt_field_type_sequence_get_element_type(type);
- assert(element_type);
+ BT_ASSERT(element_type);
ret = bt_field_type_validate(element_type);
if (ret) {
BT_LOGW("Invalid sequence field type: invalid element field type: "
struct bt_field_type *element_type = NULL;
element_type = bt_field_type_array_get_element_type(type);
- assert(element_type);
+ BT_ASSERT(element_type);
ret = bt_field_type_validate(element_type);
if (ret) {
BT_LOGW("Invalid array field type: invalid element field type: "
int64_t field_count = bt_field_type_structure_get_field_count(type);
int64_t i;
- assert(field_count >= 0);
+ BT_ASSERT(field_count >= 0);
for (i = 0; i < field_count; ++i) {
const char *field_name;
ret = bt_field_type_structure_get_field_by_index(type,
&field_name, &child_type, i);
- assert(ret == 0);
+ BT_ASSERT(ret == 0);
ret = bt_field_type_validate(child_type);
if (ret) {
BT_LOGW("Invalid structure field type: "
ret = bt_field_type_variant_get_field_by_index(type,
&field_name, &child_type, i);
- assert(ret == 0);
+ BT_ASSERT(ret == 0);
ret = bt_field_type_validate(child_type);
if (ret) {
BT_LOGW("Invalid variant field type: "
int ret = 0;
enum bt_field_type_id id = bt_field_type_get_type_id(type);
- assert(type);
+ BT_ASSERT(type);
if (type->valid) {
/* Already marked as valid */
int bt_field_type_integer_get_size(struct bt_field_type *type)
{
- int ret = 0;
struct bt_field_type_integer *integer;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- ret = -1;
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_INTEGER) {
- BT_LOGW("Invalid parameter: field type is not an integer field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- ret = -1;
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_INTEGER, "Field type");
integer = container_of(type, struct bt_field_type_integer, parent);
- ret = (int) integer->size;
-end:
- return ret;
+ return (int) integer->size;
}
int bt_ctf_field_type_integer_get_signed(struct bt_field_type *type)
{
- int ret = 0;
struct bt_field_type_integer *integer;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- ret = -1;
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_INTEGER) {
- BT_LOGW("Invalid parameter: field type is not an integer field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- ret = -1;
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_INTEGER, "Field type");
integer = container_of(type, struct bt_field_type_integer, parent);
- ret = integer->is_signed;
-end:
- return ret;
+ return integer->is_signed;
}
bt_bool bt_field_type_integer_is_signed(
enum bt_integer_base bt_field_type_integer_get_base(
struct bt_field_type *type)
{
- enum bt_integer_base ret = BT_INTEGER_BASE_UNKNOWN;
struct bt_field_type_integer *integer;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_INTEGER) {
- BT_LOGW("Invalid parameter: field type is not an integer field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_INTEGER, "Field type");
integer = container_of(type, struct bt_field_type_integer, parent);
- ret = integer->base;
-end:
- return ret;
+ return integer->base;
}
int bt_field_type_integer_set_base(struct bt_field_type *type,
enum bt_string_encoding bt_field_type_integer_get_encoding(
struct bt_field_type *type)
{
- enum bt_string_encoding ret = BT_STRING_ENCODING_UNKNOWN;
struct bt_field_type_integer *integer;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_INTEGER) {
- BT_LOGW("Invalid parameter: field type is not an integer field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_INTEGER, "Field type");
integer = container_of(type, struct bt_field_type_integer, parent);
- ret = integer->encoding;
-end:
- return ret;
+ return integer->encoding;
}
int bt_field_type_integer_set_encoding(struct bt_field_type *type,
struct bt_field_type *type)
{
struct bt_field_type_integer *integer;
- struct bt_clock_class *clock_class = NULL;
-
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- goto end;
- }
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_INTEGER, "Field type");
integer = container_of(type, struct bt_field_type_integer, parent);
- clock_class = integer->mapped_clock;
- bt_get(clock_class);
-end:
- return clock_class;
+ return bt_get(integer->mapped_clock);
}
BT_HIDDEN
struct bt_field_type_enumeration *enumeration_type;
struct bt_field_type_enumeration_mapping_iterator *iter = NULL;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_ENUM) {
- BT_LOGW("Invalid parameter: field type is not an enumeration field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_ENUM, "Field type");
enumeration_type = container_of(type,
struct bt_field_type_enumeration, parent);
iter = g_new0(struct bt_field_type_enumeration_mapping_iterator, 1);
iter = bt_field_type_enumeration_find_mappings_type(
type, ITERATOR_BY_NAME);
if (!iter) {
- BT_LOGE("Cannot create enumeration field type mapping iterator: "
+ BT_LOGW("Cannot create enumeration field type mapping iterator: "
"ft-addr=%p, mapping-name=\"%s\"", type, name);
goto error;
}
struct bt_field_type *type;
int i, ret = 0, len;
- if (!iter) {
- BT_LOGW_STR("Invalid parameter: enumeration field type mapping iterator is NULL.");
- ret = -1;
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(iter, "Enumeration field type mapping iterator");
enumeration = iter->enumeration_type;
type = &enumeration->parent;
len = enumeration->entries->len;
iter = bt_field_type_enumeration_find_mappings_type(
type, ITERATOR_BY_SIGNED_VALUE);
if (!iter) {
- BT_LOGE("Cannot create enumeration field type mapping iterator: "
+ BT_LOGW("Cannot create enumeration field type mapping iterator: "
"ft-addr=%p, value=%" PRId64, type, value);
goto error;
}
iter = bt_field_type_enumeration_find_mappings_type(
type, ITERATOR_BY_UNSIGNED_VALUE);
if (!iter) {
- BT_LOGE("Cannot create enumeration field type mapping iterator: "
+ BT_LOGW("Cannot create enumeration field type mapping iterator: "
"ft-addr=%p, value=%" PRIu64, type, value);
goto error;
}
const char **mapping_name, int64_t *range_begin,
int64_t *range_end)
{
- int ret = 0;
-
- if (!iter) {
- BT_LOGW_STR("Invalid parameter: enumeration field type mapping iterator is NULL.");
- ret = -1;
- goto end;
- }
-
- if (iter->index == -1) {
- BT_LOGW_STR("Invalid enumeration field type mapping iterator access: position=-1");
- ret = -1;
- goto end;
- }
-
- ret = bt_field_type_enumeration_get_mapping_signed(
+ BT_ASSERT_PRE_NON_NULL(iter, "Enumeration field type mapping iterator");
+ BT_ASSERT_PRE(iter->index != -1,
+ "Invalid enumeration field type mapping iterator access: "
+ "addr=%p, position=-1", iter);
+ return bt_field_type_enumeration_get_mapping_signed(
&iter->enumeration_type->parent, iter->index,
mapping_name, range_begin, range_end);
-end:
- return ret;
}
int bt_field_type_enumeration_mapping_iterator_get_unsigned(
const char **mapping_name, uint64_t *range_begin,
uint64_t *range_end)
{
- int ret = 0;
-
- if (!iter) {
- BT_LOGW_STR("Invalid parameter: enumeration field type mapping iterator is NULL.");
- ret = -1;
- goto end;
- }
-
- if (iter->index == -1) {
- BT_LOGW_STR("Invalid enumeration field type mapping iterator access: position=-1");
- ret = -1;
- goto end;
- }
-
- ret = bt_field_type_enumeration_get_mapping_unsigned(
+ BT_ASSERT_PRE_NON_NULL(iter, "Enumeration field type mapping iterator");
+ BT_ASSERT_PRE(iter->index != -1,
+ "Invalid enumeration field type mapping iterator access: "
+ "addr=%p, position=-1", iter);
+ return bt_field_type_enumeration_get_mapping_unsigned(
&iter->enumeration_type->parent, iter->index,
mapping_name, range_begin, range_end);
-end:
- return ret;
}
int bt_field_type_enumeration_get_mapping_signed(
int ret = 0;
struct enumeration_mapping *mapping;
- if (!enum_field_type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- ret = -1;
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(enum_field_type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(enum_field_type,
+ BT_FIELD_TYPE_ID_ENUM, "Field type");
mapping = get_enumeration_mapping(enum_field_type, index);
if (!mapping) {
/* get_enumeration_mapping() reports any error */
if (mapping_name) {
*mapping_name = g_quark_to_string(mapping->string);
- assert(*mapping_name);
+ BT_ASSERT(*mapping_name);
}
if (range_begin) {
if (range_end) {
*range_end = mapping->range_end._signed;
}
+
end:
return ret;
}
int ret = 0;
struct enumeration_mapping *mapping;
- if (!enum_field_type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- ret = -1;
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(enum_field_type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(enum_field_type,
+ BT_FIELD_TYPE_ID_ENUM, "Field type");
mapping = get_enumeration_mapping(enum_field_type, index);
if (!mapping) {
/* get_enumeration_mapping() reports any error */
if (mapping_name) {
*mapping_name = g_quark_to_string(mapping->string);
- assert(*mapping_name);
+ BT_ASSERT(*mapping_name);
}
if (range_begin) {
if (range_end) {
*range_end = mapping->range_end._unsigned;
}
+
end:
return ret;
}
struct bt_field_type *bt_field_type_enumeration_get_container_type(
struct bt_field_type *type)
{
- struct bt_field_type *container_type = NULL;
struct bt_field_type_enumeration *enumeration_type;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_ENUM) {
- BT_LOGW("Invalid parameter: field type is not an enumeration field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_ENUM, "Field type");
enumeration_type = container_of(type,
struct bt_field_type_enumeration, parent);
- container_type = enumeration_type->container;
- bt_get(container_type);
-end:
- return container_type;
+ return bt_get(enumeration_type->container);
}
int bt_field_type_enumeration_add_mapping_signed(
int64_t bt_field_type_enumeration_get_mapping_count(
struct bt_field_type *type)
{
- int64_t ret = 0;
struct bt_field_type_enumeration *enumeration;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- ret = (int64_t) -1;
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_ENUM) {
- BT_LOGW("Invalid parameter: field type is not an enumeration field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- ret = (int64_t) -1;
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_ENUM, "Field type");
enumeration = container_of(type, struct bt_field_type_enumeration,
parent);
- ret = (int64_t) enumeration->entries->len;
-end:
- return ret;
+ return (int64_t) enumeration->entries->len;
}
struct bt_field_type *bt_field_type_floating_point_create(void)
int bt_field_type_floating_point_get_exponent_digits(
struct bt_field_type *type)
{
- int ret = 0;
struct bt_field_type_floating_point *floating_point;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- ret = -1;
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_FLOAT) {
- BT_LOGW("Invalid parameter: field type is not a floating point number field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- ret = -1;
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_FLOAT, "Field type");
floating_point = container_of(type,
struct bt_field_type_floating_point, parent);
- ret = (int) floating_point->exp_dig;
-end:
- return ret;
+ return (int) floating_point->exp_dig;
}
int bt_field_type_floating_point_set_exponent_digits(
- struct bt_field_type *type,
- unsigned int exponent_digits)
+ struct bt_field_type *type, unsigned int exponent_digits)
{
int ret = 0;
struct bt_field_type_floating_point *floating_point;
int bt_field_type_floating_point_get_mantissa_digits(
struct bt_field_type *type)
{
- int ret = 0;
struct bt_field_type_floating_point *floating_point;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- ret = -1;
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_FLOAT) {
- BT_LOGW("Invalid parameter: field type is not a floating point number field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- ret = -1;
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_FLOAT, "Field type");
floating_point = container_of(type,
struct bt_field_type_floating_point, parent);
- ret = (int) floating_point->mant_dig;
-end:
- return ret;
+ return (int) floating_point->mant_dig;
}
int bt_field_type_floating_point_set_mantissa_digits(
- struct bt_field_type *type,
- unsigned int mantissa_digits)
+ struct bt_field_type *type, unsigned int mantissa_digits)
{
int ret = 0;
struct bt_field_type_floating_point *floating_point;
return NULL;
}
+BT_HIDDEN
+int bt_field_type_structure_replace_field(struct bt_field_type *type,
+ const char *field_name, struct bt_field_type *field_type)
+{
+ int ret = 0;
+ struct bt_field_type_structure *structure;
+ GQuark name_quark;
+ uint64_t i;
+
+ BT_ASSERT(type);
+ BT_ASSERT(field_name);
+ BT_ASSERT(field_type);
+ BT_ASSERT(type->id == BT_FIELD_TYPE_ID_STRUCT);
+ structure = container_of(type, struct bt_field_type_structure, parent);
+ name_quark = g_quark_from_string(field_name);
+
+ for (i = 0; i < structure->fields->len; i++) {
+ struct structure_field *field = g_ptr_array_index(
+ structure->fields, i);
+
+ if (field->name == name_quark) {
+ bt_put(field->type);
+ field->type = bt_get(field_type);
+ }
+ }
+
+ return ret;
+}
+
int bt_field_type_structure_add_field(struct bt_field_type *type,
struct bt_field_type *field_type,
const char *field_name)
int64_t bt_field_type_structure_get_field_count(
struct bt_field_type *type)
{
- int64_t ret = 0;
struct bt_field_type_structure *structure;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- ret = (int64_t) -1;
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_STRUCT) {
- BT_LOGW("Invalid parameter: field type is not a structure field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- ret = (int64_t) -1;
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_STRUCT, "Field type");
structure = container_of(type, struct bt_field_type_structure,
parent);
- ret = (int64_t) structure->fields->len;
-end:
- return ret;
+ return (int64_t) structure->fields->len;
}
int bt_field_type_structure_get_field_by_index(
{
struct bt_field_type_structure *structure;
struct structure_field *field;
- int ret = 0;
-
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- ret = -1;
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_STRUCT) {
- BT_LOGW("Invalid parameter: field type is not a structure field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- ret = -1;
- goto end;
- }
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_STRUCT, "Field type");
structure = container_of(type, struct bt_field_type_structure,
parent);
- if (index >= structure->fields->len) {
- BT_LOGW("Invalid parameter: index is out of bounds: "
- "addr=%p, index=%" PRIu64 ", count=%u",
- type, index, structure->fields->len);
- ret = -1;
- goto end;
- }
-
+ BT_ASSERT_PRE(index < structure->fields->len,
+ "Index is out of bounds: index=%" PRIu64 ", "
+ "count=%u, %![ft-]+F",
+ index, structure->fields->len, type);
field = g_ptr_array_index(structure->fields, index);
+
if (field_type) {
*field_type = field->type;
bt_get(field->type);
}
+
if (field_name) {
*field_name = g_quark_to_string(field->name);
- assert(*field_name);
+ BT_ASSERT(*field_name);
}
-end:
- return ret;
+
+ return 0;
}
struct bt_field_type *bt_field_type_structure_get_field_type_by_name(
- struct bt_field_type *type,
- const char *name)
+ struct bt_field_type *type, const char *name)
{
size_t index;
GQuark name_quark;
struct bt_field_type_structure *structure;
struct bt_field_type *field_type = NULL;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- goto end;
- }
-
- if (!name) {
- BT_LOGW_STR("Invalid parameter: name is NULL.");
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_NON_NULL(name, "Name");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_STRUCT, "Field type");
name_quark = g_quark_try_string(name);
if (!name_quark) {
BT_LOGV("No such structure field type field name: "
field = structure->fields->pdata[index];
field_type = field->type;
bt_get(field_type);
+
end:
return field_type;
}
struct bt_field_type_variant *variant;
struct bt_field_type *tag_type = NULL;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_VARIANT) {
- BT_LOGW("Invalid parameter: field type is not a variant field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_VARIANT, "Field type");
variant = container_of(type, struct bt_field_type_variant, parent);
if (!variant->tag) {
BT_LOGV("Variant field type has no tag field type: "
tag_type = &variant->tag->parent;
bt_get(tag_type);
+
end:
return tag_type;
}
-const char *bt_field_type_variant_get_tag_name(
- struct bt_field_type *type)
+const char *bt_field_type_variant_get_tag_name(struct bt_field_type *type)
{
struct bt_field_type_variant *variant;
const char *tag_name = NULL;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_VARIANT) {
- BT_LOGW("Invalid parameter: field type is not a variant field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_VARIANT, "Field type");
variant = container_of(type, struct bt_field_type_variant, parent);
if (variant->tag_name->len == 0) {
BT_LOGV("Variant field type has no tag field name: "
struct bt_field_type_variant *variant;
struct bt_field_type *field_type = NULL;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- goto end;
- }
-
- if (!field_name) {
- BT_LOGW_STR("Invalid parameter: field name is NULL.");
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_NON_NULL(field_name, "Name");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_VARIANT, "Field type");
name_quark = g_quark_try_string(field_name);
if (!name_quark) {
BT_LOGV("No such variant field type field name: "
field = g_ptr_array_index(variant->fields, index);
field_type = field->type;
bt_get(field_type);
+
end:
return field_type;
}
struct bt_field_type *field_type = NULL;
struct bt_field_type_enumeration_mapping_iterator *iter = NULL;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: variant field type is NULL.");
- goto end;
- }
-
- if (!tag) {
- BT_LOGW_STR("Invalid parameter: tag field is NULL.");
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_VARIANT) {
- BT_LOGW("Invalid parameter: field type is not a variant field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Variant field type");
+ BT_ASSERT_PRE_NON_NULL(tag, "Tag field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_VARIANT, "Field type");
iter = bt_field_enumeration_get_mappings(tag);
ret = bt_field_type_enumeration_mapping_iterator_next(iter);
if (!iter || ret) {
- BT_LOGE("Cannot get enumeration field type mapping iterator from enumeration field: "
+ BT_LOGW("Cannot get enumeration field type mapping iterator from enumeration field: "
"enum-field-addr=%p", tag);
goto end;
}
int64_t bt_field_type_variant_get_field_count(struct bt_field_type *type)
{
- int64_t ret = 0;
struct bt_field_type_variant *variant;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- ret = (int64_t) -1;
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_VARIANT) {
- BT_LOGW("Invalid parameter: field type is not a variant field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- ret = (int64_t) -1;
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Variant field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_VARIANT, "Field type");
variant = container_of(type, struct bt_field_type_variant,
parent);
- ret = (int64_t) variant->fields->len;
-end:
- return ret;
-
+ return (int64_t) variant->fields->len;
}
int bt_field_type_variant_get_field_by_index(struct bt_field_type *type,
{
struct bt_field_type_variant *variant;
struct structure_field *field;
- int ret = 0;
-
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- ret = -1;
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_VARIANT) {
- BT_LOGW("Invalid parameter: field type is not a variant field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- ret = -1;
- goto end;
- }
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_VARIANT, "Field type");
variant = container_of(type, struct bt_field_type_variant,
parent);
- if (index >= variant->fields->len) {
- BT_LOGW("Invalid parameter: index is out of bounds: "
- "addr=%p, index=%" PRIu64 ", count=%u",
- type, index, variant->fields->len);
- ret = -1;
- goto end;
- }
-
+ BT_ASSERT_PRE(index < variant->fields->len,
+ "Index is out of bounds: index=%" PRIu64 ", "
+ "count=%u, %![ft-]+F",
+ index, variant->fields->len, type);
field = g_ptr_array_index(variant->fields, index);
+
if (field_type) {
*field_type = field->type;
bt_get(field->type);
}
+
if (field_name) {
*field_name = g_quark_to_string(field->name);
- assert(*field_name);
+ BT_ASSERT(*field_name);
}
-end:
- return ret;
+
+ return 0;
}
struct bt_field_type *bt_field_type_array_create(
struct bt_field_type *bt_field_type_array_get_element_type(
struct bt_field_type *type)
{
- struct bt_field_type *ret = NULL;
struct bt_field_type_array *array;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_ARRAY) {
- BT_LOGW("Invalid parameter: field type is not an array field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_ARRAY, "Field type");
array = container_of(type, struct bt_field_type_array, parent);
- ret = array->element_type;
- bt_get(ret);
-end:
- return ret;
+ return bt_get(array->element_type);
}
BT_HIDDEN
int64_t bt_field_type_array_get_length(struct bt_field_type *type)
{
- int64_t ret;
struct bt_field_type_array *array;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- ret = (int64_t) -1;
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_ARRAY) {
- BT_LOGW("Invalid parameter: field type is not an array field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- ret = (int64_t) -1;
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_ARRAY, "Field type");
array = container_of(type, struct bt_field_type_array, parent);
- ret = (int64_t) array->length;
-end:
- return ret;
+ return (int64_t) array->length;
}
struct bt_field_type *bt_field_type_sequence_create(
struct bt_field_type *bt_field_type_sequence_get_element_type(
struct bt_field_type *type)
{
- struct bt_field_type *ret = NULL;
struct bt_field_type_sequence *sequence;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_SEQUENCE) {
- BT_LOGW("Invalid parameter: field type is not a sequence field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_SEQUENCE, "Field type");
sequence = container_of(type, struct bt_field_type_sequence,
parent);
- ret = sequence->element_type;
- bt_get(ret);
-end:
- return ret;
+ return bt_get(sequence->element_type);
}
BT_HIDDEN
const char *bt_field_type_sequence_get_length_field_name(
struct bt_field_type *type)
{
- const char *ret = NULL;
struct bt_field_type_sequence *sequence;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_SEQUENCE) {
- BT_LOGW("Invalid parameter: field type is not a sequence field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_SEQUENCE, "Field type");
sequence = container_of(type, struct bt_field_type_sequence,
parent);
- ret = sequence->length_field_name->str;
-end:
- return ret;
+ return sequence->length_field_name ?
+ sequence->length_field_name->str : NULL;
}
struct bt_field_type *bt_field_type_string_create(void)
struct bt_field_type *type)
{
struct bt_field_type_string *string;
- enum bt_string_encoding ret = BT_STRING_ENCODING_UNKNOWN;
-
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- goto end;
- }
-
- if (type->id != BT_FIELD_TYPE_ID_STRING) {
- BT_LOGW("Invalid parameter: field type is not a string field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- goto end;
- }
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_STRING, "Field type");
string = container_of(type, struct bt_field_type_string,
parent);
- ret = string->encoding;
-end:
- return ret;
+ return string->encoding;
}
int bt_field_type_string_set_encoding(struct bt_field_type *type,
int ret;
enum bt_field_type_id type_id;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- ret = -1;
- goto end;
- }
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
if (type->frozen) {
ret = (int) type->alignment;
struct bt_field_type *element =
bt_field_type_sequence_get_element_type(type);
- assert(element);
+ BT_ASSERT(element);
ret = bt_field_type_get_alignment(element);
bt_put(element);
break;
struct bt_field_type *element =
bt_field_type_array_get_element_type(type);
- assert(element);
+ BT_ASSERT(element);
ret = bt_field_type_get_alignment(element);
bt_put(element);
break;
element_count = bt_field_type_structure_get_field_count(
type);
- assert(element_count >= 0);
+ BT_ASSERT(element_count >= 0);
for (i = 0; i < element_count; i++) {
struct bt_field_type *field = NULL;
ret = bt_field_type_structure_get_field_by_index(
type, NULL, &field, i);
- assert(ret == 0);
- assert(field);
+ BT_ASSERT(ret == 0);
+ BT_ASSERT(field);
field_alignment = bt_field_type_get_alignment(
field);
bt_put(field);
{
enum bt_byte_order ret = BT_BYTE_ORDER_UNKNOWN;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- goto end;
- }
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
switch (type->id) {
case BT_FIELD_TYPE_ID_INTEGER:
goto end;
}
- assert(ret == BT_BYTE_ORDER_NATIVE ||
+ BT_ASSERT(ret == BT_BYTE_ORDER_NATIVE ||
ret == BT_BYTE_ORDER_LITTLE_ENDIAN ||
ret == BT_BYTE_ORDER_BIG_ENDIAN ||
ret == BT_BYTE_ORDER_NETWORK);
enum bt_field_type_id bt_field_type_get_type_id(
struct bt_field_type *type)
{
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- return BT_FIELD_TYPE_ID_UNKNOWN;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
return type->id;
}
}
BT_HIDDEN
-void bt_field_type_freeze(struct bt_field_type *type)
+void _bt_field_type_freeze(struct bt_field_type *type)
{
if (!type || type->frozen) {
return;
{
int ret;
- assert(type);
- assert(context);
+ BT_ASSERT(type);
+ BT_ASSERT(context);
/* Make sure field type is valid before serializing it */
ret = bt_field_type_validate(type);
{
struct bt_field_type *copy = NULL;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
copy = type_copy_funcs[type->id](type);
if (!copy) {
BT_LOGE_STR("Cannot copy field type.");
}
copy->alignment = type->alignment;
+
end:
return copy;
}
GQuark name_quark;
struct bt_field_type_structure *structure;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- ret = -1;
- goto end;
- }
-
- if (!name) {
- BT_LOGW_STR("Invalid parameter: field name is NULL.");
- ret = -1;
- goto end;
- }
-
- if (bt_field_type_get_type_id(type) != BT_FIELD_TYPE_ID_STRUCT) {
- BT_LOGW("Invalid parameter: field type is not a structure field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- ret = -1;
- goto end;
- }
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_NON_NULL(name, "Name");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_STRUCT, "Field type");
name_quark = g_quark_try_string(name);
if (!name_quark) {
GQuark name_quark;
struct bt_field_type_variant *variant;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: variant field type is NULL.");
- ret = -1;
- goto end;
- }
-
- if (!name) {
- BT_LOGW_STR("Invalid parameter: field name is NULL.");
- ret = -1;
- goto end;
- }
-
- if (bt_field_type_get_type_id(type) != BT_FIELD_TYPE_ID_VARIANT) {
- BT_LOGW("Invalid parameter: field type is not a variant field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- ret = -1;
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_NON_NULL(name, "Name");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_VARIANT, "Field type");
name_quark = g_quark_try_string(name);
if (!name_quark) {
BT_LOGV("No such variant field type field name: "
BT_HIDDEN
int bt_field_type_sequence_set_length_field_path(
- struct bt_field_type *type,
- struct bt_field_path *path)
+ struct bt_field_type *type, struct bt_field_path *path)
{
int ret = 0;
struct bt_field_type_sequence *sequence;
const char *clock_name = bt_clock_class_get_name(
integer->mapped_clock);
- assert(clock_name);
+ BT_ASSERT(clock_name);
g_string_append_printf(context->string,
"; map = clock.%s.value", clock_name);
}
BT_LOGD("Serializing enumeration field type's metadata: "
"ft-addr=%p, metadata-context-addr=%p", type, context);
container_type = bt_field_type_enumeration_get_container_type(type);
- assert(container_type);
+ BT_ASSERT(container_type);
container_signed = bt_ctf_field_type_integer_get_signed(container_type);
- assert(container_signed >= 0);
+ BT_ASSERT(container_signed >= 0);
g_string_append(context->string, "enum : ");
BT_LOGD_STR("Serializing enumeration field type's container field type's metadata.");
ret = bt_field_type_serialize(enumeration->container, context);
goto end;
}
- /* Mapped clock */
- if (int_type_a->mapped_clock != int_type_b->mapped_clock) {
- BT_LOGV("Integer field types differ: different mapped clock classes: "
- "ft-a-mapped-clock-class-addr=%p, "
- "ft-b-mapped-clock-class-addr=%p, "
- "ft-a-mapped-clock-class-name=\"%s\", "
- "ft-b-mapped-clock-class-name=\"%s\"",
- int_type_a->mapped_clock, int_type_b->mapped_clock,
- int_type_a->mapped_clock ? bt_clock_class_get_name(int_type_a->mapped_clock) : "",
- int_type_b->mapped_clock ? bt_clock_class_get_name(int_type_b->mapped_clock) : "");
- goto end;
+ /* Mapped clock class */
+ if (int_type_a->mapped_clock) {
+ if (!int_type_b->mapped_clock) {
+ BT_LOGV_STR("Integer field types differ: field type A "
+ "has a mapped clock class, but field type B "
+ "does not.");
+ goto end;
+ }
+
+ if (bt_clock_class_compare(int_type_a->mapped_clock,
+ int_type_b->mapped_clock) != 0) {
+ BT_LOGV_STR("Integer field types differ: different "
+ "mapped clock classes.");
+ }
+ } else {
+ if (int_type_b->mapped_clock) {
+ BT_LOGV_STR("Integer field types differ: field type A "
+ "has no description, but field type B has one.");
+ goto end;
+ }
}
/* Equal */
{
int ret = 1;
+ BT_ASSERT_PRE_NON_NULL(type_a, "Field type A");
+ BT_ASSERT_PRE_NON_NULL(type_b, "Field type B");
+
if (type_a == type_b) {
/* Same reference: equal (even if both are NULL) */
ret = 0;
struct bt_field_path *bt_field_type_variant_get_tag_field_path(
struct bt_field_type *type)
{
- struct bt_field_path *field_path = NULL;
struct bt_field_type_variant *variant;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- goto end;
- }
-
- if (!bt_field_type_is_variant(type)) {
- BT_LOGW("Invalid parameter: field type is not a variant field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_VARIANT, "Field type");
variant = container_of(type, struct bt_field_type_variant,
parent);
- field_path = bt_get(variant->tag_field_path);
-end:
- return field_path;
+ return bt_get(variant->tag_field_path);
}
struct bt_field_path *bt_field_type_sequence_get_length_field_path(
struct bt_field_type *type)
{
- struct bt_field_path *field_path = NULL;
struct bt_field_type_sequence *sequence;
- if (!type) {
- BT_LOGW_STR("Invalid parameter: field type is NULL.");
- goto end;
- }
-
- if (!bt_field_type_is_sequence(type)) {
- BT_LOGW("Invalid parameter: field type is not a sequence field type: "
- "addr=%p, ft-id=%s", type,
- bt_field_type_id_string(type->id));
- goto end;
- }
-
+ BT_ASSERT_PRE_NON_NULL(type, "Field type");
+ BT_ASSERT_PRE_FT_HAS_ID(type, BT_FIELD_TYPE_ID_SEQUENCE, "Field type");
sequence = container_of(type, struct bt_field_type_sequence,
parent);
- field_path = bt_get(sequence->length_field_path);
-end:
- return field_path;
+ return bt_get(sequence->length_field_path);
}