ceedling 0.30.0 → 0.31.0

data/examples/temp_sensor/build/test/preprocess/files/AdcTemperatureSensor.h

@@ -0,0 +1,14 @@
+#include "src/Types.h"
+
+
+
+
+
+
+
+
+void Adc_StartTemperatureSensorConversion(void);
+
+bool Adc_TemperatureSensorSampleReady(void);
+
+uint16 Adc_ReadTemperatureSensor(void);

data/examples/temp_sensor/build/test/preprocess/files/Executor.h

@@ -0,0 +1,12 @@
+#include "src/Types.h"
+
+
+
+
+
+
+
+
+void Executor_Init(void);
+
+bool Executor_Run(void);

data/examples/temp_sensor/build/test/preprocess/files/IntrinsicsWrapper.h

@@ -0,0 +1,9 @@
+
+
+
+
+
+
+void Interrupt_Enable(void);
+
+void Interrupt_Disable(void);

data/examples/temp_sensor/build/test/preprocess/files/Model.h

@@ -0,0 +1,10 @@
+#include "src/Types.h"
+
+
+
+
+
+
+
+
+void Model_Init(void);

data/examples/temp_sensor/build/test/preprocess/files/TaskScheduler.h

@@ -0,0 +1,16 @@
+#include "src/Types.h"
+
+
+
+
+
+
+
+
+void TaskScheduler_Init(void);
+
+void TaskScheduler_Update(uint32 time);
+
+bool TaskScheduler_DoUsart(void);
+
+bool TaskScheduler_DoAdc(void);

data/examples/temp_sensor/build/test/preprocess/files/TemperatureCalculator.h

@@ -0,0 +1,10 @@
+#include "src/Types.h"
+
+
+
+
+
+
+
+
+float TemperatureCalculator_Calculate(uint16 millivolts);

data/examples/temp_sensor/build/test/preprocess/files/TemperatureFilter.h

@@ -0,0 +1,14 @@
+#include "src/Types.h"
+
+
+
+
+
+
+
+
+void TemperatureFilter_Init(void);
+
+float TemperatureFilter_GetTemperatureInCelcius(void);
+
+void TemperatureFilter_ProcessInput(float temperature);

data/examples/temp_sensor/build/test/preprocess/files/TestAdcConductor.c

