ceedling 0.28.3 → 0.29.0

data/vendor/cmock/examples/temp_sensor/test/TestTimerInterruptHandler.c

@@ -1,66 +1,66 @@
-#include "unity.h"
-#include "Types.h"
-#include "TimerInterruptHandler.h"
-#include "AT91SAM7X256.h"
-
-AT91S_TC  TimerCounter0Peripheral;
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testSetAndGetSystemTime(void)
-{
-  Timer_SetSystemTime(0);
-  TEST_ASSERT_EQUAL(0, Timer_GetSystemTime());
-
-  Timer_SetSystemTime(129837);
-  TEST_ASSERT_EQUAL(129837, Timer_GetSystemTime());
-
-  Timer_SetSystemTime(UINT32_MAX);
-  TEST_ASSERT_EQUAL(UINT32_MAX, Timer_GetSystemTime());
-}
-
-void testInterruptHandlerShouldIncrementSystemTimeOnlyIfStatusHasCompareRegisterCOverflowBitSet(void)
-{
-  Timer_SetSystemTime(0);
-  AT91C_BASE_TC0->TC_SR = 0;
-  Timer_InterruptHandler();
-  TEST_ASSERT_EQUAL(0, Timer_GetSystemTime());
-
-  Timer_SetSystemTime(0);
-  AT91C_BASE_TC0->TC_SR = ~AT91C_TC_CPCS;
-  Timer_InterruptHandler();
-  TEST_ASSERT_EQUAL(0, Timer_GetSystemTime());
-
-  Timer_SetSystemTime(0);
-  AT91C_BASE_TC0->TC_SR = AT91C_TC_CPCS;
-  Timer_InterruptHandler();
-  TEST_ASSERT(Timer_GetSystemTime() > 0);
-
-  Timer_SetSystemTime(0);
-  AT91C_BASE_TC0->TC_SR = 0xffffffff;
-  Timer_InterruptHandler();
-  TEST_ASSERT(Timer_GetSystemTime() > 0);
-}
-
-void testInterruptHandlerShouldIncrementSystemTimerBy_10(void)
-{
-  Timer_SetSystemTime(0);
-  AT91C_BASE_TC0->TC_SR = AT91C_TC_CPCS;
-  Timer_InterruptHandler();
-  TEST_ASSERT_EQUAL(10, Timer_GetSystemTime());
-
-  AT91C_BASE_TC0->TC_SR = AT91C_TC_CPCS;
-  Timer_InterruptHandler();
-  TEST_ASSERT_EQUAL(20, Timer_GetSystemTime());
-
-  Timer_SetSystemTime(39426857);
-  AT91C_BASE_TC0->TC_SR = AT91C_TC_CPCS;
-  Timer_InterruptHandler();
-  TEST_ASSERT_EQUAL(39426867, Timer_GetSystemTime());
-}
+#include "unity.h"
+#include "Types.h"
+#include "TimerInterruptHandler.h"
+#include "AT91SAM7X256.h"
+
+AT91S_TC  TimerCounter0Peripheral;
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testSetAndGetSystemTime(void)
+{
+  Timer_SetSystemTime(0);
+  TEST_ASSERT_EQUAL(0, Timer_GetSystemTime());
+
+  Timer_SetSystemTime(129837);
+  TEST_ASSERT_EQUAL(129837, Timer_GetSystemTime());
+
+  Timer_SetSystemTime(UINT32_MAX);
+  TEST_ASSERT_EQUAL(UINT32_MAX, Timer_GetSystemTime());
+}
+
+void testInterruptHandlerShouldIncrementSystemTimeOnlyIfStatusHasCompareRegisterCOverflowBitSet(void)
+{
+  Timer_SetSystemTime(0);
+  AT91C_BASE_TC0->TC_SR = 0;
+  Timer_InterruptHandler();
+  TEST_ASSERT_EQUAL(0, Timer_GetSystemTime());
+
+  Timer_SetSystemTime(0);
+  AT91C_BASE_TC0->TC_SR = ~AT91C_TC_CPCS;
+  Timer_InterruptHandler();
+  TEST_ASSERT_EQUAL(0, Timer_GetSystemTime());
+
+  Timer_SetSystemTime(0);
+  AT91C_BASE_TC0->TC_SR = AT91C_TC_CPCS;
+  Timer_InterruptHandler();
+  TEST_ASSERT(Timer_GetSystemTime() > 0);
+
+  Timer_SetSystemTime(0);
+  AT91C_BASE_TC0->TC_SR = 0xffffffff;
+  Timer_InterruptHandler();
+  TEST_ASSERT(Timer_GetSystemTime() > 0);
+}
+
+void testInterruptHandlerShouldIncrementSystemTimerBy_10(void)
+{
+  Timer_SetSystemTime(0);
+  AT91C_BASE_TC0->TC_SR = AT91C_TC_CPCS;
+  Timer_InterruptHandler();
+  TEST_ASSERT_EQUAL(10, Timer_GetSystemTime());
+
+  AT91C_BASE_TC0->TC_SR = AT91C_TC_CPCS;
+  Timer_InterruptHandler();
+  TEST_ASSERT_EQUAL(20, Timer_GetSystemTime());
+
+  Timer_SetSystemTime(39426857);
+  AT91C_BASE_TC0->TC_SR = AT91C_TC_CPCS;
+  Timer_InterruptHandler();
+  TEST_ASSERT_EQUAL(39426867, Timer_GetSystemTime());
+}

