ceedling 1.0.0 → 1.0.1

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

@@ -1,168 +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/TaskScheduler.h"
-
-void setUp(void)
-{
-  TaskScheduler_Init();
-}
-
-void tearDown(void)
-{
-}
-
-void testShouldScheduleUsartTaskAfter1000ms(void)
-{
-  do { if (!(TaskScheduler_DoUsart()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((23))); } } while (0);
-
-  TaskScheduler_Update(999);
-
-  do { if (!(TaskScheduler_DoUsart()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((26))); } } while (0);
-
-  TaskScheduler_Update(1000);
-
-  do { if ((TaskScheduler_DoUsart()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((29))); } } while (0);
-}
-
-void testShouldClearUsartDoFlagAfterReported(void)
-{
-  do { if (!(TaskScheduler_DoUsart()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((34))); } } while (0);
-
-  TaskScheduler_Update(1000);
-
-  do { if ((TaskScheduler_DoUsart()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((36))); } } while (0);
-
-  do { if (!(TaskScheduler_DoUsart()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((37))); } } while (0);
-}
-
-void testShouldScheduleUsartTaskEvery1000ms(void)
-{
-  do { if (!(TaskScheduler_DoUsart()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((42))); } } while (0);
-
-  TaskScheduler_Update(1300);
-
-  do { if ((TaskScheduler_DoUsart()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((45))); } } while (0);
-
-  TaskScheduler_Update(2000);
-
-  do { if ((TaskScheduler_DoUsart()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((48))); } } while (0);
-
-  TaskScheduler_Update(3100);
-
-  do { if ((TaskScheduler_DoUsart()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((51))); } } while (0);
-}
-
-void testShouldScheduleUsartTaskOnlyOncePerPeriod(void)
-{
-  do { if (!(TaskScheduler_DoUsart()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((56))); } } while (0);
-
-  TaskScheduler_Update(1000);
-
-  do { if ((TaskScheduler_DoUsart()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((58))); } } while (0);
-
-  TaskScheduler_Update(1001);
-
-  do { if (!(TaskScheduler_DoUsart()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((60))); } } while (0);
-
-  TaskScheduler_Update(1999);
-
-  do { if (!(TaskScheduler_DoUsart()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((62))); } } while (0);
-
-  TaskScheduler_Update(2000);
-
-  do { if ((TaskScheduler_DoUsart()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((64))); } } while (0);
-}
-
-void testShouldScheduleAdcTaskAfter100ms(void)
-{
-  do { if (!(TaskScheduler_DoAdc()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((69))); } } while (0);
-
-  TaskScheduler_Update(99);
-
-  do { if (!(TaskScheduler_DoAdc()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((72))); } } while (0);
-
-  TaskScheduler_Update(100);
-
-  do { if ((TaskScheduler_DoAdc()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((75))); } } while (0);
-}
-
-void testShouldClearAdcDoFlagAfterReported(void)
-{
-  do { if (!(TaskScheduler_DoAdc()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((80))); } } while (0);
-
-  TaskScheduler_Update(100);
-
-  do { if ((TaskScheduler_DoAdc()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((82))); } } while (0);
-
-  do { if (!(TaskScheduler_DoAdc()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((83))); } } while (0);
-}
-
-void testShouldScheduleAdcTaskEvery100ms(void)
-{
-  do { if (!(TaskScheduler_DoAdc()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((88))); } } while (0);
-
-  TaskScheduler_Update(121);
-
-  do { if ((TaskScheduler_DoAdc()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((91))); } } while (0);
-
-  TaskScheduler_Update(200);
-
-  do { if ((TaskScheduler_DoAdc()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((94))); } } while (0);
-
-  TaskScheduler_Update(356);
-
-  do { if ((TaskScheduler_DoAdc()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((97))); } } while (0);
-}
-
-void testShouldScheduleAdcTaskOnlyOncePerPeriod(void)
-{
-  do { if (!(TaskScheduler_DoAdc()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((102))); } } while (0);
-
-  TaskScheduler_Update(100);
-
-  do { if ((TaskScheduler_DoAdc()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((104))); } } while (0);
-
-  TaskScheduler_Update(101);
-
-  do { if (!(TaskScheduler_DoAdc()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((106))); } } while (0);
-
-  TaskScheduler_Update(199);
-
-  do { if (!(TaskScheduler_DoAdc()))
-{ } else { UnityFail( ((" Expected FALSE Was TRUE")), (UNITY_UINT)((108))); } } while (0);
-
-  TaskScheduler_Update(200);
-
-  do { if ((TaskScheduler_DoAdc()))
-{ } else { UnityFail( ((" Expected TRUE Was FALSE")), (UNITY_UINT)((110))); } } while (0);
-}

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

