From 585720b6a596502cbe20718118015d815d1ae9cf Mon Sep 17 00:00:00 2001 From: abutterfield-ext Date: Tue, 5 Jan 2021 21:24:59 +0000 Subject: Adds working Chain API Tests --- spec/build/testsuites/validation/model-0.yml | 3 + testsuites/validation/tr-model-chains-api-0.c | 171 ++++++++++++++++++++++++++ testsuites/validation/tr-model-chains-api-1.c | 169 +++++++++++++++++++++++++ testsuites/validation/tr-model-chains-api.c | 68 ++++++++++ testsuites/validation/tr-model-chains-api.h | 55 +++++++++ 5 files changed, 466 insertions(+) create mode 100644 testsuites/validation/tr-model-chains-api-0.c create mode 100644 testsuites/validation/tr-model-chains-api-1.c create mode 100644 testsuites/validation/tr-model-chains-api.c create mode 100644 testsuites/validation/tr-model-chains-api.h diff --git a/spec/build/testsuites/validation/model-0.yml b/spec/build/testsuites/validation/model-0.yml index 3d6d532159..6ccca50735 100644 --- a/spec/build/testsuites/validation/model-0.yml +++ b/spec/build/testsuites/validation/model-0.yml @@ -18,6 +18,9 @@ source: - testsuites/validation/tr-model-events-mgr-1.c - testsuites/validation/tr-model-events-mgr-2.c - testsuites/validation/tr-model-events-mgr-3.c +- testsuites/validation/tr-model-chains-api.c +- testsuites/validation/tr-model-chains-api-0.c +- testsuites/validation/tr-model-chains-api-1.c stlib: [] target: testsuites/validation/ts-model-0.exe type: build diff --git a/testsuites/validation/tr-model-chains-api-0.c b/testsuites/validation/tr-model-chains-api-0.c new file mode 100644 index 0000000000..c991193e6a --- /dev/null +++ b/testsuites/validation/tr-model-chains-api-0.c @@ -0,0 +1,171 @@ +/****************************************************************************** + * FV2-201 + * + * Copyright (c) 2020 Trinity College Dublin, Ireland + * + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions are + * met: + * + * * Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * + * * Redistributions in binary form must reproduce the above + * copyright notice, this list of conditions and the following + * disclaimer in the documentation and/or other materials provided + * with the distribution. + * + * * Neither the name of the copyright holders nor the names of its + * contributors may be used to endorse or promote products derived + * from this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS + * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT + * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR + * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT + * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, + * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT + * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, + * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY + * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE + * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + ******************************************************************************/ + + +#include +#include +#include +#include "tr-model-chains-api.h" + +/* =============================================== */ + +// @@@ 0 NAME Chain_AutoGen +// @@@ 0 DEF MAX_SIZE 8 +#define MAX_SIZE 8 +// @@@ 0 DCLARRAY Node memory MAX_SIZE +static item memory[MAX_SIZE]; +// @@@ 0 DECL unsigned nptr NULL +static item * nptr = NULL; +// @@@ 0 DECL Control chain +static rtems_chain_control chain; + +/* ===== TEST CODE SEGMENT 0 =====*/ + +static void TestSegment0( Context* ctx ) { + const char rtems_test_name[] = "Model_Chain_API"; + + T_log(T_NORMAL,"@@@ 0 INIT"); + rtems_chain_initialize_empty( &chain ); + T_log(T_NORMAL,"@@@ 0 SEQ chain"); + T_log(T_NORMAL,"@@@ 0 END chain"); + show_chain( &chain, ctx->buffer ); + T_eq_str( ctx->buffer, " 0" ); + + T_log(T_NORMAL,"@@@ 0 PTR nptr 0"); + T_eq_ptr( nptr, NULL ); + T_log(T_NORMAL,"@@@ 0 CALL append 22 3"); + memory[3].val = 22; + rtems_chain_append( &chain, (rtems_chain_node*)&memory[3] ); + + T_log(T_NORMAL,"@@@ 0 SEQ chain"); + T_log(T_NORMAL,"@@@ 0 SCALAR _ 22"); + T_log(T_NORMAL,"@@@ 0 END chain"); + show_chain( &chain, ctx->buffer ); + T_eq_str( ctx->buffer, " 22 0" ); + + T_log(T_NORMAL,"@@@ 0 CALL append 21 6"); + memory[6].val = 21; + rtems_chain_append( &chain, (rtems_chain_node*)&memory[6] ); + + T_log(T_NORMAL,"@@@ 0 SEQ chain"); + T_log(T_NORMAL,"@@@ 0 SCALAR _ 22"); + T_log(T_NORMAL,"@@@ 0 SCALAR _ 21"); + T_log(T_NORMAL,"@@@ 0 END chain"); + show_chain( &chain, ctx->buffer ); + T_eq_str( ctx->buffer, " 22 21 0" ); + + T_log(T_NORMAL,"@@@ 0 CALL append 23 4"); + memory[4].val = 23; + rtems_chain_append( &chain, (rtems_chain_node*)&memory[4] ); + + T_log(T_NORMAL,"@@@ 0 SEQ chain"); + T_log(T_NORMAL,"@@@ 0 SCALAR _ 22"); + T_log(T_NORMAL,"@@@ 0 SCALAR _ 21"); + T_log(T_NORMAL,"@@@ 0 SCALAR _ 23"); + T_log(T_NORMAL,"@@@ 0 END chain"); + show_chain( &chain, ctx->buffer ); + T_eq_str( ctx->buffer, " 22 21 23 0" ); + + T_log(T_NORMAL,"@@@ 0 CALL getNonNull 3"); + nptr = get_item( &chain ); + T_eq_ptr( nptr, &memory[3] ); + + T_log(T_NORMAL,"@@@ 0 SEQ chain"); + T_log(T_NORMAL,"@@@ 0 SCALAR _ 21"); + T_log(T_NORMAL,"@@@ 0 SCALAR _ 23"); + T_log(T_NORMAL,"@@@ 0 END chain"); + show_chain( &chain, ctx->buffer ); + T_eq_str( ctx->buffer, " 21 23 0" ); + + T_log(T_NORMAL,"@@@ 0 PTR nptr 3"); + T_eq_ptr( nptr, &memory[3] ); + T_log(T_NORMAL,"@@@ 0 STRUCT nptr"); + T_log(T_NORMAL,"@@@ 0 SCALAR itm 22"); + T_eq_int( nptr->val, 22 ); + T_log(T_NORMAL,"@@@ 0 END nptr"); + T_log(T_NORMAL,"@@@ 0 CALL getNonNull 6"); + nptr = get_item( &chain ); + T_eq_ptr( nptr, &memory[6] ); + + T_log(T_NORMAL,"@@@ 0 SEQ chain"); + T_log(T_NORMAL,"@@@ 0 SCALAR _ 23"); + T_log(T_NORMAL,"@@@ 0 END chain"); + show_chain( &chain, ctx->buffer ); + T_eq_str( ctx->buffer, " 23 0" ); + + T_log(T_NORMAL,"@@@ 0 PTR nptr 6"); + T_eq_ptr( nptr, &memory[6] ); + T_log(T_NORMAL,"@@@ 0 STRUCT nptr"); + T_log(T_NORMAL,"@@@ 0 SCALAR itm 21"); + T_eq_int( nptr->val, 21 ); + T_log(T_NORMAL,"@@@ 0 END nptr"); + T_log(T_NORMAL,"@@@ 0 CALL getNonNull 4"); + nptr = get_item( &chain ); + T_eq_ptr( nptr, &memory[4] ); + + T_log(T_NORMAL,"@@@ 0 SEQ chain"); + T_log(T_NORMAL,"@@@ 0 END chain"); + show_chain( &chain, ctx->buffer ); + T_eq_str( ctx->buffer, " 0" ); + + T_log(T_NORMAL,"@@@ 0 PTR nptr 4"); + T_eq_ptr( nptr, &memory[4] ); + T_log(T_NORMAL,"@@@ 0 STRUCT nptr"); + T_log(T_NORMAL,"@@@ 0 SCALAR itm 23"); + T_eq_int( nptr->val, 23 ); + T_log(T_NORMAL,"@@@ 0 END nptr"); +} + +/* =============================================== */ + + +/* post-amble empty for now */ +void RtemsModelChainsAPI_Run0( +) +{ + Context ctx; + + memset( &ctx, 0, sizeof( ctx ) ); + + T_set_verbosity( T_NORMAL ); + + TestSegment0( &ctx ); +} + +T_TEST_CASE( RtemsModelChainAPI0 ) +{ + RtemsModelChainsAPI_Run0( ); +} diff --git a/testsuites/validation/tr-model-chains-api-1.c b/testsuites/validation/tr-model-chains-api-1.c new file mode 100644 index 0000000000..2c6642ac0d --- /dev/null +++ b/testsuites/validation/tr-model-chains-api-1.c @@ -0,0 +1,169 @@ +/****************************************************************************** + * FV2-201 + * + * Copyright (c) 2020 Trinity College Dublin, Ireland + * + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions are + * met: + * + * * Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * + * * Redistributions in binary form must reproduce the above + * copyright notice, this list of conditions and the following + * disclaimer in the documentation and/or other materials provided + * with the distribution. + * + * * Neither the name of the copyright holders nor the names of its + * contributors may be used to endorse or promote products derived + * from this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS + * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT + * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR + * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT + * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, + * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT + * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, + * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY + * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE + * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + ******************************************************************************/ + + +#include +#include +#include +#include "tr-model-chains-api.h" + +/* =============================================== */ + +// @@@ 0 NAME Chain_AutoGen +// @@@ 0 DEF MAX_SIZE 8 +#define MAX_SIZE 8 +// @@@ 0 DCLARRAY Node memory MAX_SIZE +static item memory[MAX_SIZE]; +// @@@ 0 DECL unsigned nptr NULL +static item * nptr = NULL; +// @@@ 0 DECL Control chain +static rtems_chain_control chain; + +/* ===== TEST CODE SEGMENT 0 =====*/ + +static void TestSegment0( Context* ctx ) { + const char rtems_test_name[] = "Model_Chain_API"; + + T_log(T_NORMAL,"@@@ 0 INIT"); + rtems_chain_initialize_empty( &chain ); + T_log(T_NORMAL,"@@@ 0 SEQ chain"); + T_log(T_NORMAL,"@@@ 0 END chain"); + show_chain( &chain, ctx->buffer ); + T_eq_str( ctx->buffer, " 0" ); + + T_log(T_NORMAL,"@@@ 0 PTR nptr 0"); + T_eq_ptr( nptr, NULL ); + T_log(T_NORMAL,"@@@ 0 CALL append 21 6"); + memory[6].val = 21; + rtems_chain_append( &chain, (rtems_chain_node*)&memory[6] ); + + T_log(T_NORMAL,"@@@ 0 SEQ chain"); + T_log(T_NORMAL,"@@@ 0 SCALAR _ 21"); + T_log(T_NORMAL,"@@@ 0 END chain"); + show_chain( &chain, ctx->buffer ); + T_eq_str( ctx->buffer, " 21 0" ); + + T_log(T_NORMAL,"@@@ 0 CALL append 22 3"); + memory[3].val = 22; + rtems_chain_append( &chain, (rtems_chain_node*)&memory[3] ); + + T_log(T_NORMAL,"@@@ 0 SEQ chain"); + T_log(T_NORMAL,"@@@ 0 SCALAR _ 21"); + T_log(T_NORMAL,"@@@ 0 SCALAR _ 22"); + T_log(T_NORMAL,"@@@ 0 END chain"); + show_chain( &chain, ctx->buffer ); + T_eq_str( ctx->buffer, " 21 22 0" ); + + T_log(T_NORMAL,"@@@ 0 CALL getNonNull 6"); + nptr = get_item( &chain ); + T_eq_ptr( nptr, &memory[6] ); + + T_log(T_NORMAL,"@@@ 0 SEQ chain"); + T_log(T_NORMAL,"@@@ 0 SCALAR _ 22"); + T_log(T_NORMAL,"@@@ 0 END chain"); + show_chain( &chain, ctx->buffer ); + T_eq_str( ctx->buffer, " 22 0" ); + + T_log(T_NORMAL,"@@@ 0 PTR nptr 6"); + T_eq_ptr( nptr, &memory[6] ); + T_log(T_NORMAL,"@@@ 0 STRUCT nptr"); + T_log(T_NORMAL,"@@@ 0 SCALAR itm 21"); + T_eq_int( nptr->val, 21 ); + T_log(T_NORMAL,"@@@ 0 END nptr"); + T_log(T_NORMAL,"@@@ 0 CALL append 23 4"); + memory[4].val = 23; + rtems_chain_append( &chain, (rtems_chain_node*)&memory[4] ); + + T_log(T_NORMAL,"@@@ 0 SEQ chain"); + T_log(T_NORMAL,"@@@ 0 SCALAR _ 22"); + T_log(T_NORMAL,"@@@ 0 SCALAR _ 23"); + T_log(T_NORMAL,"@@@ 0 END chain"); + show_chain( &chain, ctx->buffer ); + T_eq_str( ctx->buffer, " 22 23 0" ); + + T_log(T_NORMAL,"@@@ 0 CALL getNonNull 3"); + nptr = get_item( &chain ); + T_eq_ptr( nptr, &memory[3] ); + + T_log(T_NORMAL,"@@@ 0 SEQ chain"); + T_log(T_NORMAL,"@@@ 0 SCALAR _ 23"); + T_log(T_NORMAL,"@@@ 0 END chain"); + show_chain( &chain, ctx->buffer ); + T_eq_str( ctx->buffer, " 23 0" ); + + T_log(T_NORMAL,"@@@ 0 PTR nptr 3"); + T_eq_ptr( nptr, &memory[3] ); + T_log(T_NORMAL,"@@@ 0 STRUCT nptr"); + T_log(T_NORMAL,"@@@ 0 SCALAR itm 22"); + T_eq_int( nptr->val, 22 ); + T_log(T_NORMAL,"@@@ 0 END nptr"); + T_log(T_NORMAL,"@@@ 0 CALL getNonNull 4"); + nptr = get_item( &chain ); + T_eq_ptr( nptr, &memory[4] ); + + T_log(T_NORMAL,"@@@ 0 SEQ chain"); + T_log(T_NORMAL,"@@@ 0 END chain"); + show_chain( &chain, ctx->buffer ); + T_eq_str( ctx->buffer, " 0" ); + + T_log(T_NORMAL,"@@@ 0 PTR nptr 4"); + T_eq_ptr( nptr, &memory[4] ); + T_log(T_NORMAL,"@@@ 0 STRUCT nptr"); + T_log(T_NORMAL,"@@@ 0 SCALAR itm 23"); + T_eq_int( nptr->val, 23 ); + T_log(T_NORMAL,"@@@ 0 END nptr"); +} + +/* =============================================== */ + + +/* post-amble empty for now */ +void RtemsModelChainsAPI_Run1( +) +{ + Context ctx; + + memset( &ctx, 0, sizeof( ctx ) ); + + T_set_verbosity( T_NORMAL ); + + TestSegment0( &ctx ); +} + +T_TEST_CASE( RtemsModelChainAPI1 ) +{ + RtemsModelChainsAPI_Run1( ); +} diff --git a/testsuites/validation/tr-model-chains-api.c b/testsuites/validation/tr-model-chains-api.c new file mode 100644 index 0000000000..20b2768574 --- /dev/null +++ b/testsuites/validation/tr-model-chains-api.c @@ -0,0 +1,68 @@ +/****************************************************************************** + * FV2-201 + * + * Copyright (c) 2020 Trinity College Dublin, Ireland + * + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions are + * met: + * + * * Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * + * * Redistributions in binary form must reproduce the above + * copyright notice, this list of conditions and the following + * disclaimer in the documentation and/or other materials provided + * with the distribution. + * + * * Neither the name of the copyright holders nor the names of its + * contributors may be used to endorse or promote products derived + * from this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS + * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT + * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR + * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT + * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, + * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT + * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, + * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY + * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE + * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + ******************************************************************************/ + +#include +#include +#include +#include "tr-model-chains-api.h" + +item* get_item( rtems_chain_control* control ) +{ + return (item*) rtems_chain_get( control ); +} + +void show_chain( rtems_chain_control *control, char *str ) +{ + item *itm; + rtems_chain_node *nod; + int cp, len; + char *s; + + nod = (rtems_chain_node *)&control->Head; + itm = (item *)nod->next; + // itm is not NULL + s = str; + len = BUFSIZE; + while ( (item*)((rtems_chain_node*)itm)->next ) { // NULL when at control + cp = T_snprintf( s, len, " %d",itm->val ); + s += cp; + len -= cp; + itm = (item*)((rtems_chain_node*)itm)->next; + } + cp = T_snprintf( s, len, " 0" ); + s += cp; + len -= cp; +} diff --git a/testsuites/validation/tr-model-chains-api.h b/testsuites/validation/tr-model-chains-api.h new file mode 100644 index 0000000000..cb7f95f7a9 --- /dev/null +++ b/testsuites/validation/tr-model-chains-api.h @@ -0,0 +1,55 @@ +/****************************************************************************** + * FV2-201 + * + * Copyright (c) 2020 Trinity College Dublin, Ireland + * + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions are + * met: + * + * * Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * + * * Redistributions in binary form must reproduce the above + * copyright notice, this list of conditions and the following + * disclaimer in the documentation and/or other materials provided + * with the distribution. + * + * * Neither the name of the copyright holders nor the names of its + * contributors may be used to endorse or promote products derived + * from this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS + * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT + * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR + * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT + * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, + * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT + * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, + * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY + * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE + * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + ******************************************************************************/ + + +typedef struct item +{ + rtems_chain_node node; + int val; +} item; + +item* get_item( rtems_chain_control* control); + +void show_chain(rtems_chain_control *control, char *str); + +#define BUFSIZE 80 + +typedef struct { + int stuff; + char buffer[BUFSIZE]; +} RtemsModelChainsAPI_Context; + +typedef RtemsModelChainsAPI_Context Context; -- cgit v1.2.3