ceedling 0.0.1

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

@@ -0,0 +1,42 @@
+#include "Types.h"
+#include "AdcConductor.h"
+#include "AdcModel.h"
+#include "AdcHardware.h"
+
+void AdcConductor_Init(void)
+{
+  AdcHardware_Init();
+}
+
+void AdcConductor_Run(void)
+{
+  if (AdcModel_DoGetSample() && AdcHardware_GetSampleComplete())
+  {
+    AdcModel_ProcessInput(AdcHardware_GetSample());
+    AdcHardware_StartConversion();
+  }
+}
+
+bool AdcConductor_JustHereToTest(void)
+{
+    EXAMPLE_STRUCT_T ExampleStruct;
+    ExampleStruct.x = 5;
+    ExampleStruct.y = 7;
+
+    return AdcModel_DoNothingExceptTestASpecialType(ExampleStruct);
+}
+
+bool AdcConductor_AlsoHereToTest(void)
+{
+    EXAMPLE_STRUCT_T example = AdcModel_DoNothingExceptReturnASpecialType();
+
+    return ((example.x == 99) && (example.y == 1));
+}
+
+bool AdcConductor_YetAnotherTest(void)
+{
+    uint32 example = 3;
+
+    return AdModel_DoNothingExceptTestPointers(&example);
+}
+

data/new_project_template/vendor/ceedling/vendor/cmock/examples/src/AdcConductor.h

@@ -0,0 +1,11 @@
+#ifndef _ADCCONDUCTOR_H
+#define _ADCCONDUCTOR_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/new_project_template/vendor/ceedling/vendor/cmock/examples/src/AdcHardware.c

@@ -0,0 +1,27 @@
+#include "Types.h"
+#include "AdcHardware.h"
+#include "AdcHardwareConfigurator.h"
+#include "AdcTemperatureSensor.h"
+
+void AdcHardware_Init(void)
+{
+  Adc_Reset();
+  Adc_ConfigureMode();
+  Adc_EnableTemperatureChannel();
+  Adc_StartTemperatureSensorConversion();
+}
+
+void AdcHardware_StartConversion(void)
+{
+  Adc_StartTemperatureSensorConversion();
+}
+
+bool AdcHardware_GetSampleComplete(void)
+{
+  return Adc_TemperatureSensorSampleReady();
+}
+
+uint16 AdcHardware_GetSample(void)
+{
+  return Adc_ReadTemperatureSensor();
+}

data/new_project_template/vendor/ceedling/vendor/cmock/examples/src/AdcHardware.h

@@ -0,0 +1,9 @@
+#ifndef _ADCHARDWARE_H
+#define _ADCHARDWARE_H
+
+void AdcHardware_Init(void);
+void AdcHardware_StartConversion(void);
+bool AdcHardware_GetSampleComplete(void);
+uint16 AdcHardware_GetSample(void);
+
+#endif // _ADCHARDWARE_H

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

@@ -0,0 +1,18 @@
+#include "Types.h"
+#include "AdcHardwareConfigurator.h"
+#include "ModelConfig.h"
+
+void Adc_Reset(void)
+{
+  AT91C_BASE_ADC->ADC_CR = AT91C_ADC_SWRST;
+}
+
+void Adc_ConfigureMode(void)
+{
+  AT91C_BASE_ADC->ADC_MR = (((uint32)11) << 8) | (((uint32)4) << 16);
+}
+
+void Adc_EnableTemperatureChannel(void)
+{
+  AT91C_BASE_ADC->ADC_CHER = 0x10;
+}

data/new_project_template/vendor/ceedling/vendor/cmock/examples/src/AdcHardwareConfigurator.h

@@ -0,0 +1,10 @@
+#ifndef _ADCHARDWARECONFIGURATOR_H
+#define _ADCHARDWARECONFIGURATOR_H
+
+#include "Types.h"
+
+void Adc_Reset(void);
+void Adc_ConfigureMode(void);
+void Adc_EnableTemperatureChannel(void);
+
+#endif // _ADCHARDWARECONFIGURATOR_H

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

