ceedling 0.19.0 → 0.20.2

data/examples/temp_sensor/src/TimerInterruptConfigurator.h

@@ -1,13 +1,13 @@
-#ifndef _TIMERINTERRUPTCONFIGURATOR_H
-#define _TIMERINTERRUPTCONFIGURATOR_H
-
-#include "Types.h"
-
-#define TIMER0_ID_MASK (((uint32)0x1) << AT91C_ID_TC0)
-
-void Timer_DisableInterrupt(void);
-void Timer_ResetSystemTime(void);
-void Timer_ConfigureInterrupt(void);
-void Timer_EnableInterrupt(void);
-
-#endif // _TIMERINTERRUPTCONFIGURATOR_H
+#ifndef _TIMERINTERRUPTCONFIGURATOR_H
+#define _TIMERINTERRUPTCONFIGURATOR_H
+
+#include "Types.h"
+
+#define TIMER0_ID_MASK (((uint32)0x1) << AT91C_ID_TC0)
+
+void Timer_DisableInterrupt(void);
+void Timer_ResetSystemTime(void);
+void Timer_ConfigureInterrupt(void);
+void Timer_EnableInterrupt(void);
+
+#endif // _TIMERINTERRUPTCONFIGURATOR_H

data/examples/temp_sensor/src/TimerInterruptHandler.c

@@ -1,25 +1,25 @@
-#include "Types.h"
-#include "TimerInterruptHandler.h"
-#include "TimerInterruptConfigurator.h"
-
-static uint32 systemTime;
-
-void Timer_SetSystemTime(uint32 time)
-{
-  systemTime = time;
-}
-
-uint32 Timer_GetSystemTime(void)
-{
-  return systemTime;
-}
-
-void Timer_InterruptHandler(void)
-{
-  uint32 status = AT91C_BASE_TC0->TC_SR;
-  if (status & AT91C_TC_CPCS)
-  {
-    systemTime += 10;
-  }
-}
-
+#include "Types.h"
+#include "TimerInterruptHandler.h"
+#include "TimerInterruptConfigurator.h"
+
+static uint32 systemTime;
+
+void Timer_SetSystemTime(uint32 time)
+{
+  systemTime = time;
+}
+
+uint32 Timer_GetSystemTime(void)
+{
+  return systemTime;
+}
+
+void Timer_InterruptHandler(void)
+{
+  uint32 status = AT91C_BASE_TC0->TC_SR;
+  if (status & AT91C_TC_CPCS)
+  {
+    systemTime += 10;
+  }
+}
+

data/examples/temp_sensor/src/TimerInterruptHandler.h

@@ -1,10 +1,10 @@
-#ifndef _TIMERINTERRUPTHANDLER_H
-#define _TIMERINTERRUPTHANDLER_H
-
-#include "Types.h"
-
-void Timer_SetSystemTime(uint32 time);
-uint32 Timer_GetSystemTime(void);
-void Timer_InterruptHandler(void);
-
-#endif // _TIMERINTERRUPTHANDLER_H
+#ifndef _TIMERINTERRUPTHANDLER_H
+#define _TIMERINTERRUPTHANDLER_H
+
+#include "Types.h"
+
+void Timer_SetSystemTime(uint32 time);
+uint32 Timer_GetSystemTime(void);
+void Timer_InterruptHandler(void);
+
+#endif // _TIMERINTERRUPTHANDLER_H

data/examples/temp_sensor/src/TimerModel.c

@@ -1,9 +1,9 @@
-#include "Types.h"
-#include "TimerModel.h"
-#include "TaskScheduler.h"
-
-void TimerModel_UpdateTime(uint32 systemTime)
-{
-  TaskScheduler_Update(systemTime);
-}
-
+#include "Types.h"
+#include "TimerModel.h"
+#include "TaskScheduler.h"
+
+void TimerModel_UpdateTime(uint32 systemTime)
+{
+  TaskScheduler_Update(systemTime);
+}
+

data/examples/temp_sensor/src/TimerModel.h

