ceedling 0.19.0 → 0.20.2

data/examples/temp_sensor/src/TaskScheduler.h

@@ -1,11 +1,11 @@
-#ifndef _TASKSCHEDULER_H
-#define _TASKSCHEDULER_H
-
-#include "Types.h"
-
-void TaskScheduler_Init(void);
-void TaskScheduler_Update(uint32 time);
-bool TaskScheduler_DoUsart(void);
-bool TaskScheduler_DoAdc(void);
-
-#endif // _TASKSCHEDULER_H
+#ifndef _TASKSCHEDULER_H
+#define _TASKSCHEDULER_H
+
+#include "Types.h"
+
+void TaskScheduler_Init(void);
+void TaskScheduler_Update(uint32 time);
+bool TaskScheduler_DoUsart(void);
+bool TaskScheduler_DoAdc(void);
+
+#endif // _TASKSCHEDULER_H

data/examples/temp_sensor/src/TemperatureCalculator.c

@@ -1,27 +1,27 @@
-#include "Types.h"
-#include "TemperatureCalculator.h"
-#include <math.h>
-
-#ifndef logl
-#define logl log
-#endif
-
-float TemperatureCalculator_Calculate(uint16 millivolts)
-{
-  const double supply_voltage = 3.0;
-  const double series_resistance = 5000;
-  const double coefficient_A = 316589.698;
-  const double coefficient_B = -0.1382009;
-  double sensor_voltage = ((double)millivolts / 1000);
-  double resistance;
-  
-  if (millivolts == 0)
-  {
-    return -INFINITY;
-  }
-
-  // Series resistor is 5k Ohms; Reference voltage is 3.0V
-  // R(t) = A * e^(B*t); R is resistance of thermisor; t is temperature in C
-  resistance = ((supply_voltage * series_resistance) / sensor_voltage) - series_resistance;
-  return (float)(logl(resistance / coefficient_A) / coefficient_B);
-}
+#include "Types.h"
+#include "TemperatureCalculator.h"
+#include <math.h>
+
+#ifndef logl
+#define logl log
+#endif
+
+float TemperatureCalculator_Calculate(uint16 millivolts)
+{
+  const double supply_voltage = 3.0;
+  const double series_resistance = 5000;
+  const double coefficient_A = 316589.698;
+  const double coefficient_B = -0.1382009;
+  double sensor_voltage = ((double)millivolts / 1000);
+  double resistance;
+  
+  if (millivolts == 0)
+  {
+    return -INFINITY;
+  }
+
+  // Series resistor is 5k Ohms; Reference voltage is 3.0V
+  // R(t) = A * e^(B*t); R is resistance of thermisor; t is temperature in C
+  resistance = ((supply_voltage * series_resistance) / sensor_voltage) - series_resistance;
+  return (float)(logl(resistance / coefficient_A) / coefficient_B);
+}

data/examples/temp_sensor/src/TemperatureCalculator.h

@@ -1,8 +1,8 @@
-#ifndef _TEMPERATURECALCULATOR_H
-#define _TEMPERATURECALCULATOR_H
-
-#include "Types.h"
-
-float TemperatureCalculator_Calculate(uint16 millivolts);
-
-#endif // _TEMPERATURECALCULATOR_H
+#ifndef _TEMPERATURECALCULATOR_H
+#define _TEMPERATURECALCULATOR_H
+
+#include "Types.h"
+
+float TemperatureCalculator_Calculate(uint16 millivolts);
+
+#endif // _TEMPERATURECALCULATOR_H

data/examples/temp_sensor/src/TemperatureFilter.c