@@ -0,0 +1,33 @@
+#include "AdcModel.h"
+#include "TaskScheduler.h"
+#include "TemperatureCalculator.h"
+#include "TemperatureFilter.h"
+
+bool AdcModel_DoGetSample(void)
+{
+  return TaskScheduler_DoAdc();
+}
+
+void AdcModel_ProcessInput(uint16 millivolts)
+{
+  TemperatureFilter_ProcessInput(TemperatureCalculator_Calculate(millivolts));
+}
+
+bool AdcModel_DoNothingExceptTestASpecialType(EXAMPLE_STRUCT_T ExampleStruct)
+{
+    //This doesn't really do anything. it's only here to make sure I can compare a struct.
+    return FALSE;
+}
+bool AdModel_DoNothingExceptTestPointers(uint32* pExample)
+{
+    //This doesn't really do anything. it's only here to make sure I can compare a pointer value.
+    return FALSE;
+}
+
+EXAMPLE_STRUCT_T AdcModel_DoNothingExceptReturnASpecialType(void)
+{
+    EXAMPLE_STRUCT_T example; //again, this just is here to test that I can return a struct
+    example.x = 99;
+    example.y = 1;
+    return example;
+}

data/new_project_template/vendor/ceedling/vendor/cmock/examples/src/AdcModel.h

@@ -0,0 +1,13 @@
+#ifndef _ADCMODEL_H
+#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/new_project_template/vendor/ceedling/vendor/cmock/examples/src/AdcTemperatureSensor.c

@@ -0,0 +1,51 @@
+#include "Types.h"
+#include "AdcTemperatureSensor.h"
+
+static inline uint32 ConvertAdcCountsToPicovolts(uint32 counts); 
+static inline uint16 ConvertPicovoltsToMillivolts(uint32 picovolts);
+
+//
+// PUBLIC METHODS
+//
+
+void Adc_StartTemperatureSensorConversion(void)
+{
+  AT91C_BASE_ADC->ADC_CR = AT91C_ADC_START;
+}
+
+bool Adc_TemperatureSensorSampleReady(void)
+{
+  return ((AT91C_BASE_ADC->ADC_SR & AT91C_ADC_EOC4) == AT91C_ADC_EOC4);
+}
+
+uint16 Adc_ReadTemperatureSensor(void)
+{
+  uint32 picovolts = ConvertAdcCountsToPicovolts(AT91C_BASE_ADC->ADC_CDR4);
+  return ConvertPicovoltsToMillivolts(picovolts);
+}
+
+//
+// PRIVATE HELPERS
+//
+
+static inline uint32 ConvertAdcCountsToPicovolts(uint32 counts)
+{
+  // ADC bit weight at 10-bit resolution with 3.0V reference = 2.9296875 mV/LSB
+  uint32 picovoltsPerAdcCount = 2929688;
+
+  // Shift decimal point by 6 places to preserve accuracy in fixed-point math
+  return counts * picovoltsPerAdcCount;
+}
+
+static inline uint16 ConvertPicovoltsToMillivolts(uint32 picovolts)
+{
+  const uint32 halfMillivoltInPicovolts = 500000;
+  const uint32 picovoltsPerMillivolt = 1000000;
+    
+  // Add 0.5 mV to result so that truncation yields properly rounded result
+  picovolts += halfMillivoltInPicovolts;
+
+  // Divide appropriately to convert to millivolts
+  return (uint16)(picovolts / picovoltsPerMillivolt);
+}
+

data/new_project_template/vendor/ceedling/vendor/cmock/examples/src/AdcTemperatureSensor.h

@@ -0,0 +1,10 @@
+#ifndef _ADCTEMPERATURESENSOR_H
+#define _ADCTEMPERATURESENSOR_H
+
+#include "Types.h"
+
+void Adc_StartTemperatureSensorConversion(void);
+bool Adc_TemperatureSensorSampleReady(void);
+uint16 Adc_ReadTemperatureSensor(void);
+
+#endif // _ADCTEMPERATURESENSOR_H

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

