uclisp/test/test_parse.c

#include <stdlib.h>
#include <unity.h>
#include <string.h>

#include "nihilispm.h"
#include "nihilispm_internal.h"

/* static struct nl_parse_result *result; */
static struct nl_object *response;

void setUp(void) {
    response = NULL;
}

void tearDown(void) {
    nl_object_delete(response);
}

static void test_token_next_empty_str(void) {
    const char *input = "";
    const char *curr = input;

    response = nl_token_next(&curr);

    TEST_ASSERT_NULL(response);
    TEST_ASSERT_EQUAL('\0', *curr);
}

static void test_token_next_only_whitespace(void) {
    const char *input = " \n";
    const char *curr = input;

    response = nl_token_next(&curr);

    TEST_ASSERT_NULL(response);
    TEST_ASSERT_EQUAL('\0', *curr);
}

static void test_token_next_lparen(void) {
    const char *input = "(";
    const char *curr = input;

    response = nl_token_next(&curr);

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);
    TEST_ASSERT_EQUAL(NL_TYPE_SYMBOL, response->cell.car->type);
    TEST_ASSERT_EQUAL_STRING("(", response->cell.car->string);
    TEST_ASSERT_EQUAL('\0', *curr);
}

static void test_token_next_rparen(void) {
    const char *input = ")";
    const char *curr = input;

    response = nl_token_next(&curr);

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);
    TEST_ASSERT_EQUAL(NL_TYPE_SYMBOL, response->cell.car->type);
    TEST_ASSERT_EQUAL_STRING(")", response->cell.car->string);
    TEST_ASSERT_EQUAL('\0', *curr);
}

static void test_token_next_lrparen(void) {
    const char *input = "()";
    const char *curr = input;

    response = nl_token_next(&curr);

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);
    TEST_ASSERT_EQUAL(NL_TYPE_SYMBOL, response->cell.car->type);
    TEST_ASSERT_EQUAL_STRING("(", response->cell.car->string);
    TEST_ASSERT_EQUAL(')', *curr);

    nl_object_delete(response);
    response = nl_token_next(&curr);

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);
    TEST_ASSERT_EQUAL(NL_TYPE_SYMBOL, response->cell.car->type);
    TEST_ASSERT_EQUAL_STRING(")", response->cell.car->string);
    TEST_ASSERT_EQUAL('\0', *curr);
}

static void test_token_next_string(void) {
    const char *input = "\"foo\"";
    const char *curr = input;

    response = nl_token_next(&curr);

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);
    TEST_ASSERT_EQUAL(NL_TYPE_STRING, response->cell.car->type);
    TEST_ASSERT_EQUAL_STRING("foo", response->cell.car->string);
    TEST_ASSERT_EQUAL('\0', *curr);
}

static void test_token_next_string_w_whitespace(void) {
    const char *input = " \"foo\"  ";
    const char *curr = input;

    response = nl_token_next(&curr);

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);
    TEST_ASSERT_EQUAL(NL_TYPE_STRING, response->cell.car->type);
    TEST_ASSERT_EQUAL_STRING("foo", response->cell.car->string);
    TEST_ASSERT_EQUAL_STRING("  ", curr);
}

static void test_token_next_symbol(void) {
    const char *input = "foo";
    const char *curr = input;

    response = nl_token_next(&curr);

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);
    TEST_ASSERT_EQUAL(NL_TYPE_SYMBOL, response->cell.car->type);
    TEST_ASSERT_EQUAL_STRING("foo", response->cell.car->string);
    TEST_ASSERT_EQUAL_STRING("", curr);
}

static void test_token_next_symbol_w_whitespace(void) {
    const char *input = " foo  ";
    const char *curr = input;

    response = nl_token_next(&curr);

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);
    TEST_ASSERT_EQUAL(NL_TYPE_SYMBOL, response->cell.car->type);
    TEST_ASSERT_EQUAL_STRING("foo", response->cell.car->string);
    TEST_ASSERT_EQUAL_STRING("  ", curr);
}

static void test_tokenize_empty_str(void) {
    response = nl_tokenize("");

    TEST_ASSERT_NULL(response);
}

