ceedling 1.0.0 → 1.0.1

data/build/test/preprocess/files/TestAdcConductor/AdcHardware.h

@@ -1,16 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _ADCHARDWARE_H_ // Ceedling-generated include guard
-#define _ADCHARDWARE_H_
-
-#include "Types.h"
-
-void AdcHardware_Init(void);
-
-void AdcHardware_StartConversion(void);
-
-bool AdcHardware_GetSampleComplete(void);
-
-uint16 AdcHardware_GetSample(void);
-
-#endif // _ADCHARDWARE_H_

data/build/test/preprocess/files/TestAdcConductor/AdcModel.h

@@ -1,18 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _ADCMODEL_H_ // Ceedling-generated include guard
-#define _ADCMODEL_H_
-
-#include "Types.h"
-
-bool AdcModel_DoGetSample(void);
-
-void AdcModel_ProcessInput(uint16 millivolts);
-
-bool AdcModel_DoNothingExceptTestASpecialType(EXAMPLE_STRUCT_T ExampleStruct);
-
-bool AdModel_DoNothingExceptTestPointers(uint32* pExample);
-
-EXAMPLE_STRUCT_T AdcModel_DoNothingExceptReturnASpecialType(void);
-
-#endif // _ADCMODEL_H_

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

@@ -1,106 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed for test runner creation
-
-#include "../../build/vendor/unity/src/unity.h"
-#include "test/support/UnityHelper.h"
-#include "src/Types.h"
-#include "src/AdcConductor.h"
-#include "MockAdcModel.h"
-#include "MockAdcHardware.h"
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testInitShouldCallHardwareInit(void)
-{
-  AdcHardware_Init_CMockExpect(26);
-
-  AdcConductor_Init();
-}
-
-void testRunShouldNotDoAnythingIfItIsNotTime(void)
-{
-  AdcModel_DoGetSample_CMockExpectAndReturn(32, (0));
-
-  AdcConductor_Run();
-}
-
-void testRunShouldNotPassAdcResultToModelIfSampleIsNotComplete(void)
-{
-  AdcModel_DoGetSample_CMockExpectAndReturn(39, (1));
-
-  AdcHardware_GetSampleComplete_CMockExpectAndReturn(40, (0));
-
-  AdcConductor_Run();
-}
-
-void testRunShouldGetLatestSampleFromAdcAndPassItToModelAndStartNewConversionWhenItIsTime(void)
-{
-  AdcModel_DoGetSample_CMockExpectAndReturn(47, (1));
-
-  AdcHardware_GetSampleComplete_CMockExpectAndReturn(48, (1));
-
-  AdcHardware_GetSample_CMockExpectAndReturn(49, 293U);
-
-  AdcModel_ProcessInput_CMockExpect(50, 293U);
-
-  AdcHardware_StartConversion_CMockExpect(51);
-
-  AdcConductor_Run();
-}
-
-void testJustHereToTest_Should_ProperlyPassAStructAndVerifyIt(void)
-{
-    EXAMPLE_STRUCT_T TestStruct;
-
-    TestStruct.x = 5;
-
-    TestStruct.y = 7;
-
-    AdcModel_DoNothingExceptTestASpecialType_CMockExpectAndReturn(62, TestStruct, (1));
-
-    do { if ((AdcConductor_JustHereToTest()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((64))); } } while (0);
-}
-
-void test_AdcConductor_AlsoHereToTest_Should_ProperlyReturnAStructAsExpected1(void)
-{
-    EXAMPLE_STRUCT_T TestStruct;
-
-    TestStruct.x = 99;
-
-    TestStruct.y = 1;
-
-    AdcModel_DoNothingExceptReturnASpecialType_CMockExpectAndReturn(95, TestStruct);
-
-    do { if ((AdcConductor_AlsoHereToTest()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((97))); } } while (0);
-}
-
-void test_AdcConductor_AlsoHereToTest_Should_ProperlyReturnAStructAsExpected2(void)
-{
-    EXAMPLE_STRUCT_T TestStruct;
-
-    TestStruct.x = 98;
-
-    TestStruct.y = 1;
-
-    AdcModel_DoNothingExceptReturnASpecialType_CMockExpectAndReturn(106, TestStruct);
-
-    do { if (!(AdcConductor_AlsoHereToTest()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((108))); } } while (0);
-}
-
-void test_AdcConductor_YetAnotherTest_Should_VerifyThatPointersToStructsAreTestable(void)
-{
-    uint32 TestNum = 3;
-
-    AdModel_DoNothingExceptTestPointers_CMockExpectAndReturn(115, &TestNum, (1));
-
-    do { if ((AdcConductor_YetAnotherTest()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((117))); } } while (0);
-}