data/vendor/cmock/examples/temp_sensor/test/TestTimerModel.c

@@ -1,18 +1,18 @@
-#include "unity.h"
-#include "Types.h"
-#include "TimerModel.h"
-#include "MockTaskScheduler.h"
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testUpdateTimeShouldDelegateToTaskScheduler(void)
-{
-  TaskScheduler_Update_Expect(19387L);
-  TimerModel_UpdateTime(19387L);
-}
+#include "unity.h"
+#include "Types.h"
+#include "TimerModel.h"
+#include "MockTaskScheduler.h"
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testUpdateTimeShouldDelegateToTaskScheduler(void)
+{
+  TaskScheduler_Update_Expect(19387L);
+  TimerModel_UpdateTime(19387L);
+}

data/vendor/cmock/examples/temp_sensor/test/TestUsartBaudRateRegisterCalculator.c

@@ -1,21 +1,21 @@
-#include "unity.h"
-#include "Types.h"
-#include "UsartBaudRateRegisterCalculator.h"
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testCalculateBaudRateRegisterSettingShouldCalculateRegisterSettingAppropriately(void)
-{
-  // BaudRate = MCK / (CD x 16) - per datasheet section 30.6.1.2 "Baud Rate Calculation Example"
-  TEST_ASSERT_EQUAL(26, UsartModel_CalculateBaudRateRegisterSetting(48000000, 115200));
-  TEST_ASSERT_EQUAL(6,  UsartModel_CalculateBaudRateRegisterSetting(3686400,  38400));
-  TEST_ASSERT_EQUAL(23, UsartModel_CalculateBaudRateRegisterSetting(14318180, 38400));
-  TEST_ASSERT_EQUAL(20, UsartModel_CalculateBaudRateRegisterSetting(12000000, 38400));
-  TEST_ASSERT_EQUAL(13, UsartModel_CalculateBaudRateRegisterSetting(12000000, 56800));
-}
+#include "unity.h"
+#include "Types.h"
+#include "UsartBaudRateRegisterCalculator.h"
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testCalculateBaudRateRegisterSettingShouldCalculateRegisterSettingAppropriately(void)
+{
+  // BaudRate = MCK / (CD x 16) - per datasheet section 30.6.1.2 "Baud Rate Calculation Example"
+  TEST_ASSERT_EQUAL(26, UsartModel_CalculateBaudRateRegisterSetting(48000000, 115200));
+  TEST_ASSERT_EQUAL(6,  UsartModel_CalculateBaudRateRegisterSetting(3686400,  38400));
+  TEST_ASSERT_EQUAL(23, UsartModel_CalculateBaudRateRegisterSetting(14318180, 38400));
+  TEST_ASSERT_EQUAL(20, UsartModel_CalculateBaudRateRegisterSetting(12000000, 38400));
+  TEST_ASSERT_EQUAL(13, UsartModel_CalculateBaudRateRegisterSetting(12000000, 56800));
+}