@@ -0,0 +1,25 @@
+#include "Types.h"
+#include "Executor.h"
+#include "Model.h"
+#include "UsartConductor.h"
+#include "TimerConductor.h"
+#include "AdcConductor.h"
+#include "IntrinsicsWrapper.h"
+
+
+void Executor_Init(void)
+{
+  Model_Init();
+  UsartConductor_Init();
+  AdcConductor_Init();
+  TimerConductor_Init();
+  Interrupt_Enable();
+}
+
+bool Executor_Run(void)
+{
+  UsartConductor_Run();
+  TimerConductor_Run();
+  AdcConductor_Run();
+  return TRUE;
+}

data/new_project_template/vendor/ceedling/vendor/cmock/examples/src/Executor.h

@@ -0,0 +1,9 @@
+#ifndef _EXECUTOR_H
+#define _EXECUTOR_H
+
+#include "Types.h"
+
+void Executor_Init(void);
+bool Executor_Run(void);
+
+#endif // _EXECUTOR_H

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

@@ -0,0 +1,18 @@
+#include "IntrinsicsWrapper.h"
+#ifdef __ICCARM__
+#include <intrinsics.h>
+#endif
+
+void Interrupt_Enable(void)
+{
+#ifdef __ICCARM__
+  __enable_interrupt();
+#endif
+}
+
+void Interrupt_Disable(void)
+{
+#ifdef __ICCARM__
+  __disable_interrupt();
+#endif
+}

data/new_project_template/vendor/ceedling/vendor/cmock/examples/src/IntrinsicsWrapper.h

@@ -0,0 +1,7 @@
+#ifndef _INTRINSICS_WRAPPER_H
+#define _INTRINSICS_WRAPPER_H
+
+void Interrupt_Enable(void);
+void Interrupt_Disable(void);
+
+#endif // _INTRINSICS_WRAPPER_H

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

@@ -0,0 +1,46 @@
+#include "Types.h"
+
+#include "IntrinsicsWrapper.h"
+#include "Executor.h"
+
+#include "Model.h"
+#include "TaskScheduler.h"
+#include "TemperatureCalculator.h"
+#include "TemperatureFilter.h"
+
+#include "UsartConductor.h"
+#include "UsartHardware.h"
+#include "UsartConfigurator.h"
+#include "UsartPutChar.h"
+#include "UsartModel.h"
+#include "UsartBaudRateRegisterCalculator.h"
+#include "UsartTransmitBufferStatus.h"
+
+#include "TimerConductor.h"
+#include "TimerHardware.h"
+#include "TimerConfigurator.h"
+#include "TimerInterruptConfigurator.h"
+#include "TimerInterruptHandler.h"
+#include "TimerModel.h"
+
+#include "AdcConductor.h"
+#include "AdcHardware.h"
+#include "AdcHardwareConfigurator.h"
+#include "AdcTemperatureSensor.h"
+#include "AdcModel.h"
+
+int AppMain(void)
+{
+  Executor_Init();
+
+  while(Executor_Run());
+  
+  return 0;
+}
+
+#ifndef TEST
+int main(void)
+{
+  return AppMain();
+}
+#endif // TEST

data/new_project_template/vendor/ceedling/vendor/cmock/examples/src/Main.h

@@ -0,0 +1,7 @@
+#ifndef _MAIN_H_
+#define _MAIN_H_
+
+int AppMain(void);
+int main(void);
+
+#endif // _MAIN_H_

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

@@ -0,0 +1,10 @@
+#include "Model.h"
+#include "TaskScheduler.h"
+#include "TemperatureFilter.h"
+
+void Model_Init(void)
+{
+  TaskScheduler_Init();
+  TemperatureFilter_Init();
+}
+

data/new_project_template/vendor/ceedling/vendor/cmock/examples/src/Model.h

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

data/new_project_template/vendor/ceedling/vendor/cmock/examples/src/ModelConfig.h

@@ -0,0 +1,7 @@
+#ifndef _MODELCONFIG_H
+#define _MODELCONFIG_H
+
+#define MASTER_CLOCK    48054857  // Master Clock
+#define USART0_BAUDRATE 115200    // USART Baudrate
+
+#endif // _MODELCONFIG_H

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

