mirror of
https://github.com/samsonjs/lake.git
synced 2026-03-25 08:55:49 +00:00
90 lines
2.6 KiB
C
90 lines
2.6 KiB
C
/**
|
|
* test_dlist.c
|
|
* Lake Scheme
|
|
*
|
|
* Copyright 2011 Sami Samhuri
|
|
* MIT License
|
|
*
|
|
*/
|
|
|
|
#include "common.h"
|
|
#include "lake.h"
|
|
#include "laketest.h"
|
|
#include "list.h"
|
|
#include <string.h>
|
|
|
|
void setup(void);
|
|
static char *test_dlist_make(void);
|
|
static char *test_dlist_repr(void);
|
|
static char *test_dlist_equal(void);
|
|
|
|
static LakeList *head;
|
|
static LakeVal *tail;
|
|
static LakeDottedList *dlist;
|
|
static char *REPR = "(() . ())";
|
|
|
|
int main(int argc, char const *argv[])
|
|
{
|
|
setup();
|
|
return !lt_run_tests(
|
|
"Dotted Lists",
|
|
(test_fn[]){test_dlist_make, test_dlist_repr, test_dlist_equal, NULL});
|
|
}
|
|
|
|
void setup(void)
|
|
{
|
|
head = list_make();
|
|
tail = VAL(list_make());
|
|
dlist = dlist_make(head, tail);
|
|
}
|
|
|
|
/* LakeDottedList *dlist_make(LakeList *head, LakeVal *tail) */
|
|
static char *test_dlist_make(void)
|
|
{
|
|
lt_assert("type is not TYPE_DLIST", lake_is_type(TYPE_DLIST, dlist));
|
|
lt_assert("value size is incorrect",
|
|
lake_val_size(dlist) == sizeof(LakeDottedList));
|
|
lt_assert("head value is incorrect",
|
|
lake_equal(VAL(head), VAL(dlist_head(dlist))));
|
|
lt_assert("tail value is incorrect", lake_equal(tail, dlist_tail(dlist)));
|
|
return 0;
|
|
}
|
|
|
|
/* char *dlist_repr(LakeDottedList *dlist) */
|
|
static char *test_dlist_repr(void)
|
|
{
|
|
lt_assert("dlist_repr is incorrect",
|
|
strncmp(dlist_repr(dlist), REPR, strlen(REPR)) == 0);
|
|
|
|
char *REPR2 = "(spam eggs bacon spam eggs . spam)";
|
|
LakeCtx *lake = lake_init();
|
|
LakeSym *s_spam = sym_intern(lake, "spam");
|
|
LakeSym *s_eggs = sym_intern(lake, "eggs");
|
|
LakeSym *s_bacon = sym_intern(lake, "bacon");
|
|
LakeList *list = list_make();
|
|
list_append(list, VAL(s_spam));
|
|
list_append(list, VAL(s_eggs));
|
|
list_append(list, VAL(s_bacon));
|
|
list_append(list, VAL(s_spam));
|
|
list_append(list, VAL(s_eggs));
|
|
LakeDottedList *dlist2 = dlist_make(list, VAL(s_spam));
|
|
lt_assert("", strncmp(dlist_repr(dlist2), REPR2, strlen(REPR2)) == 0);
|
|
|
|
return 0;
|
|
}
|
|
|
|
/* bool dlist_equal(LakeDottedList *a, LakeDottedList *b) */
|
|
static char *test_dlist_equal(void)
|
|
{
|
|
LakeDottedList *a = dlist;
|
|
LakeDottedList *b = dlist_make(head, tail);
|
|
LakeVal *null = VAL(list_make());
|
|
LakeList *null_pair = list_cons(null, null);
|
|
LakeDottedList *diff_head = dlist_make(null_pair, tail);
|
|
LakeDottedList *diff_tail = dlist_make(head, VAL(null_pair));
|
|
lt_assert("dlist a != a", dlist_equal(a, a));
|
|
lt_assert("dlist a != b", dlist_equal(a, b));
|
|
lt_assert("dlist a == diff_head", !dlist_equal(a, diff_head));
|
|
lt_assert("dlist a == diff_tail", !dlist_equal(a, diff_tail));
|
|
return 0;
|
|
}
|