source: rtems/c/src/ada-tests/sptests/sp14/sptest.ads @ d0f426a1

4.104.114.84.95
Last change on this file since d0f426a1 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.4 KB
Line 
1--
2--  SPTEST / SPECIFICATION
3--
4--  DESCRIPTION:
5--
6--  This package is the specification for Test 14 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 .. 2 ) of RTEMS.ID;
34   TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 2 ) of RTEMS.NAME;
35
36--
37--  These arrays contain the IDs and NAMEs of all RTEMS timers created
38--  by this test.
39--
40
41   TIMER_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 2 ) of RTEMS.ID;
42   TIMER_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 2 ) of RTEMS.NAME;
43
44--
45--  SIGNAL_SENT is set to TRUE to indicate that a signal set has
46--  been sent from an ISR to the executing task.
47--
48
49   SIGNAL_SENT : RTEMS.BOOLEAN;
50   pragma volatile( SIGNAL_SENT );
51
52--
53--  These hold the arguments passed to the timer service routine.
54--
55
56   TIMER_GOT_THIS_ID      : RTEMS.ID;
57   pragma volatile( TIMER_GOT_THIS_ID );
58
59   TIMER_GOT_THIS_POINTER : RTEMS.ADDRESS;
60   pragma volatile( TIMER_GOT_THIS_POINTER );
61
62--
63--  ASR_FIRED is set to TRUE to indicate that the ASR has executed
64--  and was passed the correct signal set.
65--
66
67   ASR_FIRED   : RTEMS.BOOLEAN;
68   pragma volatile( ASR_FIRED );
69
70--
71--  INIT
72--
73--  DESCRIPTION:
74--
75--  This RTEMS task initializes the application.
76--
77
78   procedure INIT (
79      ARGUMENT : in     RTEMS.TASK_ARGUMENT
80   );
81
82--
83--  SIGNAL_3_TO_TASK_1
84--
85--  DESCRIPTION:
86--
87--  This subprogram sends signal 3 to TASK_1.
88--
89
90   procedure SIGNAL_3_TO_TASK_1 (
91      ID      : in     RTEMS.ID;
92      POINTER : in     RTEMS.ADDRESS
93   );
94
95--
96--  PROCESS_ASR
97--
98--  DESCRIPTION:
99--
100--  This subprogram is an ASR for TASK_1.
101--
102
103   procedure PROCESS_ASR (
104      THE_SIGNAL_SET : in     RTEMS.SIGNAL_SET
105   );
106
107--
108--  TASK_1
109--
110--  DESCRIPTION:
111--
112--  This RTEMS task tests the Signal Manager.
113--
114
115   procedure TASK_1 (
116      ARGUMENT : in     RTEMS.TASK_ARGUMENT
117   );
118
119--
120--  TASK_2
121--
122--  DESCRIPTION:
123--
124--  This RTEMS task tests the Signal Manager.
125--
126
127   procedure TASK_2 (
128      ARGUMENT : in     RTEMS.TASK_ARGUMENT
129   );
130
131end SPTEST;
Note: See TracBrowser for help on using the repository browser.