source: mainline/uspace/app/sbi/src/rdata.c

/*
 * Copyright (c) 2011 Jiri Svoboda
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * - Redistributions of source code must retain the above copyright
 *   notice, this list of conditions and the following disclaimer.
 * - Redistributions in binary form must reproduce the above copyright
 *   notice, this list of conditions and the following disclaimer in the
 *   documentation and/or other materials provided with the distribution.
 * - The name of the author may not be used to endorse or promote products
 *   derived from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */

/** @file Run-time data representation.
 *
 * At run time SBI represents all data as a graph of interconnected @c var
 * nodes (variable nodes). Any piece of memory addressable by the program
 * (i.e. all variables) are stored in var nodes. However, var nodes are also
 * used internally to implement value items. (I.e. values in value items
 * have exactly the same structure as program variables).
 *
 * Unlike byte- or word-oriented memory on a real machine, var nodes provide
 * structured and typed storage. (This typing is dynamic, however and has
 * nothing to do with the static type system).
 *
 * There are several types of var nodes, one for each primitive type,
 * reference, delegate, array, and object. A reference var node contains
 * a pointer to another var node. Delegate var node points to some stree
 * declaration. Array and object var nodes refer to a collection of child
 * nodes (fields, elements).
 */

#include <stdlib.h>
#include <assert.h>
#include "bigint.h"
#include "list.h"
#include "mytypes.h"
#include "stree.h"
#include "symbol.h"
#include "strtab.h"

#include "rdata.h"

static void rdata_bool_copy(rdata_bool_t *src, rdata_bool_t **dest);
static void rdata_char_copy(rdata_char_t *src, rdata_char_t **dest);
static void rdata_int_copy(rdata_int_t *src, rdata_int_t **dest);
static void rdata_string_copy(rdata_string_t *src, rdata_string_t **dest);
static void rdata_ref_copy(rdata_ref_t *src, rdata_ref_t **dest);
static void rdata_deleg_copy(rdata_deleg_t *src, rdata_deleg_t **dest);
static void rdata_enum_copy(rdata_enum_t *src, rdata_enum_t **dest);
static void rdata_array_copy(rdata_array_t *src, rdata_array_t **dest);
static void rdata_object_copy(rdata_object_t *src, rdata_object_t **dest);
static void rdata_resource_copy(rdata_resource_t *src,
    rdata_resource_t **dest);
static void rdata_symbol_copy(rdata_symbol_t *src, rdata_symbol_t **dest);

static void rdata_var_destroy_inner(rdata_var_t *var);

static void rdata_bool_destroy(rdata_bool_t *bool_v);
static void rdata_char_destroy(rdata_char_t *char_v);
static void rdata_int_destroy(rdata_int_t *int_v);
static void rdata_string_destroy(rdata_string_t *string_v);
static void rdata_ref_destroy(rdata_ref_t *ref_v);
static void rdata_deleg_destroy(rdata_deleg_t *deleg_v);
static void rdata_enum_destroy(rdata_enum_t *enum_v);
static void rdata_array_destroy(rdata_array_t *array_v);
static void rdata_object_destroy(rdata_object_t *object_v);
static void rdata_resource_destroy(rdata_resource_t *resource_v);
static void rdata_symbol_destroy(rdata_symbol_t *symbol_v);

static int rdata_array_get_dim(rdata_array_t *array);
static void rdata_var_copy_to(rdata_var_t *src, rdata_var_t *dest);

static void rdata_address_print(rdata_address_t *address);
static void rdata_var_print(rdata_var_t *var);

/** Allocate new data item.
 *
 * @param ic    Item class.
 * @return      New item.
 */
