HardwareTimer: Add API to get configured mode

Author: ABOSTM

cores/arduino/HardwareTimer.cpp

@@ -690,6 +690,20 @@ void HardwareTimer::setMode(uint32_t channel, TimerModes_t mode, PinName pin)
   }
 }
 
+/**
+  * @brief  Retrieves channel mode configured
+  * @param  channel: Arduino channel [1..4]
+  * @retval returns configured mode
+  */
+TimerModes_t HardwareTimer::getMode(uint32_t channel)
+{
+  if ((1 <= channel) && (channel <= TIMER_CHANNELS)) {
+    return _ChannelMode[channel - 1];
+  } else {
+    return TIMER_DISABLED;
+  }
+}
+
 /**
   * @brief  Enable or disable preloading for overflow value
   *         When disabled, changes to the overflow value take effect

cores/arduino/HardwareTimer.h

@@ -118,6 +118,8 @@ class HardwareTimer {
     void setMode(uint32_t channel, TimerModes_t mode, PinName pin = NC); // Configure timer channel with specified mode on specified pin if available
     void setMode(uint32_t channel, TimerModes_t mode, uint32_t pin);
 
+    TimerModes_t getMode(uint32_t channel);  // Retrieve configured mode
+
     void setPreloadEnable(bool value); // Configure overflow preload enable setting
 
     uint32_t getCaptureCompare(uint32_t channel, TimerCompareFormat_t format = TICK_COMPARE_FORMAT); // return Capture/Compare register value of specified channel depending on format provided