expanded tests

[rrq/rrqmisc.git] / tests / relationtests.c

diff --git a/tests/relationtests.c b/tests/relationtests.c
index 874e34c038c1043478befeaee3cf5bc4dd593f3f..15c23f2596f4b2adbd0f34173a2a9bca9c411d76 100644 (file)
--- a/tests/relationtests.c
+++ b/tests/relationtests.c
@@ -1,28 +1,125 @@
 /**
  * This is a collection of tests of the relation functions.
  */
+#include <stdlib.h>
 #include <stringitem.h>
 #include <relation.h>
 
-extern itemkeyfun tupleschema_callbacks;
+#define SIZE(x) (sizeof(x)/sizeof(void*))
+
+static char *tuple2string(relation *r,tuple *t) {
+    #define LIMIT 10000
+    static char tmp[10][ LIMIT ];
+    static int i = 0;
+    if ( t == 0 ) {
+       return "(null)";
+    }
+    if ( i >= 10 ) {
+       i = 0;
+    }
+    int n = r->content.type->tostring(  r->content.type, t, tmp[i], LIMIT );
+    if ( n == 0 ) {
+       *(tmp[i]) = 0;
+    }
+    return tmp[i++];
+}
+
+static void query_report(relation *r,tuple *query) {
+    vector_index i;
+    for ( i = 0; i < r->content.table.size; i++ ) {
+       tuple *t = hashvector_next( &r->content, &i, query );
+       fprintf( stderr, "check %s\n", tuple2string( r, t ) );
+    }
+}
+
+static void query_report_all(relation *r,tuple *query[]) {
+    int j;
+    for ( j = 0; query[j]; j++ ) {
+       fprintf( stderr, "query %s\n", tuple2string( r, query[j] ) );
+       query_report( r, query[j] );
+    }
+}
+
+// Report any knocked out tuples from relation_add or relation_delete
+// This will also clear and free the result vector.
+static void knockout_report(relation *r,vector *v) {
+    vector_index i;
+    if ( v ) {
+       for ( i = 0; i < v->size; i++ ) {
+           tuple **t = (tuple **) vector_next_used( v, &i );
+           fprintf( stderr, "knock %s\n", tuple2string( r, t? *t : 0 ) );
+       }
+       vector_resize( v, 0, vector_clear_any, 0 );
+       free( v );
+    }
+}
+
+// Test addition with several tuples, terminated by 0                          
+static void test_relation_add(relation *r,tuple *query[]) {
+    int j;
+    for ( j = 0; query[j]; j++ ) {
+       fprintf( stderr, "add %s\n", tuple2string( r, query[j] ) );
+       knockout_report( r, relation_add( r, query[j] ) );
+    }
+}
+
+// Test deletion with several queries, terminated by 0
+static void test_relation_delete(relation *r,tuple *query[]) {
+    int j;
+    for ( j = 0; query[j]; j++ ) {
+       fprintf( stderr, "delete %s\n", tuple2string( r, query[j] ) );
+       knockout_report( r, relation_delete( r, query[j] ) );
+    }
+}
 
 int main(int argc,char **argv) {
-    tuple *data[] = {
+
+    // AxB
+    tuple *data2[] = {
        TUPLE( "a", "b" ),
        TUPLE( "a", "c" ),
        TUPLE( "a", "d" ),
+       TUPLE( "b", "d" ),
+       0
+    };
+    tuple *query2[] = {
+       TUPLE( "a", 0 ),
+       TUPLE( 0, "d" ),
+       0
     };
-    // AxB
     relation rel2 = RELATION( &stringitem, &stringitem );
 
-    relation_add( &rel2, data[0] );
-
+    test_relation_add( &rel2, data2 );
+    query_report( &rel2, 0 );
+    query_report_all( &rel2, query2 );
+    test_relation_delete( &rel2, query2 );
+    
     // AxBxC
+    tuple *data3[] = {
+       TUPLE( "a", "b", "c" ), // <a,b,?> <a,?,c> ***
+       TUPLE( "a", "c", "d" ), // <a,c,?> <a,?,d> ***
+       TUPLE( "a", "b", "e" ), // <a,b,?> <a,?,e> => -<a,b,c>
+       TUPLE( "b", "d", "d" ), // <b,d,?> <b,?,d>
+       TUPLE( "a", "d", "d" ), // <a,d,?> <a,?,d> => -<a,c,d>
+       TUPLE( "e", "c", "a" ), // <e,c,?> <e,?,a>
+       TUPLE( "f", "b", "d" ), // <f,b,?> <f,?,c>
+       0
+    };
+    tuple *query3[] = {
+       TUPLE( "a", 0, "d" ),
+       TUPLE( 0, 0, "d" ),
+       TUPLE( 0, "c", 0 ),
+       TUPLE( "f", "b", "d" ),
+       0
+    };
     relation rel3 = RELATION( &stringitem, &stringitem, &stringitem );
-    // AxB -> C
-    relation_add_constraint( &rel3, 1, 1, 0 );
-    // AxC -> B
-    relation_add_constraint( &rel3, 1, 0, 1 );
+    relation_add_constraint( &rel3, 1, 1, 0 ); // AxB -> C
+    relation_add_constraint( &rel3, 1, 0, 1 ); // AxC -> B
+
+    test_relation_add( &rel3, data3 );
+    query_report( &rel3, 0 );
+    query_report_all( &rel3, query3 );
+    test_relation_delete( &rel3, query3 );
 
     return 0;
 }