ceedling 0.12.2 → 0.13.0.rc1

data/examples/temp_sensor/src/UsartGetChar.c

@@ -1,6 +0,0 @@
-#include "UsartGetChar.h"
-
-char UsartHardware_GetChar(void)
-{
-    return UsartHardware_GetChar();
-}

data/examples/temp_sensor/src/UsartGetChar.h

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

data/examples/temp_sensor/test/test_AdcHardwareConfigurator.c

@@ -1,43 +0,0 @@
-#include "unity.h"
-#include "Types.h"
-#include "AdcHardwareConfigurator.h"
-#include "AT91SAM7X256.h"
-#include "ModelConfig.h"
-
-AT91S_ADC AdcPeripheral;
-
-void setUp(void)
-{
-
-}
-
-void tearDown(void)
-{
-}
-
-void testResetShouldResetTheAdcConverterPeripheral(void)
-{
-  AT91C_BASE_ADC->ADC_CR = 0;
-  Adc_Reset();
-  TEST_ASSERT_EQUAL(AT91C_ADC_SWRST, AT91C_BASE_ADC->ADC_CR);
-}
-
-void testConfigureModeShouldSetAdcModeRegisterAppropriately(void)
-{
-  uint32 prescaler = (MASTER_CLOCK / (2 * 2000000)) - 1; // 5MHz ADC clock
-
-  AT91C_BASE_ADC->ADC_MR = 0;
-
-  Adc_ConfigureMode();
-
-  TEST_ASSERT_EQUAL(prescaler, (AT91C_BASE_ADC->ADC_MR & AT91C_ADC_PRESCAL) >> 8);
-}
-
-void testEnableTemperatureChannelShouldEnableTheAppropriateAdcInput(void)
-{
-  AT91C_BASE_ADC->ADC_CHER = 0;
-
-  Adc_EnableTemperatureChannel();
-
-  TEST_ASSERT_EQUAL(0x1 << 4, AT91C_BASE_ADC->ADC_CHER);
-}

data/examples/temp_sensor/test/test_AdcTemperatureSensor.c

@@ -1,47 +0,0 @@
-#include "unity.h"
-#include "Types.h"
-#include "AdcTemperatureSensor.h"
-#include "AT91SAM7X256.h"
-
-AT91S_ADC AdcPeripheral;
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testShouldStartTemperatureSensorConversionWhenTriggered(void)
-{
-  AT91C_BASE_ADC->ADC_CR = 0;
-  Adc_StartTemperatureSensorConversion();
-  TEST_ASSERT_EQUAL(AT91C_ADC_START, AT91C_BASE_ADC->ADC_CR);
-}
-
-void testTemperatureSensorSampleReadyShouldReturnChannelConversionCompletionStatus(void)
-{
-  AT91C_BASE_ADC->ADC_SR = 0;
-  TEST_ASSERT_EQUAL(FALSE, Adc_TemperatureSensorSampleReady());
-  AT91C_BASE_ADC->ADC_SR = ~AT91C_ADC_EOC4;
-  TEST_ASSERT_EQUAL(FALSE, Adc_TemperatureSensorSampleReady());
-  AT91C_BASE_ADC->ADC_SR = AT91C_ADC_EOC4;
-  TEST_ASSERT_EQUAL(TRUE, Adc_TemperatureSensorSampleReady());
-  AT91C_BASE_ADC->ADC_SR = 0xffffffff;
-  TEST_ASSERT_EQUAL(TRUE, Adc_TemperatureSensorSampleReady());
-}
-
-void testReadTemperatureSensorShouldFetchAndTranslateLatestReadingToMillivolts(void)
-{
-  uint16 result;
-
-  // ADC bit weight at 10-bit resolution with 3.0V reference = 2.9296875 mV/LSB
-  AT91C_BASE_ADC->ADC_CDR4 = 138;
-  result = Adc_ReadTemperatureSensor();
-  TEST_ASSERT_EQUAL(404, result);
-
-  AT91C_BASE_ADC->ADC_CDR4 = 854;
-  result = Adc_ReadTemperatureSensor();
-  TEST_ASSERT_EQUAL(2502, result);
-}

data/examples/temp_sensor/test/test_TimerConfigurator.c

