source: rtems/c/src/ada-tests/sptests/sp15/sptest.ads @ 48bfd992

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