variable.c File Reference

#include <rz_il/definitions/variable.h>
#include <string.h>
#include <stdlib.h>

Go to the source code of this file.

Functions
RZ_API RZ_OWN RzILVar *	rz_il_variable_new (RZ_NONNULL const char *name, RzILSortPure sort)
RZ_API void	rz_il_variable_free (RZ_NULLABLE RzILVar *var)
static void	var_ht_free (HtPPKv *kv)
static void	val_ht_free (HtPPKv *kv)
RZ_API bool	rz_il_var_set_init (RzILVarSet *vs)
RZ_API void	rz_il_var_set_fini (RzILVarSet *vs)
RZ_API void	rz_il_var_set_reset (RzILVarSet *vs)
RZ_API RZ_BORROW RzILVar *	rz_il_var_set_create_var (RzILVarSet *vs, const char *name, RzILSortPure sort)
RZ_API RZ_OWN RZ_NULLABLE RzILVal *	rz_il_var_set_remove_var (RzILVarSet *vs, const char *name)
RZ_API bool	rz_il_var_set_bind (RzILVarSet *vs, const char *name, RZ_OWN RzILVal *val)
RZ_API RZ_BORROW RzILVar *	rz_il_var_set_get (RzILVarSet *vs, const char *name)
static bool	vars_collect_cb (void *user, const void *k, const void *v)
RZ_API RZ_OWN RzPVector *	rz_il_var_set_get_all (RzILVarSet *vs)
RZ_API RZ_BORROW RzILVal *	rz_il_var_set_get_value (RzILVarSet *vs, const char *name)
const char *	rz_il_var_kind_name (RzILVarKind kind)

Function Documentation

rz_il_var_kind_name()

const char* rz_il_var_kind_name

(

RzILVarKind

kind

)

Get a readable string representation of kind

Definition at line 181 of file variable.c.

                                                  {
    switch (kind) {
    case RZ_IL_VAR_KIND_GLOBAL:
        return "global";
    case RZ_IL_VAR_KIND_LOCAL:
        return "local";
    case RZ_IL_VAR_KIND_LOCAL_PURE:
        return "local pure";
    default:
        return "invalid";
    }
}

References RZ_IL_VAR_KIND_GLOBAL, RZ_IL_VAR_KIND_LOCAL, and RZ_IL_VAR_KIND_LOCAL_PURE.

Referenced by rz_il_handler_var().

rz_il_var_set_bind()

RZ_API bool rz_il_var_set_bind	(	RzILVarSet *	vs,
		const char *	name,
		RZ_OWN RzILVal *	val
	)

Set the contents of the variable called name to val

In order for this to succeed, a variable called name must already exist and the sort of val must match the variable's sort. Checking this is done inside this function, so calling it with invalid args in that sense is fine.

Returns

whether the value was successfully bound

Definition at line 129 of file variable.c.

                                                                                      {
    rz_return_val_if_fail(vs && name && val, NULL);
    RzILVar *var = ht_pp_find(vs->vars, name, NULL);
    if (!var || !rz_il_sort_pure_eq(var->sort, rz_il_value_get_sort(val))) {
        if (!var) {
            RZ_LOG_ERROR("Attempted to bind value to non-existent variable \"%s\"\n", name);
        } else {
            RZ_LOG_ERROR("Attempted to bind mis-sorted value to variable \"%s\"\n", name);
        }
        rz_il_value_free(val);
        return false;
    }
    ht_pp_update(vs->contents, name, val);
    return true;
}

References rz_il_var_set_t::contents, NULL, rz_il_sort_pure_eq(), rz_il_value_free(), rz_il_value_get_sort(), RZ_LOG_ERROR, rz_return_val_if_fail, rz_il_var_t::sort, val, and rz_il_var_set_t::vars.

Referenced by rz_il_vm_create_global_var(), rz_il_vm_pop_local_pure_var(), rz_il_vm_push_local_pure_var(), rz_il_vm_set_global_var(), and rz_il_vm_set_local_var().

rz_il_var_set_create_var()

RZ_API RZ_BORROW RzILVar* rz_il_var_set_create_var	(	RzILVarSet *	vs,
		const char *	name,
		RzILSortPure	sort
	)

Create a new variable of the given name and sort. If a variable of this name already exists, nothing happens.

Definition at line 90 of file variable.c.

                                                                                                        {
    rz_return_val_if_fail(vs && name, NULL);
    if (ht_pp_find(vs->vars, name, NULL)) {
        return NULL;
    }
    RzILVar *var = rz_il_variable_new(name, sort);
    if (!var) {
        return NULL;
    }
    ht_pp_insert(vs->vars, name, var);
    return var;
}

References NULL, rz_il_variable_new(), rz_return_val_if_fail, and rz_il_var_set_t::vars.

Referenced by rz_il_vm_create_global_var(), rz_il_vm_pop_local_pure_var(), rz_il_vm_push_local_pure_var(), and rz_il_vm_set_local_var().

rz_il_var_set_fini()

RZ_API void rz_il_var_set_fini

(

RzILVarSet *

vs

)

Definition at line 76 of file variable.c.

                                               {
    ht_pp_free(vs->vars);
    ht_pp_free(vs->contents);
}

References rz_il_var_set_t::contents, and rz_il_var_set_t::vars.

Referenced by rz_il_var_set_reset(), and rz_il_vm_fini().

rz_il_var_set_get()

RZ_API RZ_BORROW RzILVar* rz_il_var_set_get	(	RzILVarSet *	vs,
		const char *	name
	)

Get the definition of the variable called name

Definition at line 148 of file variable.c.

                                                                              {
    return ht_pp_find(vs->vars, name, NULL);
}

