diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/c3/c3a0009.a')
| -rw-r--r-- | gcc/testsuite/ada/acats/tests/c3/c3a0009.a | 219 |
1 files changed, 0 insertions, 219 deletions
diff --git a/gcc/testsuite/ada/acats/tests/c3/c3a0009.a b/gcc/testsuite/ada/acats/tests/c3/c3a0009.a deleted file mode 100644 index ba3f2f6e1e7..00000000000 --- a/gcc/testsuite/ada/acats/tests/c3/c3a0009.a +++ /dev/null @@ -1,219 +0,0 @@ --- C3A0009.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 subprogram references may be passed as parameters using --- access-to-subprogram types. Check that the passed subprograms may --- be invoked from within the called subprogram. --- --- TEST DESCRIPTION: --- Declare an access to procedure type in a package specification. --- Declare a root tagged type with the access to procedure type as a --- component. Declare three primitive procedures for the type that --- can be referred to by the access to procedure type. Use the access --- to procedure type to initialize the component of a record. --- --- Extend the root type with a private extension in the same package --- specification. Declare two new primitive subprograms for the extension --- (in addition to its three inherited subprograms). --- --- In the main program, declare an operation for the root tagged type --- which can be passed as an access value to change the initial value --- of the component. Call the inherited operations indirectly by --- de-referencing the access value to set value in the extension. --- Call the primitive function to modify the extension by passing --- the access value designating the primitive procedure as a parameter. --- --- --- CHANGE HISTORY: --- 06 Dec 94 SAIC ACVC 2.0 --- ---! - -package C3A0009_0 is -- Push_Buttons - - type Button is tagged private; - - -- Type accesses to procedures Push and Default_Response - type Button_Response_Ptr is access procedure - (B : in out Button); - - procedure Push (B : in out Button); -- to be inherited - - procedure Set_Response (B : in out Button; -- to be inherited - R : in Button_Response_Ptr); - - procedure Default_Response (B : in out Button); -- to be inherited - - type Alert_Button is new Button with private; -- private extension of - -- root tagged type - -- Inherits procedure Push from Button - -- Inherits procedure Set_Response from Button - -- Inherits procedure Default_Response from Button - - procedure Replace_Action( B: in out Alert_Button ); - - -- type accesses to procedure Default_Action - type Button_Action_Ptr is access procedure; - - -- The following function is needed to set value in the - -- extension's private component. - function Alert (B : in Alert_Button) return Button_Action_Ptr; - -private - - type Button is tagged -- root tagged type - record - Response : Button_Response_Ptr - := Default_Response'Access; - end record; - - procedure Default_Action; - - type Alert_Button is new Button with record - Action : Button_Action_Ptr - := Default_Action'Access; - end record; - -end C3A0009_0; - - ------------------------------------------------------------------------------ - - -with TCTouch; -package body C3A0009_0 is - - procedure Push (B : in out Button) is - begin - TCTouch.Touch( 'P' ); --------------------------------------------- P - -- Invoking subprogram designated by access value - B.Response (B); - end Push; - - - procedure Set_Response (B : in out Button; - R : in Button_Response_Ptr) is - begin - TCTouch.Touch( 'S' ); --------------------------------------------- S - -- Set procedure value in record - B.Response := R; - end Set_Response; - - - procedure Default_Response (B : in out Button) is - begin - TCTouch.Touch( 'D' ); --------------------------------------------- D - end Default_Response; - - - procedure Default_Action is - begin - TCTouch.Touch( 'd' ); --------------------------------------------- d - end Default_Action; - - procedure Replacement_Action is - begin - TCTouch.Touch( 'r' ); --------------------------------------------- r - end Replacement_Action; - - procedure Replace_Action( B: in out Alert_Button ) is - begin - TCTouch.Touch( 'R' ); --------------------------------------------- R - B.Action := Replacement_Action'Access; - end Replace_Action; - - function Alert (B : in Alert_Button) return Button_Action_Ptr is - begin - TCTouch.Touch( 'A' ); --------------------------------------------- A - return (B.Action); - end Alert; - -end C3A0009_0; - ------------------------------------------------------------------------------ - -with C3A0009_0; -package C3A0009_1 is -- Emergency_Items - package Push_Buttons renames C3A0009_0; - - procedure Emergency (B : in out Push_Buttons.Button); -end C3A0009_1; - -with TCTouch; -package body C3A0009_1 is -- Emergency_Items - procedure Emergency (B : in out Push_Buttons.Button) is - begin - TCTouch.Touch( 'E' ); ------------------------------------------- E - end Emergency; -end C3A0009_1; ------------------------------------------------------------------------------ - -with Report; - -with C3A0009_0, C3A0009_1; -with TCTouch; -procedure C3A0009 is - - package Push_Buttons renames C3A0009_0; - package Emergency_Items renames C3A0009_1; - - Black_Button : Push_Buttons.Alert_Button; - Alert_Ptr : Push_Buttons.Button_Action_Ptr; - -begin - - Report.Test ("C3A0009", "Check that subprogram references may be passed " - & "as parameters using access-to-subprogram types. " - & "Check that the passed subprograms may be " - & "invoked from within the called subprogram"); - - - Push_Buttons.Push( Black_Button ); - Push_Buttons.Alert( Black_Button ).all; - - TCTouch.Validate( "PDAd", "Default operation set" ); - - -- Call inherited operations Set_Response and Push to set - -- Emergency value in the extension. - Push_Buttons.Set_Response (Black_Button, Emergency_Items.Emergency'Access); - - - Push_Buttons.Push( Black_Button ); - Push_Buttons.Alert( Black_Button ).all; - - TCTouch.Validate( "SPEAd", "Altered Response set" ); - - -- Call primitive operation to set action value in the extension. - Push_Buttons.Replace_Action( Black_Button ); - - - Push_Buttons.Push( Black_Button ); - Push_Buttons.Alert( Black_Button ).all; - - TCTouch.Validate( "RPEAr", "Altered Action set" ); - - Report.Result; -end C3A0009; |