@@ -1,8 +1,8 @@
-#ifndef _TIMERMODEL_H
-#define _TIMERMODEL_H
-
-#include "Types.h"
-
-void TimerModel_UpdateTime(uint32 systemTime);
-
-#endif // _TIMERMODEL_H
+#ifndef _TIMERMODEL_H
+#define _TIMERMODEL_H
+
+#include "Types.h"
+
+void TimerModel_UpdateTime(uint32 systemTime);
+
+#endif // _TIMERMODEL_H

data/examples/temp_sensor/src/Types.h

@@ -1,90 +1,90 @@
-#ifndef _MYTYPES_H_
-#define _MYTYPES_H_
-
-#include <math.h>
-
-// Application Type Definitions
-typedef unsigned int uint32;
-typedef int int32;
-typedef unsigned short uint16;
-typedef short int16;
-typedef unsigned char uint8;
-typedef char int8;
-typedef char bool;
-
-// Application Special Value Definitions
-#ifndef TRUE
-#define TRUE      (1)
-#endif
-#ifndef FALSE
-#define FALSE     (0)
-#endif
-#ifndef NULL
-#define NULL      (0)
-#endif // NULL
-#define DONT_CARE (0)
-
-#ifndef INFINITY
-#define INFINITY (1.0 / 0.0)
-#endif
-
-#ifndef NAN
-#define NAN (0.0 / 0.0)
-#endif
-
-// MIN/MAX Definitions for Standard Types
-#ifndef INT8_MAX
-#define INT8_MAX 127
-#endif
-
-#ifndef INT8_MIN
-#define INT8_MIN (-128)
-#endif
-
-#ifndef UINT8_MAX
-#define UINT8_MAX 0xFFU
-#endif
-
-#ifndef UINT8_MIN
-#define UINT8_MIN 0x00U
-#endif
-
-#ifndef INT16_MAX
-#define INT16_MAX 32767
-#endif
-
-#ifndef INT16_MIN
-#define INT16_MIN (-32768)
-#endif
-
-#ifndef UINT16_MAX
-#define UINT16_MAX 0xFFFFU
-#endif
-
-#ifndef UINT16_MIN
-#define UINT16_MIN 0x0000U
-#endif
-
-#ifndef INT32_MAX
-#define INT32_MAX 0x7FFFFFFF
-#endif
-
-#ifndef INT32_MIN
-#define INT32_MIN (-INT32_MAX - 1)
-#endif
-
-#ifndef UINT32_MAX
-#define UINT32_MAX 0xFFFFFFFFU
-#endif
-
-#ifndef UINT32_MIN
-#define UINT32_MIN 0x00000000U
-#endif
-
-typedef struct _EXAMPLE_STRUCT_T
-{
-    int x;
-    int y;
-} EXAMPLE_STRUCT_T;
-
-#endif // _MYTYPES_H_
+#ifndef _MYTYPES_H_
+#define _MYTYPES_H_
+
+#include <math.h>
+
+// Application Type Definitions
+typedef unsigned int uint32;
+typedef int int32;
+typedef unsigned short uint16;
+typedef short int16;
+typedef unsigned char uint8;
+typedef char int8;
+typedef char bool;
+
+// Application Special Value Definitions
+#ifndef TRUE
+#define TRUE      (1)
+#endif
+#ifndef FALSE
+#define FALSE     (0)
+#endif
+#ifndef NULL
+#define NULL      (0)
+#endif // NULL
+#define DONT_CARE (0)
+
+#ifndef INFINITY
+#define INFINITY (1.0 / 0.0)
+#endif
+
+#ifndef NAN
+#define NAN (0.0 / 0.0)
+#endif
+
+// MIN/MAX Definitions for Standard Types
+#ifndef INT8_MAX
+#define INT8_MAX 127
+#endif
+
+#ifndef INT8_MIN
+#define INT8_MIN (-128)
+#endif
+
+#ifndef UINT8_MAX
+#define UINT8_MAX 0xFFU
+#endif
+
+#ifndef UINT8_MIN
+#define UINT8_MIN 0x00U
+#endif
+
+#ifndef INT16_MAX
+#define INT16_MAX 32767
+#endif
+
+#ifndef INT16_MIN
+#define INT16_MIN (-32768)
+#endif
+
+#ifndef UINT16_MAX
+#define UINT16_MAX 0xFFFFU
+#endif
+
+#ifndef UINT16_MIN
+#define UINT16_MIN 0x0000U
+#endif
+
+#ifndef INT32_MAX
+#define INT32_MAX 0x7FFFFFFF
+#endif
+
+#ifndef INT32_MIN
+#define INT32_MIN (-INT32_MAX - 1)
+#endif
+
+#ifndef UINT32_MAX
+#define UINT32_MAX 0xFFFFFFFFU
+#endif
+
+#ifndef UINT32_MIN
+#define UINT32_MIN 0x00000000U
+#endif
+
+typedef struct _EXAMPLE_STRUCT_T
+{
+    int x;
+    int y;
+} EXAMPLE_STRUCT_T;
+
+#endif // _MYTYPES_H_