@@ -0,0 +1,169 @@
+#include "MockAdcHardware.h"
+#include "MockAdcModel.h"
+#include "src/AdcConductor.h"
+#include "src/Types.h"
+#include "test/support/UnityHelper.h"
+#include "/Library/Ruby/Gems/2.6.0/gems/ceedling-0.31.0/vendor/unity/src/unity.h"
+
+
+
+
+void setUp(void)
+
+{
+
+}
+
+
+
+void tearDown(void)
+
+{
+
+}
+
+
+
+void testInitShouldCallHardwareInit(void)
+
+{
+
+  AdcHardware_Init_CMockExpect(19);
+
+  AdcConductor_Init();
+
+}
+
+
+
+void testRunShouldNotDoAnythingIfItIsNotTime(void)
+
+{
+
+  AdcModel_DoGetSample_CMockExpectAndReturn(25, (0));
+
+
+
+  AdcConductor_Run();
+
+}
+
+
+
+void testRunShouldNotPassAdcResultToModelIfSampleIsNotComplete(void)
+
+{
+
+  AdcModel_DoGetSample_CMockExpectAndReturn(32, (1));
+
+  AdcHardware_GetSampleComplete_CMockExpectAndReturn(33, (0));
+
+
+
+  AdcConductor_Run();
+
+}
+
+
+
+void testRunShouldGetLatestSampleFromAdcAndPassItToModelAndStartNewConversionWhenItIsTime(void)
+
+{
+
+  AdcModel_DoGetSample_CMockExpectAndReturn(40, (1));
+
+  AdcHardware_GetSampleComplete_CMockExpectAndReturn(41, (1));
+
+  AdcHardware_GetSample_CMockExpectAndReturn(42, 293U);
+
+  AdcModel_ProcessInput_CMockExpect(43, 293U);
+
+  AdcHardware_StartConversion_CMockExpect(44);
+
+
+
+  AdcConductor_Run();
+
+}
+
+
+
+void testJustHereToTest_Should_ProperlyPassAStructAndVerifyIt(void)
+
+{
+
+    EXAMPLE_STRUCT_T TestStruct;
+
+    TestStruct.x = 5;
+
+    TestStruct.y = 7;
+
+
+
+    AdcModel_DoNothingExceptTestASpecialType_CMockExpectAndReturn(55, TestStruct, (1));
+
+
+
+    do {if ((AdcConductor_JustHereToTest())) {} else {UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((UNITY_UINT)(57)));}} while(0);
+
+}
+
+void test_AdcConductor_AlsoHereToTest_Should_ProperlyReturnAStructAsExpected1(void)
+
+{
+
+    EXAMPLE_STRUCT_T TestStruct;
+
+    TestStruct.x = 99;
+
+    TestStruct.y = 1;
+
+
+
+    AdcModel_DoNothingExceptReturnASpecialType_CMockExpectAndReturn(88, TestStruct);
+
+
+
+    do {if ((AdcConductor_AlsoHereToTest())) {} else {UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((UNITY_UINT)(90)));}} while(0);
+
+}
+
+
+
+void test_AdcConductor_AlsoHereToTest_Should_ProperlyReturnAStructAsExpected2(void)
+
+{
+
+    EXAMPLE_STRUCT_T TestStruct;
+
+    TestStruct.x = 98;
+
+    TestStruct.y = 1;
+
+
+
+    AdcModel_DoNothingExceptReturnASpecialType_CMockExpectAndReturn(99, TestStruct);
+
+
+
+    do {if (!(AdcConductor_AlsoHereToTest())) {} else {UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((UNITY_UINT)(101)));}} while(0);
+
+}
+
+
+
+void test_AdcConductor_YetAnotherTest_Should_VerifyThatPointersToStructsAreTestable(void)
+
+{
+
+    uint32 TestNum = 3;
+
+
+
+    AdModel_DoNothingExceptTestPointers_CMockExpectAndReturn(108, &TestNum, (1));
+
+
+
+    do {if ((AdcConductor_YetAnotherTest())) {} else {UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((UNITY_UINT)(110)));}} while(0);
+
+}

data/examples/temp_sensor/build/test/preprocess/files/TestAdcHardware.c

@@ -0,0 +1,82 @@
+#include "MockAdcTemperatureSensor.h"
+#include "MockAdcHardwareConfigurator.h"
+#include "src/AdcHardware.h"
+#include "src/Types.h"
+#include "/Library/Ruby/Gems/2.6.0/gems/ceedling-0.31.0/vendor/unity/src/unity.h"
+
+
+void setUp(void)
+
+{
+
+}
+
+
+
+void tearDown(void)
+
+{
+
+}
+
+
+
+void testInitShouldDelegateToConfiguratorAndTemperatureSensor(void)
+
+{
+
+  Adc_Reset_CMockExpect(17);
+
+  Adc_ConfigureMode_CMockExpect(18);
+
+  Adc_EnableTemperatureChannel_CMockExpect(19);
+
+  Adc_StartTemperatureSensorConversion_CMockExpect(20);
+
+
+
+  AdcHardware_Init();
+
+}
+
+
+
+void testGetSampleCompleteShouldReturn_FALSE_WhenTemperatureSensorSampleReadyReturns_FALSE(void)
+
+{
+
+  Adc_TemperatureSensorSampleReady_CMockExpectAndReturn(27, (0));
+
+  do {if ((!AdcHardware_GetSampleComplete())) {} else {UnityFail( ((" Expression Evaluated To FALSE")), (UNITY_UINT)((UNITY_UINT)(28)));}} while(0);
+
+}
+
+
+
+void testGetSampleCompleteShouldReturn_TRUE_WhenTemperatureSensorSampleReadyReturns_TRUE(void)
+
+{
+
+  Adc_TemperatureSensorSampleReady_CMockExpectAndReturn(33, (1));
+
+  do {if ((AdcHardware_GetSampleComplete())) {} else {UnityFail( ((" Expression Evaluated To FALSE")), (UNITY_UINT)((UNITY_UINT)(34)));}} while(0);
+
+}
+
+
+
+void testGetSampleShouldDelegateToAdcTemperatureSensor(void)
+
+{
+
+  uint16 sample;
+
+  Adc_ReadTemperatureSensor_CMockExpectAndReturn(40, 847);
+
+
+
+  sample = AdcHardware_GetSample();
+
+  UnityAssertEqualNumber((UNITY_INT)((847)), (UNITY_INT)((sample)), (((void*)0)), (UNITY_UINT)(43), UNITY_DISPLAY_STYLE_INT);
+
+}