@@ -1,112 +0,0 @@
-#include "unity.h"
-#include "Types.h"
-#include "TimerConfigurator.h"
-#include "AT91SAM7X256.h"
-#include "MockTimerInterruptConfigurator.h"
-
-AT91S_PMC PmcPeripheral;
-AT91S_TC  TimerCounter0Peripheral;
-AT91S_PIO PioBPeripheral;
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testEnablePeripheralClocksShouldEnableClockToTimer0Peripheral(void)
-{
-  AT91C_BASE_PMC->PMC_PCER = 0;
-  Timer_EnablePeripheralClocks();
-  TEST_ASSERT_EQUAL(
-      TIMER0_CLOCK_ENABLE, 
-      AT91C_BASE_PMC->PMC_PCER & TIMER0_CLOCK_ENABLE);
-}
-
-void testEnablePeripheralClocksShouldEnableClockToPIOBPeripheral(void)
-{
-  AT91C_BASE_PMC->PMC_PCER = 0;
-  Timer_EnablePeripheralClocks();
-  TEST_ASSERT_EQUAL(
-      PIOB_CLOCK_ENABLE, 
-      AT91C_BASE_PMC->PMC_PCER & PIOB_CLOCK_ENABLE);
-}
-
-void testResetShouldSetTimer0ClockDisableBit_DisableTimer0Interrupts_ClearStatusRegister(void)
-{
-  AT91C_BASE_TC0->TC_CCR = 0;
-  AT91C_BASE_TC0->TC_IDR = 0;
-  AT91C_BASE_TC0->TC_SR = 0xFFFFFFFF;
-  Timer_Reset();
-  TEST_ASSERT_EQUAL(0x00000002, AT91C_BASE_TC0->TC_CCR);
-  TEST_ASSERT_EQUAL(0xffffffff, AT91C_BASE_TC0->TC_IDR);
-  // CANNOT BE VERIFIED!! TEST_ASSERT_EQUAL(0X00000000, AT91C_BASE_TC0->TC_SR);
-}
-
-void testEnableOutputPinShouldEnable_TIOA0_DigitalOutput(void)
-{
-  AT91C_BASE_PIOB->PIO_PDR = 0;
-  Timer_EnableOutputPin();
-  TEST_ASSERT_EQUAL(TIOA0_PIN_MASK, AT91C_BASE_PIOB->PIO_PDR);
-}
-
-void testConfigureModeShouldConfigureTimer0ClockSourceForMasterClockDividedBy1024(void)
-{
-  AT91C_BASE_TC0->TC_CMR = 0;
-  Timer_ConfigureMode();
-  TEST_ASSERT_EQUAL(0x00000004, AT91C_BASE_TC0->TC_CMR & 0x00000007);
-}
-
-void testConfigureModeShouldConfigureTimer0ForWaveGeneration(void)
-{
-  AT91C_BASE_TC0->TC_CMR = 0;
-  Timer_ConfigureMode();
-  TEST_ASSERT_EQUAL(0x00008000, AT91C_BASE_TC0->TC_CMR & 0x00008000);
-}
-
-void testConfigureModeShouldConfigureTimer0ForUpModeWithAutomaticTriggerOnRCCompare(void)
-{
-  AT91C_BASE_TC0->TC_CMR = 0;
-  Timer_ConfigureMode();
-  TEST_ASSERT_EQUAL(0x00004000, AT91C_BASE_TC0->TC_CMR & 0x00006000);
-}
-
-void testConfigureModeShouldConfigureTimer0ToToggleTIOAOnRCCompare(void)
-{
-  AT91C_BASE_TC0->TC_CMR = 0;
-  Timer_ConfigureMode();
-  TEST_ASSERT_EQUAL(0x000C0000, AT91C_BASE_TC0->TC_CMR & 0x000C0000);
-}
-
-void testConfigurePeriodShouldConfigureRegisterCFor10msInterval(void)
-{
-  AT91C_BASE_TC0->TC_RC = 0;
-  Timer_ConfigurePeriod();
-  TEST_ASSERT_EQUAL(469, AT91C_BASE_TC0->TC_RC);
-}
-
-void testEnableShouldSetEnableFlagForTimer0(void)
-{
-  AT91C_BASE_TC0->TC_CCR = 0;
-  Timer_Enable();
-  TEST_ASSERT_EQUAL_INT(1, AT91C_BASE_TC0->TC_CCR);
-}
-
-void testConfigureInterruptHandler(void)
-{
-  Timer_DisableInterrupt_Expect();
-  Timer_ResetSystemTime_Expect();
-  Timer_ConfigureInterrupt_Expect();
-  Timer_EnableInterrupt_Expect();
-
-  Timer_ConfigureInterruptHandler();
-}
-
-void testStartShouldSetSoftwareTriggerFlag(void)
-{
-  AT91C_BASE_TC0->TC_CCR = 0;
-  Timer_Start();
-  TEST_ASSERT_EQUAL(0x04, AT91C_BASE_TC0->TC_CCR);
-}

data/examples/temp_sensor/test/test_TimerInterruptConfigurator.c