@@ -1,52 +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"
-
-extern float TemperatureCalculator_Calculate(uint16_t val);
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testTemperatureCalculatorShouldCalculateTemperatureFromMillivolts(void)
-{
-  float result;
-
-  result = TemperatureCalculator_Calculate(1000);
-
-  UnityAssertFloatsWithin((UNITY_FLOAT)((0.01f)), (UNITY_FLOAT)((25.0f)), (UNITY_FLOAT)((result)), (
-
- ((void *)0)
-
- ), (UNITY_UINT)(31));
-
-  result = TemperatureCalculator_Calculate(2985);
-
-  UnityAssertFloatsWithin((UNITY_FLOAT)((0.01f)), (UNITY_FLOAT)((68.317f)), (UNITY_FLOAT)((result)), (
-
- ((void *)0)
-
- ), (UNITY_UINT)(34));
-
-  result = TemperatureCalculator_Calculate(3);
-
-  UnityAssertFloatsWithin((UNITY_FLOAT)((0.01f)), (UNITY_FLOAT)((-19.96f)), (UNITY_FLOAT)((result)), (
-
- ((void *)0)
-
- ), (UNITY_UINT)(37));
-}
-
-void testShouldReturnNegativeInfinityWhen_0_millivoltsInput(void)
-{
-  UnityAssertFloatSpecial((UNITY_FLOAT)((TemperatureCalculator_Calculate(0))), (
-
- ((void *)0)
-
- ), (UNITY_UINT)(42), UNITY_FLOAT_IS_NEG_INF);
-}

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

