source: rtems/testsuites/ada/sptests/sp15/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 15 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 .. 3 ) of RTEMS.ID;
32   TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.NAME;
33
34--
35--  These arrays contain the IDs and NAMEs of all RTEMS partitions created
36--  by this test.
37--
38
39   PARTITION_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.ID;
40   PARTITION_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.NAME;
41
42--
43--  These arrays define the memory areas used for the partitions in
44--  this test.
45--
46
47   AREA_1 : array ( RTEMS.UNSIGNED32 range 0 .. 4095 ) of RTEMS.UNSIGNED8;
48   for AREA_1'ALIGNMENT use RTEMS.STRUCTURE_ALIGNMENT;
49
50   AREA_2 : array ( RTEMS.UNSIGNED32 range 0 ..  273 ) of RTEMS.UNSIGNED8;
51   for AREA_2'ALIGNMENT use RTEMS.STRUCTURE_ALIGNMENT;
52
53
54--
55--  INIT
56--
57--  DESCRIPTION:
58--
59--  This RTEMS task initializes the application.
60--
61
62   procedure INIT (
63      ARGUMENT : in     RTEMS.TASKS.ARGUMENT
64   );
65   pragma Convention (C, INIT);
66
67--
68--  PUT_ADDRESS_FROM_AREA_1
69--
70--  DESCRIPTION:
71--
72--  This subpgram prints the offset of the address TO_BE_PRINTED
73--  from the first byte of AREA_1.
74--
75--  NOTE:
76--
77--  This subprogram is used because the actual address of AREA_1
78--  varies based upon the size of the executable, the target board,
79--  and the target processor.
80--
81
82   procedure PUT_ADDRESS_FROM_AREA_1 (
83      TO_BE_PRINTED : in     RTEMS.ADDRESS
84   );
85
86--
87--  PUT_ADDRESS_FROM_AREA_2
88--
89--  DESCRIPTION:
90--
91--  This subprogram prints the offset of the address TO_BE_PRINTED
92--  from the first byte of AREA_2.
93--
94--  NOTE:
95--
96--  This subprogram is used because the actual address of AREA_1
97--  varies based upon the size of the executable, the target board,
98--  and the target processor.
99--
100
101   procedure PUT_ADDRESS_FROM_AREA_2 (
102      TO_BE_PRINTED : in     RTEMS.ADDRESS
103   );
104
105--
106--  TASK_1
107--
108--  DESCRIPTION:
109--
110--  This RTEMS task tests the Partition Manager.
111--
112
113   procedure TASK_1 (
114      ARGUMENT : in     RTEMS.TASKS.ARGUMENT
115   );
116   pragma Convention (C, TASK_1);
117
118end SPTEST;
Note: See TracBrowser for help on using the repository browser.