data/vendor/cmock/examples/temp_sensor/test/TestUsartConductor.c

@@ -1,40 +1,40 @@
-#include "unity.h"
-#include "Types.h"
-#include "UsartConductor.h"
-#include "MockUsartModel.h"
-#include "MockUsartHardware.h"
-#include "MockTaskScheduler.h"
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testShouldInitializeHardwareWhenInitCalled(void)
-{
-  UsartModel_GetBaudRateRegisterSetting_ExpectAndReturn(4);
-  UsartModel_GetWakeupMessage_ExpectAndReturn("Hey there!");
-  UsartHardware_TransmitString_Expect("Hey there!");
-  UsartHardware_Init_Expect(4);
-
-  UsartConductor_Init();
-}
-
-void testRunShouldNotDoAnythingIfSchedulerSaysItIsNotTimeYet(void)
-{
-  TaskScheduler_DoUsart_ExpectAndReturn(FALSE);
-
-  UsartConductor_Run();
-}
-
-void testRunShouldGetCurrentTemperatureAndTransmitIfSchedulerSaysItIsTime(void)
-{
-  TaskScheduler_DoUsart_ExpectAndReturn(TRUE);
-  UsartModel_GetFormattedTemperature_ExpectAndReturn("hey there");
-  UsartHardware_TransmitString_Expect("hey there");
-
-  UsartConductor_Run();
-}
+#include "unity.h"
+#include "Types.h"
+#include "UsartConductor.h"
+#include "MockUsartModel.h"
+#include "MockUsartHardware.h"
+#include "MockTaskScheduler.h"
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testShouldInitializeHardwareWhenInitCalled(void)
+{
+  UsartModel_GetBaudRateRegisterSetting_ExpectAndReturn(4);
+  UsartModel_GetWakeupMessage_ExpectAndReturn("Hey there!");
+  UsartHardware_TransmitString_Expect("Hey there!");
+  UsartHardware_Init_Expect(4);
+
+  UsartConductor_Init();
+}
+
+void testRunShouldNotDoAnythingIfSchedulerSaysItIsNotTimeYet(void)
+{
+  TaskScheduler_DoUsart_ExpectAndReturn(FALSE);
+
+  UsartConductor_Run();
+}
+
+void testRunShouldGetCurrentTemperatureAndTransmitIfSchedulerSaysItIsTime(void)
+{
+  TaskScheduler_DoUsart_ExpectAndReturn(TRUE);
+  UsartModel_GetFormattedTemperature_ExpectAndReturn("hey there");
+  UsartHardware_TransmitString_Expect("hey there");
+
+  UsartConductor_Run();
+}

data/vendor/cmock/examples/temp_sensor/test/TestUsartConfigurator.c

