source: rtems/testsuites/ada/sptests/sp14/sptest.ads @ dda8142f

5
Last change on this file since dda8142f was ee537ea, checked in by Sebastian Huber <sebastian.huber@…>, on 10/12/17 at 08:00:10

ada-tests: Move to testsuites/ada

This solves a build dependency issue, e.g. building tests before
librtemsbsp.a exists.

Close #3079.

  • Property mode set to 100644
File size: 2.5 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-2011.
14--  On-Line Applications Research Corporation (OAR).
15--
16--  The license and distribution terms for this file may in
17--  the file LICENSE in this distribution or at
18--  http://www.rtems.org/license/LICENSE.
19--
20
21with RTEMS;
22with RTEMS.TASKS;
23
24package SPTEST is
25
26--
27--  These arrays contain the IDs and NAMEs of all RTEMS tasks created
28--  by this test.
29--
30
31   TASK_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 2 ) of RTEMS.ID;
32   TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 2 ) of RTEMS.NAME;
33
34--
35--  These arrays contain the IDs and NAMEs of all RTEMS timers created
36--  by this test.
37--
38
39   TIMER_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 2 ) of RTEMS.ID;
40   TIMER_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 2 ) of RTEMS.NAME;
41
42--
43--  SIGNAL_SENT is set to TRUE to indicate that a signal set has
44--  been sent from an ISR to the executing task.
45--
46
47   SIGNAL_SENT : BOOLEAN;
48   pragma volatile( SIGNAL_SENT );
49
50--
51--  These hold the arguments passed to the timer service routine.
52--
53
54   TIMER_GOT_THIS_ID      : RTEMS.ID;
55   pragma volatile( TIMER_GOT_THIS_ID );
56
57   TIMER_GOT_THIS_POINTER : RTEMS.ADDRESS;
58   pragma volatile( TIMER_GOT_THIS_POINTER );
59
60--
61--  ASR_FIRED is set to TRUE to indicate that the ASR has executed
62--  and was passed the correct signal set.
63--
64
65   ASR_FIRED : BOOLEAN;
66   pragma volatile( ASR_FIRED );
67
68--
69--  INIT
70--
71--  DESCRIPTION:
72--
73--  This RTEMS task initializes the application.
74--
75
76   procedure INIT (
77      ARGUMENT : in     RTEMS.TASKS.ARGUMENT
78   );
79   pragma Convention (C, INIT);
80
81--
82--  SIGNAL_3_TO_TASK_1
83--
84--  DESCRIPTION:
85--
86--  This subprogram sends signal 3 to TASK_1.
87--
88
89   procedure SIGNAL_3_TO_TASK_1 (
90      ID      : in     RTEMS.ID;
91      POINTER : in     RTEMS.ADDRESS
92   );
93   pragma Convention (C, SIGNAL_3_TO_TASK_1);
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   pragma Convention (C, PROCESS_ASR);
107
108--
109--  TASK_1
110--
111--  DESCRIPTION:
112--
113--  This RTEMS task tests the Signal Manager.
114--
115
116   procedure TASK_1 (
117      ARGUMENT : in     RTEMS.TASKS.ARGUMENT
118   );
119   pragma Convention (C, TASK_1);
120
121--
122--  TASK_2
123--
124--  DESCRIPTION:
125--
126--  This RTEMS task tests the Signal Manager.
127--
128
129   procedure TASK_2 (
130      ARGUMENT : in     RTEMS.TASKS.ARGUMENT
131   );
132   pragma Convention (C, TASK_2);
133
134end SPTEST;
Note: See TracBrowser for help on using the repository browser.