From 0ddfd4e5f19e30e80e9d7a77630e94db3ba684ab Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Tue, 21 Nov 2023 11:13:15 +0100 Subject: spec: Validate implementation interfaces --- spec/val/implementation-interface.yml | 347 ++++++++++++++++++++++++++++++++++ 1 file changed, 347 insertions(+) create mode 100644 spec/val/implementation-interface.yml diff --git a/spec/val/implementation-interface.yml b/spec/val/implementation-interface.yml new file mode 100644 index 00000000..1dffc946 --- /dev/null +++ b/spec/val/implementation-interface.yml @@ -0,0 +1,347 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2023 embedded brains GmbH & Co. KG +enabled-by: true +links: +- role: validation + uid: /bsp/if/acfg-idle-task-stack-size +- role: validation + uid: /bsp/if/acfg-interrupt-stack-size +- role: validation + uid: /bsp/if/acfg-malloc-supports-sbrk +- role: validation + uid: /bsp/if/acfg-prerequisite-drivers +- role: validation + uid: /bsp/if/boot-card +- role: validation + uid: /bsp/if/fatal-leon3-clock-initialization +- role: validation + uid: /bsp/if/fatal-leon3-invalid-cache-config-boot-processor +- role: validation + uid: /bsp/if/fatal-leon3-invalid-cache-config-secondary-processor +- role: validation + uid: /bsp/sparc/leon3/if/idle-thread +- role: validation + uid: /rtems/io/if/mount +- role: validation + uid: /rtems/io/if/print-printer +- role: validation + uid: /rtems/io/if/printer +- role: validation + uid: /rtems/io/if/unmount +- role: validation + uid: /score/atomic/if/uint +- role: validation + uid: /score/chain/if/control +- role: validation + uid: /score/chain/if/node +- role: validation + uid: /score/context/if/fp-size +- role: validation + uid: /score/cpu/if/all-tasks-are-fp +- role: validation + uid: /score/cpu/if/exception-frame +- role: validation + uid: /score/cpu/if/exception-frame-print +- role: validation + uid: /score/cpu/if/hardware-fp +- role: validation + uid: /score/cpu/if/heap-alignment +- role: validation + uid: /score/cpu/if/interrupt-frame +- role: validation + uid: /score/cpu/if/interrupt-stack-alignment +- role: validation + uid: /score/cpu/if/isr-passes-frame-pointer +- role: validation + uid: /score/cpu/if/maximum-processors +- role: validation + uid: /score/cpu/if/modes-interrupt-mask +- role: validation + uid: /score/cpu/if/simple-vectored-interrupts +- role: validation + uid: /score/cpu/if/sizeof-pointer +- role: validation + uid: /score/cpu/if/stack-alignment +- role: validation + uid: /score/cpu/if/stack-minimum-size +- role: validation + uid: /score/cpu/if/uint32ptr +- role: validation + uid: /score/heap/if/information-block +- role: validation + uid: /score/interr/if/bad-thread-dispatch-disable-level +- role: validation + uid: /score/interr/if/bad-thread-dispatch-environment +- role: validation + uid: /score/interr/if/code +- role: validation + uid: /score/interr/if/idle-thread-create-failed +- role: validation + uid: /score/interr/if/idle-thread-stack-too-small +- role: validation + uid: /score/interr/if/init-task-construct-failed +- role: validation + uid: /score/interr/if/internal-error-core +- role: validation + uid: /score/interr/if/internal-error-rtems-api +- role: validation + uid: /score/interr/if/no-memory-for-idle-task-stack +- role: validation + uid: /score/interr/if/source +- role: validation + uid: /score/interr/if/source-bsp +- role: validation + uid: /score/interr/if/source-exit +- role: validation + uid: /score/interr/if/source-panic +- role: validation + uid: /score/interr/if/source-smp +- role: validation + uid: /score/interr/if/source-spurious-interrupt +- role: validation + uid: /score/interr/if/thread-exitted +- role: validation + uid: /score/interr/if/thread-queue-deadlock +- role: validation + uid: /score/interr/if/thread-queue-enqueue-sticky-from-bad-state +- role: validation + uid: /score/interr/if/too-large-tls-size +- role: validation + uid: /score/isr/if/handler +- role: validation + uid: /score/isr/if/handler-entry +- role: validation + uid: /score/isr/if/is-in-progress +- role: validation + uid: /score/isr/if/level +- role: validation + uid: /score/isr/if/local-disable +- role: validation + uid: /score/isr/if/local-enable +- role: validation + uid: /score/isr/if/local-flash +- role: validation + uid: /score/isr/if/lock-context +- role: validation + uid: /score/isr/if/lock-control +- role: validation + uid: /score/isr/if/lock-declare +- role: validation + uid: /score/isr/if/lock-define +- role: validation + uid: /score/isr/if/lock-destroy +- role: validation + uid: /score/isr/if/lock-initialize +- role: validation + uid: /score/isr/if/lock-initializer +- role: validation + uid: /score/isr/if/lock-isr-disable +- role: validation + uid: /score/isr/if/lock-isr-disable-acquire +- role: validation + uid: /score/isr/if/lock-member +- role: validation + uid: /score/isr/if/lock-reference +- role: validation + uid: /score/isr/if/lock-release-isr-enable +- role: validation + uid: /score/isr/if/stack-size-object +- role: validation + uid: /score/isr/if/vector-number +- role: validation + uid: /score/memory/if/zero-before-use +- role: validation + uid: /score/mpci/if/configuration +- role: validation + uid: /score/mpci/if/configuration-type +- role: validation + uid: /score/mpci/if/control +- role: validation + uid: /score/mpci/if/entry +- role: validation + uid: /score/mpci/if/get-packet-entry +- role: validation + uid: /score/mpci/if/initialization-entry +- role: validation + uid: /score/mpci/if/packet-classes +- role: validation + uid: /score/mpci/if/packet-minimum-hetero-conversion +- role: validation + uid: /score/mpci/if/packet-minimum-size +- role: validation + uid: /score/mpci/if/packet-prefix +- role: validation + uid: /score/mpci/if/receive-entry +- role: validation + uid: /score/mpci/if/return-packet-entry +- role: validation + uid: /score/mpci/if/send-entry +- role: validation + uid: /score/msgq/if/buffer +- role: validation + uid: /score/object/if/apis-last +- role: validation + uid: /score/object/if/build-id +- role: validation + uid: /score/object/if/build-name +- role: validation + uid: /score/object/if/get-api +- role: validation + uid: /score/object/if/get-class +- role: validation + uid: /score/object/if/get-index +- role: validation + uid: /score/object/if/get-node +- role: validation + uid: /score/object/if/id +- role: validation + uid: /score/object/if/id-final +- role: validation + uid: /score/object/if/id-final-index +- role: validation + uid: /score/object/if/id-initial +- role: validation + uid: /score/object/if/id-initial-index +- role: validation + uid: /score/object/if/id-none +- role: validation + uid: /score/object/if/id-of-self +- role: validation + uid: /score/object/if/internal-api +- role: validation + uid: /score/object/if/is-unlimited +- role: validation + uid: /score/object/if/local-node-default +- role: validation + uid: /score/object/if/local-node-multiprocessing +- role: validation + uid: /score/object/if/maximum-per-allocation +- role: validation + uid: /score/object/if/search-all-nodes +- role: validation + uid: /score/object/if/search-local-nodes +- role: validation + uid: /score/object/if/search-other-nodes +- role: validation + uid: /score/object/if/unlimited-objects +- role: validation + uid: /score/object/if/who-am-i +- role: validation + uid: /score/smp/if/fatal-boot-processor-not-assigned-to-scheduler +- role: validation + uid: /score/smp/if/fatal-mandatory-processor-not-present +- role: validation + uid: /score/smp/if/fatal-multitasking-start-on-invalid-processor +- role: validation + uid: /score/smp/if/fatal-multitasking-start-on-unassigned-processor +- role: validation + uid: /score/smp/if/fatal-scheduler-requires-exactly-one-processor +- role: validation + uid: /score/smp/if/fatal-shutdown-response +- role: validation + uid: /score/smp/if/fatal-start-of-mandatory-processor-failed +- role: validation + uid: /score/smp/if/fatal-start-on-not-online-processor +- role: validation + uid: /score/smp/if/fatal-wrong-cpu-state-to-perform-jobs +- role: validation + uid: /score/smp/if/get-current-processor +- role: validation + uid: /score/smp/if/get-processor-maximum +- role: validation + uid: /score/smp/if/lock-acquire +- role: validation + uid: /score/smp/if/lock-release-default +- role: validation + uid: /score/smp/if/lock-release-no-inline +- role: validation + uid: /score/smp/if/processor-configured-maximum +- role: validation + uid: /score/stack/if/allocator-allocate +- role: validation + uid: /score/stack/if/allocator-allocate-for-idle +- role: validation + uid: /score/stack/if/allocator-allocate-type +- role: validation + uid: /score/stack/if/allocator-avoids-workspace +- role: validation + uid: /score/stack/if/allocator-free +- role: validation + uid: /score/stack/if/allocator-free-type +- role: validation + uid: /score/stack/if/allocator-initialize +- role: validation + uid: /score/stack/if/allocator-initialize-type +- role: validation + uid: /score/stack/if/minimum-size +- role: validation + uid: /score/status/if/deadlock +- role: validation + uid: /score/status/if/invalid-number +- role: validation + uid: /score/status/if/maximum-count-exceeded +- role: validation + uid: /score/status/if/mutex-ceiling-violated +- role: validation + uid: /score/status/if/not-owner +- role: validation + uid: /score/status/if/successful +- role: validation + uid: /score/status/if/timeout +- role: validation + uid: /score/status/if/unavailable +- role: validation + uid: /score/status/if/unsatisfied +- role: validation + uid: /score/thread/if/idle-body +- role: validation + uid: /score/thread/if/idle-stack-size +- role: validation + uid: /score/userext/if/fatal +- role: validation + uid: /score/userext/if/initial-count +- role: validation + uid: /score/userext/if/initial-extensions +- role: validation + uid: /score/userext/if/table +- role: validation + uid: /score/userext/if/thread-begin +- role: validation + uid: /score/userext/if/thread-create +- role: validation + uid: /score/userext/if/thread-delete +- role: validation + uid: /score/userext/if/thread-exitted +- role: validation + uid: /score/userext/if/thread-restart +- role: validation + uid: /score/userext/if/thread-start +- role: validation + uid: /score/userext/if/thread-switch +- role: validation + uid: /score/userext/if/thread-terminate +- role: validation + uid: /score/watchdog/if/interval +- role: validation + uid: /score/watchdog/if/microseconds-per-tick +- role: validation + uid: /score/watchdog/if/nanoseconds-per-tick +- role: validation + uid: /score/watchdog/if/no-timeout +- role: validation + uid: /score/watchdog/if/ticks-per-second +- role: validation + uid: /score/watchdog/if/ticks-per-timeslice +- role: validation + uid: /score/watchdog/if/ticks-since-boot +- role: validation + uid: /score/wkspace/if/is-unified +- role: validation + uid: /score/wkspace/if/size +method: by-review-of-design +references: [] +text: | + This interface is an implementation interface. It is implicitly validated by + the ${/glossary/api:/term} elements which use this interface. +type: validation -- cgit v1.2.3