Back to home page

LXR

 
 

    


Warning, /testsuites/ada/sptests/sp11/sptest.ads is written in an unsupported language. File is not indexed.

0001 -- SPDX-License-Identifier: BSD-2-Clause
0002 
0003 --
0004 --  SPTEST / SPECIFICATION
0005 --
0006 --  DESCRIPTION:
0007 --
0008 --  This package is the specification for Test 11 of the RTEMS
0009 --  Single Processor Test Suite.
0010 --
0011 --  DEPENDENCIES: 
0012 --
0013 --  
0014 --
0015 --  COPYRIGHT (c) 1989-2011.
0016 --  On-Line Applications Research Corporation (OAR).
0017 --
0018 --  Redistribution and use in source and binary forms, with or without
0019 --  modification, are permitted provided that the following conditions
0020 --  are met:
0021 --  1. Redistributions of source code must retain the above copyright
0022 --     notice, this list of conditions and the following disclaimer.
0023 --  2. Redistributions in binary form must reproduce the above copyright
0024 --     notice, this list of conditions and the following disclaimer in the
0025 --     documentation and/or other materials provided with the distribution.
0026 --
0027 --  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
0028 --  AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
0029 --  IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
0030 --  ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
0031 --  LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
0032 --  CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
0033 --  SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
0034 --  INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
0035 --  CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
0036 --  ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
0037 --  POSSIBILITY OF SUCH DAMAGE.
0038 --
0039 
0040 with RTEMS;
0041 with RTEMS.TASKS;
0042 
0043 package SPTEST is
0044 
0045 --
0046 --  These arrays contain the IDs and NAMEs of all RTEMS tasks created
0047 --  by this test.
0048 --
0049 
0050    TASK_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.ID;
0051    TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.NAME;
0052 
0053 --
0054 --  These arrays contain the IDs and NAMEs of all RTEMS timers created
0055 --  by this test.
0056 --
0057 
0058    TIMER_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 6 ) of RTEMS.ID;
0059    TIMER_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 6 ) of RTEMS.NAME;
0060 
0061 --
0062 --  TA1_SEND_18_TO_SELF_5_SECONDS
0063 --
0064 --  DESCRIPTION:
0065 --
0066 --  This subprogram is scheduled to be fired by a timer after 5 seconds
0067 --  and to send EVENT_18 to TASK_1.
0068 --
0069 
0070    procedure TA1_SEND_18_TO_SELF_5_SECONDS (
0071       IGNORED_ID      : in     RTEMS.ID;  
0072       IGNORED_ADDRESS : in     RTEMS.ADDRESS 
0073    ); 
0074    pragma Convention (C, TA1_SEND_18_TO_SELF_5_SECONDS);
0075 
0076 --
0077 --  TA1_SEND_8_TO_SELF_60_SECONDS
0078 --
0079 --  DESCRIPTION:
0080 --
0081 --  This subprogram is scheduled to be fired by a timer after 60 seconds
0082 --  and to send EVENT_8 to TASK_1.
0083 --
0084 
0085    procedure TA1_SEND_8_TO_SELF_60_SECONDS (
0086       IGNORED_ID      : in     RTEMS.ID;  
0087       IGNORED_ADDRESS : in     RTEMS.ADDRESS 
0088    ); 
0089    pragma Convention (C, TA1_SEND_8_TO_SELF_60_SECONDS);
0090 
0091 --
0092 --  TA1_SEND_9_TO_SELF_5_SECONDS
0093 --
0094 --  DESCRIPTION:
0095 --
0096 --  This subprogram is scheduled to be fired by a timer after 60 seconds
0097 --  and to send EVENT_9 to TASK_1.
0098 --
0099 
0100    procedure TA1_SEND_9_TO_SELF_60_SECONDS (
0101       IGNORED_ID      : in     RTEMS.ID;  
0102       IGNORED_ADDRESS : in     RTEMS.ADDRESS 
0103    ); 
0104    pragma Convention (C, TA1_SEND_9_TO_SELF_60_SECONDS);
0105 
0106 --
0107 --  TA1_SEND_10_TO_SELF
0108 --
0109 --  DESCRIPTION:
0110 --
0111 --  This subprogram is scheduled to be fired by a timer after 60 seconds
0112 --  and to send EVENT_10 to TASK_1.
0113 --
0114 
0115    procedure TA1_SEND_10_TO_SELF (
0116       IGNORED_ID      : in     RTEMS.ID;  
0117       IGNORED_ADDRESS : in     RTEMS.ADDRESS 
0118    ); 
0119    pragma Convention (C, TA1_SEND_10_TO_SELF);
0120 
0121 --
0122 --  TA1_SEND_1_TO_SELF_EVERY_SECOND
0123 --
0124 --  DESCRIPTION:
0125 --
0126 --  This subprogram is scheduled to be fired by a timer every second
0127 --  and to send EVENT_1 to TASK_1 until the timer is cancelled.
0128 --
0129 
0130    procedure TA1_SEND_1_TO_SELF_EVERY_SECOND (
0131       IGNORED_ID      : in     RTEMS.ID;  
0132       IGNORED_ADDRESS : in     RTEMS.ADDRESS 
0133    ); 
0134    pragma Convention (C, TA1_SEND_1_TO_SELF_EVERY_SECOND);
0135 
0136 --
0137 --  TA1_SEND_11_TO_SELF
0138 --
0139 --  DESCRIPTION:
0140 --
0141 --  This subprogram is scheduled to be fired by a timer at a
0142 --  specific time of day and to send EVENT_11 to TASK_1.
0143 --
0144 
0145    procedure TA1_SEND_11_TO_SELF (
0146       IGNORED_ID      : in     RTEMS.ID;  
0147       IGNORED_ADDRESS : in     RTEMS.ADDRESS 
0148    ); 
0149    pragma Convention (C, TA1_SEND_11_TO_SELF);
0150 
0151 --
0152 --  TA2_SEND_10_TO_SELF
0153 --
0154 --  DESCRIPTION:
0155 --
0156 --  This subprogram is scheduled to be fired by a timer after 5 seconds
0157 --  and to send EVENT_10 to TASK_2.
0158 --
0159 
0160    procedure TA2_SEND_10_TO_SELF (
0161       IGNORED_ID      : in     RTEMS.ID;  
0162       IGNORED_ADDRESS : in     RTEMS.ADDRESS 
0163    ); 
0164    pragma Convention (C, TA2_SEND_10_TO_SELF);
0165 
0166 --
0167 --  INIT
0168 --
0169 --  DESCRIPTION:
0170 --
0171 --  This RTEMS task initializes the application.
0172 --
0173 
0174    procedure INIT (
0175       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0176    );
0177    pragma Convention (C, INIT);
0178 
0179 --
0180 --  TASK_1
0181 --
0182 --  DESCRIPTION:
0183 --
0184 --  This RTEMS task tests the Event and Timer Managers.
0185 --
0186 
0187    procedure TASK_1 (
0188       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0189    );
0190    pragma Convention (C, TASK_1);
0191 
0192 --
0193 --  TASK_2
0194 --
0195 --  DESCRIPTION:
0196 --
0197 --  This RTEMS task tests the Event and Timer Managers.
0198 --
0199 
0200    procedure TASK_2 (
0201       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0202    );
0203    pragma Convention (C, TASK_2);
0204 
0205 end SPTEST;