ceedling 0.28.3 → 0.29.0

data/examples/temp_sensor/src/UsartConfigurator.h

@@ -1,13 +1,13 @@
-#ifndef _USARTCONFIGURATOR_H
-#define _USARTCONFIGURATOR_H
-
-#include "Types.h"
-
-void Usart_ConfigureUsartIO(void);
-void Usart_EnablePeripheralClock(void);
-void Usart_Reset(void);
-void Usart_ConfigureMode(void);
-void Usart_SetBaudRateRegister(uint8 baudRateRegisterSetting);
-void Usart_Enable(void);
-
-#endif // _USARTCONFIGURATOR_H
+#ifndef _USARTCONFIGURATOR_H
+#define _USARTCONFIGURATOR_H
+
+#include "Types.h"
+
+void Usart_ConfigureUsartIO(void);
+void Usart_EnablePeripheralClock(void);
+void Usart_Reset(void);
+void Usart_ConfigureMode(void);
+void Usart_SetBaudRateRegister(uint8 baudRateRegisterSetting);
+void Usart_Enable(void);
+
+#endif // _USARTCONFIGURATOR_H

data/examples/temp_sensor/src/UsartHardware.c

@@ -1,22 +1,22 @@
-#include "Types.h"
-#include "UsartHardware.h"
-#include "UsartConfigurator.h"
-#include "UsartPutChar.h"
-
-void UsartHardware_Init(uint8 baudRateRegisterSetting)
-{
-  Usart_ConfigureUsartIO();
-  Usart_EnablePeripheralClock();
-  Usart_Reset();
-  Usart_ConfigureMode();
-  Usart_SetBaudRateRegister(baudRateRegisterSetting);
-  Usart_Enable();
-}
-
-void UsartHardware_TransmitString(char* data)
-{
-  while(*data != NULL)
-  {
-    Usart_PutChar(*data++);
-  }
-}
+#include "Types.h"
+#include "UsartHardware.h"
+#include "UsartConfigurator.h"
+#include "UsartPutChar.h"
+
+void UsartHardware_Init(uint8 baudRateRegisterSetting)
+{
+  Usart_ConfigureUsartIO();
+  Usart_EnablePeripheralClock();
+  Usart_Reset();
+  Usart_ConfigureMode();
+  Usart_SetBaudRateRegister(baudRateRegisterSetting);
+  Usart_Enable();
+}
+
+void UsartHardware_TransmitString(char* data)
+{
+  while(*data != NULL)
+  {
+    Usart_PutChar(*data++);
+  }
+}

data/examples/temp_sensor/src/UsartHardware.h

@@ -1,9 +1,9 @@
-#ifndef _USARTHARDWARE_H
-#define _USARTHARDWARE_H
-
-#include "Types.h"
-
-void UsartHardware_Init(uint8 baudRateRegisterSetting);
-void UsartHardware_TransmitString(char* data);
-
-#endif // _USARTHARDWARE_H
+#ifndef _USARTHARDWARE_H
+#define _USARTHARDWARE_H
+
+#include "Types.h"
+
+void UsartHardware_Init(uint8 baudRateRegisterSetting);
+void UsartHardware_TransmitString(char* data);
+
+#endif // _USARTHARDWARE_H

data/examples/temp_sensor/src/UsartModel.c

@@ -1,34 +1,34 @@
-#include "Types.h"
-#include "UsartModel.h"
-#include "ModelConfig.h"
-#include "UsartBaudRateRegisterCalculator.h"
-#include "TemperatureFilter.h"
-#include <stdio.h>
-#include <math.h>
-
-char formattedTemperature[32];
-char* wakeup = "It's Awesome Time!\n";
-
-uint8 UsartModel_GetBaudRateRegisterSetting(void)
-{
-  return UsartModel_CalculateBaudRateRegisterSetting(MASTER_CLOCK, USART0_BAUDRATE);
-}
-
-char* UsartModel_GetFormattedTemperature(void)
-{
-  float temperature = TemperatureFilter_GetTemperatureInCelcius();
-  if (temperature == -INFINITY)
-  {
-    sprintf(formattedTemperature, "%s", "Temperature sensor failure!\n");
-  }
-  else
-  {
-    sprintf(formattedTemperature, "%.1f C\n", temperature);
-  }
-  return formattedTemperature;
-}
-
-char* UsartModel_GetWakeupMessage(void)
-{
-  return wakeup;
-}
+#include "Types.h"
+#include "UsartModel.h"
+#include "ModelConfig.h"
+#include "UsartBaudRateRegisterCalculator.h"
+#include "TemperatureFilter.h"
+#include <stdio.h>
+#include <math.h>
+
+char formattedTemperature[32];
+char* wakeup = "It's Awesome Time!\n";
+
+uint8 UsartModel_GetBaudRateRegisterSetting(void)
+{
+  return UsartModel_CalculateBaudRateRegisterSetting(MASTER_CLOCK, USART0_BAUDRATE);
+}
+
+char* UsartModel_GetFormattedTemperature(void)
+{
+  float temperature = TemperatureFilter_GetTemperatureInCelcius();
+  if (temperature == -INFINITY)
+  {
+    sprintf(formattedTemperature, "%s", "Temperature sensor failure!\n");
+  }
+  else
+  {
+    sprintf(formattedTemperature, "%.1f C\n", temperature);
+  }
+  return formattedTemperature;
+}
+
+char* UsartModel_GetWakeupMessage(void)
+{
+  return wakeup;
+}

