Quantum Leaps 28ef7ac6ce 5.9.0
2017-05-17 13:16:32 -04:00

71 lines
2.5 KiB
C

/*****************************************************************************
* Purpose: example Mock for IO (Chapter 10 from TDDfEC)
* Last Updated for Version: 5.9.0
* Date of the Last Update: 2017-04-15
*
* Q u a n t u m L e a P s
* ---------------------------
* innovating embedded systems
*
* Copyright (C) Quantum Leaps, LLC. All rights reserved.
*
* This program is open source software: you can redistribute it and/or
* modify it under the terms of the GNU General Public License as published
* by the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* Alternatively, this program may be distributed and modified under the
* terms of Quantum Leaps commercial licenses, which expressly supersede
* the GNU General Public License and are specifically designed for
* licensees interested in retaining the proprietary status of their code.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*
* Contact information:
* https://state-machine.com
* mailto:info@state-machine.com
*****************************************************************************/
#include "qpc.h" /* for QUTEST */
#include "IO.h" /* mocked interface */
enum {
IO_READ = QS_USER1,
IO_WRITE,
};
/*..........................................................................*/
void MockIO_Init(void) {
/* dictionaries... */
QS_USR_DICTIONARY(IO_READ);
QS_USR_DICTIONARY(IO_WRITE);
QS_FUN_DICTIONARY(&IO_Read);
QS_FUN_DICTIONARY(&IO_Write);
}
/*..........................................................................*/
ioData IO_Read(ioAddress offset) {
QS_TEST_PROBE_DEF(&IO_Read)
ioData ret = (ioData)0;
QS_TEST_PROBE(
ret = (ioData)qs_tp_;
)
QS_BEGIN(IO_READ, (void *)0) /* user-specific record */
QS_I16(0, ret);
QS_U32(0, offset);
QS_END()
return ret;
}
/*..........................................................................*/
void IO_Write(ioAddress offset, ioData data) {
QS_BEGIN(IO_WRITE, (void *)0) /* user-specific record */
QS_U32(0, offset);
QS_I16(0, data);
QS_END()
}