Add a state machine unit test under FppTest

Drv/GpioDriverPorts/GpioDriverPorts.fpp

@@ -1,15 +1,15 @@
 module Drv {
 
   port GpioWrite(
-                  state: Fw.Logic
+                  $state: Fw.Logic
                 )
 
 }
 
 module Drv {
 
   port GpioRead(
-                 ref state: Fw.Logic
+                 ref $state: Fw.Logic
                )
 
 }

FppTest/CMakeLists.txt

@@ -14,12 +14,14 @@ include("${CMAKE_CURRENT_LIST_DIR}/../cmake/FPrime-Code.cmake")
 add_fprime_subdirectory("${CMAKE_CURRENT_LIST_DIR}/array/")
 add_fprime_subdirectory("${CMAKE_CURRENT_LIST_DIR}/component/")
 add_fprime_subdirectory("${CMAKE_CURRENT_LIST_DIR}/dp/")
+add_fprime_subdirectory("${CMAKE_CURRENT_LIST_DIR}/state_machine/")
 add_fprime_subdirectory("${CMAKE_CURRENT_LIST_DIR}/enum/")
 add_fprime_subdirectory("${CMAKE_CURRENT_LIST_DIR}/struct/")
 set(SOURCE_FILES "source.cpp")
 set(MOD_DEPS
     ${PROJECT_NAME}/array
     ${PROJECT_NAME}/dp
+    ${PROJECT_NAME}/state_machine
     ${PROJECT_NAME}/enum
     ${PROJECT_NAME}/struct
     ${PROJECT_NAME}/component/empty

FppTest/state_machine/CMakeLists.txt

@@ -0,0 +1,21 @@
+set(SOURCE_FILES
+  "${CMAKE_CURRENT_LIST_DIR}/SmTest.cpp"
+  "${CMAKE_CURRENT_LIST_DIR}/SmTest.fpp"
+    "${CMAKE_CURRENT_LIST_DIR}/DeviceSm.cpp"
+    "${CMAKE_CURRENT_LIST_DIR}/SmTestSmBase.cpp"
+    "${CMAKE_CURRENT_LIST_DIR}/SMEvents.fpp"
+)
+
+register_fprime_module()
+
+set(UT_SOURCE_FILES
+  "${CMAKE_CURRENT_LIST_DIR}/SmTest.fpp"
+  "${CMAKE_CURRENT_LIST_DIR}/test/ut/TestMain.cpp"
+  "${CMAKE_CURRENT_LIST_DIR}/test/ut/Tester.cpp"
+  "${CMAKE_CURRENT_LIST_DIR}/test/ut/TesterHelpers.cpp"
+    "${CMAKE_CURRENT_LIST_DIR}/DeviceSm.cpp"
+    "${CMAKE_CURRENT_LIST_DIR}/SmTestSmBase.cpp"
+    "${CMAKE_CURRENT_LIST_DIR}/SMEvents.fpp"
+)
+set(UT_MOD_DEPS STest)
+register_fprime_ut()

FppTest/state_machine/DeviceSm.cpp

@@ -0,0 +1,63 @@
+
+// ======================================================================
+// \title  DeviceSm.cpp
+// \author Auto-generated
+// \brief  cpp file for state machine DeviceSm
+//
+// ======================================================================            
+
+#include "stdio.h"
+#include "assert.h"
+#include "SMEvents.hpp"
+#include "DeviceSm.h"
+
+
+void FppTest::DeviceSm::init()
+{
+    this->state = OFF;
+
+}
+
+
+void FppTest::DeviceSm::update(const Svc::SMEvents *e)
+{
+    switch (this->state) {
+
+            /**
+            * state OFF
+            */
+            case OFF:
+
+            switch (e->geteventSignal()) {
+
+                case RTI_SIG:
+                        this->state = ON;
+
+                    break;
+
+                default:
+                    break;
+            }
+            break;
+
+            /**
+            * state ON
+            */
+            case ON:
+
+            switch (e->geteventSignal()) {
+
+                case RTI_SIG:
+                        this->state = OFF;
+
+                    break;
+
+                default:
+                    break;
+            }
+            break;
+
+        default:
+        assert(0);
+    }
+}

FppTest/state_machine/DeviceSm.fppi

@@ -0,0 +1,7 @@
+
+
+    enum DeviceSmStates {
+        OFF = 0
+        ON = 1
+    }
+

FppTest/state_machine/DeviceSm.h

@@ -0,0 +1,52 @@
+
+// ======================================================================
+// \title  DeviceSm.h
+// \author Auto-generated
+// \brief  header file for state machine DeviceSm
+//
+// ======================================================================
+
+#ifndef DEVICESM_H_
+#define DEVICESM_H_
+
+namespace Svc {
+  class SMEvents;
+}
+
+namespace FppTest {
+
+class DeviceSmIf {
+  public:
+
+};
+
+class DeviceSm {
+
+  private:
+    DeviceSmIf *parent;
+
+  public:
+
+    DeviceSm(DeviceSmIf* parent) : parent(parent) {}
+
+    enum DeviceSmStates {
+      OFF,
+      ON,
+    };
+
+    enum DeviceSmEvents {
+      RTI_SIG,
+    };
+
+    enum DeviceSmStates state;
+
+    void * extension;
+
+    void init();
+    void update(const Svc::SMEvents *e);
+
+};
+
+}
+
+#endif

FppTest/state_machine/DeviceSm.plantuml

@@ -0,0 +1,15 @@
+
+@startuml
+
+[*] --> OFF
+
+state OFF {
+}
+
+state ON {
+
+}
+
+OFF --> ON : RTI
+ON --> OFF : RTI
+@enduml

FppTest/state_machine/DeviceSm.trans

@@ -0,0 +1,2 @@
+InitialState = OFF, Event = RTI, guard = None, action = None, TargetState = ON
+InitialState = ON, Event = RTI, guard = None, action = None, TargetState = OFF

FppTest/state_machine/Makefile

@@ -0,0 +1,4 @@
+HOME_DIR := $(HOME)
+autocode:
+	$(HOME_DIR)/STARS/autocoder/Stars.py -noImpl -backend fprime -namespace FppTest -model DeviceSm.plantuml 
+	$(HOME_DIR)/STARS/autocoder/Stars.py -smbase

FppTest/state_machine/SMEvents.fpp

@@ -0,0 +1,14 @@
+
+# This is an Auto generate file from the STARS Autocoder
+
+module Svc {
+
+    struct SMEvents {
+        smId : U32
+        eventSignal: U32
+        payload: [128] U8
+    }
+
+}       
+
+

FppTest/state_machine/SMEvents.hpp

@@ -0,0 +1 @@
+#include "FppTest/state_machine/SMEventsSerializableAc.hpp"

FppTest/state_machine/SmTest.cpp

@@ -0,0 +1,45 @@
+// ======================================================================
+// \title  SmTest.cpp
+// \author watney
+// \brief  hpp file for SmTest component implementation class
+// ======================================================================
+
+#include <cstdio>
+
+#include "FppTest/state_machine/SmTest.hpp"
+#include "Fw/Types/Assert.hpp"
+
+namespace FppTest {
+
+// ----------------------------------------------------------------------
+// Construction, initialization, and destruction
+// ----------------------------------------------------------------------
+
+SmTest::SmTest(const char* const compName): 
+    SmTestSmBase(compName) {}
+
+void SmTest ::init(const NATIVE_INT_TYPE queueDepth, const NATIVE_INT_TYPE instance) {
+    SmTestSmBase::init(queueDepth, instance);
+}
+
+SmTest ::~SmTest() {}
+
+// ----------------------------------------------------------------------
+// Handler implementations for user-defined typed input ports
+// ----------------------------------------------------------------------
+
+void SmTest::schedIn_handler(const NATIVE_INT_TYPE portNum, U32 context) {
+    sendEvent(DeviceSm::RTI_SIG, StateMachine::DEVICE1);
+    sendEvent(DeviceSm::RTI_SIG, StateMachine::DEVICE2);
+}
+
+// ----------------------------------------------------------------------
+// Data product handler implementations
+// ----------------------------------------------------------------------
+
+
+// ----------------------------------------------------------------------
+// Private helper functions
+// ----------------------------------------------------------------------
+
+}  // end namespace FppTest

FppTest/state_machine/SmTest.fpp

@@ -0,0 +1,24 @@
+module FppTest {
+
+  @ A component for testing data product code gen
+  active component SmTest {
+
+
+    # ----------------------------------------------------------------------
+    # Types
+    # ----------------------------------------------------------------------
+
+
+    # ----------------------------------------------------------------------
+    # General ports
+    # ----------------------------------------------------------------------
+
+    @ A schedIn port to run the data product generation
+    async input port schedIn: Svc.Sched
+
+    include "state-machine.fppi"
+
+
+  }
+
+}

FppTest/state_machine/SmTest.hpp

@@ -0,0 +1,95 @@
+// ======================================================================
+// \title  SmTest.hpp
+// \author watney
+// \brief  hpp file for SmTest component implementation class
+// ======================================================================
+
+#ifndef FppTest_SmTest_HPP
+#define FppTest_SmTest_HPP
+
+#include <array>
+
+#include "FppTest/state_machine/SmTestComponentAc.hpp"
+#include "FppTest/state_machine/SmTestSmBase.hpp"
+#include "Fw/Types/String.hpp"
+#include "FppTest/state_machine/SmTestSmBase.hpp"
+
+namespace FppTest {
+
+class SmTest : 
+  public SmTestSmBase 
+{
+
+    // Friend class for testing
+    friend class Tester;
+
+  public:
+    // ----------------------------------------------------------------------
+    // Constants
+    // ----------------------------------------------------------------------
+
+
+
+  public:
+    // ----------------------------------------------------------------------
+    // Types
+    // ----------------------------------------------------------------------
+
+
+  public:
+    // ----------------------------------------------------------------------
+    // Construction, initialization, and destruction
+    // ----------------------------------------------------------------------
+
+    //! Construct object SmTest
+    SmTest(const char* const compName);                     //!< The component name
+
+    //! Initialize object SmTest
+    void init(const NATIVE_INT_TYPE queueDepth,   //!< The queue depth
+              const NATIVE_INT_TYPE instance = 0  //!< The instance number
+    );
+
+    //! Destroy object SmTest
+    ~SmTest();
+
+  public:
+    // ----------------------------------------------------------------------
+    // Public interface methods
+    // ----------------------------------------------------------------------
+
+
+
+  private:
+    // ----------------------------------------------------------------------
+    // Handler implementations for user-defined typed input ports
+    // ----------------------------------------------------------------------
+
+    //! Handler implementation for schedIn
+    void schedIn_handler(const NATIVE_INT_TYPE portNum,  //!< The port number
+                         U32 context                     //!< The call order
+                         ) final;
+
+  private:
+    // ----------------------------------------------------------------------
+    // Data product handler implementations
+    // ----------------------------------------------------------------------
+
+
+  private:
+    // ----------------------------------------------------------------------
+    // Private helper functions
+    // ----------------------------------------------------------------------
+
+
+
+  private:
+    // ----------------------------------------------------------------------
+    // Private member variables
+    // ----------------------------------------------------------------------
+
+
+};
+
+}  // end namespace FppTest
+
+#endif