source: rtems/c/src/ada-tests/sptests/sp12/sptest.ads @ 1bce637

4.104.114.84.95
Last change on this file since 1bce637 was 7f79b673, checked in by Joel Sherrill <joel.sherrill@…>, on 06/02/97 at 22:37:28

readded body for "main" procedures

  • Property mode set to 100644
File size: 2.6 KB
Line 
1--
2--  SPTEST / SPECIFICATION
3--
4--  DESCRIPTION:
5--
6--  This package is the specification for Test 12 of the RTEMS
7--  Single Processor Test Suite.
8--
9--  DEPENDENCIES:
10--
11-- 
12--
13--  COPYRIGHT (c) 1989-1997.
14--  On-Line Applications Research Corporation (OAR).
15--  Copyright assigned to U.S. Government, 1994.
16--
17--  The license and distribution terms for this file may in
18--  the file LICENSE in this distribution or at
19--  http://www.OARcorp.com/rtems/license.html.
20--
21--  $Id$
22--
23
24with RTEMS;
25
26package SPTEST is
27
28--
29--  These arrays contain the IDs and NAMEs of all RTEMS tasks created
30--  by this test.
31--
32
33   TASK_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 5 ) of RTEMS.ID;
34   TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 5 ) of RTEMS.NAME;
35
36   PRIORITY_TASK_ID   : array ( 1 .. 5 ) of RTEMS.ID;
37   PRIORITY_TASK_NAME : array ( 1 .. 5 ) of RTEMS.NAME;
38   TASK_PRIORITY      : array ( 1 .. 5 ) of RTEMS.TASK_PRIORITY;
39
40   SEMAPHORE_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.ID;
41   SEMAPHORE_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.NAME;
42
43--
44--  INIT
45--
46--  DESCRIPTION:
47--
48--  This RTEMS task initializes the application.
49--
50
51   procedure INIT (
52      ARGUMENT : in     RTEMS.TASK_ARGUMENT
53   );
54
55--
56--  PRIORITY_TEST_DRIVER
57--
58--  DESCRIPTION:
59--
60--  This subprogram creates and starts RTEMS tasks of different priority
61--  so that those tasks may exercise the priority blocking algorithm.
62--
63
64   procedure PRIORITY_TEST_DRIVER (
65      PRIORITY_BASE : in     RTEMS.UNSIGNED32
66   );
67
68--
69--  PRIORITY_TASK
70--
71--  DESCRIPTION:
72--
73--  Copies of this RTEMS are executed at different priorities and each
74--  instantiation blocks on a semaphore with priority blocking.  This
75--  is done to exercise the priority blocking algorithms.
76--
77
78   procedure PRIORITY_TASK (
79      ITS_INDEX : in     RTEMS.TASK_ARGUMENT
80   );
81
82--
83--  TASK_1
84--
85--  DESCRIPTION:
86--
87--  This RTEMS task tests the Semaphore Manager.
88--
89
90   procedure TASK_1 (
91      ARGUMENT : in     RTEMS.TASK_ARGUMENT
92   );
93
94--
95--  TASK_2
96--
97--  DESCRIPTION:
98--
99--  This RTEMS task tests the Semaphore Manager.
100--
101
102   procedure TASK_2 (
103      ARGUMENT : in     RTEMS.TASK_ARGUMENT
104   );
105
106--
107--  TASK_3
108--
109--  DESCRIPTION:
110--
111--  This RTEMS task tests the Semaphore Manager.
112--
113
114   procedure TASK_3 (
115      ARGUMENT : in     RTEMS.TASK_ARGUMENT
116   );
117
118--
119--  TASK_4
120--
121--  DESCRIPTION:
122--
123--  This RTEMS task tests the Semaphore Manager.
124--
125
126   procedure TASK_4 (
127      ARGUMENT : in     RTEMS.TASK_ARGUMENT
128   );
129
130--
131--  TASK_5
132--
133--  DESCRIPTION:
134--
135--  This RTEMS task tests the Semaphore Manager.
136--
137
138   procedure TASK_5 (
139      ARGUMENT : in     RTEMS.TASK_ARGUMENT
140   );
141
142end SPTEST;
Note: See TracBrowser for help on using the repository browser.