summaryrefslogtreecommitdiffstats
path: root/prioq-test.c
blob: d8640c16f4a751791255db5dd4f89fd40e713e56 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
#include <time.h>
#include <stdlib.h>
#include <stdio.h>

#include "prioq.h"

static gint compare_int(gconstpointer a, gconstpointer b) {
    gint i = GPOINTER_TO_INT(a), j = GPOINTER_TO_INT(b);

    return i < j ? -1 : (i > j ? 1 : 0);
}

static int compare_ptr(gconstpointer a, gconstpointer b) {
    return a < b ? -1 : (a > b ? 1 : 0);
}

static void rec(flxPrioQueueNode *n) {
    if (!n)
        return;

    if (n->left)
        g_assert(n->left->parent == n);

    if (n->right)
        g_assert(n->right->parent == n);

    if (n->parent) {
        g_assert(n->parent->left == n || n->parent->right == n);

        if (n->parent->left == n)
            g_assert(n->next == n->parent->right);
    }

    if (!n->next) {
        g_assert(n->queue->last == n);

        if (n->parent && n->parent->left == n)
            g_assert(n->parent->right == NULL);
    }

    
    if (n->parent) {
        int a = GPOINTER_TO_INT(n->parent->data), b = GPOINTER_TO_INT(n->data);
        if (a > b) {
            printf("%i <= %i: NO\n", a, b);
            abort();
        }
    }

    rec(n->left);
    rec(n->right);
}

int main(int argc, char *argv[]) {
    flxPrioQueue *q, *q2;
    gint i, prev;

    q = flx_prio_queue_new(compare_int);
    q2 = flx_prio_queue_new(compare_ptr);

    srand(time(NULL));

    for (i = 0; i < 10000; i++)
        flx_prio_queue_put(q2, flx_prio_queue_put(q, GINT_TO_POINTER(random() & 0xFFFF)));

    while (q2->root) {
        rec(q->root);
        rec(q2->root);

        g_assert(q->n_nodes == q2->n_nodes);

        printf("%i\n", GPOINTER_TO_INT(((flxPrioQueueNode*)q2->root->data)->data));
        
        flx_prio_queue_remove(q, q2->root->data);
        flx_prio_queue_remove(q2, q2->root);
    }

        
/*     prev = 0; */
/*     while (q->root) { */
/*         gint v = GPOINTER_TO_INT(q->root->data); */
/*         rec(q->root); */
/*         printf("%i\n", v); */
/*         flx_prio_queue_remove(q, q->root); */
/*         g_assert(v >= prev); */
/*         prev = v; */
/*     } */

    flx_prio_queue_free(q);
    return 0;
}