data/examples/temp_sensor/src/UsartBaudRateRegisterCalculator.c

@@ -1,18 +1,18 @@
-#include "Types.h"
-#include "UsartBaudRateRegisterCalculator.h"
-
-uint8 UsartModel_CalculateBaudRateRegisterSetting(uint32 masterClock, uint32 baudRate)
-{
-  uint32 registerSetting = ((masterClock * 10) / (baudRate * 16));
-
-  if ((registerSetting % 10) >= 5)
-  {
-    registerSetting = (registerSetting / 10) + 1;
-  }
-  else
-  {
-    registerSetting /= 10;
-  }
-
-  return (uint8)registerSetting;
-}
+#include "Types.h"
+#include "UsartBaudRateRegisterCalculator.h"
+
+uint8 UsartModel_CalculateBaudRateRegisterSetting(uint32 masterClock, uint32 baudRate)
+{
+  uint32 registerSetting = ((masterClock * 10) / (baudRate * 16));
+
+  if ((registerSetting % 10) >= 5)
+  {
+    registerSetting = (registerSetting / 10) + 1;
+  }
+  else
+  {
+    registerSetting /= 10;
+  }
+
+  return (uint8)registerSetting;
+}

data/examples/temp_sensor/src/UsartBaudRateRegisterCalculator.h

@@ -1,8 +1,8 @@
-#ifndef _USARTBAUDRATEREGISTERCALCULATOR_H
-#define _USARTBAUDRATEREGISTERCALCULATOR_H
-
-#include "Types.h"
-
-uint8 UsartModel_CalculateBaudRateRegisterSetting(uint32 masterClock, uint32 baudRate);
-
-#endif // _USARTBAUDRATEREGISTERCALCULATOR_H
+#ifndef _USARTBAUDRATEREGISTERCALCULATOR_H
+#define _USARTBAUDRATEREGISTERCALCULATOR_H
+
+#include "Types.h"
+
+uint8 UsartModel_CalculateBaudRateRegisterSetting(uint32 masterClock, uint32 baudRate);
+
+#endif // _USARTBAUDRATEREGISTERCALCULATOR_H

data/examples/temp_sensor/src/UsartConductor.c

@@ -1,21 +1,21 @@
-#include "Types.h"
-#include "UsartConductor.h"
-#include "UsartHardware.h"
-#include "UsartModel.h"
-#include "TaskScheduler.h"
-
-void UsartConductor_Init(void)
-{
-  UsartHardware_Init(UsartModel_GetBaudRateRegisterSetting());
-  UsartHardware_TransmitString(UsartModel_GetWakeupMessage());
-}
-
-void UsartConductor_Run(void)
-{
-  char* temp;
-  if (TaskScheduler_DoUsart())
-  {
-    temp = UsartModel_GetFormattedTemperature();
-    UsartHardware_TransmitString(temp);
-  }
-}
+#include "Types.h"
+#include "UsartConductor.h"
+#include "UsartHardware.h"
+#include "UsartModel.h"
+#include "TaskScheduler.h"
+
+void UsartConductor_Init(void)
+{
+  UsartHardware_Init(UsartModel_GetBaudRateRegisterSetting());
+  UsartHardware_TransmitString(UsartModel_GetWakeupMessage());
+}
+
+void UsartConductor_Run(void)
+{
+  char* temp;
+  if (TaskScheduler_DoUsart())
+  {
+    temp = UsartModel_GetFormattedTemperature();
+    UsartHardware_TransmitString(temp);
+  }
+}

