evol(Tests): add test on Icomp and And

Signed-off-by: Mael-RABOT <[email protected]>

src/Component/AComponent.hpp

@@ -47,5 +47,6 @@ namespace nts {
             void setState(std::size_t pin, Tristate state) override { _pins[pin].first = state; };
             virtual void computeBehaviour(std::size_t tick) = 0;
             void setValue(nts::Tristate) override {};
+            nts::Tristate getValue(std::size_t pin) override { return _pins[pin].first; };
     };
 }

src/Component/IComponent.hpp

@@ -50,5 +50,6 @@ namespace nts {
             virtual void setState(std::size_t pin, Tristate state) = 0;
             virtual void computeBehaviour(std::size_t tick) = 0;
             virtual void setValue(nts::Tristate value) = 0;
+            virtual Tristate getValue(std::size_t pin) = 0;
     };
 }

src/Manager/Manager.cpp

@@ -20,6 +20,13 @@ namespace nts {
         return this->_addComponent(label, this->factory(type, label));
     }
 
+    IComponent *Manager::getComponent(const std::string &label) {
+        if (_components.find(label) == _components.end()) {
+            throw CustomError("Component not found: " + label);
+        }
+        return _components[label];
+    }
+
     bool Manager::_addComponent(const std::string &label, IComponent *component) {
         if (component == nullptr)
             throw CustomError("Creation went wrong.");
@@ -135,10 +142,10 @@ namespace nts {
 
     void Manager::simulate(std::size_t tick) {
         _currentTick = tick;
-//        for (auto &output : _components) {
-//            if (output.second->getType() == ComponentType::Input)
-//                output.second->computeBehaviour(tick);
-//        }
+        for (auto &input : _components) {
+            if (input.second->getType() == ComponentType::Input)
+                input.second->computeBehaviour(tick);
+        }
 //        for (auto &output : _components) {
 //            if (output.second->getType() == ComponentType::Standard)
 //                output.second->computeBehaviour(tick);
@@ -624,4 +631,12 @@ namespace nts {
             }
         }
     }
+
+    void Manager::clearComponents() {
+        for (auto &component : _components) {
+            delete component.second;
+        }
+        _components.clear();
+        _currentTick = 0;
+    }
 }

src/Manager/Manager.hpp

@@ -57,6 +57,7 @@ namespace nts {
             ~Manager();
 
             bool createComponent(const std::string &type, const std::string &label);
+            IComponent *getComponent(const std::string &label);
 
             void addLink(
                 const std::string &source,
@@ -71,7 +72,7 @@ namespace nts {
 
             void dump(bool = true, bool = true, bool = true, bool = false);
 
-            void simulate() { this->simulate(_currentTick++); };
+            void simulate() { this->simulate(++_currentTick); };
             void simulate(std::size_t tick);
 
             IComponent * factory(
@@ -89,5 +90,6 @@ namespace nts {
 
             void display();
             void run();
+            void clearComponents();
     };
 }

test/TestAnd.cpp

@@ -0,0 +1,74 @@
+#include <criterion/criterion.h>
+#include <criterion/redirect.h>
+
+#include "../include/paths.hpp"
+#include "../src/Manager/Manager.hpp"
+
+nts::Manager AndManager;
+
+void AndSetup() {
+    AndManager.initializeTruthTables(TRUTH_TABLE_PATH);
+    AndManager.createComponent("and", "and1");
+    AndManager.createComponent("input", "in1");
+    AndManager.createComponent("input", "in2");
+    AndManager.createComponent("output", "out1");
+    AndManager.addLink("in1", 1, "and1", 1);
+    AndManager.addLink("in2", 1, "and1", 2);
+    AndManager.addLink("and1", 3, "out1", 1);
+}
+
+void AndTeardown() {
+    AndManager.clearComponents();
+}
+
+TestSuite(And, .init = AndSetup, .fini = AndTeardown);
+
+Test(And, should_create_and) {
+    nts::IComponent *component = AndManager.getComponent("and1");
+
+    cr_assert_eq(component->getLabel(), "and1");
+    cr_assert_eq(component->getType(), nts::ComponentType::Standard);
+}
+
+Test(And, should_link_and) {
+    nts::IComponent *output = AndManager.getComponent("out1");
+    cr_assert_eq(output->getValue(1), nts::Tristate::Undefined);
+
+    AndManager.simulate(0);
+    cr_assert_eq(output->getValue(1), nts::Tristate::Undefined);
+
+    AndManager.getComponent("in1")->setValue(nts::Tristate::True);
+    AndManager.getComponent("in2")->setValue(nts::Tristate::True);
+    AndManager.simulate(1);
+
+    cr_assert_eq(output->getValue(1), nts::Tristate::True);
+
+    AndManager.getComponent("in2")->setValue(nts::Tristate::False);
+    AndManager.simulate(2);
+
+    cr_assert_eq(output->getValue(1), nts::Tristate::False);
+}
+
+Test(And, and_truth_table) {
+    std::vector<nts::Tristate> states = {nts::Tristate::True, nts::Tristate::False, nts::Tristate::Undefined};
+
+    for (auto state1 : states) {
+        for (auto state2 : states) {
+            AndManager.getComponent("in1")->setValue(state1);
+            AndManager.getComponent("in2")->setValue(state2);
+            AndManager.simulate();
+
+            nts::Tristate expectedOutput;
+            if (state1 == nts::Tristate::False || state2 == nts::Tristate::False) {
+                expectedOutput = nts::Tristate::False;
+            } else if (state1 == nts::Tristate::True && state2 == nts::Tristate::True) {
+                expectedOutput = nts::Tristate::True;
+            } else {
+                expectedOutput = nts::Tristate::Undefined;
+            }
+
+            nts::IComponent *output = AndManager.getComponent("out1");
+            cr_assert_eq(output->getValue(1), expectedOutput);
+        }
+    }
+}

test/TestIComponent.cpp

@@ -0,0 +1,43 @@
+#include <criterion/criterion.h>
+#include <criterion/redirect.h>
+
+#include "../include/paths.hpp"
+#include "../src/Manager/Manager.hpp"
+
+nts::Manager IComponentManager;
+
+void IComponentSetup() {
+    IComponentManager.initializeTruthTables(TRUTH_TABLE_PATH);
+}
+
+void IComponentTeardown() {
+    IComponentManager.clearComponents();
+}
+
+TestSuite(IComponent, .init = IComponentSetup, .fini = IComponentTeardown);
+
+Test(IComponent, should_create_component)
+{
+    IComponentManager.createComponent("input", "in1");
+    nts::IComponent *component = IComponentManager.getComponent("in1");
+
+    cr_assert_eq(component->getLabel(), "in1");
+    cr_assert_eq(component->getType(), nts::ComponentType::Input);
+}
+
+Test(IComponent, should_link_input_and_output)
+{
+    IComponentManager.createComponent("input", "in1");
+    IComponentManager.createComponent("output", "out1");
+    IComponentManager.addLink("in1", 1, "out1", 1);
+
+    nts::IComponent *output = IComponentManager.getComponent("out1");
+    cr_assert_eq(output->getValue(1), nts::Tristate::Undefined);
+
+    IComponentManager.simulate(0);
+    cr_assert_eq(output->getValue(1), nts::Tristate::Undefined);
+
+    IComponentManager.getComponent("in1")->setValue(nts::Tristate::True);
+    IComponentManager.simulate(1);
+    cr_assert_eq(output->getValue(1), nts::Tristate::True);
+}