@@ -1,78 +0,0 @@
-#include "unity.h"
-#include "Types.h"
-#include "TimerInterruptConfigurator.h"
-#include "MockTimerInterruptHandler.h"
-#include "AT91SAM7X256.h"
-
-AT91S_AIC AicPeripheral;
-AT91S_TC  TimerCounter0Peripheral;
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void test_TIMER0_ID_MASK_ShouldBeCorrect(void)
-{
-  TEST_ASSERT_EQUAL(((uint32)0x1) << AT91C_ID_TC0, TIMER0_ID_MASK);
-}
-
-void testDisableInterruptDisablesTimer0InterruptInTheInterruptController(void)
-{
-  AT91C_BASE_AIC->AIC_IDCR = 0;
-  Timer_DisableInterrupt();
-  TEST_ASSERT_EQUAL(TIMER0_ID_MASK, AT91C_BASE_AIC->AIC_IDCR);
-}
-
-void testResetSystemTimeDelegatesTo_Timer_SetSystemTime_Appropriately(void)
-{
-  Timer_SetSystemTime_Expect(0);
-  Timer_ResetSystemTime();
-}
-
-void testConfigureInterruptShouldSetInterruptHandlerAppropriately(void)
-{
-  AT91C_BASE_AIC->AIC_SVR[AT91C_ID_TC0] = (uint32)NULL;
-  Timer_ConfigureInterrupt();
-  TEST_ASSERT_EQUAL((uint32)Timer_InterruptHandler, AT91C_BASE_AIC->AIC_SVR[AT91C_ID_TC0]);
-}
-
-void testConfigureInterruptShouldSetInterruptLevelInSourceModeRegisterAppropriately(void)
-{
-  AT91C_BASE_AIC->AIC_SMR[AT91C_ID_TC0] = 0;
-  Timer_ConfigureInterrupt();
-  TEST_ASSERT_EQUAL(
-      AT91C_AIC_SRCTYPE_INT_HIGH_LEVEL, 
-      AT91C_BASE_AIC->AIC_SMR[AT91C_ID_TC0] & 0x00000060);
-}
-
-void testConfigureInterruptShouldSetInterruptPriorityInSourceModeRegisterAppropriately(void)
-{
-  AT91C_BASE_AIC->AIC_SMR[AT91C_ID_TC0] = 0;
-  Timer_ConfigureInterrupt();
-  TEST_ASSERT_EQUAL(1, AT91C_BASE_AIC->AIC_SMR[AT91C_ID_TC0] & 0x00000007);
-}
-
-void testConfigureInterruptShouldClearTimer0InterruptOnTheInterruptController(void)
-{
-  AT91C_BASE_AIC->AIC_ICCR = 0;
-  Timer_ConfigureInterrupt();
-  TEST_ASSERT_EQUAL(TIMER0_ID_MASK, AT91C_BASE_AIC->AIC_ICCR);
-}
-
-void testConfigureInterruptShouldEnableCompareInterruptForRegisterC(void)
-{
-  AT91C_BASE_TC0->TC_IER = 0;
-  Timer_ConfigureInterrupt();
-  TEST_ASSERT_EQUAL(AT91C_TC_CPCS, AT91C_BASE_TC0->TC_IER);
-}
-
-void testEnableInterruptShouldEnableTimer0InterruptsInInterruptCotroller(void)
-{
-  AT91C_BASE_AIC->AIC_IECR = 0;
-  Timer_EnableInterrupt();
-  TEST_ASSERT_EQUAL(TIMER0_ID_MASK, AT91C_BASE_AIC->AIC_IECR);
-}

data/examples/temp_sensor/test/test_TimerInterruptHandler.c

@@ -1,66 +0,0 @@
-#include "unity.h"
-#include "Types.h"
-#include "TimerInterruptHandler.h"
-#include "AT91SAM7X256.h"
-
-AT91S_TC  TimerCounter0Peripheral;
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testSetAndGetSystemTime(void)
-{
-  Timer_SetSystemTime(0);
-  TEST_ASSERT_EQUAL(0, Timer_GetSystemTime());
-
-  Timer_SetSystemTime(129837);
-  TEST_ASSERT_EQUAL(129837, Timer_GetSystemTime());
-
-  Timer_SetSystemTime(UINT32_MAX);
-  TEST_ASSERT_EQUAL(UINT32_MAX, Timer_GetSystemTime());
-}
-
-void testInterruptHandlerShouldIncrementSystemTimeOnlyIfStatusHasCompareRegisterCOverflowBitSet(void)
-{
-  Timer_SetSystemTime(0);
-  AT91C_BASE_TC0->TC_SR = 0;
-  Timer_InterruptHandler();
-  TEST_ASSERT_EQUAL(0, Timer_GetSystemTime());
-
-  Timer_SetSystemTime(0);
-  AT91C_BASE_TC0->TC_SR = ~AT91C_TC_CPCS;
-  Timer_InterruptHandler();
-  TEST_ASSERT_EQUAL(0, Timer_GetSystemTime());
-
-  Timer_SetSystemTime(0);
-  AT91C_BASE_TC0->TC_SR = AT91C_TC_CPCS;
-  Timer_InterruptHandler();
-  TEST_ASSERT(Timer_GetSystemTime() > 0);
-
-  Timer_SetSystemTime(0);
-  AT91C_BASE_TC0->TC_SR = 0xffffffff;
-  Timer_InterruptHandler();
-  TEST_ASSERT(Timer_GetSystemTime() > 0);
-}
-
-void testInterruptHandlerShouldIncrementSystemTimerBy_10(void)
-{
-  Timer_SetSystemTime(0);
-  AT91C_BASE_TC0->TC_SR = AT91C_TC_CPCS;
-  Timer_InterruptHandler();
-  TEST_ASSERT_EQUAL(10, Timer_GetSystemTime());
-
-  AT91C_BASE_TC0->TC_SR = AT91C_TC_CPCS;
-  Timer_InterruptHandler();
-  TEST_ASSERT_EQUAL(20, Timer_GetSystemTime());
-
-  Timer_SetSystemTime(39426857);
-  AT91C_BASE_TC0->TC_SR = AT91C_TC_CPCS;
-  Timer_InterruptHandler();
-  TEST_ASSERT_EQUAL(39426867, Timer_GetSystemTime());
-}

