event-sequence-transformation/config.c

481 lines
13 KiB
C

#include <string.h>
#include "config.h"
#include "event_code_names.h"
static GraphNodeConfig
load_single_node_config(const config_setting_t *config_member)
{
GraphNodeConfig result = {
.name = NULL,
.type = NULL,
.options = NULL,
};
if (!config_member) {
return result;
}
result.name = config_setting_name(config_member);
if (!result.name) {
config_setting_lookup_string(config_member, "name", &result.name);
}
config_setting_lookup_string(config_member, "type", &result.type);
result.options = config_setting_get_member(config_member, "options");
return result;
}
static GraphNodeConfigSection
load_nodes_section(const config_setting_t *config_section)
{
GraphNodeConfigSection result = {
.length = 0,
.items = NULL,
};
if (!config_section) {
return result;
}
ssize_t length = config_setting_length(config_section);
if (length <= 0) {
return result;
}
result.items = T_ALLOC(length, GraphNodeConfig);
if (!result.items) {
return result;
}
for (ssize_t i = 0; i < length; ++i) {
result.items[i] = load_single_node_config(config_setting_get_elem(config_section, i));
}
result.length = length;
return result;
}
inline static void
load_channel_end_config(const config_setting_t *config_member, const char **name_ptr, size_t *index_ptr, const ConstantRegistry *constants)
{
ssize_t length = config_setting_length(config_member);
if (length < 1) {
return;
}
if (length == 1) {
config_setting_t *kv = config_setting_get_elem(config_member, 0);
if (!kv) {
return;
}
*name_ptr = config_setting_name(kv);
*index_ptr = resolve_constant(constants, kv);
return;
}
*name_ptr = config_setting_get_string_elem(config_member, 0);
*index_ptr = resolve_constant(constants, config_setting_get_elem(config_member, 1));
}
static GraphChannelConfig
load_single_channel_config(const config_setting_t *config_member, const ConstantRegistry *constants)
{
GraphChannelConfig result = {
.from = {NULL, 0},
.to = {NULL, 0},
};
if (!config_member) {
return result;
}
config_setting_t *ends[2];
bool flip = true;
const char *flip_keys[2] = {"to", "from"};
for (int i = 0; i < 2; ++i) {
if (!(ends[i] = config_setting_get_elem(config_member, i))) {
return result;
}
const char *name = config_setting_name(ends[i]);
if (!name || strcmp(name, flip_keys[i]) != 0) {
flip = false;
}
}
if (flip) {
config_setting_t *tmp = ends[0];
ends[0] = ends[1];
ends[1] = tmp;
}
load_channel_end_config(ends[0], &result.from.name, &result.from.index, constants);
load_channel_end_config(ends[1], &result.to.name, &result.to.index, constants);
return result;
}
static GraphChannelConfigSection
load_channels_section(const config_setting_t *config_section, const ConstantRegistry *constants)
{
GraphChannelConfigSection result = {
.length = 0,
.items = NULL,
};
if (!config_section) {
return result;
}
ssize_t length = config_setting_length(config_section);
if (length <= 0) {
return result;
}
result.items = T_ALLOC(length, GraphChannelConfig);
if (!result.items) {
return result;
}
for (ssize_t i = 0; i < length; ++i) {
result.items[i] = load_single_channel_config(config_setting_get_elem(config_section, i), constants);
}
result.length = length;
return result;
}
static void
load_constants_section(const config_setting_t *config_section, ConstantRegistry *constants)
{
if (!config_section) {
return;
}
ssize_t length = config_setting_length(config_section);
if (length <= 0) {
return;
}
for (ssize_t i = 0; i < length; ++i) {
config_setting_t *item = config_setting_get_elem(config_section, i);
if (!item) {
continue;
}
const char *name;
long long value;
if (!(name = config_setting_name(item))) {
config_setting_lookup_string(item, "name", &name);
}
if (!name) {
continue;
}
if (config_setting_is_scalar(item) == CONFIG_TRUE) {
value = config_setting_get_int64(item);
} else if (config_setting_is_group(item) == CONFIG_TRUE) {
if (config_setting_lookup_int64(item, "value", &value) == CONFIG_FALSE) {
continue;
}
} else {
continue;
}
hash_table_insert(constants, hash_table_key_from_cstr(name), &value);
}
}
static void
put_enum_value(ConstantRegistry *registry, const char *enum_name, const char *member_name, const long long value)
{
if (!enum_name || !member_name) {
return;
}
size_t enum_len = strlen(enum_name);
size_t member_len = strlen(member_name);
size_t mem_size = enum_len + /* "." */ 1 + member_len + /* terminator */ 1;
char* qualified_name = malloc(mem_size);
qualified_name[0] = '\0';
strncat(qualified_name, enum_name, enum_len);
strncat(qualified_name, ".", 1);
strncat(qualified_name, member_name, member_len);
hash_table_insert(registry, hash_table_key_from_cstr(qualified_name), &value);
free(qualified_name);
}
static void
load_single_enum(const char *enum_name, const config_setting_t *enum_def, ConstantRegistry *constants)
{
ssize_t length = config_setting_length(enum_def);
if (length <= 0) {
return;
}
long long prev_value = -1;
for (ssize_t i = 0; i < length; ++i) {
config_setting_t *member = config_setting_get_elem(enum_def, i);
if (!member) {
continue;
}
const config_setting_t *value_setting = member;
long long value = prev_value + 1; // FIXME in theory, signed overflow is UB
bool only_name = false;
const char *name = config_setting_name(member);
if (!name) {
config_setting_lookup_string(member, "name", &name);
}
if (!name) {
name = config_setting_get_string(member);
only_name = true;
}
if (!name) {
continue;
}
if (config_setting_is_aggregate(member)) {
value_setting = config_setting_get_member(member, "value");
}
if (!only_name) {
value = resolve_constant_or(constants, value_setting, value);
}
prev_value = value;
put_enum_value(constants, enum_name, name, value);
}
}
static void
load_enums_section(const config_setting_t *config_section, ConstantRegistry *constants)
{
if (!config_section) {
return;
}
ssize_t length = config_setting_length(config_section);
if (length <= 0) {
return;
}
for (ssize_t i = 0; i < length; ++i) {
config_setting_t *enum_def = config_setting_get_elem(config_section, i);
if (!enum_def) {
continue;
}
const char *name = config_setting_name(enum_def);
// DEBUG_PRINT_VALUE(name, "%s");
if (!name) {
continue;
}
load_single_enum(name, enum_def, constants);
}
}
static EventPredicateType
parse_event_predicate_type(const char *name)
{
if (!name) {
return EVPRED_INVALID;
}
if (strcmp(name, "accept") == 0) {
return EVPRED_ACCEPT;
}
if (strcmp(name, "code_ns") == 0) {
return EVPRED_CODE_NS;
}
if (strcmp(name, "code_major") == 0) {
return EVPRED_CODE_MAJOR;
}
if (strcmp(name, "code_minor") == 0) {
return EVPRED_CODE_MINOR;
}
if (strcmp(name, "payload") == 0) {
return EVPRED_PAYLOAD;
}
if (strcmp(name, "input_index") == 0) {
return EVPRED_INPUT_INDEX;
}
if (strcmp(name, "conjunction") == 0 || strcmp(name, "and") == 0) {
return EVPRED_CONJUNCTION;
}
if (strcmp(name, "disjunction") == 0 || strcmp(name, "or") == 0) {
return EVPRED_DISJUNCTION;
}
if (strcmp(name, "modifier") == 0) {
return EVPRED_MODIFIER;
}
return EVPRED_INVALID;
}
static EventPredicateHandle
load_single_predicate(const config_setting_t * setting, EventPredicateHandleRegistry * registry, const ConstantRegistry * constants)
{
const char *name = NULL;
const char *type_name = NULL;
config_setting_lookup_string(setting, "name", &name);
config_setting_lookup_string(setting, "type", &type_name);
if (!type_name) {
return -1;
}
EventPredicate predicate;
EventPredicateType type = parse_event_predicate_type(type_name);
predicate.type = type;
switch (type) {
case EVPRED_INVALID:
return -1;
case EVPRED_ACCEPT:
break;
case EVPRED_CODE_NS...EVPRED_INPUT_INDEX:
{
int64_t min_value = INT64_MIN;
int64_t max_value = INT64_MAX;
min_value = resolve_constant_or(constants, config_setting_get_member(setting, "min"), min_value);
max_value = resolve_constant_or(constants, config_setting_get_member(setting, "max"), max_value);
predicate.range_data.min_value = min_value;
predicate.range_data.max_value = max_value;
}
break;
case EVPRED_CONJUNCTION:
case EVPRED_DISJUNCTION:
{
config_setting_t *args = config_setting_get_member(setting, "args");
EventPredicateHandle *handles = NULL;
ssize_t length = config_setting_length(args);
if (length > 0) {
handles = T_ALLOC(length, EventPredicateHandle);
for (ssize_t i = 0; i < length; ++i) {
handles[i] = resolve_event_predicate(registry, constants, config_setting_get_elem(args, i));
}
}
predicate.aggregate_data.length = length;
predicate.aggregate_data.handles = handles;
}
break;
case EVPRED_MODIFIER:
{
long long modifier = resolve_constant_or(constants, config_setting_get_member(setting, "modifier"), -1);
if (modifier < 0 || modifier > MODIFIER_MAX) {
return -1;
}
predicate.single_modifier = modifier;
}
break;
default:
return -1;
}
long long enabled = resolve_constant_or(constants, config_setting_get_member(setting, "enabled"), true);
long long inverted = resolve_constant_or(constants, config_setting_get_member(setting, "inverted"), false);
predicate.enabled = enabled != 0;
predicate.inverted = inverted != 0;
EventPredicateHandle handle = event_predicate_register(predicate);
if (handle < 0) {
if ((predicate.type == EVPRED_CONJUNCTION || predicate.type == EVPRED_DISJUNCTION) && predicate.aggregate_data.handles) {
free(predicate.aggregate_data.handles);
predicate.aggregate_data.handles = NULL;
predicate.aggregate_data.length = 0;
}
}
return handle;
}
static void
load_predicates_section(const config_setting_t *config_section, EventPredicateHandleRegistry *predicates, const ConstantRegistry *constants)
{
if (!config_section) {
return;
}
ssize_t length = config_setting_length(config_section);
if (length <= 0) {
return;
}
for (ssize_t i = 0; i < length; ++i) {
config_setting_t *predicate_def = config_setting_get_elem(config_section, i);
if (!predicate_def) {
continue;
}
const char *name = config_setting_name(predicate_def);
EventPredicateHandle handle = resolve_event_predicate(predicates, constants, predicate_def);
if (handle >= 0 && name != NULL) {
hash_table_insert(predicates, hash_table_key_from_cstr(name), &handle);
}
}
}
bool
load_config(const config_setting_t *config_root, FullConfig *config)
{
if (!config_root || !config) {
return false;
}
const config_setting_t *node_config = config_setting_get_member(config_root, "nodes");
const config_setting_t *channel_config = config_setting_get_member(config_root, "channels");
const config_setting_t *constants_config = config_setting_get_member(config_root, "constants");
const config_setting_t *enums_config = config_setting_get_member(config_root, "enums");
const config_setting_t *predicates_config = config_setting_get_member(config_root, "predicates");
hash_table_init(&config->constants, NULL);
hash_table_insert(&config->constants, hash_table_key_from_cstr("false"), (long long[1]) {0});
hash_table_insert(&config->constants, hash_table_key_from_cstr("true"), (long long[1]) {1});
populate_event_codes(&config->constants);
load_constants_section(constants_config, &config->constants);
load_enums_section(enums_config, &config->constants);
hash_table_init(&config->predicates, NULL);
load_predicates_section(predicates_config, &config->predicates, &config->constants);
config->nodes = load_nodes_section(node_config);
config->channels = load_channels_section(channel_config, &config->constants);
return true;
}
void
reset_config(FullConfig *config)
{
if (!config) {
return;
}
if (config->nodes.items) {
free(config->nodes.items);
config->nodes.items = NULL;
config->nodes.length = 0;
}
if (config->channels.items) {
free(config->channels.items);
config->channels.items = NULL;
config->channels.length = 0;
}
hash_table_deinit(&config->constants);
hash_table_deinit(&config->predicates);
}
long long
resolve_constant_or(const ConstantRegistry * registry, const config_setting_t * setting, long long dflt)
{
if (!setting) {
return dflt;
}
if (config_setting_type(setting) == CONFIG_TYPE_STRING) {
if (!registry) {
return dflt;
}
const char *name = config_setting_get_string(setting);
HashTableIndex idx = hash_table_find(registry, hash_table_key_from_cstr(name));
if (idx < 0) {
return dflt;
}
return registry->value_array[idx];
}
if (config_setting_is_number(setting)) {
return config_setting_get_int64(setting);
}
return dflt;
}
EventPredicateHandle
resolve_event_predicate(EventPredicateHandleRegistry * registry, const ConstantRegistry * constants, const config_setting_t * setting)
{
if (!setting) {
return -1;
}
if (config_setting_type(setting) == CONFIG_TYPE_STRING) {
if (!registry) {
return -1;
}
const char *name = config_setting_get_string(setting);
HashTableIndex idx = hash_table_find(registry, hash_table_key_from_cstr(name));
if (idx < 0) {
return -1;
}
return registry->value_array[idx];
}
return load_single_predicate(setting, registry, constants);
}
long long
env_resolve_constant_or(InitializationEnvironment * env, const config_setting_t * setting, long long dflt)
{
return resolve_constant_or(&env->constants, setting, dflt);
}
EventPredicateHandle
env_resolve_event_predicate(InitializationEnvironment * env, const config_setting_t * setting)
{
return resolve_event_predicate(&env->predicates, &env->constants, setting);
}