- //check if type is already defined
- if (xbt_dict_get_or_null(defined_types, type)) {
- THROW1(tracing_error, TRACE_ERROR_TYPE_ALREADY_DEFINED,
- "Type %s is already defined", type);
- }
- //check if parent_type is already defined
- if (strcmp(parent_type, "0")
- && !xbt_dict_get_or_null(defined_types, parent_type)) {
- THROW1(tracing_error, TRACE_ERROR_TYPE_NOT_DEFINED,
- "Type (used as parent) %s is not defined", parent_type);
- }
+ char *defined;
+ //type must not exist
+ defined = xbt_dict_get_or_null(defined_types, type);
+ xbt_assert1 (defined == NULL, "Type %s is already defined", type);
+ //parent_type must exist or be different of 0
+ defined = xbt_dict_get_or_null(defined_types, parent_type);
+ xbt_assert1 (defined != NULL || strcmp(parent_type, "0") == 0,
+ "Type (used as parent) %s is not defined", parent_type);