ceedling 0.0.2 → 0.0.3

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

@@ -1,22 +0,0 @@
-#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/vendor/cmock/examples/src/UsartHardware.h

@@ -1,9 +0,0 @@
-#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/vendor/cmock/examples/src/UsartModel.c

@@ -1,34 +0,0 @@
-#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/vendor/cmock/examples/src/UsartModel.h

@@ -1,10 +0,0 @@
-#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/vendor/cmock/examples/src/UsartPutChar.c

@@ -1,16 +0,0 @@
-#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/vendor/cmock/examples/src/UsartPutChar.h

@@ -1,8 +0,0 @@
-#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/vendor/cmock/examples/src/UsartTransmitBufferStatus.c

@@ -1,7 +0,0 @@
-#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/vendor/cmock/examples/src/UsartTransmitBufferStatus.h

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

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

@@ -1,121 +0,0 @@
-#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/vendor/cmock/examples/test/TestAdcHardware.c

@@ -1,44 +0,0 @@
-#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/vendor/cmock/examples/test/TestAdcModel.c

@@ -1,33 +0,0 @@
-#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/vendor/cmock/examples/test/TestExecutor.c

@@ -1,36 +0,0 @@
-#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/vendor/cmock/examples/test/TestMain.c

@@ -1,24 +0,0 @@
-#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/vendor/cmock/examples/test/TestModel.c

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

data/new_project_template/vendor/ceedling/vendor/cmock/examples/test/TestTaskScheduler.c

@@ -1,104 +0,0 @@
-#include "unity.h"
-#include "Types.h"
-#include "TaskScheduler.h"
-
-void setUp(void)
-{
-  TaskScheduler_Init();
-}
-
-void tearDown(void)
-{
-}
-
-void testShouldScheduleUsartTaskAfter1000ms(void)
-{
-  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoUsart());
-
-  TaskScheduler_Update(999);
-  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoUsart());
-
-  TaskScheduler_Update(1000);
-  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoUsart());
-}
-
-void testShouldClearUsartDoFlagAfterReported(void)
-{
-  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoUsart());
-  TaskScheduler_Update(1000);
-  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoUsart());
-  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoUsart());
-}
-
-void testShouldScheduleUsartTaskEvery1000ms(void)
-{
-  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoUsart());
-
-  TaskScheduler_Update(1300);
-  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoUsart());
-
-  TaskScheduler_Update(2000);
-  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoUsart());
-
-  TaskScheduler_Update(3100);
-  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoUsart());
-}
-
-void testShouldScheduleUsartTaskOnlyOncePerPeriod(void)
-{
-  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoUsart());
-  TaskScheduler_Update(1000);
-  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoUsart());
-  TaskScheduler_Update(1001);
-  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoUsart());
-  TaskScheduler_Update(1999);
-  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoUsart());
-  TaskScheduler_Update(2000);
-  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoUsart());
-}
-
-void testShouldScheduleAdcTaskAfter100ms(void)
-{
-  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoAdc());
-
-  TaskScheduler_Update(99);
-  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoAdc());
-
-  TaskScheduler_Update(100);
-  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoAdc());
-}
-
-void testShouldClearAdcDoFlagAfterReported(void)
-{
-  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoAdc());
-  TaskScheduler_Update(100);
-  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoAdc());
-  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoAdc());
-}
-
-void testShouldScheduleAdcTaskEvery100ms(void)
-{
-  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoAdc());
-
-  TaskScheduler_Update(121);
-  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoAdc());
-
-  TaskScheduler_Update(200);
-  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoAdc());
-
-  TaskScheduler_Update(356);
-  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoAdc());
-}
-
-void testShouldScheduleAdcTaskOnlyOncePerPeriod(void)
-{
-  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoAdc());
-  TaskScheduler_Update(100);
-  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoAdc());
-  TaskScheduler_Update(101);
-  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoAdc());
-  TaskScheduler_Update(199);
-  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoAdc());
-  TaskScheduler_Update(200);
-  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoAdc());
-}