static void test_tokenize_nil(void) {
    response = nl_tokenize("()");

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);

    const struct nl_object *token1 = response;
    const struct nl_object *token2 = response->cell.cdr;

    TEST_ASSERT_EQUAL(NL_TYPE_SYMBOL, token1->cell.car->type);
    TEST_ASSERT_EQUAL_STRING("(", token1->cell.car->string);

    TEST_ASSERT_NOT_NULL(token2);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, token2->type);
    TEST_ASSERT_EQUAL(NL_TYPE_SYMBOL, token2->cell.car->type);
    TEST_ASSERT_EQUAL_STRING(")", token2->cell.car->string);

    TEST_ASSERT_NULL(token2->cell.cdr);
}

static void test_tokenize_statement(void) {
    response = nl_tokenize("(foo)");

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);

    const struct nl_object *token1 = response;
    const struct nl_object *token2 = response->cell.cdr;

    TEST_ASSERT_EQUAL(NL_TYPE_SYMBOL, token1->cell.car->type);
    TEST_ASSERT_EQUAL_STRING("(", token1->cell.car->string);

    TEST_ASSERT_NOT_NULL(token2);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, token2->type);
    TEST_ASSERT_EQUAL(NL_TYPE_SYMBOL, token2->cell.car->type);
    TEST_ASSERT_EQUAL_STRING("foo", token2->cell.car->string);

    const struct nl_object *token3 = token2->cell.cdr;

    TEST_ASSERT_NOT_NULL(token3);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, token3->type);
    TEST_ASSERT_EQUAL(NL_TYPE_SYMBOL, token3->cell.car->type);
    TEST_ASSERT_EQUAL_STRING(")", token3->cell.car->string);
}

static void test_parse_atom_symbol(void) {
    response = nl_parse_token_atom(nl_symbol_create(strdup("foo")));

    TEST_ASSERT_EQUAL(response->type, NL_TYPE_SYMBOL);
    TEST_ASSERT_EQUAL_STRING(response->symbol, "foo");
}

static void test_parse_atom_lparen(void) {
    response = nl_parse_token_atom(nl_symbol_create(strdup("(")));

    TEST_ASSERT_NULL(response);
}

static void test_parse_atom_rparen(void) {
    response = nl_parse_token_atom(nl_symbol_create(strdup(")")));

    TEST_ASSERT_NULL(response);
}


static void test_parse_empty_str(void) {
    response = nl_parse("");

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);
    TEST_ASSERT_NULL(response->cell.car);
    TEST_ASSERT_NULL(response->cell.cdr);
}

static void test_parse_symbol(void) {
    response = nl_parse("foo");

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);

    TEST_ASSERT_NOT_NULL(response->cell.car);
    TEST_ASSERT_EQUAL(response->cell.car->type, NL_TYPE_SYMBOL);
    TEST_ASSERT_EQUAL_STRING(response->cell.car->symbol, "foo");
}

static void test_parse_nil(void) {
    response = nl_parse("()");

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);
    TEST_ASSERT_NOT_NULL(response->cell.car);
    TEST_ASSERT_NULL(response->cell.cdr);

    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->cell.car->type);
    TEST_ASSERT_NULL(response->cell.car->cell.car);
    TEST_ASSERT_NULL(response->cell.car->cell.cdr);
}

static void test_parse_list_1elem(void) {
    response = nl_parse("(foo)");

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);

    TEST_ASSERT_NOT_NULL(response->cell.car);
    TEST_ASSERT_NULL(response->cell.cdr);

    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->cell.car->type);
    TEST_ASSERT_NULL(response->cell.car->cell.cdr);

    TEST_ASSERT_EQUAL(NL_TYPE_SYMBOL, response->cell.car->cell.car->type);
    TEST_ASSERT_EQUAL_STRING("foo", response->cell.car->cell.car->symbol);
}

