Warning, /testsuites/ada/sptests/spatcb01/spatcb01.adb is written in an unsupported language. File is not indexed.
0001 -- SPDX-License-Identifier: BSD-2-Clause
0002
0003 --
0004 -- MAIN / BODY
0005 --
0006 -- DESCRIPTION:
0007 --
0008 -- Ensure that the SYSTEM.TASK_PRIMITIVES.OPERATIONS.SPECIFIC implementation
0009 -- works.
0010 --
0011 -- Copyright (c) 2017 embedded brains GmbH & Co. KG
0012 --
0013 -- Redistribution and use in source and binary forms, with or without
0014 -- modification, are permitted provided that the following conditions
0015 -- are met:
0016 -- 1. Redistributions of source code must retain the above copyright
0017 -- notice, this list of conditions and the following disclaimer.
0018 -- 2. Redistributions in binary form must reproduce the above copyright
0019 -- notice, this list of conditions and the following disclaimer in the
0020 -- documentation and/or other materials provided with the distribution.
0021 --
0022 -- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
0023 -- AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
0024 -- IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
0025 -- ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
0026 -- LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
0027 -- CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
0028 -- SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
0029 -- INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
0030 -- CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
0031 -- ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
0032 -- POSSIBILITY OF SUCH DAMAGE.
0033 --
0034
0035 with TEXT_IO;
0036 with TEST_SUPPORT;
0037 with System.Task_Primitives.Operations;
0038 with System.Tasking;
0039
0040 procedure SPATCB01 is
0041 Self_Id : constant System.Tasking.Task_Id := System.Task_Primitives.Operations.Self;
0042 begin
0043 TEST_SUPPORT.ADA_TEST_BEGIN;
0044 TEXT_IO.PUT_LINE( Self_Id.Common.Task_Image( 1 .. Self_Id.Common.Task_Image_Len ) );
0045 TEST_SUPPORT.ADA_TEST_END;
0046 end SPATCB01;
