/*
 * containers.cpp
 *
 *  Created on: Jun 9, 2015
 *      Author: pgess
 */

#include "passmanager.h"
#include "query/containers.h"
#include "Parser.h"
#include "gtest/gtest.h"

using namespace std;
using namespace xreate;
using namespace containers;

TEST(Containers, ListAsArray){
    PassManager* man = PassManager::prepareForCode(

R"Code(
    main = function(x:: int):: int;entry {
            a = [1, 2, 3]:: [int].
            a[x]
    }
)Code"          );

    void* mainPtr = man->run();
    int (*main)(int) = (int (*)(int))mainPtr;
    ASSERT_EQ(2, main(1));

    delete man;
}

TEST(Containers, ListAsArray2){
    PassManager* man = PassManager::prepareForCode(

R"Code(
    main = function:: int;entry {
            a= [1, 2, 3]:: [int].
            b= loop map(a->el:: int):: [int]{
                2 * el
            }.

            sum = loop fold(b->el:: int, 0->acc):: int {
                acc + el
            }.

            sum
    }
)Code"          );

    void* mainPtr = man->run();
    int (*main)() = (int (*)())mainPtr;
    ASSERT_EQ(0, main());

    delete man;
}

TEST(Containers, ContanierLinkedList1){
	FILE* input = fopen("scripts/testspass/Containers_Implementation_LinkedList1.xreate","r");
	assert(input != nullptr);

	Scanner scanner(input);
	Parser parser(&scanner);
	parser.Parse();

	AST& ast = parser.root;
	CodeScope* body = ast.findFunction("test")->getEntryScope();
	Symbol symb_chilrenRaw = body->findSymbol("childrenRaw");

	containers::ImplementationLinkedList iLL(symb_chilrenRaw);

	ASSERT_EQ(true, static_cast<bool>(iLL));
	ASSERT_EQ("next", iLL.fieldPointer);

	Implementation impl = Implementation::create(symb_chilrenRaw);
	ASSERT_NO_FATAL_FAILURE(impl.extract<ON_THE_FLY>());

	ImplementationRec<ON_THE_FLY> recOnthefly = impl.extract<ON_THE_FLY>();
	ASSERT_EQ(symb_chilrenRaw, recOnthefly.source);
}

TEST(Containers, Implementation_LinkedListFull){
	FILE* input = fopen("scripts/testspass/Containers_Implementation_LinkedList1.xreate","r");
	assert(input != nullptr);

    std::unique_ptr<PassManager> program(PassManager::prepareForCode(input));
	void* mainPtr = program->run();
	int (*main)() = (int (*)())(intptr_t)mainPtr;

	int answer = main();
	ASSERT_EQ(17, answer);

	fclose(input);
}