data/examples/temp_sensor/src/UsartModel.h

@@ -1,10 +1,10 @@
-#ifndef _USARTMODEL_H
-#define _USARTMODEL_H
-
-#include "Types.h"
-
-uint8 UsartModel_GetBaudRateRegisterSetting(void);
-char* UsartModel_GetFormattedTemperature(void);
-char* UsartModel_GetWakeupMessage(void);
-
-#endif // _USARTMODEL_H
+#ifndef _USARTMODEL_H
+#define _USARTMODEL_H
+
+#include "Types.h"
+
+uint8 UsartModel_GetBaudRateRegisterSetting(void);
+char* UsartModel_GetFormattedTemperature(void);
+char* UsartModel_GetWakeupMessage(void);
+
+#endif // _USARTMODEL_H

data/examples/temp_sensor/src/UsartPutChar.c

@@ -1,16 +1,16 @@
-#include "Types.h"
-#include "UsartPutChar.h"
-#include "UsartTransmitBufferStatus.h"
-#ifdef SIMULATE
-#include <stdio.h>
-#endif
-
-void Usart_PutChar(char data)
-{
-  while(!Usart_ReadyToTransmit());
-#ifdef SIMULATE
-  printf("%c", data);
-#else
-  AT91C_BASE_US0->US_THR = data;
-#endif
-}
+#include "Types.h"
+#include "UsartPutChar.h"
+#include "UsartTransmitBufferStatus.h"
+#ifdef SIMULATE
+#include <stdio.h>
+#endif
+
+void Usart_PutChar(char data)
+{
+  while(!Usart_ReadyToTransmit());
+#ifdef SIMULATE
+  printf("%c", data);
+#else
+  AT91C_BASE_US0->US_THR = data;
+#endif
+}

data/examples/temp_sensor/src/UsartPutChar.h

@@ -1,8 +1,8 @@
-#ifndef _USARTPUT_HAR_H
-#define _USARTPUT_HAR_H
-
-#include "Types.h"
-
-void Usart_PutChar(char data);
-
-#endif // _USARTPUT_HAR_H
+#ifndef _USARTPUT_HAR_H
+#define _USARTPUT_HAR_H
+
+#include "Types.h"
+
+void Usart_PutChar(char data);
+
+#endif // _USARTPUT_HAR_H

data/examples/temp_sensor/src/UsartTransmitBufferStatus.c

@@ -1,7 +1,7 @@
-#include "Types.h"
-#include "UsartTransmitBufferStatus.h"
-
-bool Usart_ReadyToTransmit(void)
-{
-  return (AT91C_BASE_US0->US_CSR & AT91C_US_TXRDY) > 0;
-}
+#include "Types.h"
+#include "UsartTransmitBufferStatus.h"
+
+bool Usart_ReadyToTransmit(void)
+{
+  return (AT91C_BASE_US0->US_CSR & AT91C_US_TXRDY) > 0;
+}

data/examples/temp_sensor/src/UsartTransmitBufferStatus.h

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

data/examples/temp_sensor/test/TestAdcConductor.c