@@ -1,38 +1,38 @@
-#include "Types.h"
-#include "TemperatureFilter.h"
-#include <math.h>
-
-static bool initialized;
-static float temperatureInCelcius;
-
-void TemperatureFilter_Init(void)
-{
-  initialized = FALSE;
-  temperatureInCelcius = -INFINITY;
-}
-
-float TemperatureFilter_GetTemperatureInCelcius(void)
-{
-  return temperatureInCelcius;
-}
-
-void TemperatureFilter_ProcessInput(float temperature)
-{
-  if (!initialized)
-  {
-    temperatureInCelcius = temperature;
-    initialized = TRUE;
-  }
-  else
-  {
-    if (temperature == +INFINITY ||
-        temperature == -INFINITY ||
-        isnan(temperature))
-    {
-      initialized = FALSE;
-      temperature = -INFINITY;
-    }
-    
-    temperatureInCelcius = (temperatureInCelcius * 0.75f) + (temperature * 0.25);
-  }
-}
+#include "Types.h"
+#include "TemperatureFilter.h"
+#include <math.h>
+
+static bool initialized;
+static float temperatureInCelcius;
+
+void TemperatureFilter_Init(void)
+{
+  initialized = FALSE;
+  temperatureInCelcius = -INFINITY;
+}
+
+float TemperatureFilter_GetTemperatureInCelcius(void)
+{
+  return temperatureInCelcius;
+}
+
+void TemperatureFilter_ProcessInput(float temperature)
+{
+  if (!initialized)
+  {
+    temperatureInCelcius = temperature;
+    initialized = TRUE;
+  }
+  else
+  {
+    if (temperature == +INFINITY ||
+        temperature == -INFINITY ||
+        isnan(temperature))
+    {
+      initialized = FALSE;
+      temperature = -INFINITY;
+    }
+    
+    temperatureInCelcius = (temperatureInCelcius * 0.75f) + (temperature * 0.25);
+  }
+}

data/examples/temp_sensor/src/TemperatureFilter.h

@@ -1,10 +1,10 @@
-#ifndef _TEMPERATUREFILTER_H
-#define _TEMPERATUREFILTER_H
-
-#include "Types.h"
-
-void TemperatureFilter_Init(void);
-float TemperatureFilter_GetTemperatureInCelcius(void);
-void TemperatureFilter_ProcessInput(float temperature);
-
-#endif // _TEMPERATUREFILTER_H
+#ifndef _TEMPERATUREFILTER_H
+#define _TEMPERATUREFILTER_H
+
+#include "Types.h"
+
+void TemperatureFilter_Init(void);
+float TemperatureFilter_GetTemperatureInCelcius(void);
+void TemperatureFilter_ProcessInput(float temperature);
+
+#endif // _TEMPERATUREFILTER_H

data/examples/temp_sensor/src/TimerConductor.c

@@ -1,15 +1,15 @@
-#include "Types.h"
-#include "TimerConductor.h"
-#include "TimerModel.h"
-#include "TimerHardware.h"
-#include "TimerInterruptHandler.h"
-
-void TimerConductor_Init(void)
-{
-  TimerHardware_Init();
-}
-
-void TimerConductor_Run(void)
-{
-  TimerModel_UpdateTime(Timer_GetSystemTime());
-}
+#include "Types.h"
+#include "TimerConductor.h"
+#include "TimerModel.h"
+#include "TimerHardware.h"
+#include "TimerInterruptHandler.h"
+
+void TimerConductor_Init(void)
+{
+  TimerHardware_Init();
+}
+
+void TimerConductor_Run(void)
+{
+  TimerModel_UpdateTime(Timer_GetSystemTime());
+}

data/examples/temp_sensor/src/TimerConductor.h

@@ -1,9 +1,9 @@
-#ifndef _TIMERCONDUCTOR_H
-#define _TIMERCONDUCTOR_H
-
-#include "Types.h"
-
-void TimerConductor_Init(void);
-void TimerConductor_Run(void);
-
-#endif // _TIMERCONDUCTOR_H
+#ifndef _TIMERCONDUCTOR_H
+#define _TIMERCONDUCTOR_H
+
+#include "Types.h"
+
+void TimerConductor_Init(void);
+void TimerConductor_Run(void);
+
+#endif // _TIMERCONDUCTOR_H

data/examples/temp_sensor/src/TimerConfigurator.c