@@ -1,77 +1,77 @@
-#include "unity.h"
-#include "Types.h"
-#include "UsartConfigurator.h"
-
-AT91S_PIO PioAPeripheral;
-AT91S_PMC PmcPeripheral;
-AT91S_USART Usart0Peripheral;
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testConfigureUsartIOShouldConfigureUsartTxPinfForPeripheralIO(void)
-{
-  AT91C_BASE_PIOA->PIO_ASR = 0;
-  AT91C_BASE_PIOA->PIO_BSR = 0xffffffff;
-  AT91C_BASE_PIOA->PIO_PDR = 0;
-  Usart_ConfigureUsartIO();
-  TEST_ASSERT_EQUAL(USART0_TX_PIN, AT91C_BASE_PIOA->PIO_ASR);
-  TEST_ASSERT_EQUAL(0, AT91C_BASE_PIOA->PIO_BSR);
-  TEST_ASSERT_EQUAL(USART0_TX_PIN, AT91C_BASE_PIOA->PIO_PDR);
-}
-
-void testEnablePeripheralClockShouldEnableClockToUsartPeripheral(void)
-{
-  AT91C_BASE_PMC->PMC_PCER = 0;
-  Usart_EnablePeripheralClock();
-  TEST_ASSERT_EQUAL(((uint32)1) << USART0_CLOCK_ENABLE, AT91C_BASE_PMC->PMC_PCER);
-}
-
-void testResetShouldDisableAllUsartInterrupts(void)
-{
-  AT91C_BASE_US0->US_IDR = 0;
-  Usart_Reset();
-  TEST_ASSERT_EQUAL(0xffffffff, AT91C_BASE_US0->US_IDR);
-}
-
-void testResetShouldResetUsartTransmitterAndReceiver(void)
-{
-  AT91C_BASE_US0->US_CR = 0;
-  Usart_Reset();
-  TEST_ASSERT_EQUAL(AT91C_US_RSTRX | AT91C_US_RSTTX | AT91C_US_RXDIS | AT91C_US_TXDIS, AT91C_BASE_US0->US_CR);
-}
-
-void testConfigureModeShouldSetUsartModeToAsynchronous(void)
-{
-  uint32 asyncMode =  (AT91C_US_USMODE_NORMAL |
-                        AT91C_US_NBSTOP_1_BIT |
-                        AT91C_US_PAR_NONE |
-                        AT91C_US_CHRL_8_BITS |
-                        AT91C_US_CLKS_CLOCK);
-
-  AT91C_BASE_US0->US_MR = ~asyncMode;
-  Usart_ConfigureMode();
-  TEST_ASSERT_EQUAL(asyncMode, AT91C_BASE_US0->US_MR);
-}
-
-void testSetBaudRateRegisterShouldSetUsartBaudRateRegisterToValuePassedAsParameter(void)
-{
-  AT91C_BASE_US0->US_BRGR = 0;
-  Usart_SetBaudRateRegister(3);
-  TEST_ASSERT_EQUAL(3, AT91C_BASE_US0->US_BRGR);
-  Usart_SetBaudRateRegister(251);
-  TEST_ASSERT_EQUAL(251, AT91C_BASE_US0->US_BRGR);
-}
-
-
-void testEnableShouldEnableUsart0Transmitter(void)
-{
-  AT91C_BASE_US0->US_CR = 0;
-  Usart_Enable();
-  TEST_ASSERT_EQUAL(AT91C_US_TXEN, AT91C_BASE_US0->US_CR);
-}
+#include "unity.h"
+#include "Types.h"
+#include "UsartConfigurator.h"
+
+AT91S_PIO PioAPeripheral;
+AT91S_PMC PmcPeripheral;
+AT91S_USART Usart0Peripheral;
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testConfigureUsartIOShouldConfigureUsartTxPinfForPeripheralIO(void)
+{
+  AT91C_BASE_PIOA->PIO_ASR = 0;
+  AT91C_BASE_PIOA->PIO_BSR = 0xffffffff;
+  AT91C_BASE_PIOA->PIO_PDR = 0;
+  Usart_ConfigureUsartIO();
+  TEST_ASSERT_EQUAL(USART0_TX_PIN, AT91C_BASE_PIOA->PIO_ASR);
+  TEST_ASSERT_EQUAL(0, AT91C_BASE_PIOA->PIO_BSR);
+  TEST_ASSERT_EQUAL(USART0_TX_PIN, AT91C_BASE_PIOA->PIO_PDR);
+}
+
+void testEnablePeripheralClockShouldEnableClockToUsartPeripheral(void)
+{
+  AT91C_BASE_PMC->PMC_PCER = 0;
+  Usart_EnablePeripheralClock();
+  TEST_ASSERT_EQUAL(((uint32)1) << USART0_CLOCK_ENABLE, AT91C_BASE_PMC->PMC_PCER);
+}
+
+void testResetShouldDisableAllUsartInterrupts(void)
+{
+  AT91C_BASE_US0->US_IDR = 0;
+  Usart_Reset();
+  TEST_ASSERT_EQUAL(0xffffffff, AT91C_BASE_US0->US_IDR);
+}
+
+void testResetShouldResetUsartTransmitterAndReceiver(void)
+{
+  AT91C_BASE_US0->US_CR = 0;
+  Usart_Reset();
+  TEST_ASSERT_EQUAL(AT91C_US_RSTRX | AT91C_US_RSTTX | AT91C_US_RXDIS | AT91C_US_TXDIS, AT91C_BASE_US0->US_CR);
+}
+
+void testConfigureModeShouldSetUsartModeToAsynchronous(void)
+{
+  uint32 asyncMode =  (AT91C_US_USMODE_NORMAL |
+                        AT91C_US_NBSTOP_1_BIT |
+                        AT91C_US_PAR_NONE |
+                        AT91C_US_CHRL_8_BITS |
+                        AT91C_US_CLKS_CLOCK);
+
+  AT91C_BASE_US0->US_MR = ~asyncMode;
+  Usart_ConfigureMode();
+  TEST_ASSERT_EQUAL(asyncMode, AT91C_BASE_US0->US_MR);
+}
+
+void testSetBaudRateRegisterShouldSetUsartBaudRateRegisterToValuePassedAsParameter(void)
+{
+  AT91C_BASE_US0->US_BRGR = 0;
+  Usart_SetBaudRateRegister(3);
+  TEST_ASSERT_EQUAL(3, AT91C_BASE_US0->US_BRGR);
+  Usart_SetBaudRateRegister(251);
+  TEST_ASSERT_EQUAL(251, AT91C_BASE_US0->US_BRGR);
+}
+
+
+void testEnableShouldEnableUsart0Transmitter(void)
+{
+  AT91C_BASE_US0->US_CR = 0;
+  Usart_Enable();
+  TEST_ASSERT_EQUAL(AT91C_US_TXEN, AT91C_BASE_US0->US_CR);
+}