data/examples/temp_sensor/test/test_UsartConfigurator.c

@@ -1,77 +0,0 @@
-#include "unity.h"
-#include "Types.h"
-#include "UsartConfigurator.h"
-
-AT91S_PIO PioAPeripheral;
-AT91S_PMC PmcPeripheral;
-AT91S_USART Usart0Peripheral;
-
-void setUp(void)
-{
-}
-
-void tearDown(void)
-{
-}
-
-void testConfigureUsartIOShouldConfigureUsartTxPinfForPeripheralIO(void)
-{
-  AT91C_BASE_PIOA->PIO_ASR = 0;
-  AT91C_BASE_PIOA->PIO_BSR = 0xffffffff;
-  AT91C_BASE_PIOA->PIO_PDR = 0;
-  Usart_ConfigureUsartIO();
-  TEST_ASSERT_EQUAL(USART0_TX_PIN, AT91C_BASE_PIOA->PIO_ASR);
-  TEST_ASSERT_EQUAL(0, AT91C_BASE_PIOA->PIO_BSR);
-  TEST_ASSERT_EQUAL(USART0_TX_PIN, AT91C_BASE_PIOA->PIO_PDR);
-}
-
-void testEnablePeripheralClockShouldEnableClockToUsartPeripheral(void)
-{
-  AT91C_BASE_PMC->PMC_PCER = 0;
-  Usart_EnablePeripheralClock();
-  TEST_ASSERT_EQUAL(((uint32)1) << USART0_CLOCK_ENABLE, AT91C_BASE_PMC->PMC_PCER);
-}
-
-void testResetShouldDisableAllUsartInterrupts(void)
-{
-  AT91C_BASE_US0->US_IDR = 0;
-  Usart_Reset();
-  TEST_ASSERT_EQUAL(0xffffffff, AT91C_BASE_US0->US_IDR);
-}
-
-void testResetShouldResetUsartTransmitterAndReceiver(void)
-{
-  AT91C_BASE_US0->US_CR = 0;
-  Usart_Reset();
-  TEST_ASSERT_EQUAL(AT91C_US_RSTRX | AT91C_US_RSTTX | AT91C_US_RXDIS | AT91C_US_TXDIS, AT91C_BASE_US0->US_CR);
-}
-
-void testConfigureModeShouldSetUsartModeToAsynchronous(void)
-{
-  uint32 asyncMode =  (AT91C_US_USMODE_NORMAL |
-                        AT91C_US_NBSTOP_1_BIT |
-                        AT91C_US_PAR_NONE |
-                        AT91C_US_CHRL_8_BITS |
-                        AT91C_US_CLKS_CLOCK);
-
-  AT91C_BASE_US0->US_MR = ~asyncMode;
-  Usart_ConfigureMode();
-  TEST_ASSERT_EQUAL(asyncMode, AT91C_BASE_US0->US_MR);
-}
-
-void testSetBaudRateRegisterShouldSetUsartBaudRateRegisterToValuePassedAsParameter(void)
-{
-  AT91C_BASE_US0->US_BRGR = 0;
-  Usart_SetBaudRateRegister(3);
-  TEST_ASSERT_EQUAL(3, AT91C_BASE_US0->US_BRGR);
-  Usart_SetBaudRateRegister(251);
-  TEST_ASSERT_EQUAL(251, AT91C_BASE_US0->US_BRGR);
-}
-
-
-void testEnableShouldEnableUsart0Transmitter(void)
-{
-  AT91C_BASE_US0->US_CR = 0;
-  Usart_Enable();
-  TEST_ASSERT_EQUAL(AT91C_US_TXEN, AT91C_BASE_US0->US_CR);
-}