static void test_parse_list_2elem(void) {
    response = nl_parse("(foo bar)");

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);

    TEST_ASSERT_NOT_NULL(response->cell.car);
    TEST_ASSERT_NULL(response->cell.cdr);

    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->cell.car->type);
    TEST_ASSERT_NOT_NULL(response->cell.car->cell.cdr);

    TEST_ASSERT_EQUAL(NL_TYPE_SYMBOL, response->cell.car->cell.car->type);
    TEST_ASSERT_EQUAL_STRING("foo", response->cell.car->cell.car->symbol);

    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->cell.car->cell.cdr->type);
    TEST_ASSERT_EQUAL(NL_TYPE_SYMBOL, response->cell.car->cell.cdr->cell.car->type);
    TEST_ASSERT_EQUAL_STRING("bar", response->cell.car->cell.cdr->cell.car->string);

}

static void test_parse_2elem(void) {
    response = nl_parse("foo bar");

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);

    TEST_ASSERT_NOT_NULL(response->cell.car);
    TEST_ASSERT_EQUAL(NL_TYPE_SYMBOL, response->cell.car->type);
    TEST_ASSERT_EQUAL_STRING("foo", response->cell.car->symbol);

    TEST_ASSERT_NOT_NULL(response->cell.cdr);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->cell.cdr->type);

    TEST_ASSERT_EQUAL(NL_TYPE_SYMBOL, response->cell.cdr->cell.car->type);
    TEST_ASSERT_EQUAL_STRING("bar", response->cell.cdr->cell.car->symbol);
}

static void test_parse_2elem_str(void) {
    response = nl_parse("\"foo\" \"bar\"");

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);

    TEST_ASSERT_NOT_NULL(response->cell.car);
    TEST_ASSERT_EQUAL(NL_TYPE_STRING, response->cell.car->type);
    TEST_ASSERT_EQUAL_STRING("foo", response->cell.car->string);

    TEST_ASSERT_NOT_NULL(response->cell.cdr);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->cell.cdr->type);

    TEST_ASSERT_EQUAL(NL_TYPE_STRING, response->cell.cdr->cell.car->type);
    TEST_ASSERT_EQUAL_STRING("bar", response->cell.cdr->cell.car->string);
}

static void test_parse_nested(void) {
    response = nl_parse("((foo))");

    TEST_ASSERT_NOT_NULL(response);
    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->type);

    TEST_ASSERT_NOT_NULL(response->cell.car);
    TEST_ASSERT_NULL(response->cell.cdr);

    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->cell.car->type);
    TEST_ASSERT_NULL(response->cell.car->cell.cdr);

    TEST_ASSERT_EQUAL(NL_TYPE_CELL, response->cell.car->cell.car->type);
    TEST_ASSERT_NULL(response->cell.car->cell.car->cell.cdr);

    TEST_ASSERT_EQUAL(NL_TYPE_SYMBOL, response->cell.car->cell.car->cell.car->type);
    TEST_ASSERT_EQUAL_STRING("foo", response->cell.car->cell.car->cell.car->symbol);
}


int main(void) {
    UNITY_BEGIN();
    RUN_TEST(test_token_next_empty_str);
    RUN_TEST(test_token_next_only_whitespace);
    RUN_TEST(test_token_next_lparen);
    RUN_TEST(test_token_next_rparen);
    RUN_TEST(test_token_next_lrparen);
    RUN_TEST(test_token_next_string);
    RUN_TEST(test_token_next_string_w_whitespace);
    RUN_TEST(test_token_next_symbol);
    RUN_TEST(test_token_next_symbol_w_whitespace);
    RUN_TEST(test_tokenize_empty_str);
    RUN_TEST(test_tokenize_nil);
    RUN_TEST(test_tokenize_statement);
    RUN_TEST(test_parse_atom_symbol);
    RUN_TEST(test_parse_atom_lparen);
    RUN_TEST(test_parse_atom_rparen);
    RUN_TEST(test_parse_empty_str);
    RUN_TEST(test_parse_symbol);
    RUN_TEST(test_parse_nil);
    RUN_TEST(test_parse_list_1elem);
    RUN_TEST(test_parse_list_2elem);
    RUN_TEST(test_parse_2elem);
    RUN_TEST(test_parse_2elem_str);
    RUN_TEST(test_parse_nested);
    return UNITY_END();
}