data/build/test/preprocess/files/TestAdcHardware/AdcHardwareConfigurator.h

@@ -1,14 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _ADCHARDWARECONFIGURATOR_H_ // Ceedling-generated include guard
-#define _ADCHARDWARECONFIGURATOR_H_
-
-#include "Types.h"
-
-void Adc_Reset(void);
-
-void Adc_ConfigureMode(void);
-
-void Adc_EnableTemperatureChannel(void);
-
-#endif // _ADCHARDWARECONFIGURATOR_H_

data/build/test/preprocess/files/TestAdcHardware/AdcTemperatureSensor.h

@@ -1,14 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _ADCTEMPERATURESENSOR_H_ // Ceedling-generated include guard
-#define _ADCTEMPERATURESENSOR_H_
-
-#include "Types.h"
-
-void Adc_StartTemperatureSensorConversion(void);
-
-bool Adc_TemperatureSensorSampleReady(void);
-
-uint16 Adc_ReadTemperatureSensor(void);
-
-#endif // _ADCTEMPERATURESENSOR_H_

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

@@ -1,59 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed for test runner creation
-
-#include "../../build/vendor/unity/src/unity.h"
-#include "src/Types.h"
-#include "src/AdcHardware.h"
-#include "MockAdcHardwareConfigurator.h"
-#include "MockAdcTemperatureSensor.h"
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testInitShouldDelegateToConfiguratorAndTemperatureSensor(void)
-{
-  Adc_Reset_CMockExpect(24);
-
-  Adc_ConfigureMode_CMockExpect(25);
-
-  Adc_EnableTemperatureChannel_CMockExpect(26);
-
-  Adc_StartTemperatureSensorConversion_CMockExpect(27);
-
-  AdcHardware_Init();
-}
-
-void testGetSampleCompleteShouldReturn_FALSE_WhenTemperatureSensorSampleReadyReturns_FALSE(void)
-{
-  Adc_TemperatureSensorSampleReady_CMockExpectAndReturn(34, (0));
-
-  do { if ((!AdcHardware_GetSampleComplete()))
-{ } else { UnityFail( ((" Expression Evaluated To FALSE")), (UNITY_UINT)((35))); } } while (0);
-}
-
-void testGetSampleCompleteShouldReturn_TRUE_WhenTemperatureSensorSampleReadyReturns_TRUE(void)
-{
-  Adc_TemperatureSensorSampleReady_CMockExpectAndReturn(40, (1));
-
-  do { if ((AdcHardware_GetSampleComplete()))
-{ } else { UnityFail( ((" Expression Evaluated To FALSE")), (UNITY_UINT)((41))); } } while (0);
-}
-
-void testGetSampleShouldDelegateToAdcTemperatureSensor(void)
-{
-  uint16 sample;
-
-  Adc_ReadTemperatureSensor_CMockExpectAndReturn(47, 847);
-
-  sample = AdcHardware_GetSample();
-
-  UnityAssertEqualNumber((UNITY_INT)((847)), (UNITY_INT)((sample)), (
-
- ((void *)0)
-
- ), (UNITY_UINT)(50), UNITY_DISPLAY_STYLE_INT);
-}

