summaryrefslogtreecommitdiffstats
path: root/c/src/ada-tests/mptests/mp14/mptest.ads
diff options
context:
space:
mode:
Diffstat (limited to 'c/src/ada-tests/mptests/mp14/mptest.ads')
-rw-r--r--c/src/ada-tests/mptests/mp14/mptest.ads246
1 files changed, 0 insertions, 246 deletions
diff --git a/c/src/ada-tests/mptests/mp14/mptest.ads b/c/src/ada-tests/mptests/mp14/mptest.ads
deleted file mode 100644
index 1cf0b80942..0000000000
--- a/c/src/ada-tests/mptests/mp14/mptest.ads
+++ /dev/null
@@ -1,246 +0,0 @@
---
--- MPTEST / SPECIFICATION
---
--- DESCRIPTION:
---
--- This package is the specification for Test 14 of the RTEMS
--- Multiprocessor Test Suite.
---
--- DEPENDENCIES:
---
---
---
--- COPYRIGHT (c) 1989-2011.
--- On-Line Applications Research Corporation (OAR).
---
--- The license and distribution terms for this file may in
--- the file LICENSE in this distribution or at
--- http://www.rtems.org/license/LICENSE.
---
-
-with RTEMS;
-with RTEMS.TASKS;
-
-package MPTEST is
-
---
--- These arrays contain the IDs and NAMEs of all RTEMS tasks created
--- by this test for passing event sets.
---
-
- TASK_ID : array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.ID;
- TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.NAME;
---
--- These arrays contain the IDs and NAMEs of all RTEMS tasks created
--- by this test for passing event sets.
---
-
- EVENT_TASK_ID : array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.ID;
- EVENT_TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.NAME;
-
---
--- These arrays contain the IDs and NAMEs of all RTEMS tasks created
--- by this test for manipulating semaphores.
---
-
- SEMAPHORE_TASK_ID :
- array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.ID;
- SEMAPHORE_TASK_NAME :
- array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.NAME;
-
---
--- These arrays contain the IDs and NAMEs of all RTEMS tasks created
--- by this test for passing messages.
---
-
- QUEUE_TASK_ID : array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.ID;
- QUEUE_TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.NAME;
-
---
--- These arrays contain the IDs and NAMEs of all RTEMS tasks created
--- by this test for manipulating the global partitions.
---
-
- PARTITION_TASK_ID :
- array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.ID;
- PARTITION_TASK_NAME :
- array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.NAME;
-
---
--- These arrays contain the IDs and NAMEs of all RTEMS partitions
--- created by this test.
---
-
- PARTITION_ID : array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.ID;
- PARTITION_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.NAME;
-
---
--- These arrays contain the IDs and NAMEs of all RTEMS semaphores
--- created by this test.
---
-
- SEMAPHORE_ID : array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.ID;
- SEMAPHORE_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.NAME;
-
---
--- These arrays contain the IDs and NAMEs of all RTEMS message_queues
--- created by this test.
---
-
- QUEUE_ID : array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.ID;
- QUEUE_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.NAME;
-
---
---
--- These arrays contain the IDs and NAMEs of all RTEMS timers
--- created by this test.
---
-
- TIMER_ID : array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.ID;
- TIMER_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.NAME;
-
---
--- The following are message buffers used to contain the test messages
--- and pointers to those buffers.
---
-
- BUFFER_AREAS : array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.BUFFER;
- BUFFERS : array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.ADDRESS;
-
---
--- This is the area used for the partition.
---
-
- PARTITION_AREA :
- array ( RTEMS.UNSIGNED32 range 0 .. 16#7FFF# ) of RTEMS.UNSIGNED8;
- for PARTITION_AREA'ALIGNMENT use RTEMS.STRUCTURE_ALIGNMENT;
-
---
--- The following constants control the flow of "dot" indicators
--- from the various test componenents.
---
-
- EVENT_TASK_DOT_COUNT : constant RTEMS.UNSIGNED32 := 100;
- EVENT_SEND_DOT_COUNT : constant RTEMS.UNSIGNED32 := 100;
- DELAYED_EVENT_DOT_COUNT : constant RTEMS.UNSIGNED32 := 1000;
- MESSAGE_DOT_COUNT : constant RTEMS.UNSIGNED32 := 200;
- PARTITION_DOT_COUNT : constant RTEMS.UNSIGNED32 := 200;
- SEMAPHORE_DOT_COUNT : constant RTEMS.UNSIGNED32 := 200;
-
---
--- These contain the IDs and NAMEs of the RTEMS timers used
--- by this test to stop.
---
-
- STOP_TIMER_ID : RTEMS.ID;
- STOP_TIMER_NAME : RTEMS.NAME;
-
---
--- This variable is set when the test should stop executing.
---
-
- STOP_TEST : BOOLEAN;
-
---
--- EXIT_TEST
---
--- DESCRIPTION:
---
--- This subprogram is invoked to stop this test.
---
-
- procedure EXIT_TEST;
-
---
--- DELAYED_SEND_EVENT
---
--- DESCRIPTION:
---
--- This subprogram is a timer service routine which sends an
--- event set to a waiting task.
---
-
- procedure DELAYED_SEND_EVENT (
- TIMER_ID : in RTEMS.ID;
- IGNORED_ADDRESS : in RTEMS.ADDRESS
- );
-
---
--- INIT
---
--- DESCRIPTION:
---
--- This RTEMS task initializes the application.
---
-
- procedure INIT (
- ARGUMENT : in RTEMS.TASKS.ARGUMENT
- );
- pragma Convention (C, INIT);
-
---
--- TEST_TASK
---
--- DESCRIPTION:
---
--- This is one of the test tasks.
---
-
- procedure TEST_TASK (
- ARGUMENT : in RTEMS.TASKS.ARGUMENT
- );
- pragma Convention (C, TEST_TASK);
-
---
--- DELAYED_EVENTS_TASK
---
--- DESCRIPTION:
---
--- This is one of the test tasks.
---
-
- procedure DELAYED_EVENTS_TASK (
- ARGUMENT : in RTEMS.TASKS.ARGUMENT
- );
- pragma Convention (C, DELAYED_EVENTS_TASK);
-
---
--- MESSAGE_QUEUE_TASK
---
--- DESCRIPTION:
---
--- This is one of the test tasks.
---
-
- procedure MESSAGE_QUEUE_TASK (
- INDEX : in RTEMS.TASKS.ARGUMENT
- );
- pragma Convention (C, MESSAGE_QUEUE_TASK);
-
---
--- PARTITION_TASK
---
--- DESCRIPTION:
---
--- This is one of the test tasks.
---
-
- procedure PARTITION_TASK (
- IGNORED : in RTEMS.TASKS.ARGUMENT
- );
- pragma Convention (C, PARTITION_TASK);
-
---
--- SEMAPHORE_TASK
---
--- DESCRIPTION:
---
--- This is one of the test tasks.
---
-
- procedure SEMAPHORE_TASK (
- ARGUMENT : in RTEMS.TASKS.ARGUMENT
- );
- pragma Convention (C, SEMAPHORE_TASK);
-
-end MPTEST;