References NULL, and rz_il_var_set_t::vars.

Referenced by rz_il_vm_get_var().

rz_il_var_set_get_all()

RZ_API RZ_OWN RzPVector* rz_il_var_set_get_all

(

RzILVarSet *

vs

)

Get a list of all variable definitions in the given set

Definition at line 160 of file variable.c.

                                                                 {
    rz_return_val_if_fail(vs, NULL);
    RzPVector *r = rz_pvector_new(NULL);
    if (!r) {
        return NULL;
    }
    ht_pp_foreach(vs->vars, vars_collect_cb, r);
    return r;
}

References NULL, r, rz_pvector_new(), rz_return_val_if_fail, rz_il_var_set_t::vars, and vars_collect_cb().

Referenced by rz_il_vm_get_all_vars().

rz_il_var_set_get_value()

RZ_API RZ_BORROW RzILVal* rz_il_var_set_get_value	(	RzILVarSet *	vs,
		const char *	name
	)

Get the current value of the variable called name

Definition at line 173 of file variable.c.

                                                                                    {
    rz_return_val_if_fail(vs && name, NULL);
    return ht_pp_find(vs->contents, name, NULL);
}

References rz_il_var_set_t::contents, NULL, and rz_return_val_if_fail.

Referenced by rz_il_vm_get_var_value().

rz_il_var_set_init()

RZ_API bool rz_il_var_set_init

(

RzILVarSet *

vs

)

Initialize vs as an empty variable set

This makes sure that if a failure occurs, the contents are still zeroed out, so it is safe (but not required) to call rz_il_var_set_fini(), even if the init failed.

Returns

whether the initialization succeeded

Definition at line 60 of file variable.c.

                                               {
    rz_return_val_if_fail(vs, false);
    memset(vs, 0, sizeof(*vs));
    vs->vars = ht_pp_new(NULL, var_ht_free, NULL);
    if (!vs->vars) {
        return false;
    }
    vs->contents = ht_pp_new(NULL, val_ht_free, NULL);
    if (!vs->contents) {
        ht_pp_free(vs->vars);
        vs->vars = NULL;
        return false;
    }
    return true;
}

References rz_il_var_set_t::contents, memset(), NULL, rz_return_val_if_fail, val_ht_free(), var_ht_free(), and rz_il_var_set_t::vars.

Referenced by rz_il_var_set_reset(), and rz_il_vm_init().

rz_il_var_set_remove_var()

RZ_API RZ_OWN RZ_NULLABLE RzILVal* rz_il_var_set_remove_var	(	RzILVarSet *	vs,
		const char *	name
	)

Remove a variable, if it exists

Returns

the variable's variable, to be freed by the caller

Definition at line 107 of file variable.c.

                                                                                              {
    rz_return_val_if_fail(vs && name, NULL);
    ht_pp_delete(vs->vars, name);
    HtPPKv *kv = ht_pp_find_kv(vs->contents, name, NULL);
    if (!kv) {
        return NULL;
    }
    RzILVal *r = kv->value;
    kv->value = NULL;
    ht_pp_delete(vs->contents, name);
    return r;
}

References rz_il_var_set_t::contents, NULL, r, rz_return_val_if_fail, and rz_il_var_set_t::vars.

Referenced by rz_il_vm_pop_local_pure_var(), and rz_il_vm_push_local_pure_var().

rz_il_var_set_reset()

RZ_API void rz_il_var_set_reset

(

RzILVarSet *

vs

)

Definition at line 81 of file variable.c.

                                                {
    rz_il_var_set_fini(vs);
    rz_il_var_set_init(vs);
}

References rz_il_var_set_fini(), and rz_il_var_set_init().

Referenced by rz_il_vm_step().

rz_il_variable_free()

RZ_API void rz_il_variable_free

(

RZ_NULLABLE RzILVar *

var

)

Free variable

Parameters

var	RzILVar, pointer to RzILVar

Definition at line 32 of file variable.c.

                                                          {
    if (!var) {
        return;
    }
    free(var->name);
    free(var);
}

References free().

Referenced by var_ht_free().

rz_il_variable_new()

RZ_API RZ_OWN RzILVar* rz_il_variable_new	(	RZ_NONNULL const char *	name,
		RzILSortPure	sort
	)

Create a new variable description

Definition at line 13 of file variable.c.

                                                                                          {
    rz_return_val_if_fail(name, NULL);
    RzILVar *ret = RZ_NEW0(RzILVar);
    if (!ret) {
        return NULL;
    }
    ret->name = strdup(name);
    if (!ret->name) {
        free(ret);
        return NULL;
    }
    ret->sort = sort;
    return ret;
}

References free(), rz_il_var_t::name, NULL, RZ_NEW0, rz_return_val_if_fail, rz_il_var_t::sort, and strdup().

Referenced by rz_il_var_set_create_var().

val_ht_free()

static void val_ht_free ( HtPPKv *  kv )

static

Definition at line 47 of file variable.c.

                                    {
    free(kv->key);
    rz_il_value_free(kv->value);
}

References free(), and rz_il_value_free().

Referenced by rz_il_var_set_init().

var_ht_free()

static void var_ht_free ( HtPPKv *  kv )

static

Definition at line 42 of file variable.c.

                                    {
    free(kv->key);
    rz_il_variable_free(kv->value);
}

References free(), and rz_il_variable_free().

Referenced by rz_il_var_set_init().

vars_collect_cb()

static bool vars_collect_cb ( void *  user, const void *  k, const void *  v  )

static

Definition at line 152 of file variable.c.

                                                                      {
    rz_pvector_push(user, (void *)v);
    return true;
}

References rz_pvector_push(), and v.

Referenced by rz_il_var_set_get_all().