source: rtems/c/src/ada-tests/sptests/sp06/sptest.ads @ de0ac92

4.104.114.84.95
Last change on this file since de0ac92 was 7f79b673, checked in by Joel Sherrill <joel.sherrill@…>, on Jun 2, 1997 at 10:37:28 PM

readded body for "main" procedures

  • Property mode set to 100644
File size: 1.7 KB
Line 
1--
2--  SPTEST / SPECIFICATION
3--
4--  DESCRIPTION:
5--
6--  This package is the specification for Test 6 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 .. 3 ) of RTEMS.ID;
34   TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.NAME;
35
36--
37--  The following are used as arguments to the various RTEMS tasks
38--  in this test to indicate when a restart should be performed.
39
40   ARGUMENT         : RTEMS.UNSIGNED32;
41   RESTART_ARGUMENT : RTEMS.UNSIGNED32;
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--  TASK_1
57--
58--  DESCRIPTION:
59--
60--  This RTEMS task tests some of the capabilities of the Task Manager.
61--
62
63   procedure TASK_1 (
64      ARGUMENT : in     RTEMS.TASK_ARGUMENT
65   );
66
67--
68--  TASK_2
69--
70--  DESCRIPTION:
71--
72--  This RTEMS task tests some of the capabilities of the Task Manager.
73--
74
75   procedure TASK_2 (
76      ARGUMENT : in     RTEMS.TASK_ARGUMENT
77   );
78
79--
80--  TASK_3
81--
82--  DESCRIPTION:
83--
84--  This RTEMS task tests some of the capabilities of the Task Manager.
85--
86
87   procedure TASK_3 (
88      ARGUMENT : in     RTEMS.TASK_ARGUMENT
89   );
90
91end SPTEST;
Note: See TracBrowser for help on using the repository browser.