data/build/test/preprocess/files/TestAdcModel/TaskScheduler.h

@@ -1,16 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _TASKSCHEDULER_H_ // Ceedling-generated include guard
-#define _TASKSCHEDULER_H_
-
-#include "Types.h"
-
-void TaskScheduler_Init(void);
-
-void TaskScheduler_Update(uint32 time);
-
-bool TaskScheduler_DoUsart(void);
-
-bool TaskScheduler_DoAdc(void);
-
-#endif // _TASKSCHEDULER_H_

data/build/test/preprocess/files/TestAdcModel/TemperatureCalculator.h

@@ -1,10 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _TEMPERATURECALCULATOR_H_ // Ceedling-generated include guard
-#define _TEMPERATURECALCULATOR_H_
-
-#include "Types.h"
-
-float TemperatureCalculator_Calculate(uint16 millivolts);
-
-#endif // _TEMPERATURECALCULATOR_H_

data/build/test/preprocess/files/TestAdcModel/TemperatureFilter.h

@@ -1,14 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _TEMPERATUREFILTER_H_ // Ceedling-generated include guard
-#define _TEMPERATUREFILTER_H_
-
-#include "Types.h"
-
-void TemperatureFilter_Init(void);
-
-float TemperatureFilter_GetTemperatureInCelcius(void);
-
-void TemperatureFilter_ProcessInput(float temperature);
-
-#endif // _TEMPERATUREFILTER_H_

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

@@ -1,41 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed for test runner creation
-
-#include "../../build/vendor/unity/src/unity.h"
-#include "src/Types.h"
-#include "src/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_CMockExpectAndReturn(25, (0));
-
-  do { if (!(AdcModel_DoGetSample()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((26))); } } while (0);
-}
-
-void testDoGetSampleShouldReturn_TRUE_WhenTaskSchedulerReturns_TRUE(void)
-{
-  TaskScheduler_DoAdc_CMockExpectAndReturn(31, (1));
-
-  do { if ((AdcModel_DoGetSample()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((32))); } } while (0);
-}
-
-void testProcessInputShouldDelegateToTemperatureCalculatorAndPassResultToFilter(void)
-{
-  TemperatureCalculator_Calculate_CMockExpectAndReturn(37, 21473, 23.5f);
-
-  TemperatureFilter_ProcessInput_CMockExpect(38, 23.5f);
-
-  AdcModel_ProcessInput(21473);
-}

data/build/test/preprocess/files/TestExecutor/AdcConductor.h

@@ -1,18 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _ADCCONDUCTOR_H_ // Ceedling-generated include guard
-#define _ADCCONDUCTOR_H_
-
-#include "Types.h"
-
-void AdcConductor_Init(void);
-
-void AdcConductor_Run(void);
-
-bool AdcConductor_JustHereToTest(void);
-
-bool AdcConductor_AlsoHereToTest(void);
-
-bool AdcConductor_YetAnotherTest(void);
-
-#endif // _ADCCONDUCTOR_H_

data/build/test/preprocess/files/TestExecutor/IntrinsicsWrapper.h

@@ -1,10 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _INTRINSICSWRAPPER_H_ // Ceedling-generated include guard
-#define _INTRINSICSWRAPPER_H_
-
-void Interrupt_Enable(void);
-
-void Interrupt_Disable(void);
-
-#endif // _INTRINSICSWRAPPER_H_

data/build/test/preprocess/files/TestExecutor/Model.h

@@ -1,10 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _MODEL_H_ // Ceedling-generated include guard
-#define _MODEL_H_
-
-#include "Types.h"
-
-void Model_Init(void);
-
-#endif // _MODEL_H_

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

