source: rtems/c/src/ada-tests/sptests/sp07/sptest.ads @ edeed26

4.104.114.84.95
Last change on this file since edeed26 was e56a2ef, checked in by Joel Sherrill <joel.sherrill@…>, on Jun 3, 1997 at 12:32:50 AM

updated to run

  • Property mode set to 100644
File size: 3.8 KB
Line 
1--
2--  SPTEST / SPECIFICATION
3--
4--  DESCRIPTION:
5--
6--  This package is the specification for Test 7 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 .. 4 ) of RTEMS.ID;
34   TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 4 ) of RTEMS.NAME;
35
36--
37--  These arrays contain the IDs and NAMEs of all RTEMS extensions created
38--  by this test.
39--
40 
41   EXTENSION_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.ID;
42   EXTENSION_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.NAME;
43 
44--
45--  INIT
46--
47--  DESCRIPTION:
48--
49--  This RTEMS task initializes the application.
50--
51
52   procedure INIT (
53      ARGUMENT : in     RTEMS.TASK_ARGUMENT
54   );
55
56--
57--  TASK_1
58--
59--  DESCRIPTION:
60--
61--  This RTEMS task tests some of the capabilities of the Task Manager.
62--
63
64   procedure TASK_1 (
65      ARGUMENT : in     RTEMS.TASK_ARGUMENT
66   );
67
68--
69--  TASK_2
70--
71--  DESCRIPTION:
72--
73--  This RTEMS task tests some of the capabilities of the Task Manager.
74--
75
76   procedure TASK_2 (
77      ARGUMENT : in     RTEMS.TASK_ARGUMENT
78   );
79
80--
81--  TASK_3
82--
83--  DESCRIPTION:
84--
85--  This RTEMS task tests some of the capabilities of the Task Manager.
86--
87
88   procedure TASK_3 (
89      ARGUMENT : in     RTEMS.TASK_ARGUMENT
90   );
91
92--
93--  TASK_4
94--
95--  DESCRIPTION:
96--
97--  This RTEMS task tests the Message Queue Manager.
98--
99
100   procedure TASK_4 (
101      ARGUMENT : in     RTEMS.TASK_ARGUMENT
102   );
103
104--
105--  TASK_CREATE_EXTENSION
106--
107--  DESCRIPTION:
108--
109--  This subprogram is the TASK_CREATE extension for this test.
110--
111
112   procedure TASK_CREATE_EXTENSION (
113      UNUSED       : in     RTEMS.TCB_POINTER;
114      CREATED_TASK : in     RTEMS.TCB_POINTER
115   );
116
117--
118--  TASK_DELETE_EXTENSION
119--
120--  DESCRIPTION:
121--
122--  This subprogram is the TASK_DELETE extension for this test.
123--
124
125   procedure TASK_DELETE_EXTENSION (
126      RUNNING_TASK : in     RTEMS.TCB_POINTER;
127      DELETED_TASK : in     RTEMS.TCB_POINTER
128   );
129
130--
131--  TASK_RESTART_EXTENSION
132--
133--  DESCRIPTION:
134--
135--  This subprogram is the TASK_RESTART extension for this test.
136--
137
138   procedure TASK_RESTART_EXTENSION (
139      UNUSED         : in     RTEMS.TCB_POINTER;
140      RESTARTED_TASK : in     RTEMS.TCB_POINTER
141   );
142
143--
144--  TASK_START_EXTENSION
145--
146--  DESCRIPTION:
147--
148--  This subprogram is the TASK_START extension for this test.
149--
150
151   procedure TASK_START_EXTENSION (
152      UNUSED       : in     RTEMS.TCB_POINTER;
153      STARTED_TASK : in     RTEMS.TCB_POINTER
154   );
155
156--
157--  TASK_EXIT_EXTENSION
158--
159--  DESCRIPTION:
160--
161--  This subprogram is the TASK_EXIT extension for this test.
162--  It is invoked when a RTEMS task exits from its entry point.
163--
164
165   procedure TASK_EXIT_EXTENSION (
166      RUNNING_TASK : in     RTEMS.TCB_POINTER
167   );
168
169--
170--  This is the User Extension Table for this test.
171--
172
173   EXTENSIONS : aliased RTEMS.EXTENSIONS_TABLE :=
174   (
175        SPTEST.TASK_CREATE_EXTENSION'ACCESS,         -- Task create
176        SPTEST.TASK_START_EXTENSION'ACCESS,          -- Task start
177        SPTEST.TASK_RESTART_EXTENSION'ACCESS,        -- Task restart
178        SPTEST.TASK_DELETE_EXTENSION'ACCESS,         -- Task delete
179        NULL,                                        -- Task switch
180        NULL,                                        -- Task post switch
181        NULL,                                        -- Task begin
182        SPTEST.TASK_EXIT_EXTENSION'ACCESS,           -- Task exitted
183        NULL                                         -- Fatal error
184   );
185
186end SPTEST;
Note: See TracBrowser for help on using the repository browser.