@@ -1,163 +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/TemperatureFilter.h"
-
-void setUp(void)
-{
-  TemperatureFilter_Init();
-}
-
-void tearDown(void)
-{
-}
-
-void testShouldInitializeTemeratureToInvalidValue(void)
-{
-  TemperatureFilter_Init();
-
-  UnityAssertFloatSpecial((UNITY_FLOAT)((TemperatureFilter_GetTemperatureInCelcius())), (
-
- ((void *)0)
-
- ), (UNITY_UINT)(25), UNITY_FLOAT_IS_NEG_INF);
-}
-
-void testShouldInitializeTemperatureAfterCallToInit(void)
-{
-  TemperatureFilter_Init();
-
-  TemperatureFilter_ProcessInput(17.8f);
-
-  UnityAssertFloatsWithin((UNITY_FLOAT)((0.0001f)), (UNITY_FLOAT)((17.8f)), (UNITY_FLOAT)((TemperatureFilter_GetTemperatureInCelcius())), (
-
- ((void *)0)
-
- ), (UNITY_UINT)(32));
-
-  TemperatureFilter_Init();
-
-  TemperatureFilter_ProcessInput(32.6f);
-
-  UnityAssertFloatsWithin((UNITY_FLOAT)((0.0001f)), (UNITY_FLOAT)((32.6f)), (UNITY_FLOAT)((TemperatureFilter_GetTemperatureInCelcius())), (
-
- ((void *)0)
-
- ), (UNITY_UINT)(36));
-}
-
-void setValueAndVerifyResponse(float input, float response)
-{
-  float actual;
-
-  TemperatureFilter_ProcessInput(input);
-
-  actual = TemperatureFilter_GetTemperatureInCelcius();
-
-  if (input == +
-
-               (__builtin_inff ()) 
-
-                        ||
-
-      input == -
-
-               (__builtin_inff ()) 
-
-                        ||
-
-      
-
-     __builtin_isnan (
-
-     input
-
-     )
-
-                 )
-{
-    UnityAssertFloatSpecial((UNITY_FLOAT)((actual)), (
-
-   ((void *)0)
-
-   ), (UNITY_UINT)(49), UNITY_FLOAT_IS_NEG_INF);
-
-  }
-
-  else
-
-  {
-    UnityAssertFloatsWithin((UNITY_FLOAT)((0.0001f)), (UNITY_FLOAT)((response)), (UNITY_FLOAT)((actual)), (
-
-   ((void *)0)
-
-   ), (UNITY_UINT)(53));
-
-  }
-}
-
-void testShouldWeightEachSubsequentValueBy25PercentAfterInitialValue(void)
-{
-  TemperatureFilter_Init();
-
-  setValueAndVerifyResponse(0.0f, 0.0f);
-
-  setValueAndVerifyResponse(10.0f, 2.5f);
-
-  setValueAndVerifyResponse(10.0f, 4.375f);
-
-  setValueAndVerifyResponse(10.0f, 5.78125f);
-
-  TemperatureFilter_Init();
-
-  setValueAndVerifyResponse(100.0f, 100.0f);
-
-  setValueAndVerifyResponse(0.0f, 75.0f);
-
-  setValueAndVerifyResponse(0.0f, 56.25f);
-
-  setValueAndVerifyResponse(0.0f, 42.1875f);
-}
-
-void setInvalidTemperatureAndVerifyReinitialized(float invalidTemperature)
-{
-  TemperatureFilter_Init();
-
-  setValueAndVerifyResponse(100.0f, 100.0f);
-
-  setValueAndVerifyResponse(invalidTemperature, -
-
-                                                (__builtin_inff ())
-
-                                                        );
-
-  setValueAndVerifyResponse(14.3f, 14.3f);
-}
-
-void testShouldResetAverageIfPassedInfinityOrInvalidValue(void)
-{
-  setInvalidTemperatureAndVerifyReinitialized(-
-
-                                              (__builtin_inff ())
-
-                                                      );
-
-  setInvalidTemperatureAndVerifyReinitialized(+
-
-                                              (__builtin_inff ())
-
-                                                      );
-
-  setInvalidTemperatureAndVerifyReinitialized(+
-
-                                              (__builtin_nanf (""))
-
-                                                 );
-
-  setInvalidTemperatureAndVerifyReinitialized(-
-
-                                              (__builtin_nanf (""))
-
-                                                 );
-}

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

@@ -1,38 +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/TimerConductor.h"
-#include "MockTimerHardware.h"
-#include "MockTimerModel.h"
-#include "MockTimerInterruptHandler.h"
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testInitShouldCallHardwareInit(void)
-{
-  TimerHardware_Init_CMockExpect(25);
-
-  TimerConductor_Init();
-}
-
-void testRunShouldGetSystemTimeAndPassOnToModelForEventScheduling(void)
-{
-  Timer_GetSystemTime_CMockExpectAndReturn(32, 1230);
-
-  TimerModel_UpdateTime_CMockExpect(33, 1230);
-
-  TimerConductor_Run();
-
-  Timer_GetSystemTime_CMockExpectAndReturn(36, 837460);
-
-  TimerModel_UpdateTime_CMockExpect(37, 837460);
-
-  TimerConductor_Run();
-}

data/build/test/preprocess/files/TestTimerConductor/TimerHardware.h

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

data/build/test/preprocess/files/TestTimerConductor/TimerInterruptHandler.h

@@ -1,14 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _TIMERINTERRUPTHANDLER_H_ // Ceedling-generated include guard
-#define _TIMERINTERRUPTHANDLER_H_
-
-#include "Types.h"
-
-void Timer_SetSystemTime(uint32 time);
-
-uint32 Timer_GetSystemTime(void);
-
-void Timer_InterruptHandler(void);
-
-#endif // _TIMERINTERRUPTHANDLER_H_

data/build/test/preprocess/files/TestTimerConductor/TimerModel.h

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

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

@@ -1,35 +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/TimerHardware.h"
-#include "MockTimerConfigurator.h"
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testInitShouldDelegateAppropriatelyToConfigurator(void)
-{
-  Timer_EnablePeripheralClocks_CMockExpect(23);
-
-  Timer_Reset_CMockExpect(24);
-
-  Timer_ConfigureMode_CMockExpect(25);
-
-  Timer_ConfigurePeriod_CMockExpect(26);
-
-  Timer_EnableOutputPin_CMockExpect(27);
-
-  Timer_Enable_CMockExpect(28);
-
-  Timer_ConfigureInterruptHandler_CMockExpect(29);
-
-  Timer_Start_CMockExpect(30);
-
-  TimerHardware_Init();
-}

