ceedling 0.0.1

data/new_project_template/vendor/ceedling/examples/temp_sensor/src/Types.h

@@ -0,0 +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_

data/new_project_template/vendor/ceedling/examples/temp_sensor/src/UsartBaudRateRegisterCalculator.c

@@ -0,0 +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;
+}

data/new_project_template/vendor/ceedling/examples/temp_sensor/src/UsartBaudRateRegisterCalculator.h

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

data/new_project_template/vendor/ceedling/examples/temp_sensor/src/UsartConductor.c

@@ -0,0 +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);
+  }
+}

data/new_project_template/vendor/ceedling/examples/temp_sensor/src/UsartConductor.h

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

data/new_project_template/vendor/ceedling/examples/temp_sensor/src/UsartConfigurator.c

@@ -0,0 +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;
+}

data/new_project_template/vendor/ceedling/examples/temp_sensor/src/UsartConfigurator.h

@@ -0,0 +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

data/new_project_template/vendor/ceedling/examples/temp_sensor/src/UsartHardware.c

@@ -0,0 +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++);
+  }
+}

data/new_project_template/vendor/ceedling/examples/temp_sensor/src/UsartHardware.h

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

data/new_project_template/vendor/ceedling/examples/temp_sensor/src/UsartModel.c

@@ -0,0 +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;
+}

data/new_project_template/vendor/ceedling/examples/temp_sensor/src/UsartModel.h

@@ -0,0 +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

data/new_project_template/vendor/ceedling/examples/temp_sensor/src/UsartPutChar.c

@@ -0,0 +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
+}

data/new_project_template/vendor/ceedling/examples/temp_sensor/src/UsartPutChar.h

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

data/new_project_template/vendor/ceedling/examples/temp_sensor/src/UsartTransmitBufferStatus.c

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

data/new_project_template/vendor/ceedling/examples/temp_sensor/src/UsartTransmitBufferStatus.h

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

data/new_project_template/vendor/ceedling/examples/temp_sensor/test/TestAdcConductor.c

@@ -0,0 +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());
+//}
+

data/new_project_template/vendor/ceedling/examples/temp_sensor/test/TestAdcHardware.c

@@ -0,0 +1,44 @@
+#include "unity.h"
+#include "Types.h"
+#include "AdcHardware.h"
+#include "MockAdcHardwareConfigurator.h"
+#include "MockAdcTemperatureSensor.h"
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testInitShouldDelegateToConfiguratorAndTemperatureSensor(void)
+{
+  Adc_Reset_Expect();
+  Adc_ConfigureMode_Expect();
+  Adc_EnableTemperatureChannel_Expect();
+  Adc_StartTemperatureSensorConversion_Expect();
+
+  AdcHardware_Init();
+}
+
+void testGetSampleCompleteShouldReturn_FALSE_WhenTemperatureSensorSampleReadyReturns_FALSE(void)
+{
+  Adc_TemperatureSensorSampleReady_ExpectAndReturn(FALSE);
+  TEST_ASSERT(!AdcHardware_GetSampleComplete());
+}
+
+void testGetSampleCompleteShouldReturn_TRUE_WhenTemperatureSensorSampleReadyReturns_TRUE(void)
+{
+  Adc_TemperatureSensorSampleReady_ExpectAndReturn(TRUE);
+  TEST_ASSERT(AdcHardware_GetSampleComplete());
+}
+
+void testGetSampleShouldDelegateToAdcTemperatureSensor(void)
+{
+  uint16 sample;
+  Adc_ReadTemperatureSensor_ExpectAndReturn(847);
+
+  sample = AdcHardware_GetSample();
+  TEST_ASSERT_EQUAL(847, sample);
+}

data/new_project_template/vendor/ceedling/examples/temp_sensor/test/TestAdcModel.c

@@ -0,0 +1,33 @@
+#include "unity.h"
+#include "Types.h"
+#include "AdcModel.h"
+#include "MockTaskScheduler.h"
+#include "MockTemperatureCalculator.h"
+#include "MockTemperatureFilter.h"
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testDoGetSampleShouldReturn_FALSE_WhenTaskSchedulerReturns_FALSE(void)
+{
+  TaskScheduler_DoAdc_ExpectAndReturn(FALSE);
+  TEST_ASSERT_EQUAL(FALSE, AdcModel_DoGetSample());
+}
+
+void testDoGetSampleShouldReturn_TRUE_WhenTaskSchedulerReturns_TRUE(void)
+{
+  TaskScheduler_DoAdc_ExpectAndReturn(TRUE);
+  TEST_ASSERT_EQUAL(TRUE, AdcModel_DoGetSample());
+}
+
+void testProcessInputShouldDelegateToTemperatureCalculatorAndPassResultToFilter(void)
+{
+  TemperatureCalculator_Calculate_ExpectAndReturn(21473, 23.5f);
+  TemperatureFilter_ProcessInput_Expect(23.5f);
+  AdcModel_ProcessInput(21473);
+}

data/new_project_template/vendor/ceedling/examples/temp_sensor/test/TestExecutor.c

@@ -0,0 +1,36 @@
+#include "unity.h"
+#include "Types.h"
+#include "Executor.h"
+#include "MockModel.h"
+#include "MockUsartConductor.h"
+#include "MockAdcConductor.h"
+#include "MockTimerConductor.h"
+#include "MockIntrinsicsWrapper.h"
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testInitShouldCallInitOfAllConductorsAndTheModel(void)
+{
+  Model_Init_Expect();
+  UsartConductor_Init_Expect();
+  AdcConductor_Init_Expect();
+  TimerConductor_Init_Expect();
+  Interrupt_Enable_Expect();
+  
+  Executor_Init();
+}
+
+void testRunShouldCallRunForEachConductorAndReturnTrueAlways(void)
+{
+  UsartConductor_Run_Expect();
+  TimerConductor_Run_Expect();
+  AdcConductor_Run_Expect();
+
+  TEST_ASSERT_EQUAL(TRUE, Executor_Run());
+}

data/new_project_template/vendor/ceedling/examples/temp_sensor/test/TestMain.c

@@ -0,0 +1,24 @@
+#include "unity.h"
+#include "Types.h"
+#include "MockExecutor.h"
+#include "Main.h"
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testMainShouldCallExecutorInitAndContinueToCallExecutorRunUntilHalted(void)
+{
+  Executor_Init_Expect();
+  Executor_Run_ExpectAndReturn(TRUE);
+  Executor_Run_ExpectAndReturn(TRUE);
+  Executor_Run_ExpectAndReturn(TRUE);
+  Executor_Run_ExpectAndReturn(TRUE);
+  Executor_Run_ExpectAndReturn(FALSE);
+  
+  AppMain();
+}

data/new_project_template/vendor/ceedling/examples/temp_sensor/test/TestModel.c

@@ -0,0 +1,20 @@
+#include "unity.h"
+#include "Types.h"
+#include "Model.h"
+#include "MockTaskScheduler.h"
+#include "MockTemperatureFilter.h"
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testInitShouldCallSchedulerAndTemperatureFilterInit(void)
+{
+  TaskScheduler_Init_Expect();
+  TemperatureFilter_Init_Expect();
+  Model_Init();
+}