@@ -1,121 +1,121 @@
-#include "unity.h"
-#include "UnityHelper.h"
-#include "Types.h"
-#include "Types.h"
-#include "AdcConductor.h"
-#include "MockAdcModel.h"
-#include "MockAdcHardware.h"
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testInitShouldCallHardwareInit(void)
-{
-  AdcHardware_Init_Expect();
-  AdcConductor_Init();
-}
-
-void testRunShouldNotDoAnythingIfItIsNotTime(void)
-{
-  AdcModel_DoGetSample_ExpectAndReturn(FALSE);
-
-  AdcConductor_Run();
-}
-
-void testRunShouldNotPassAdcResultToModelIfSampleIsNotComplete(void)
-{
-  AdcModel_DoGetSample_ExpectAndReturn(TRUE);
-  AdcHardware_GetSampleComplete_ExpectAndReturn(FALSE);
-
-  AdcConductor_Run();
-}
-
-void testRunShouldGetLatestSampleFromAdcAndPassItToModelAndStartNewConversionWhenItIsTime(void)
-{
-  AdcModel_DoGetSample_ExpectAndReturn(TRUE);
-  AdcHardware_GetSampleComplete_ExpectAndReturn(TRUE);
-  AdcHardware_GetSample_ExpectAndReturn(293U);
-  AdcModel_ProcessInput_Expect(293U);
-  AdcHardware_StartConversion_Expect();
-
-  AdcConductor_Run();
-}
-
-void testJustHereToTest_Should_ProperlyPassAStructAndVerifyIt(void)
-{
-    EXAMPLE_STRUCT_T TestStruct;
-    TestStruct.x = 5;
-    TestStruct.y = 7;
-
-    AdcModel_DoNothingExceptTestASpecialType_ExpectAndReturn(TestStruct, TRUE);
-
-    TEST_ASSERT_TRUE(AdcConductor_JustHereToTest());
-}
-
-//void testJustHereToTest_Should_FailThisTestIfYouUncommentXIsBecauseItsWrong(void)
-//{
-//    EXAMPLE_STRUCT_T TestStruct;
-//    TestStruct.x = 6;
-//    TestStruct.y = 7;
-//
-//    AdcModel_DoNothingExceptTestASpecialType_ExpectAndReturn(TestStruct, TRUE);
-//
-//    TEST_ASSERT_TRUE(AdcConductor_JustHereToTest());
-//}
-//
-//void testJustHereToTest_Should_FailThisTestIfYouUncommentYIsBecauseItsWrong(void)
-//{
-//    EXAMPLE_STRUCT_T TestStruct;
-//    TestStruct.x = 5;
-//    TestStruct.y = 8;
-//
-//    AdcModel_DoNothingExceptTestASpecialType_ExpectAndReturn(TestStruct, TRUE);
-//
-//    TEST_ASSERT_TRUE(AdcConductor_JustHereToTest());
-//}
-
-void test_AdcConductor_AlsoHereToTest_Should_ProperlyReturnAStructAsExpected1(void)
-{
-    EXAMPLE_STRUCT_T TestStruct;
-    TestStruct.x = 99;
-    TestStruct.y = 1;
-
-    AdcModel_DoNothingExceptReturnASpecialType_ExpectAndReturn(TestStruct);
-
-    TEST_ASSERT_TRUE(AdcConductor_AlsoHereToTest());
-}
-
-void test_AdcConductor_AlsoHereToTest_Should_ProperlyReturnAStructAsExpected2(void)
-{
-    EXAMPLE_STRUCT_T TestStruct;
-    TestStruct.x = 98;
-    TestStruct.y = 1;
-
-    AdcModel_DoNothingExceptReturnASpecialType_ExpectAndReturn(TestStruct);
-
-    TEST_ASSERT_FALSE(AdcConductor_AlsoHereToTest());
-}
-
-void test_AdcConductor_YetAnotherTest_Should_VerifyThatPointersToStructsAreTestable(void)
-{
-    uint32 TestNum = 3;
-
-    AdModel_DoNothingExceptTestPointers_ExpectAndReturn(&TestNum, TRUE);
-
-    TEST_ASSERT_TRUE(AdcConductor_YetAnotherTest());
-}
-
-//void test_AdcConductor_YetAnotherTest_Should_FailIfYouUncommentThisTestBecauseTheValuePointedToIsWrong(void)
-//{
-//    uint32 TestNum = 7;
-//
-//    AdModel_DoNothingExceptTestPointers_ExpectAndReturn(&TestNum, FALSE);
-//
-//    TEST_ASSERT_FALSE(AdcConductor_YetAnotherTest());
-//}
-
+#include "unity.h"
+#include "UnityHelper.h"
+#include "Types.h"
+#include "Types.h"
+#include "AdcConductor.h"
+#include "MockAdcModel.h"
+#include "MockAdcHardware.h"
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testInitShouldCallHardwareInit(void)
+{
+  AdcHardware_Init_Expect();
+  AdcConductor_Init();
+}
+
+void testRunShouldNotDoAnythingIfItIsNotTime(void)
+{
+  AdcModel_DoGetSample_ExpectAndReturn(FALSE);
+
+  AdcConductor_Run();
+}
+
+void testRunShouldNotPassAdcResultToModelIfSampleIsNotComplete(void)
+{
+  AdcModel_DoGetSample_ExpectAndReturn(TRUE);
+  AdcHardware_GetSampleComplete_ExpectAndReturn(FALSE);
+
+  AdcConductor_Run();
+}
+
+void testRunShouldGetLatestSampleFromAdcAndPassItToModelAndStartNewConversionWhenItIsTime(void)
+{
+  AdcModel_DoGetSample_ExpectAndReturn(TRUE);
+  AdcHardware_GetSampleComplete_ExpectAndReturn(TRUE);
+  AdcHardware_GetSample_ExpectAndReturn(293U);
+  AdcModel_ProcessInput_Expect(293U);
+  AdcHardware_StartConversion_Expect();
+
+  AdcConductor_Run();
+}
+
+void testJustHereToTest_Should_ProperlyPassAStructAndVerifyIt(void)
+{
+    EXAMPLE_STRUCT_T TestStruct;
+    TestStruct.x = 5;
+    TestStruct.y = 7;
+
+    AdcModel_DoNothingExceptTestASpecialType_ExpectAndReturn(TestStruct, TRUE);
+
+    TEST_ASSERT_TRUE(AdcConductor_JustHereToTest());
+}
+
+//void testJustHereToTest_Should_FailThisTestIfYouUncommentXIsBecauseItsWrong(void)
+//{
+//    EXAMPLE_STRUCT_T TestStruct;
+//    TestStruct.x = 6;
+//    TestStruct.y = 7;
+//
+//    AdcModel_DoNothingExceptTestASpecialType_ExpectAndReturn(TestStruct, TRUE);
+//
+//    TEST_ASSERT_TRUE(AdcConductor_JustHereToTest());
+//}
+//
+//void testJustHereToTest_Should_FailThisTestIfYouUncommentYIsBecauseItsWrong(void)
+//{
+//    EXAMPLE_STRUCT_T TestStruct;
+//    TestStruct.x = 5;
+//    TestStruct.y = 8;
+//
+//    AdcModel_DoNothingExceptTestASpecialType_ExpectAndReturn(TestStruct, TRUE);
+//
+//    TEST_ASSERT_TRUE(AdcConductor_JustHereToTest());
+//}
+
+void test_AdcConductor_AlsoHereToTest_Should_ProperlyReturnAStructAsExpected1(void)
+{
+    EXAMPLE_STRUCT_T TestStruct;
+    TestStruct.x = 99;
+    TestStruct.y = 1;
+
+    AdcModel_DoNothingExceptReturnASpecialType_ExpectAndReturn(TestStruct);
+
+    TEST_ASSERT_TRUE(AdcConductor_AlsoHereToTest());
+}
+
+void test_AdcConductor_AlsoHereToTest_Should_ProperlyReturnAStructAsExpected2(void)
+{
+    EXAMPLE_STRUCT_T TestStruct;
+    TestStruct.x = 98;
+    TestStruct.y = 1;
+
+    AdcModel_DoNothingExceptReturnASpecialType_ExpectAndReturn(TestStruct);
+
+    TEST_ASSERT_FALSE(AdcConductor_AlsoHereToTest());
+}
+
+void test_AdcConductor_YetAnotherTest_Should_VerifyThatPointersToStructsAreTestable(void)
+{
+    uint32 TestNum = 3;
+
+    AdModel_DoNothingExceptTestPointers_ExpectAndReturn(&TestNum, TRUE);
+
+    TEST_ASSERT_TRUE(AdcConductor_YetAnotherTest());
+}
+
+//void test_AdcConductor_YetAnotherTest_Should_FailIfYouUncommentThisTestBecauseTheValuePointedToIsWrong(void)
+//{
+//    uint32 TestNum = 7;
+//
+//    AdModel_DoNothingExceptTestPointers_ExpectAndReturn(&TestNum, FALSE);
+//
+//    TEST_ASSERT_FALSE(AdcConductor_YetAnotherTest());
+//}
+