#ifndef BSP_Q7S_CORE_XIPHOSWDTHANDLER_H_
#define BSP_Q7S_CORE_XIPHOSWDTHANDLER_H_

#include <fsfw/action/HasActionsIF.h>
#include <fsfw/objectmanager/SystemObject.h>
#include <fsfw/tasks/ExecutableObjectIF.h>
#include <libxiphos.h>

class XiphosWdtHandler : public SystemObject, public ExecutableObjectIF {
 public:
  XiphosWdtHandler(object_id_t objectId);
  ReturnValue_t performOperation(uint8_t opCode) override;
  ReturnValue_t initialize() override;

 private:
  // Timeout duration range specified by Xiphos: 0.001 seconds to 171 seconds. The libxiphos API
  // expects an int, so I guess this translates to 1 to 171 seconds.
  uint32_t timeoutSeconds = 60;
  struct watchdog_s* wdtHandle = nullptr;
};

#endif /* BSP_Q7S_CORE_XIPHOSWDTHANDLER_H_ */