@@ -0,0 +1,72 @@
+#include "Types.h"
+#include "TaskScheduler.h"
+
+typedef struct _Task
+{
+  bool    doIt;
+  uint32  period;
+  uint32  startTime;
+} Task;
+
+typedef struct _TaskSchedulerInstance
+{
+  Task usart;
+  Task adc;
+} TaskSchedulerInstance;
+
+static TaskSchedulerInstance this;
+
+void TaskScheduler_Init(void)
+{
+  this.usart.doIt = FALSE;
+  this.usart.startTime = 0;
+
+  //The correct period
+  this.usart.period = 1000;
+
+  this.adc.doIt = FALSE;
+  this.adc.startTime = 0;
+  this.adc.period = 100;
+}
+
+void TaskScheduler_Update(uint32 time)
+{
+  if ((time - this.usart.startTime) >= this.usart.period)
+  {
+    this.usart.doIt = TRUE;
+    this.usart.startTime = time - (time % this.usart.period);
+  }
+
+  if ((time - this.adc.startTime) >= this.adc.period)
+  {
+    this.adc.doIt = TRUE;
+    this.adc.startTime = time - (time % this.adc.period);
+  }
+}
+
+bool TaskScheduler_DoUsart(void)
+{
+  bool doIt = FALSE;
+
+  if (this.usart.doIt)
+  {
+    doIt = TRUE;
+    this.usart.doIt = FALSE;
+  }
+
+  return doIt;
+}
+
+bool TaskScheduler_DoAdc(void)
+{
+  bool doIt = FALSE;
+
+  if (this.adc.doIt)
+  {
+    doIt = TRUE;
+    this.adc.doIt = FALSE;
+  }
+
+  return doIt;
+}
+

data/new_project_template/vendor/ceedling/vendor/cmock/examples/src/TaskScheduler.h

@@ -0,0 +1,11 @@
+#ifndef _TASKSCHEDULER_H
+#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/new_project_template/vendor/ceedling/vendor/cmock/examples/src/TemperatureCalculator.c

@@ -0,0 +1,27 @@
+#include "Types.h"
+#include "TemperatureCalculator.h"
+#include <math.h>
+
+#ifndef logl
+#define logl log
+#endif
+
+float TemperatureCalculator_Calculate(uint16 millivolts)
+{
+  const double supply_voltage = 3.0;
+  const double series_resistance = 5000;
+  const double coefficient_A = 316589.698;
+  const double coefficient_B = -0.1382009;
+  double sensor_voltage = ((double)millivolts / 1000);
+  double resistance;
+  
+  if (millivolts == 0)
+  {
+    return -INFINITY;
+  }
+
+  // Series resistor is 5k Ohms; Reference voltage is 3.0V
+  // R(t) = A * e^(B*t); R is resistance of thermisor; t is temperature in C
+  resistance = ((supply_voltage * series_resistance) / sensor_voltage) - series_resistance;
+  return (float)(logl(resistance / coefficient_A) / coefficient_B);
+}

data/new_project_template/vendor/ceedling/vendor/cmock/examples/src/TemperatureCalculator.h

@@ -0,0 +1,6 @@
+#ifndef _TEMPERATURECALCULATOR_H
+#define _TEMPERATURECALCULATOR_H
+
+float TemperatureCalculator_Calculate(uint16 millivolts);
+
+#endif // _TEMPERATURECALCULATOR_H

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

@@ -0,0 +1,39 @@
+#include "Types.h"
+#include "TemperatureFilter.h"
+#include <math.h>
+
+static bool initialized;
+static float temperatureInCelcius;
+
+void TemperatureFilter_Init(void)
+{
+  initialized = FALSE;
+  temperatureInCelcius = -INFINITY;
+}
+
+float TemperatureFilter_GetTemperatureInCelcius(void)
+{
+  return temperatureInCelcius;
+}
+
+void TemperatureFilter_ProcessInput(float temperature)
+{
+  if (!initialized)
+  {
+    temperatureInCelcius = temperature;
+    initialized = TRUE;
+  }
+  else
+  {
+    if (temperature == +INFINITY ||
+        temperature == -INFINITY ||
+        temperature == +NAN ||
+        temperature == -NAN)
+    {
+      initialized = FALSE;
+      temperature = -INFINITY;
+    }
+    
+    temperatureInCelcius = (temperatureInCelcius * 0.75f) + (temperature * 0.25);
+  }
+}