data/examples/temp_sensor/src/UsartConductor.h

@@ -1,7 +1,7 @@
-#ifndef _USARTCONDUCTOR_H
-#define _USARTCONDUCTOR_H
-
-void UsartConductor_Init(void);
-void UsartConductor_Run(void);
-
-#endif // _USARTCONDUCTOR_H
+#ifndef _USARTCONDUCTOR_H
+#define _USARTCONDUCTOR_H
+
+void UsartConductor_Init(void);
+void UsartConductor_Run(void);
+
+#endif // _USARTCONDUCTOR_H

data/examples/temp_sensor/src/UsartConfigurator.c

@@ -1,39 +1,39 @@
-#include "Types.h"
-#include "UsartConfigurator.h"
-
-void Usart_ConfigureUsartIO(void)
-{
-  AT91C_BASE_PIOA->PIO_ASR = USART0_TX_PIN;
-  AT91C_BASE_PIOA->PIO_BSR = 0;
-  AT91C_BASE_PIOA->PIO_PDR = USART0_TX_PIN;
-}
-
-void Usart_EnablePeripheralClock(void)
-{
-  AT91C_BASE_PMC->PMC_PCER = ((uint32)1) << USART0_CLOCK_ENABLE;
-}
-
-void Usart_Reset(void)
-{
-  AT91C_BASE_US0->US_IDR = 0xffffffff;
-  AT91C_BASE_US0->US_CR = AT91C_US_RSTRX | AT91C_US_RSTTX | AT91C_US_RXDIS | AT91C_US_TXDIS;
-}
-
-void Usart_ConfigureMode(void)
-{
-  AT91C_BASE_US0->US_MR = AT91C_US_USMODE_NORMAL |
-                          AT91C_US_NBSTOP_1_BIT |
-                          AT91C_US_PAR_NONE |
-                          AT91C_US_CHRL_8_BITS |
-                          AT91C_US_CLKS_CLOCK;
-}
-
-void Usart_SetBaudRateRegister(uint8 baudRateRegisterSetting)
-{
-  AT91C_BASE_US0->US_BRGR = baudRateRegisterSetting;
-}
-
-void Usart_Enable(void)
-{
-  AT91C_BASE_US0->US_CR = AT91C_US_TXEN;
-}
+#include "Types.h"
+#include "UsartConfigurator.h"
+
+void Usart_ConfigureUsartIO(void)
+{
+  AT91C_BASE_PIOA->PIO_ASR = USART0_TX_PIN;
+  AT91C_BASE_PIOA->PIO_BSR = 0;
+  AT91C_BASE_PIOA->PIO_PDR = USART0_TX_PIN;
+}
+
+void Usart_EnablePeripheralClock(void)
+{
+  AT91C_BASE_PMC->PMC_PCER = ((uint32)1) << USART0_CLOCK_ENABLE;
+}
+
+void Usart_Reset(void)
+{
+  AT91C_BASE_US0->US_IDR = 0xffffffff;
+  AT91C_BASE_US0->US_CR = AT91C_US_RSTRX | AT91C_US_RSTTX | AT91C_US_RXDIS | AT91C_US_TXDIS;
+}
+
+void Usart_ConfigureMode(void)
+{
+  AT91C_BASE_US0->US_MR = AT91C_US_USMODE_NORMAL |
+                          AT91C_US_NBSTOP_1_BIT |
+                          AT91C_US_PAR_NONE |
+                          AT91C_US_CHRL_8_BITS |
+                          AT91C_US_CLKS_CLOCK;
+}
+
+void Usart_SetBaudRateRegister(uint8 baudRateRegisterSetting)
+{
+  AT91C_BASE_US0->US_BRGR = baudRateRegisterSetting;
+}
+
+void Usart_Enable(void)
+{
+  AT91C_BASE_US0->US_CR = AT91C_US_TXEN;
+}