diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/c9/c910002.a')
-rw-r--r-- | gcc/testsuite/ada/acats/tests/c9/c910002.a | 143 |
1 files changed, 0 insertions, 143 deletions
diff --git a/gcc/testsuite/ada/acats/tests/c9/c910002.a b/gcc/testsuite/ada/acats/tests/c9/c910002.a deleted file mode 100644 index dc0b9b36bba..00000000000 --- a/gcc/testsuite/ada/acats/tests/c9/c910002.a +++ /dev/null @@ -1,143 +0,0 @@ --- C910002.A --- --- Grant of Unlimited Rights --- --- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, --- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained --- unlimited rights in the software and documentation contained herein. --- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making --- this public release, the Government intends to confer upon all --- recipients unlimited rights equal to those held by the Government. --- These rights include rights to use, duplicate, release or disclose the --- released technical data and computer software in whole or in part, in --- any manner and for any purpose whatsoever, and to have or permit others --- to do so. --- --- DISCLAIMER --- --- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR --- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED --- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE --- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE --- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A --- PARTICULAR PURPOSE OF SAID MATERIAL. ---* --- --- OBJECTIVE: --- Check that the contents of a task object include the values --- of its discriminants. --- Check that selected_component notation can be used to --- denote a discriminant of a task. --- --- TEST DESCRIPTION: --- This test declares a task type that contains discriminants. --- Objects of the task type are created with different values. --- The task type has nested tasks that are used to check that --- the discriminate values are the expected values. --- Note that the names of the discriminants in the body of task --- type DTT denote the current instance of the unit. --- --- --- CHANGE HISTORY: --- 12 OCT 95 SAIC Initial release for 2.1 --- 8 MAY 96 SAIC Incorporated Reviewer comments. --- ---! - - -with Report; -procedure C910002 is - Verbose : constant Boolean := False; -begin - Report.Test ("C910002", - "Check that selected_component notation can be" & - " used to access task discriminants"); - declare - - task type DTT - (IA, IB : Integer; - CA, CB : Character) is - entry Check_Values (First_Int : Integer; - First_Char : Character); - end DTT; - - task body DTT is - Int1 : Integer; - Char1 : Character; - - -- simple nested task to check the character values - task Check_Chars is - entry Start_Check; - end Check_Chars; - task body Check_Chars is - begin - accept Start_Check; - if DTT.CA /= Char1 or - DTT.CB /= Character'Succ (Char1) then - Report.Failed ("character check failed. Expected: '" & - Char1 & Character'Succ (Char1) & - "' but found '" & - DTT.CA & DTT.CB & "'"); - elsif Verbose then - Report.Comment ("char check for " & Char1); - end if; - exception - when others => Report.Failed ("exception in Check_Chars"); - end Check_Chars; - - -- use a discriminated task to check the integer values - task type Check_Ints (First : Integer); - task body Check_Ints is - begin - if DTT.IA /= Check_Ints.First or - IB /= First+1 then - Report.Failed ("integer check failed. Expected:" & - Integer'Image (Check_Ints.First) & - Integer'Image (First+1) & - " but found" & - Integer'Image (DTT.IA) & Integer'Image (IB) ); - elsif Verbose then - Report.Comment ("int check for" & Integer'Image (First)); - end if; - exception - when others => Report.Failed ("exception in Check_Ints"); - end Check_Ints; - begin - accept Check_Values (First_Int : Integer; - First_Char : Character) do - Int1 := First_Int; - Char1 := First_Char; - end Check_Values; - - -- kick off the character check - Check_Chars.Start_Check; - - -- do the integer check - declare - Int_Checker : Check_Ints (Int1); - begin - null; -- let task do its thing - end; - - -- do one test here too - if DTT.IA /= Int1 then - Report.Failed ("DTT check failed. Expected:" & - Integer'Image (Int1) & - " but found:" & - Integer'Image (DTT.IA)); - elsif Verbose then - Report.Comment ("DTT check for" & Integer'Image (Int1)); - end if; - exception - when others => Report.Failed ("exception in DTT"); - end DTT; - - T1a : DTT (1, 2, 'a', 'b'); - T9C : DTT (9, 10, 'C', 'D'); - begin -- test encapsulation - T1a.Check_Values (1, 'a'); - T9C.Check_Values (9, 'C'); - end; - - Report.Result; -end C910002; |