/*
    Copyright (c) 2020 Intel Corporation

    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.
    You may obtain a copy of the License at

        http://www.apache.org/licenses/LICENSE-2.0

    Unless required by applicable law or agreed to in writing, software
    distributed under the License is distributed on an "AS IS" BASIS,
    WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    See the License for the specific language governing permissions and
    limitations under the License.
*/


#include "common/test.h"

#include "common/utils.h"
#include "common/graph_utils.h"

#include "tbb/flow_graph.h"
#include "tbb/task_arena.h"
#include "tbb/global_control.h"

#include "conformance_flowgraph.h"

//! \file conformance_queue_node.cpp
//! \brief Test for [flow_graph.queue_node] specification

/*
TODO: implement missing conformance tests for queue_node:
  - [ ] The copy constructor and copy assignment are called for the node's type template parameter.
  - [ ] Improve `test_forwarding()'.
  - [ ] Improve tests of the constructors.
  - [ ] Improve `test_buffering' by checking that additional `try_get()' does not receive the same
    value.  
- [ ] Based on the decision about the details for `try_put()' and `try_get()' write corresponding
    tests.
*/

template<typename T>
void test_inheritance(){
    using namespace tbb::flow;

    CHECK_MESSAGE( (std::is_base_of<graph_node, queue_node<T>>::value), "queue_node should be derived from graph_node");
    CHECK_MESSAGE( (std::is_base_of<receiver<T>, queue_node<T>>::value), "queue_node should be derived from receiver<T>");
    CHECK_MESSAGE( (std::is_base_of<sender<T>, queue_node<T>>::value), "queue_node should be derived from sender<T>");
}

void test_copies(){
    using namespace tbb::flow;

    graph g;
    queue_node<int> n(g);
    queue_node<int> n2(n);

}

void test_buffering(){
    tbb::flow::graph g;

    tbb::flow::queue_node<int> node(g);
    tbb::flow::limiter_node<int> rejecter(g, 0);

    tbb::flow::make_edge(node, rejecter);
    node.try_put(1);
    g.wait_for_all();

    int tmp = -1;
    CHECK_MESSAGE( (node.try_get(tmp) == true), "try_get after rejection should succeed");
    CHECK_MESSAGE( (tmp == 1), "try_get after rejection should set value");
}

void test_forwarding(){
    tbb::flow::graph g;

    tbb::flow::queue_node<int> node1(g);
    test_push_receiver<int> node2(g);
    test_push_receiver<int> node3(g);

    tbb::flow::make_edge(node1, node2);
    tbb::flow::make_edge(node1, node3);

    node1.try_put(1);
    g.wait_for_all();
    
    int c2 = get_count(node2), c3 = get_count(node3);
    CHECK_MESSAGE( (c2 != c3 ), "Only one descendant the node needs to receive");
    CHECK_MESSAGE( (c2 + c3 == 1 ), "All messages need to be received");
}

void test_queue_node(){
    tbb::flow::graph g;

    tbb::flow::queue_node<int> node(g);
    node.try_put(1);
    node.try_put(2);
    g.wait_for_all();

    int tmp = -1;
    CHECK_MESSAGE( (node.try_get(tmp) == true), "try_get should succeed");
    CHECK_MESSAGE( (tmp == 1), "try_get should set correct value");

    tmp = -1;
    CHECK_MESSAGE( (node.try_get(tmp) == true), "try_get should succeed");
    CHECK_MESSAGE( (tmp == 2), "try_get should set correct value");
}

void test_double_reserve(){
    tbb::flow::graph g;

    tbb::flow::queue_node<int> node(g);

    int tmp = -1;
    node.try_reserve(tmp);
    CHECK_MESSAGE((tmp == -1), "Should not be delivered");
    node.try_reserve(tmp);
    CHECK_MESSAGE((tmp == -1), "Should not be delivered");

    g.reset();

    node.try_reserve(tmp);
    CHECK_MESSAGE((tmp == -1), "Should not be delivered");
    node.try_reserve(tmp);
    CHECK_MESSAGE((tmp == -1), "Should not be delivered");
}

//! Test multiple reserves
//! \brief \ref error_guessing
TEST_CASE("queue_node double reserve"){
    test_double_reserve();
}

//! Test message logic
//! \brief \ref requirement
TEST_CASE("queue_node messages"){
    test_queue_node();
}

//! Test single-push
//! \brief \ref requirement
TEST_CASE("queue_node buffering"){
    test_forwarding();
}

//! Test buffering
//! \brief \ref requirement
TEST_CASE("queue_node buffering"){
    test_buffering();
}

//! Test copy constructor
//! \brief \ref interface
TEST_CASE("queue_node copy constructor"){
    test_copies();
}

//! Test inheritance relations
//! \brief \ref interface
TEST_CASE("queue_node superclasses"){
    test_inheritance<int>();
    test_inheritance<void*>();
}