source: rtems/c/src/ada-tests/sptests/sp02/sptest.ads @ 529cdccd

4.104.114.84.95
Last change on this file since 529cdccd 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 2 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   PREEMPT_TASK_ID   : RTEMS.ID;
37   PREEMPT_TASK_NAME : RTEMS.NAME;
38
39--
40--  INIT
41--
42--  DESCRIPTION:
43--
44--  This RTEMS task initializes the application.
45--
46
47   procedure INIT (
48      ARGUMENT : in     RTEMS.TASK_ARGUMENT
49   );
50
51--
52--  PREEMPT_TASK
53--
54--  DESCRIPTION:
55--
56--  This RTEMS task tests the basic preemption capability.
57--
58
59   procedure PREEMPT_TASK (
60      ARGUMENT : in     RTEMS.TASK_ARGUMENT
61   );
62
63--
64--  TASK_1
65--
66--  DESCRIPTION:
67--
68--  This RTEMS task tests some of the capabilities of the Task Manager.
69--
70
71   procedure TASK_1 (
72      ARGUMENT : in     RTEMS.TASK_ARGUMENT
73   );
74
75--
76--  TASK_2
77--
78--  DESCRIPTION:
79--
80--  This RTEMS task tests some of the capabilities of the Task Manager.
81--
82
83   procedure TASK_2 (
84      ARGUMENT : in     RTEMS.TASK_ARGUMENT
85   );
86
87--
88--  TASK_3
89--
90--  DESCRIPTION:
91--
92--  This RTEMS task tests some of the capabilities of the Task Manager.
93--
94
95   procedure TASK_3 (
96      ARGUMENT : in     RTEMS.TASK_ARGUMENT
97   );
98
99end SPTEST;
Note: See TracBrowser for help on using the repository browser.