summaryrefslogtreecommitdiffstats
path: root/spec/req/rtems/ident-local.yml
diff options
context:
space:
mode:
Diffstat (limited to 'spec/req/rtems/ident-local.yml')
-rw-r--r--spec/req/rtems/ident-local.yml165
1 files changed, 0 insertions, 165 deletions
diff --git a/spec/req/rtems/ident-local.yml b/spec/req/rtems/ident-local.yml
deleted file mode 100644
index 416d8fc6..00000000
--- a/spec/req/rtems/ident-local.yml
+++ /dev/null
@@ -1,165 +0,0 @@
-SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
-copyrights:
-- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
-enabled-by: true
-functional-type: action
-links: []
-post-conditions:
-- name: Status
- states:
- - name: Ok
- test-code: |
- T_rsc( ctx->status, RTEMS_SUCCESSFUL );
- text: |
- The status shall be RTEMS_SUCCESSFUL.
- - name: InvAddr
- test-code: |
- T_rsc( ctx->status, RTEMS_INVALID_ADDRESS );
- text: |
- The status shall be RTEMS_INVALID_ADDRESS.
- - name: InvName
- test-code: |
- T_rsc( ctx->status, RTEMS_INVALID_NAME );
- text: |
- The status shall be RTEMS_INVALID_NAME.
- test-epilogue: null
- test-prologue: null
-- name: Id
- states:
- - name: Nop
- test-code: |
- T_eq_ptr( ctx->id, &ctx->id_value );
- T_eq_u32( ctx->id_value, 0xffffffff );
- text: |
- The value of the object identifier referenced by the id parameter shall
- be the value before the action.
- - name: NullPtr
- test-code: |
- T_null( ctx->id )
- text: |
- The id parameter shall be NULL.
- - name: Id
- test-code: |
- T_eq_ptr( ctx->id, &ctx->id_value );
- T_eq_u32( ctx->id_value, ctx->id_local_object );
- text: |
- The value of the object identifier referenced by the id parameter shall
- be the identifier of a local object of the specified class with a name
- equal to the name parameter. If more than one local object of the
- specified class with such a name exists, then it shall be the identifier
- of the object with the lowest object index.
- test-epilogue: null
- test-prologue: null
-pre-conditions:
-- name: Name
- states:
- - name: Invalid
- test-code: |
- ctx->name = 1;
- text: |
- The name parameter shall not equal to a name of an active Classic API
- object of the specified class.
- - name: Valid
- test-code: |
- ctx->name = ClassicObjectLocalIdentName;
- text: |
- The name parameter shall equal to a name of an active Classic API object
- of the specified class.
- test-epilogue: null
- test-prologue: null
-- name: Id
- states:
- - name: NullPtr
- test-code: |
- ctx->id = NULL;
- text: |
- The id parameter shall be NULL.
- - name: Valid
- test-code: |
- ctx->id_value = 0xffffffff;
- ctx->id = &ctx->id_value;
- text: |
- The id parameter shall point to an object identifier.
- test-epilogue: null
- test-prologue: null
-rationale: null
-references: []
-requirement-type: functional
-skip-reasons: {}
-test-action: |
- ctx->status = ( *ctx->action )( ctx->name, ctx->id );
-test-brief: null
-test-cleanup: null
-test-context:
-- brief: null
- description: null
- member: rtems_status_code status
-- brief: null
- description: null
- member: rtems_name name
-- brief: null
- description: null
- member: rtems_id *id
-- brief: null
- description: null
- member: rtems_id id_value
-test-context-support: null
-test-description: null
-test-header:
- code: |
- #define ClassicObjectLocalIdentName \
- rtems_build_name( 'I', 'D', 'N', 'T' )
- includes:
- - rtems.h
- local-includes: []
- run-params:
- - description: |
- is the identifier of an active object of the class under test with the
- name ClassicObjectLocalIdentName.
- dir: null
- name: id_local_object
- specifier: rtems_id ${.:name}
- - description: |
- is the action handler.
- dir: null
- name: action
- specifier: rtems_status_code ( *${.:name} )( rtems_name, rtems_id * )
- target: testsuites/validation/tr-object-ident-local.h
-test-includes: []
-test-local-includes:
-- tr-object-ident-local.h
-test-prepare: null
-test-setup: null
-test-stop: null
-test-support: null
-test-target: testsuites/validation/tr-object-ident-local.c
-test-teardown: null
-text: ${.:text-template}
-transition-map:
-- enabled-by: true
- post-conditions:
- Id: NullPtr
- Status: InvAddr
- pre-conditions:
- Id:
- - NullPtr
- Name: all
-- enabled-by: true
- post-conditions:
- Id: Nop
- Status: InvName
- pre-conditions:
- Id:
- - Valid
- Name:
- - Invalid
-- enabled-by: true
- post-conditions:
- Id: Id
- Status: Ok
- pre-conditions:
- Id:
- - Valid
- Name:
- - Valid
-type: requirement