data/new_project_template/vendor/ceedling/vendor/cmock/examples/src/TemperatureFilter.h

@@ -0,0 +1,10 @@
+#ifndef _TEMPERATUREFILTER_H
+#define _TEMPERATUREFILTER_H
+
+#include "Types.h"
+
+void TemperatureFilter_Init(void);
+float TemperatureFilter_GetTemperatureInCelcius(void);
+void TemperatureFilter_ProcessInput(float temperature);
+
+#endif // _TEMPERATUREFILTER_H

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

@@ -0,0 +1,15 @@
+#include "Types.h"
+#include "TimerConductor.h"
+#include "TimerModel.h"
+#include "TimerHardware.h"
+#include "TimerInterruptHandler.h"
+
+void TimerConductor_Init(void)
+{
+  TimerHardware_Init();
+}
+
+void TimerConductor_Run(void)
+{
+  TimerModel_UpdateTime(Timer_GetSystemTime());
+}

data/new_project_template/vendor/ceedling/vendor/cmock/examples/src/TimerConductor.h

@@ -0,0 +1,9 @@
+#ifndef _TIMERCONDUCTOR_H
+#define _TIMERCONDUCTOR_H
+
+#include "Types.h"
+
+void TimerConductor_Init(void);
+void TimerConductor_Run(void);
+
+#endif // _TIMERCONDUCTOR_H

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

@@ -0,0 +1,51 @@
+#include "Types.h"
+#include "TimerConfigurator.h"
+#include "TimerInterruptConfigurator.h"
+
+void Timer_EnablePeripheralClocks(void)
+{
+  AT91C_BASE_PMC->PMC_PCER = TIMER0_CLOCK_ENABLE | PIOB_CLOCK_ENABLE;
+}
+
+void Timer_Reset(void)
+{
+  uint32 dummy;
+  AT91C_BASE_TC0->TC_CCR = AT91C_TC_CLKDIS;
+  AT91C_BASE_TC0->TC_IDR = 0xffffffff;
+  dummy = AT91C_BASE_TC0->TC_SR;
+  dummy = dummy;
+}
+
+void Timer_ConfigureMode(void)
+{
+  AT91C_BASE_TC0->TC_CMR = 0x000CC004; // ACPC=toggle TIOA on RC compare; mode=WAVE; WAVE_SEL=UP w/auto-trigger on RC compare; clock=MCK/1024
+}
+
+void Timer_ConfigurePeriod(void)
+{
+  AT91C_BASE_TC0->TC_RC = 469; // 10ms period for timer clock source of MCK/1024 with MCK=48054857
+}
+
+void Timer_EnableOutputPin(void)
+{
+  AT91C_BASE_PIOB->PIO_PDR = TIOA0_PIN_MASK;
+}
+
+void Timer_Enable(void)
+{
+  AT91C_BASE_TC0->TC_CCR = AT91C_TC_CLKEN;
+}
+
+void Timer_ConfigureInterruptHandler(void)
+{
+  Timer_DisableInterrupt();
+  Timer_ResetSystemTime();
+  Timer_ConfigureInterrupt();
+  Timer_EnableInterrupt();
+}
+
+void Timer_Start(void)
+{
+  AT91C_BASE_TC0->TC_CCR = AT91C_TC_SWTRG;
+}
+

data/new_project_template/vendor/ceedling/vendor/cmock/examples/src/TimerConfigurator.h

@@ -0,0 +1,15 @@
+#ifndef _TIMERCONFIGURATOR_H
+#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/new_project_template/vendor/ceedling/vendor/cmock/examples/src/TimerHardware.c

@@ -0,0 +1,15 @@
+#include "Types.h"
+#include "TimerHardware.h"
+#include "TimerConfigurator.h"
+
+void TimerHardware_Init(void)
+{
+  Timer_EnablePeripheralClocks();
+  Timer_Reset();
+  Timer_ConfigureMode();
+  Timer_ConfigurePeriod();
+  Timer_EnableOutputPin();
+  Timer_Enable();
+  Timer_ConfigureInterruptHandler();
+  Timer_Start();
+}

data/new_project_template/vendor/ceedling/vendor/cmock/examples/src/TimerHardware.h

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