data/vendor/cmock/examples/temp_sensor/test/TestUsartHardware.c

@@ -1,37 +1,37 @@
-#include "unity.h"
-#include "Types.h"
-#include "UsartHardware.h"
-#include "AT91SAM7X256.h"
-#include "MockUsartConfigurator.h"
-#include "MockUsartPutChar.h"
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testInitShouldConfigureUsartPeripheralByCallingConfiguratorAppropriately(void)
-{
-  Usart_ConfigureUsartIO_Expect();
-  Usart_EnablePeripheralClock_Expect();
-  Usart_Reset_Expect();
-  Usart_ConfigureMode_Expect();
-  Usart_SetBaudRateRegister_Expect(73);
-  Usart_Enable_Expect();
-
-  UsartHardware_Init(73);
-}
-
-void testTransmitStringShouldSendDesiredStringOutUsingUsart(void)
-{
-  Usart_PutChar_Expect('h');
-  Usart_PutChar_Expect('e');
-  Usart_PutChar_Expect('l');
-  Usart_PutChar_Expect('l');
-  Usart_PutChar_Expect('o');
-  
-  UsartHardware_TransmitString("hello");
-}
+#include "unity.h"
+#include "Types.h"
+#include "UsartHardware.h"
+#include "AT91SAM7X256.h"
+#include "MockUsartConfigurator.h"
+#include "MockUsartPutChar.h"
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testInitShouldConfigureUsartPeripheralByCallingConfiguratorAppropriately(void)
+{
+  Usart_ConfigureUsartIO_Expect();
+  Usart_EnablePeripheralClock_Expect();
+  Usart_Reset_Expect();
+  Usart_ConfigureMode_Expect();
+  Usart_SetBaudRateRegister_Expect(73);
+  Usart_Enable_Expect();
+
+  UsartHardware_Init(73);
+}
+
+void testTransmitStringShouldSendDesiredStringOutUsingUsart(void)
+{
+  Usart_PutChar_Expect('h');
+  Usart_PutChar_Expect('e');
+  Usart_PutChar_Expect('l');
+  Usart_PutChar_Expect('l');
+  Usart_PutChar_Expect('o');
+  
+  UsartHardware_TransmitString("hello");
+}