data/build/test/preprocess/files/TestTimerHardware/TimerConfigurator.h

@@ -1,24 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _TIMERCONFIGURATOR_H_ // Ceedling-generated include guard
-#define _TIMERCONFIGURATOR_H_
-
-#include "Types.h"
-
-void Timer_EnablePeripheralClocks(void);
-
-void Timer_Reset(void);
-
-void Timer_ConfigureMode(void);
-
-void Timer_ConfigurePeriod(void);
-
-void Timer_EnableOutputPin(void);
-
-void Timer_Enable(void);
-
-void Timer_ConfigureInterruptHandler(void);
-
-void Timer_Start(void);
-
-#endif // _TIMERCONFIGURATOR_H_

data/build/test/preprocess/files/TestTimerIntegrated/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/TestTimerIntegrated/TestTimerIntegrated.c

@@ -1,54 +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/TimerConductor.h"
-#include "src/TimerHardware.h"
-#include "src/TimerModel.h"
-#include "MockTimerConfigurator.h"
-#include "MockTimerInterruptHandler.h"
-#include "MockTaskScheduler.h"
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testInitShouldCallHardwareInit(void)
-{
-  Timer_EnablePeripheralClocks_CMockExpect(32);
-
-  Timer_Reset_CMockExpect(33);
-
-  Timer_ConfigureMode_CMockExpect(34);
-
-  Timer_ConfigurePeriod_CMockExpect(35);
-
-  Timer_EnableOutputPin_CMockExpect(36);
-
-  Timer_Enable_CMockExpect(37);
-
-  Timer_ConfigureInterruptHandler_CMockExpect(38);
-
-  Timer_Start_CMockExpect(39);
-
-  TimerConductor_Init();
-}
-
-void testRunShouldGetSystemTimeAndPassOnToModelForEventScheduling(void)
-{
-  Timer_GetSystemTime_CMockExpectAndReturn(46, 1230);
-
-  TaskScheduler_Update_CMockExpect(47, 1230);
-
-  TimerConductor_Run();
-
-  Timer_GetSystemTime_CMockExpectAndReturn(50, 837460);
-
-  TaskScheduler_Update_CMockExpect(51, 837460);
-
-  TimerConductor_Run();
-}

data/build/test/preprocess/files/TestTimerIntegrated/TimerConfigurator.h

@@ -1,24 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _TIMERCONFIGURATOR_H_ // Ceedling-generated include guard
-#define _TIMERCONFIGURATOR_H_
-
-#include "Types.h"
-
-void Timer_EnablePeripheralClocks(void);
-
-void Timer_Reset(void);
-
-void Timer_ConfigureMode(void);
-
-void Timer_ConfigurePeriod(void);
-
-void Timer_EnableOutputPin(void);
-
-void Timer_Enable(void);
-
-void Timer_ConfigureInterruptHandler(void);
-
-void Timer_Start(void);
-
-#endif // _TIMERCONFIGURATOR_H_

data/build/test/preprocess/files/TestTimerIntegrated/TimerInterruptHandler.h

@@ -1,14 +0,0 @@
-// CEEDLING NOTICE: This generated file only to be consumed by CMock
-
-#ifndef _TIMERINTERRUPTHANDLER_H_ // Ceedling-generated include guard
-#define _TIMERINTERRUPTHANDLER_H_
-
-#include "Types.h"
-
-void Timer_SetSystemTime(uint32 time);
-
-uint32 Timer_GetSystemTime(void);
-
-void Timer_InterruptHandler(void);
-
-#endif // _TIMERINTERRUPTHANDLER_H_

data/build/test/preprocess/files/TestTimerModel/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/TestTimerModel/TestTimerModel.c

@@ -1,21 +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/TimerModel.h"
-#include "MockTaskScheduler.h"
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testUpdateTimeShouldDelegateToTaskScheduler(void)
-{
-  TaskScheduler_Update_CMockExpect(23, 19387L);
-
-  TimerModel_UpdateTime(19387L);
-}