@@ -1,45 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed for test runner creation
-
-#include "../../build/vendor/unity/src/unity.h"
-#include "src/Types.h"
-#include "src/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_CMockExpect(27);
-
-  UsartConductor_Init_CMockExpect(28);
-
-  AdcConductor_Init_CMockExpect(29);
-
-  TimerConductor_Init_CMockExpect(30);
-
-  Interrupt_Enable_CMockExpect(31);
-
-  Executor_Init();
-}
-
-void testRunShouldCallRunForEachConductorAndReturnTrueAlways(void)
-{
-  UsartConductor_Run_CMockExpect(38);
-
-  TimerConductor_Run_CMockExpect(39);
-
-  AdcConductor_Run_CMockExpect(40);
-
-  do { if ((Executor_Run()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((42))); } } while (0);
-}

data/build/test/preprocess/files/TestExecutor/TimerConductor.h

@@ -1,12 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _TIMERCONDUCTOR_H_ // Ceedling-generated include guard
-#define _TIMERCONDUCTOR_H_
-
-#include "Types.h"
-
-void TimerConductor_Init(void);
-
-void TimerConductor_Run(void);
-
-#endif // _TIMERCONDUCTOR_H_

data/build/test/preprocess/files/TestExecutor/UsartConductor.h

@@ -1,10 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _USARTCONDUCTOR_H_ // Ceedling-generated include guard
-#define _USARTCONDUCTOR_H_
-
-void UsartConductor_Init(void);
-
-void UsartConductor_Run(void);
-
-#endif // _USARTCONDUCTOR_H_

data/build/test/preprocess/files/TestMain/Executor.h

@@ -1,12 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _EXECUTOR_H_ // Ceedling-generated include guard
-#define _EXECUTOR_H_
-
-#include "Types.h"
-
-void Executor_Init(void);
-
-bool Executor_Run(void);
-
-#endif // _EXECUTOR_H_

data/build/test/preprocess/files/TestMain/TestMain.c

@@ -1,31 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed for test runner creation
-
-#include "../../build/vendor/unity/src/unity.h"
-#include "src/Types.h"
-#include "src/Main.h"
-#include "MockExecutor.h"
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testMainShouldCallExecutorInitAndContinueToCallExecutorRunUntilHalted(void)
-{
-  Executor_Init_CMockExpect(23);
-
-  Executor_Run_CMockExpectAndReturn(24, (1));
-
-  Executor_Run_CMockExpectAndReturn(25, (1));
-
-  Executor_Run_CMockExpectAndReturn(26, (1));
-
-  Executor_Run_CMockExpectAndReturn(27, (1));
-
-  Executor_Run_CMockExpectAndReturn(28, (0));
-
-  AppMain();
-}

data/build/test/preprocess/files/TestModel/TaskScheduler.h

@@ -1,16 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _TASKSCHEDULER_H_ // Ceedling-generated include guard
-#define _TASKSCHEDULER_H_
-
-#include "Types.h"
-
-void TaskScheduler_Init(void);
-
-void TaskScheduler_Update(uint32 time);
-
-bool TaskScheduler_DoUsart(void);
-
-bool TaskScheduler_DoAdc(void);
-
-#endif // _TASKSCHEDULER_H_

data/build/test/preprocess/files/TestModel/TemperatureFilter.h

@@ -1,14 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _TEMPERATUREFILTER_H_ // Ceedling-generated include guard
-#define _TEMPERATUREFILTER_H_
-
-#include "Types.h"
-
-void TemperatureFilter_Init(void);
-
-float TemperatureFilter_GetTemperatureInCelcius(void);
-
-void TemperatureFilter_ProcessInput(float temperature);
-
-#endif // _TEMPERATUREFILTER_H_

data/build/test/preprocess/files/TestModel/TestModel.c

@@ -1,24 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed for test runner creation
-
-#include "../../build/vendor/unity/src/unity.h"
-#include "src/Types.h"
-#include "src/Model.h"
-#include "MockTaskScheduler.h"
-#include "MockTemperatureFilter.h"
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testInitShouldCallSchedulerAndTemperatureFilterInit(void)
-{
-  TaskScheduler_Init_CMockExpect(24);
-
-  TemperatureFilter_Init_CMockExpect(25);
-
-  Model_Init();
-}