ceedling 0.13.0.rc1 → 0.13.0

data/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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;
+}
+