rdata_item_t *rdata_item_new(item_class_t ic)
{
        rdata_item_t *item;

        item = calloc(1, sizeof(rdata_item_t));
        if (item == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        item->ic = ic;
        return item;
}

/** Allocate new address.
 *
 * @return      New address.
 */
rdata_addr_var_t *rdata_addr_var_new(void)
{
        rdata_addr_var_t *addr_var;

        addr_var = calloc(1, sizeof(rdata_addr_var_t));
        if (addr_var == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        return addr_var;
}

/** Allocate new named property address.
 *
 * @return      New named property address.
 */
rdata_aprop_named_t *rdata_aprop_named_new(void)
{
        rdata_aprop_named_t *aprop_named;

        aprop_named = calloc(1, sizeof(rdata_aprop_named_t));
        if (aprop_named == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        return aprop_named;
}

/** Allocate new indexed property address.
 *
 * @return      New indexed property address.
 */
rdata_aprop_indexed_t *rdata_aprop_indexed_new(void)
{
        rdata_aprop_indexed_t *aprop_indexed;

        aprop_indexed = calloc(1, sizeof(rdata_aprop_indexed_t));
        if (aprop_indexed == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        return aprop_indexed;
}

/** Allocate new property address.
 *
 * @param apc   Property address class.
 * @return      New property address.
 */
rdata_addr_prop_t *rdata_addr_prop_new(aprop_class_t apc)
{
        rdata_addr_prop_t *addr_prop;

        addr_prop = calloc(1, sizeof(rdata_addr_prop_t));
        if (addr_prop == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        addr_prop->apc = apc;
        return addr_prop;
}

/** Allocate new address.
 *
 * @param ac    Address class.
 * @return      New address.
 */
rdata_address_t *rdata_address_new(address_class_t ac)
{
        rdata_address_t *address;

        address = calloc(1, sizeof(rdata_address_t));
        if (address == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        address->ac = ac;
        return address;
}

/** Allocate new value.
 *
 * @return      New value.
 */
rdata_value_t *rdata_value_new(void)
{
        rdata_value_t *value;

        value = calloc(1, sizeof(rdata_value_t));
        if (value == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        return value;
}

/** Allocate new var node.
 *
 * @param vc    Var node class (varclass).
 * @return      New var node.
 */
rdata_var_t *rdata_var_new(var_class_t vc)
{
        rdata_var_t *var;

        var = calloc(1, sizeof(rdata_var_t));
        if (var == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        var->vc = vc;
        return var;
}

/** Allocate new reference.
 *
 * @return      New reference.
 */
rdata_ref_t *rdata_ref_new(void)
{
        rdata_ref_t *ref;

        ref = calloc(1, sizeof(rdata_ref_t));
        if (ref == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        return ref;
}

/** Allocate new delegate.
 *
 * @return      New delegate.
 */
rdata_deleg_t *rdata_deleg_new(void)
{
        rdata_deleg_t *deleg;

        deleg = calloc(1, sizeof(rdata_deleg_t));
        if (deleg == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        return deleg;
}

/** Allocate new enum value.
 *
 * @return      New enum value.
 */
rdata_enum_t *rdata_enum_new(void)
{
        rdata_enum_t *enum_v;

        enum_v = calloc(1, sizeof(rdata_enum_t));
        if (enum_v == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        return enum_v;
}

/** Allocate new array.
 *
 * @return      New array.
 */
rdata_array_t *rdata_array_new(int rank)
{
        rdata_array_t *array;

        array = calloc(1, sizeof(rdata_array_t));
        if (array == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        array->rank = rank;
        array->extent = calloc(rank, sizeof(int));
        if (array == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        return array;
}

/** Allocate new object.
 *
 * @return      New object.
 */
rdata_object_t *rdata_object_new(void)
{
        rdata_object_t *object;

        object = calloc(1, sizeof(rdata_object_t));
        if (object == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        return object;
}

/** Allocate new boolean.
 *
 * @return      New boolean.
 */
rdata_bool_t *rdata_bool_new(void)
{
        rdata_bool_t *bool_v;

        bool_v = calloc(1, sizeof(rdata_bool_t));
        if (bool_v == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        return bool_v;
}

/** Allocate new character.
 *
 * @return      New character.
 */
rdata_char_t *rdata_char_new(void)
{
        rdata_char_t *char_v;

        char_v = calloc(1, sizeof(rdata_char_t));
        if (char_v == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        return char_v;
}

/** Allocate new integer.
 *
 * @return      New integer.
 */
rdata_int_t *rdata_int_new(void)
{
        rdata_int_t *int_v;

        int_v = calloc(1, sizeof(rdata_int_t));
        if (int_v == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        return int_v;
}

/** Allocate new string.
 *
 * @return      New string.
 */
rdata_string_t *rdata_string_new(void)
{
        rdata_string_t *string_v;

        string_v = calloc(1, sizeof(rdata_string_t));
        if (string_v == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        return string_v;
}

/** Allocate new resource.
 *
 * @return      New resource.
 */
rdata_resource_t *rdata_resource_new(void)
{
        rdata_resource_t *resource_v;

        resource_v = calloc(1, sizeof(rdata_resource_t));
        if (resource_v == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        return resource_v;
}

/** Allocate new symbol reference.
 *
 * @return      New symbol reference.
 */
rdata_symbol_t *rdata_symbol_new(void)
{
        rdata_symbol_t *symbol_v;

        symbol_v = calloc(1, sizeof(rdata_symbol_t));
        if (symbol_v == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }

        return symbol_v;
}

/** Allocate array elements.
 *
 * Allocates element array of @a array.
 *
 * @param array         Array.
 */
void rdata_array_alloc_element(rdata_array_t *array)
{
        int dim;

        dim = rdata_array_get_dim(array);

        array->element = calloc(dim, sizeof(rdata_var_t *));
        if (array->element == NULL) {
                printf("Memory allocation failed.\n");
                exit(1);
        }
}

/** Get array dimension.
 *
 * Dimension is the total number of elements in an array, in other words,
 * the product of all extents.
 *
 * @param array         Array.
 */
static int rdata_array_get_dim(rdata_array_t *array)
{
        int didx, dim;

        dim = 1;
        for (didx = 0; didx < array->rank; ++didx)
                dim = dim * array->extent[didx];

        return dim;
}

/** Deallocate item.
 *
 * @param item  Item node
 */
void rdata_item_delete(rdata_item_t *item)
{
        assert(item != NULL);
        free(item);
}

/** Deallocate variable address.
 *
 * @param addr_var      Variable address node
 */
void rdata_addr_var_delete(rdata_addr_var_t *addr_var)
{
        assert(addr_var != NULL);
        free(addr_var);
}

/** Deallocate property address.
 *
 * @param addr_prop     Variable address node
 */
void rdata_addr_prop_delete(rdata_addr_prop_t *addr_prop)
{
        assert(addr_prop != NULL);
        free(addr_prop);
}

/** Deallocate named property address.
 *
 * @param aprop_named   Variable address node
 */
void rdata_aprop_named_delete(rdata_aprop_named_t *aprop_named)
{
        assert(aprop_named != NULL);
        free(aprop_named);
}

/** Deallocate indexed property address.
 *
 * @param aprop_indexed Variable address node
 */
void rdata_aprop_indexed_delete(rdata_aprop_indexed_t *aprop_indexed)
{
        assert(aprop_indexed != NULL);
        free(aprop_indexed);
}

/** Deallocate address.
 *
 * @param address       Address node
 */
void rdata_address_delete(rdata_address_t *address)
{
        assert(address != NULL);
        free(address);
}

/** Deallocate value.
 *
 * @param value         Value node
 */
void rdata_value_delete(rdata_value_t *value)
{
        assert(value != NULL);
        free(value);
}

/** Deallocate var node.
 *
 * @param var   Var node
 */
void rdata_var_delete(rdata_var_t *var)
{
        assert(var != NULL);
        free(var);
}

/** Deallocate boolean.
 *
 * @param bool_v                Boolean
 */
void rdata_bool_delete(rdata_bool_t *bool_v)
{
        assert(bool_v != NULL);
        free(bool_v);
}

/** Deallocate character.
 *
 * @param char_v        Character
 */
void rdata_char_delete(rdata_char_t *char_v)
{
        assert(char_v != NULL);
        free(char_v);
}

/** Deallocate integer.
 *
 * @param int_v         Integer
 */
void rdata_int_delete(rdata_int_t *int_v)
{
        assert(int_v != NULL);
        free(int_v);
}

/** Deallocate string.
 *
 * @param string_v      String
 */
void rdata_string_delete(rdata_string_t *string_v)
{
        assert(string_v != NULL);
        free(string_v);
}

/** Deallocate reference.
 *
 * @param ref_v         Reference
 */
void rdata_ref_delete(rdata_ref_t *ref_v)
{
        assert(ref_v != NULL);
        free(ref_v);
}

/** Deallocate delegate.
 *
 * @param deleg_v               Reference
 */
void rdata_deleg_delete(rdata_deleg_t *deleg_v)
{
        assert(deleg_v != NULL);
        free(deleg_v);
}

/** Deallocate enum.
 *
 * @param enum_v                Reference
 */
void rdata_enum_delete(rdata_enum_t *enum_v)
{
        assert(enum_v != NULL);
        free(enum_v);
}

/** Deallocate array.
 *
 * @param array_v               Array
 */
void rdata_array_delete(rdata_array_t *array_v)
{
        assert(array_v != NULL);
        free(array_v);
}

/** Deallocate object.
 *
 * @param object_v              Object
 */
void rdata_object_delete(rdata_object_t *object_v)
{
        assert(object_v != NULL);
        free(object_v);
}

/** Deallocate resource.
 *
 * @param resource_v            Resource
 */
void rdata_resource_delete(rdata_resource_t *resource_v)
{
        assert(resource_v != NULL);
        free(resource_v);
}

/** Deallocate symbol.
 *
 * @param symbol_v              Symbol
 */
void rdata_symbol_delete(rdata_symbol_t *symbol_v)
{
        assert(symbol_v != NULL);
        free(symbol_v);
}

/** Copy value.
 *
 * @param src           Input value
 * @param dest          Place to store pointer to new value
 */
void rdata_value_copy(rdata_value_t *src, rdata_value_t **dest)
{
        assert(src != NULL);

        *dest = rdata_value_new();
        rdata_var_copy(src->var, &(*dest)->var);
}

/** Make copy of a variable.
 *
 * Creates a new var node that is an exact copy of an existing var node.
 * This can be thought of as a shallow copy.
 *
 * @param src           Source var node.
 * @param dest          Place to store pointer to new var node.
 */
void rdata_var_copy(rdata_var_t *src, rdata_var_t **dest)
{
        rdata_var_t *nvar;

        nvar = rdata_var_new(src->vc);
        rdata_var_copy_to(src, nvar);

        *dest = nvar;
}

/** Copy variable content to another variable.
 *
 * Writes an exact copy of an existing var node to another var node.
 * The varclass of @a src and @a dest must match. The content of
 * @a dest.u must be invalid.
 *
 * @param src           Source var node.
 * @param dest          Destination var node.
 */
static void rdata_var_copy_to(rdata_var_t *src, rdata_var_t *dest)
{
        dest->vc = src->vc;

        switch (src->vc) {
        case vc_bool:
                rdata_bool_copy(src->u.bool_v, &dest->u.bool_v);
                break;
        case vc_char:
                rdata_char_copy(src->u.char_v, &dest->u.char_v);
                break;
        case vc_int:
                rdata_int_copy(src->u.int_v, &dest->u.int_v);
                break;
        case vc_string:
                rdata_string_copy(src->u.string_v, &dest->u.string_v);
                break;
        case vc_ref:
                rdata_ref_copy(src->u.ref_v, &dest->u.ref_v);
                break;
        case vc_deleg:
                rdata_deleg_copy(src->u.deleg_v, &dest->u.deleg_v);
                break;
        case vc_enum:
                rdata_enum_copy(src->u.enum_v, &dest->u.enum_v);
                break;
        case vc_array:
                rdata_array_copy(src->u.array_v, &dest->u.array_v);
                break;
        case vc_object:
                rdata_object_copy(src->u.object_v, &dest->u.object_v);
                break;
        case vc_resource:
                rdata_resource_copy(src->u.resource_v, &dest->u.resource_v);
                break;
        case vc_symbol:
                rdata_symbol_copy(src->u.symbol_v, &dest->u.symbol_v);
                break;
        }
}

/** Copy boolean.
 *
 * @param src           Source boolean
 * @param dest          Place to store pointer to new boolean
 */
static void rdata_bool_copy(rdata_bool_t *src, rdata_bool_t **dest)
{
        *dest = rdata_bool_new();
        (*dest)->value = src->value;
}

/** Copy character.
 *
 * @param src           Source character
 * @param dest          Place to store pointer to new character
 */
static void rdata_char_copy(rdata_char_t *src, rdata_char_t **dest)
{
        *dest = rdata_char_new();
        bigint_clone(&src->value, &(*dest)->value);
}

/** Copy integer.
 *
 * @param src           Source integer
 * @param dest          Place to store pointer to new integer
 */
static void rdata_int_copy(rdata_int_t *src, rdata_int_t **dest)
{
        *dest = rdata_int_new();
        bigint_clone(&src->value, &(*dest)->value);
}

/** Copy string.
 *
 * @param src           Source string.
 * @param dest          Place to store pointer to new string.
 */
static void rdata_string_copy(rdata_string_t *src, rdata_string_t **dest)
{
        *dest = rdata_string_new();
        (*dest)->value = src->value;
}

/** Copy reference.
 *
 * @param src           Source reference.
 * @param dest          Place to store pointer to new reference.
 */
static void rdata_ref_copy(rdata_ref_t *src, rdata_ref_t **dest)
{
        *dest = rdata_ref_new();
        (*dest)->vref = src->vref;
}

/** Copy delegate.
 *
 * @param src           Source delegate.
 * @param dest          Place to store pointer to new delegate.
 */
static void rdata_deleg_copy(rdata_deleg_t *src, rdata_deleg_t **dest)
{
        *dest = rdata_deleg_new();
        (*dest)->obj = src->obj;
        (*dest)->sym = src->sym;
}

/** Copy enum value.
 *
 * @param src           Source enum value.
 * @param dest          Place to store pointer to new enum value.
 */
static void rdata_enum_copy(rdata_enum_t *src, rdata_enum_t **dest)
{
        *dest = rdata_enum_new();
        (*dest)->value = src->value;
}

/** Copy array.
 *
 * @param src           Source array.
 * @param dest          Place to store pointer to new array.
 */
static void rdata_array_copy(rdata_array_t *src, rdata_array_t **dest)
{
        (void) src;
        (void) dest;
        printf("Unimplemented: Copy array.\n");
        exit(1);
}

/** Copy object.
 *
 * @param src           Source object.
 * @param dest          Place to store pointer to new object.
 */
static void rdata_object_copy(rdata_object_t *src, rdata_object_t **dest)
{
        (void) src;
        (void) dest;
        printf("Unimplemented: Copy object.\n");
        abort();
}

/** Copy resource.
 *
 * @param src           Source resource.
 * @param dest          Place to store pointer to new resource.
 */
static void rdata_resource_copy(rdata_resource_t *src, rdata_resource_t **dest)
{
        *dest = rdata_resource_new();
        (*dest)->data = src->data;
}

/** Copy symbol.
 *
 * @param src           Source symbol.
 * @param dest          Place to store pointer to new symbol.
 */
static void rdata_symbol_copy(rdata_symbol_t *src, rdata_symbol_t **dest)
{
        *dest = rdata_symbol_new();
        (*dest)->sym = src->sym;
}

/** Destroy var node.
 *
 * @param var   Var node
 */
void rdata_var_destroy(rdata_var_t *var)
{
        /* First destroy class-specific part */
        rdata_var_destroy_inner(var);

        /* Deallocate var node */
        rdata_var_delete(var);
}

/** Destroy inside of var node.
 *
 * Destroy content of var node, but do not deallocate the var node
 * itself.
 *
 * @param var   Var node
 */
static void rdata_var_destroy_inner(rdata_var_t *var)
{
        /* First destroy class-specific part */

        switch (var->vc) {
        case vc_bool:
                rdata_bool_destroy(var->u.bool_v);
                break;
        case vc_char:
                rdata_char_destroy(var->u.char_v);
                break;
        case vc_int:
                rdata_int_destroy(var->u.int_v);
                break;
        case vc_string:
                rdata_string_destroy(var->u.string_v);
                break;
        case vc_ref:
                rdata_ref_destroy(var->u.ref_v);
                break;
        case vc_deleg:
                rdata_deleg_destroy(var->u.deleg_v);
                break;
        case vc_enum:
                rdata_enum_destroy(var->u.enum_v);
                break;
        case vc_array:
                rdata_array_destroy(var->u.array_v);
                break;
        case vc_object:
                rdata_object_destroy(var->u.object_v);
                break;
        case vc_resource:
                rdata_resource_destroy(var->u.resource_v);
                break;
        case vc_symbol:
                rdata_symbol_destroy(var->u.symbol_v);
                break;
        }
}

/** Destroy item.
 *
 * Destroy an item including the value or address within.
 *
 * @param item  Item
 */
void rdata_item_destroy(rdata_item_t *item)
{
        /* First destroy class-specific part */

        switch (item->ic) {
        case ic_address:
                rdata_address_destroy(item->u.address);
                break;
        case ic_value:
                rdata_value_destroy(item->u.value);
                break;
        }

        /* Deallocate item node */
        rdata_item_delete(item);
}

/** Destroy address.
 *
 * Destroy an address node.
 *
 * @param address       Address
 */
void rdata_address_destroy(rdata_address_t *address)
{
        switch (address->ac) {
        case ac_var:
                rdata_addr_var_destroy(address->u.var_a);
                break;
        case ac_prop:
                rdata_addr_prop_destroy(address->u.prop_a);
                break;
        }

        /* Deallocate address node */
        rdata_address_delete(address);
}

/** Destroy variable address.
 *
 * Destroy a variable address node.
 *
 * @param addr_var      Variable address
 */
void rdata_addr_var_destroy(rdata_addr_var_t *addr_var)
{
        addr_var->vref = NULL;

        /* Deallocate variable address node */
        rdata_addr_var_delete(addr_var);
}

/** Destroy property address.
 *
 * Destroy a property address node.
 *
 * @param addr_prop     Property address
 */
void rdata_addr_prop_destroy(rdata_addr_prop_t *addr_prop)
{
        switch (addr_prop->apc) {
        case apc_named:
                rdata_aprop_named_destroy(addr_prop->u.named);
                break;
        case apc_indexed:
                rdata_aprop_indexed_destroy(addr_prop->u.indexed);
                break;
        }

        if (addr_prop->tvalue != NULL) {
                rdata_value_destroy(addr_prop->tvalue);
                addr_prop->tvalue = NULL;
        }

        addr_prop->tpos = NULL;

        /* Deallocate property address node */
        rdata_addr_prop_delete(addr_prop);
}

/** Destroy named property address.
 *
 * Destroy a named property address node.
 *
 * @param aprop_named   Named property address
 */
void rdata_aprop_named_destroy(rdata_aprop_named_t *aprop_named)
{
        rdata_deleg_destroy(aprop_named->prop_d);

        /* Deallocate named property address node */
        rdata_aprop_named_delete(aprop_named);
}

/** Destroy indexed property address.
 *
 * Destroy a indexed property address node.
 *
 * @param aprop_indexed         Indexed property address
 */
void rdata_aprop_indexed_destroy(rdata_aprop_indexed_t *aprop_indexed)
{
        list_node_t *arg_node;
        rdata_item_t *arg_i;

        /* Destroy the object delegate. */
        rdata_deleg_destroy(aprop_indexed->object_d);

        /*
         * Walk through all argument items (indices) and destroy them,
         * removing them from the list as well.
         */
        while (!list_is_empty(&aprop_indexed->args)) {
                arg_node = list_first(&aprop_indexed->args);
                arg_i = list_node_data(arg_node, rdata_item_t *);

                rdata_item_destroy(arg_i);
                list_remove(&aprop_indexed->args, arg_node);
        }

        /* Destroy the now empty list */
        list_fini(&aprop_indexed->args);

        /* Deallocate indexed property address node */
        rdata_aprop_indexed_delete(aprop_indexed);
}

/** Destroy value.
 *
 * Destroy a value node.
 *
 * @param value         Value
 */
void rdata_value_destroy(rdata_value_t *value)
{
        /* Assumption: Var nodes in values are not shared. */
        rdata_var_destroy(value->var);

        /* Deallocate value node */
        rdata_value_delete(value);
}

/** Destroy boolean.
 *
 * @param bool_v                Boolean
 */
static void rdata_bool_destroy(rdata_bool_t *bool_v)
{
        rdata_bool_delete(bool_v);
}

/** Destroy character.
 *
 * @param char_v        Character
 */
static void rdata_char_destroy(rdata_char_t *char_v)
{
        bigint_destroy(&char_v->value);
        rdata_char_delete(char_v);
}

/** Destroy integer.
 *
 * @param int_v         Integer
 */
static void rdata_int_destroy(rdata_int_t *int_v)
{
        bigint_destroy(&int_v->value);
        rdata_int_delete(int_v);
}

/** Destroy string.
 *
 * @param string_v      String
 */
static void rdata_string_destroy(rdata_string_t *string_v)
{
        /*
         * String values are shared so we cannot free them. Just deallocate
         * the node.
         */
        rdata_string_delete(string_v);
}

/** Destroy reference.
 *
 * @param ref_v         Reference
 */
static void rdata_ref_destroy(rdata_ref_t *ref_v)
{
        ref_v->vref = NULL;
        rdata_ref_delete(ref_v);
}

/** Destroy delegate.
 *
 * @param deleg_v               Reference
 */
static void rdata_deleg_destroy(rdata_deleg_t *deleg_v)
{
        deleg_v->obj = NULL;
        deleg_v->sym = NULL;
        rdata_deleg_delete(deleg_v);
}

/** Destroy enum.
 *
 * @param enum_v                Reference
 */
static void rdata_enum_destroy(rdata_enum_t *enum_v)
{
        enum_v->value = NULL;
        rdata_enum_delete(enum_v);
}

/** Destroy array.
 *
 * @param array_v               Array
 */
static void rdata_array_destroy(rdata_array_t *array_v)
{
        int d;
        size_t n_elems, p;

        /*
         * Compute total number of elements in array.
         * At the same time zero out the extent array.
         */
        n_elems = 1;
        for (d = 0; d < array_v->rank; d++) {
                n_elems = n_elems * array_v->extent[d];
                array_v->extent[d] = 0;
        }

        /* Destroy all elements and zero out the array */
        for (p = 0; p < n_elems; p++) {
                rdata_var_delete(array_v->element[p]);
                array_v->element[p] = NULL;
        }

        /* Free the arrays */
        free(array_v->element);
        free(array_v->extent);

        array_v->rank = 0;

        /* Deallocate the node */
        rdata_array_delete(array_v);
}

/** Destroy object.
 *
 * @param object_v              Object
 */
static void rdata_object_destroy(rdata_object_t *object_v)
{
        /* XXX TODO */
        rdata_object_delete(object_v);
}

/** Destroy resource.
 *
 * @param resource_v            Resource
 */
static void rdata_resource_destroy(rdata_resource_t *resource_v)
{
        /*
         * XXX Presumably this should be handled by the appropriate
         * built-in module, so, some call-back function would be required.
         */
        resource_v->data = NULL;
        rdata_resource_delete(resource_v);
}

/** Destroy symbol.
 *
 * @param symbol_v              Symbol
 */
static void rdata_symbol_destroy(rdata_symbol_t *symbol_v)
{
        symbol_v->sym = NULL;
        rdata_symbol_delete(symbol_v);
}

/** Read data from a variable.
 *
 * This copies data from the variable to a value item. Ideally any read access
 * to a program variable should go through this function. (Keep in mind
 * that although values are composed of var nodes internally, but are not
 * variables per se. Therefore this function is not used to read from values)
 *
 * @param var           Variable to read from (var node where it is stored).
 * @param ritem         Place to store pointer to new value item read from
 *                      the variable.
 */
void rdata_var_read(rdata_var_t *var, rdata_item_t **ritem)
{
        rdata_value_t *value;
        rdata_var_t *rvar;

        /* Perform a shallow copy of @a var. */
        rdata_var_copy(var, &rvar);

        value = rdata_value_new();
        value->var = rvar;
        *ritem = rdata_item_new(ic_value);
        (*ritem)->u.value = value;
}

/** Write data to a variable.
 *
 * This copies data to the variable from a value. Ideally any write access
 * to a program variable should go through this function. (Keep in mind
 * that even though values are composed of var nodes internally, but are not
 * variables per se. Therefore this function is not used to write to values)
 *
 * @param var           Variable to write to (var node where it is stored).
 * @param value         The value to write.
 */
void rdata_var_write(rdata_var_t *var, rdata_value_t *value)
{
        /* Free old content of var->u */
        rdata_var_destroy_inner(var);

        /* Perform a shallow copy of @c value->var. */
        rdata_var_copy_to(value->var, var);
}

/** Print data item in human-readable form.
 *
 * @param item          Item to print.
 */
void rdata_item_print(rdata_item_t *item)
{
        if (item == NULL) {
                printf("none");
                return;
        }

        switch (item->ic) {
        case ic_address:
                printf("address:");
                rdata_address_print(item->u.address);
                break;
        case ic_value:
                printf("value:");
                rdata_value_print(item->u.value);
                break;
        }
}

/** Print address in human-readable form.
 *
 * Actually this displays contents of the var node that is being addressed.
 *
 * XXX Maybe we should really rather print the address and not the data
 * it is pointing to?
 *
 * @param item          Address to print.
 */
static void rdata_address_print(rdata_address_t *address)
{
        switch (address->ac) {
        case ac_var:
                rdata_var_print(address->u.var_a->vref);
                break;
        case ac_prop:
                printf("Warning: Unimplemented: Print property address.\n");
                break;
        }
}

/** Print value in human-readable form.
 *
 * @param value         Value to print.
 */
void rdata_value_print(rdata_value_t *value)
{
        rdata_var_print(value->var);
}

/** Print contents of var node in human-readable form.
 *
 * @param item          Var node to print.
 */
static void rdata_var_print(rdata_var_t *var)
{
        int val;

        switch (var->vc) {
        case vc_bool:
                printf("bool(%s)", var->u.bool_v->value ? "true" : "false");
                break;
        case vc_char:
                printf("char(");
                if (bigint_get_value_int(&var->u.char_v->value, &val) == EOK)
                        printf("'%c'", val);
                else
                        printf("???:x%x\n", (unsigned) val);
                printf(")");
                break;
        case vc_int:
                printf("int(");
                bigint_print(&var->u.int_v->value);
                printf(")");
                break;
        case vc_string:
                printf("string(\"%s\")", var->u.string_v->value);
                break;
        case vc_ref:
                if (var->u.ref_v->vref != NULL) {
                        printf("ref(");
                        rdata_var_print(var->u.ref_v->vref);
                        printf(")");
                } else {
                        printf("nil");
                }
                break;
        case vc_deleg:
                printf("deleg(");
                if (var->u.deleg_v->sym != NULL) {
                        if (var->u.deleg_v->obj != NULL) {
                                rdata_var_print(var->u.deleg_v->obj);
                                printf(",");
                        }
                        symbol_print_fqn(var->u.deleg_v->sym);
                } else {
                        printf("nil");
                }
                printf(")");
                break;
        case vc_enum:
                symbol_print_fqn(
                    enum_to_symbol(var->u.enum_v->value->outer_enum));
                printf(".%s",
                    strtab_get_str(var->u.enum_v->value->name->sid));
                break;
        case vc_array:
                printf("array");
                break;
        case vc_object:
                printf("object");
                break;
        case vc_resource:
                printf("resource(%p)", var->u.resource_v->data);
                break;
        case vc_symbol:
                printf("symbol(");
                if (var->u.symbol_v->sym != NULL) {
                        symbol_print_fqn(var->u.symbol_v->sym);
                } else {
                        printf("nil");
                }
                printf(")");
                break;
        }
}