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

#include "xreatemanager.h"
#include "query/containers.h"
#include "main/Parser.h"
#include "gtest/gtest.h"

using namespace std;
using namespace xreate::grammar::main;
using namespace xreate::containers;

TEST(Containers, ListAsArray){
    XreateManager* man = XreateManager::prepare(

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){
    XreateManager* man = XreateManager::prepare(

R"Code(
                        // CONTAINERS
    interface(dfa) {
      operator map::  (op(seqaccess)) -> impl(solid).
      operator list_range:: ()->impl(on_the_fly).
      operator list:: ()->impl(solid).
      operator fold:: (op(seqaccess)).
      operator index:: (op(randaccess)).
    }

    import raw("core/containers.lp").

    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(12, main());

    delete man;
}

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

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

	AST* ast = parser.root->finalize();
	CodeScope* body = ast->findFunction("test")->getEntryScope();
	const Symbol symb_chilrenRaw{body->getSymbol("childrenRaw"), body};

	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/containers/Containers_Implementation_LinkedList1.xreate","r");
	assert(input != nullptr);

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

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

	fclose(input);
}