@@ -1,51 +1,51 @@
-#include "Types.h"
-#include "TimerConfigurator.h"
-#include "TimerInterruptConfigurator.h"
-
-void Timer_EnablePeripheralClocks(void)
-{
-  AT91C_BASE_PMC->PMC_PCER = TIMER0_CLOCK_ENABLE | PIOB_CLOCK_ENABLE;
-}
-
-void Timer_Reset(void)
-{
-  uint32 dummy;
-  AT91C_BASE_TC0->TC_CCR = AT91C_TC_CLKDIS;
-  AT91C_BASE_TC0->TC_IDR = 0xffffffff;
-  dummy = AT91C_BASE_TC0->TC_SR;
-  dummy = dummy;
-}
-
-void Timer_ConfigureMode(void)
-{
-  AT91C_BASE_TC0->TC_CMR = 0x000CC004; // ACPC=toggle TIOA on RC compare; mode=WAVE; WAVE_SEL=UP w/auto-trigger on RC compare; clock=MCK/1024
-}
-
-void Timer_ConfigurePeriod(void)
-{
-  AT91C_BASE_TC0->TC_RC = 469; // 10ms period for timer clock source of MCK/1024 with MCK=48054857
-}
-
-void Timer_EnableOutputPin(void)
-{
-  AT91C_BASE_PIOB->PIO_PDR = TIOA0_PIN_MASK;
-}
-
-void Timer_Enable(void)
-{
-  AT91C_BASE_TC0->TC_CCR = AT91C_TC_CLKEN;
-}
-
-void Timer_ConfigureInterruptHandler(void)
-{
-  Timer_DisableInterrupt();
-  Timer_ResetSystemTime();
-  Timer_ConfigureInterrupt();
-  Timer_EnableInterrupt();
-}
-
-void Timer_Start(void)
-{
-  AT91C_BASE_TC0->TC_CCR = AT91C_TC_SWTRG;
-}
-
+#include "Types.h"
+#include "TimerConfigurator.h"
+#include "TimerInterruptConfigurator.h"
+
+void Timer_EnablePeripheralClocks(void)
+{
+  AT91C_BASE_PMC->PMC_PCER = TIMER0_CLOCK_ENABLE | PIOB_CLOCK_ENABLE;
+}
+
+void Timer_Reset(void)
+{
+  uint32 dummy;
+  AT91C_BASE_TC0->TC_CCR = AT91C_TC_CLKDIS;
+  AT91C_BASE_TC0->TC_IDR = 0xffffffff;
+  dummy = AT91C_BASE_TC0->TC_SR;
+  dummy = dummy;
+}
+
+void Timer_ConfigureMode(void)
+{
+  AT91C_BASE_TC0->TC_CMR = 0x000CC004; // ACPC=toggle TIOA on RC compare; mode=WAVE; WAVE_SEL=UP w/auto-trigger on RC compare; clock=MCK/1024
+}
+
+void Timer_ConfigurePeriod(void)
+{
+  AT91C_BASE_TC0->TC_RC = 469; // 10ms period for timer clock source of MCK/1024 with MCK=48054857
+}
+
+void Timer_EnableOutputPin(void)
+{
+  AT91C_BASE_PIOB->PIO_PDR = TIOA0_PIN_MASK;
+}
+
+void Timer_Enable(void)
+{
+  AT91C_BASE_TC0->TC_CCR = AT91C_TC_CLKEN;
+}
+
+void Timer_ConfigureInterruptHandler(void)
+{
+  Timer_DisableInterrupt();
+  Timer_ResetSystemTime();
+  Timer_ConfigureInterrupt();
+  Timer_EnableInterrupt();
+}
+
+void Timer_Start(void)
+{
+  AT91C_BASE_TC0->TC_CCR = AT91C_TC_SWTRG;
+}
+

data/examples/temp_sensor/src/TimerConfigurator.h

@@ -1,15 +1,15 @@
-#ifndef _TIMERCONFIGURATOR_H
-#define _TIMERCONFIGURATOR_H
-
-#include "Types.h"
-
-void Timer_EnablePeripheralClocks(void);
-void Timer_Reset(void);
-void Timer_ConfigureMode(void);
-void Timer_ConfigurePeriod(void);
-void Timer_EnableOutputPin(void);
-void Timer_Enable(void);
-void Timer_ConfigureInterruptHandler(void);
-void Timer_Start(void);
-
-#endif // _TIMERCONFIGURATOR_H
+#ifndef _TIMERCONFIGURATOR_H
+#define _TIMERCONFIGURATOR_H
+
+#include "Types.h"
+
+void Timer_EnablePeripheralClocks(void);
+void Timer_Reset(void);
+void Timer_ConfigureMode(void);
+void Timer_ConfigurePeriod(void);
+void Timer_EnableOutputPin(void);
+void Timer_Enable(void);
+void Timer_ConfigureInterruptHandler(void);
+void Timer_Start(void);
+
+#endif // _TIMERCONFIGURATOR_H

data/examples/temp_sensor/src/TimerHardware.c

@@ -1,15 +1,15 @@
-#include "Types.h"
-#include "TimerHardware.h"
-#include "TimerConfigurator.h"
-
-void TimerHardware_Init(void)
-{
-  Timer_EnablePeripheralClocks();
-  Timer_Reset();
-  Timer_ConfigureMode();
-  Timer_ConfigurePeriod();
-  Timer_EnableOutputPin();
-  Timer_Enable();
-  Timer_ConfigureInterruptHandler();
-  Timer_Start();
-}
+#include "Types.h"
+#include "TimerHardware.h"
+#include "TimerConfigurator.h"
+
+void TimerHardware_Init(void)
+{
+  Timer_EnablePeripheralClocks();
+  Timer_Reset();
+  Timer_ConfigureMode();
+  Timer_ConfigurePeriod();
+  Timer_EnableOutputPin();
+  Timer_Enable();
+  Timer_ConfigureInterruptHandler();
+  Timer_Start();
+}

