source: rtems/testsuites/ada/sptests/sp13/sptest.ads @ 76bd25e

5
Last change on this file since 76bd25e was ee537ea, checked in by Sebastian Huber <sebastian.huber@…>, on Oct 12, 2017 at 8:00:10 AM

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 13 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--  Buffer Record similar to that used by RTEMS 3.2.1.  Using this
28--  avoids changes to the test.
29--
30
31   type BUFFER is
32      record
33         FIELD1 : RTEMS.NAME;   -- TEMPORARY UNTIL VARIABLE LENGTH
34         FIELD2 : RTEMS.NAME;
35         FIELD3 : RTEMS.NAME;
36         FIELD4 : RTEMS.NAME;
37      end record;
38
39--
40--  These arrays contain the IDs and NAMEs of all RTEMS tasks created
41--  by this test.
42--
43
44   TASK_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.ID;
45   TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.NAME;
46
47--
48--  These arrays contain the IDs and NAMEs of all RTEMS message
49--  queues created by this test.
50--
51
52   QUEUE_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.ID;
53   QUEUE_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.NAME;
54
55--
56--  INIT
57--
58--  DESCRIPTION:
59--
60--  This RTEMS task initializes the application.
61--
62
63   procedure INIT (
64      ARGUMENT : in     RTEMS.TASKS.ARGUMENT
65   );
66   pragma Convention (C, INIT);
67
68--
69--  FILL_BUFFER
70--
71--  DESCRIPTION:
72--
73--  This subprogram takes the SOURCE input string and places
74--  up to the first sixteen characters of that string into
75--  the message BUFFER.
76--
77
78   procedure FILL_BUFFER (
79      SOURCE : in     STRING;
80      BUFFER :    out SPTEST.BUFFER
81   );
82
83--
84--  PUT_BUFFER
85--
86--  DESCRIPTION:
87--
88--  This subprogram prints the specified message BUFFER.
89--
90
91   procedure PUT_BUFFER (
92      BUFFER : in     SPTEST.BUFFER
93   );
94
95--
96--  TASK_1
97--
98--  DESCRIPTION:
99--
100--  This RTEMS task tests the Message Queue Manager.
101--
102
103   procedure TASK_1 (
104      ARGUMENT : in     RTEMS.TASKS.ARGUMENT
105   );
106   pragma Convention (C, TASK_1);
107
108--
109--  TASK_2
110--
111--  DESCRIPTION:
112--
113--  This RTEMS task tests the Message Queue Manager.
114--
115
116   procedure TASK_2 (
117      ARGUMENT : in     RTEMS.TASKS.ARGUMENT
118   );
119   pragma Convention (C, TASK_2);
120
121--
122--  TASK_3
123--
124--  DESCRIPTION:
125--
126--  This RTEMS task tests the Message Queue Manager.
127--
128
129   procedure TASK_3 (
130      ARGUMENT : in     RTEMS.TASKS.ARGUMENT
131   );
132   pragma Convention (C, TASK_3);
133
134end SPTEST;
Note: See TracBrowser for help on using the repository browser.