data/examples/temp_sensor/build/test/preprocess/files/TestAdcModel.c

@@ -0,0 +1,59 @@
+#include "MockTemperatureFilter.h"
+#include "MockTemperatureCalculator.h"
+#include "MockTaskScheduler.h"
+#include "src/AdcModel.h"
+#include "src/Types.h"
+#include "/Library/Ruby/Gems/2.6.0/gems/ceedling-0.31.0/vendor/unity/src/unity.h"
+
+
+void setUp(void)
+
+{
+
+}
+
+
+
+void tearDown(void)
+
+{
+
+}
+
+
+
+void testDoGetSampleShouldReturn_FALSE_WhenTaskSchedulerReturns_FALSE(void)
+
+{
+
+  TaskScheduler_DoAdc_CMockExpectAndReturn(18, (0));
+
+  UnityAssertEqualNumber((UNITY_INT)(((0))), (UNITY_INT)((AdcModel_DoGetSample())), (((void*)0)), (UNITY_UINT)(19), UNITY_DISPLAY_STYLE_INT);
+
+}
+
+
+
+void testDoGetSampleShouldReturn_TRUE_WhenTaskSchedulerReturns_TRUE(void)
+
+{
+
+  TaskScheduler_DoAdc_CMockExpectAndReturn(24, (1));
+
+  UnityAssertEqualNumber((UNITY_INT)(((1))), (UNITY_INT)((AdcModel_DoGetSample())), (((void*)0)), (UNITY_UINT)(25), UNITY_DISPLAY_STYLE_INT);
+
+}
+
+
+
+void testProcessInputShouldDelegateToTemperatureCalculatorAndPassResultToFilter(void)
+
+{
+
+  TemperatureCalculator_Calculate_CMockExpectAndReturn(30, 21473, 23.5f);
+
+  TemperatureFilter_ProcessInput_CMockExpect(31, 23.5f);
+
+  AdcModel_ProcessInput(21473);
+
+}

data/examples/temp_sensor/build/test/preprocess/files/TestExecutor.c

@@ -0,0 +1,63 @@
+#include "MockIntrinsicsWrapper.h"
+#include "MockTimerConductor.h"
+#include "MockAdcConductor.h"
+#include "MockUsartConductor.h"
+#include "MockModel.h"
+#include "src/Executor.h"
+#include "src/Types.h"
+#include "/Library/Ruby/Gems/2.6.0/gems/ceedling-0.31.0/vendor/unity/src/unity.h"
+
+
+void setUp(void)
+
+{
+
+}
+
+
+
+void tearDown(void)
+
+{
+
+}
+
+
+
+void testInitShouldCallInitOfAllConductorsAndTheModel(void)
+
+{
+
+  Model_Init_CMockExpect(20);
+
+  UsartConductor_Init_CMockExpect(21);
+
+  AdcConductor_Init_CMockExpect(22);
+
+  TimerConductor_Init_CMockExpect(23);
+
+  Interrupt_Enable_CMockExpect(24);
+
+
+
+  Executor_Init();
+
+}
+
+
+
+void testRunShouldCallRunForEachConductorAndReturnTrueAlways(void)
+
+{
+
+  UsartConductor_Run_CMockExpect(31);
+
+  TimerConductor_Run_CMockExpect(32);
+
+  AdcConductor_Run_CMockExpect(33);
+
+
+
+  UnityAssertEqualNumber((UNITY_INT)(((1))), (UNITY_INT)((Executor_Run())), (((void*)0)), (UNITY_UINT)(35), UNITY_DISPLAY_STYLE_INT);
+
+}