data/examples/temp_sensor/src/TimerHardware.h

@@ -1,8 +1,8 @@
-#ifndef _TIMERHARDWARE_H
-#define _TIMERHARDWARE_H
-
-#include "Types.h"
-
-void TimerHardware_Init(void);
-
-#endif // _TIMERHARDWARE_H
+#ifndef _TIMERHARDWARE_H
+#define _TIMERHARDWARE_H
+
+#include "Types.h"
+
+void TimerHardware_Init(void);
+
+#endif // _TIMERHARDWARE_H

data/examples/temp_sensor/src/TimerInterruptConfigurator.c

@@ -1,55 +1,55 @@
-#include "Types.h"
-#include "TimerInterruptConfigurator.h"
-#include "TimerInterruptHandler.h"
-
-static inline void SetInterruptHandler(void);
-static inline void ConfigureInterruptSourceModeRegister(void);
-static inline void ClearInterrupt(void);
-static inline void EnableCompareInterruptForRegisterC(void);
-
-void Timer_DisableInterrupt(void)
-{
-  AT91C_BASE_AIC->AIC_IDCR = TIMER0_ID_MASK;
-}
-
-void Timer_ResetSystemTime(void)
-{
-  Timer_SetSystemTime(0);
-}
-
-void Timer_ConfigureInterrupt(void)
-{
-  SetInterruptHandler();
-  ConfigureInterruptSourceModeRegister();
-  ClearInterrupt();
-  EnableCompareInterruptForRegisterC();
-}
-
-void Timer_EnableInterrupt(void)
-{
-  AT91C_BASE_AIC->AIC_IECR = TIMER0_ID_MASK;
-}
-
-//
-// Helpers
-//
-
-static inline void SetInterruptHandler(void)
-{
-  AT91C_BASE_AIC->AIC_SVR[AT91C_ID_TC0] = (uint32)Timer_InterruptHandler;
-}
-
-static inline void ConfigureInterruptSourceModeRegister(void)
-{
-  AT91C_BASE_AIC->AIC_SMR[AT91C_ID_TC0] = 1;
-}
-
-static inline void ClearInterrupt(void)
-{
-  AT91C_BASE_AIC->AIC_ICCR = TIMER0_ID_MASK;
-}
-
-static inline void EnableCompareInterruptForRegisterC(void)
-{
-  AT91C_BASE_TC0->TC_IER = AT91C_TC_CPCS;
-}
+#include "Types.h"
+#include "TimerInterruptConfigurator.h"
+#include "TimerInterruptHandler.h"
+
+static inline void SetInterruptHandler(void);
+static inline void ConfigureInterruptSourceModeRegister(void);
+static inline void ClearInterrupt(void);
+static inline void EnableCompareInterruptForRegisterC(void);
+
+void Timer_DisableInterrupt(void)
+{
+  AT91C_BASE_AIC->AIC_IDCR = TIMER0_ID_MASK;
+}
+
+void Timer_ResetSystemTime(void)
+{
+  Timer_SetSystemTime(0);
+}
+
+void Timer_ConfigureInterrupt(void)
+{
+  SetInterruptHandler();
+  ConfigureInterruptSourceModeRegister();
+  ClearInterrupt();
+  EnableCompareInterruptForRegisterC();
+}
+
+void Timer_EnableInterrupt(void)
+{
+  AT91C_BASE_AIC->AIC_IECR = TIMER0_ID_MASK;
+}
+
+//
+// Helpers
+//
+
+static inline void SetInterruptHandler(void)
+{
+  AT91C_BASE_AIC->AIC_SVR[AT91C_ID_TC0] = (uint32)Timer_InterruptHandler;
+}
+
+static inline void ConfigureInterruptSourceModeRegister(void)
+{
+  AT91C_BASE_AIC->AIC_SMR[AT91C_ID_TC0] = 1;
+}
+
+static inline void ClearInterrupt(void)
+{
+  AT91C_BASE_AIC->AIC_ICCR = TIMER0_ID_MASK;
+}
+
+static inline void EnableCompareInterruptForRegisterC(void)
+{
+  AT91C_BASE_TC0->TC_IER = AT91C_TC_CPCS;
+}