From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 7141 invoked by alias); 29 Nov 2012 13:37:44 -0000 Received: (qmail 7027 invoked by uid 22791); 29 Nov 2012 13:37:43 -0000 X-SWARE-Spam-Status: No, hits=-2.7 required=5.0 tests=AWL,BAYES_00,KHOP_THREADED X-Spam-Check-By: sourceware.org Received: from mel.act-europe.fr (HELO mel.act-europe.fr) (194.98.77.210) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 29 Nov 2012 13:37:35 +0000 Received: from localhost (localhost [127.0.0.1]) by filtered-smtp.eu.adacore.com (Postfix) with ESMTP id 620DDCB2715; Thu, 29 Nov 2012 14:37:38 +0100 (CET) Received: from mel.act-europe.fr ([127.0.0.1]) by localhost (smtp.eu.adacore.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id W2k9C2iqzOhE; Thu, 29 Nov 2012 14:37:38 +0100 (CET) Received: from chelles.act-europe.fr (chelles.act-europe.fr [10.10.0.160]) by mel.act-europe.fr (Postfix) with ESMTP id 511FACB2259; Thu, 29 Nov 2012 14:37:38 +0100 (CET) Received: by chelles.act-europe.fr (Postfix, from userid 560) id 3D5681EA005A; Thu, 29 Nov 2012 14:37:38 +0100 (CET) From: Jerome Guitton To: gdb-patches@sourceware.org Cc: Joel Brobecker Subject: [RFA/testsuite 3/4] New testcase for interface type printing Date: Thu, 29 Nov 2012 13:37:00 -0000 Message-Id: <1354196235-8414-3-git-send-email-guitton@adacore.com> In-Reply-To: <1354196235-8414-1-git-send-email-guitton@adacore.com> References: <1354196235-8414-1-git-send-email-guitton@adacore.com> Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org X-SW-Source: 2012-11/txt/msg00856.txt.bz2 From: Joel Brobecker gdb/testsuite/ChangeLog: * gdb.ada/iwide: New testcase. OK to apply? --- gdb/testsuite/gdb.ada/iwide.exp | 42 ++++++++++++++++++++++ gdb/testsuite/gdb.ada/iwide/classes.adb | 23 ++++++++++++ gdb/testsuite/gdb.ada/iwide/classes.ads | 59 +++++++++++++++++++++++++++++++ gdb/testsuite/gdb.ada/iwide/p.adb | 25 +++++++++++++ 4 files changed, 149 insertions(+) create mode 100644 gdb/testsuite/gdb.ada/iwide.exp create mode 100644 gdb/testsuite/gdb.ada/iwide/classes.adb create mode 100644 gdb/testsuite/gdb.ada/iwide/classes.ads create mode 100644 gdb/testsuite/gdb.ada/iwide/p.adb diff --git a/gdb/testsuite/gdb.ada/iwide.exp b/gdb/testsuite/gdb.ada/iwide.exp new file mode 100644 index 0000000..836b551 --- /dev/null +++ b/gdb/testsuite/gdb.ada/iwide.exp @@ -0,0 +1,42 @@ +# Copyright 2012 Free Software Foundation, Inc. +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see . + +load_lib "ada.exp" + +standard_ada_testfile p + +if {[gdb_compile_ada "${srcfile}" "${binfile}" executable [list debug additional_flags=-gnat05 ]] != "" } { + return -1 +} + +clean_restart ${testfile} + +set bp_location [gdb_get_line_number "BREAK" ${testdir}/p.adb] +runto "p.adb:$bp_location" + +gdb_test "print My_Drawable" \ + "= \\(center => \\(x => 1, y => 2\\), radius => 3\\)" + +gdb_test "print s_access.all" \ + "\\(center => \\(x => 1, y => 2\\), radius => 3\\)" + +gdb_test "print sp_access.all" \ + "\\(center => \\(x => 1, y => 2\\), radius => 3\\)" + +gdb_test "print d_access.all" \ + "\\(center => \\(x => 1, y => 2\\), radius => 3\\)" + +gdb_test "print dp_access.all" \ + "\\(center => \\(x => 1, y => 2\\), radius => 3\\)" diff --git a/gdb/testsuite/gdb.ada/iwide/classes.adb b/gdb/testsuite/gdb.ada/iwide/classes.adb new file mode 100644 index 0000000..5af1114 --- /dev/null +++ b/gdb/testsuite/gdb.ada/iwide/classes.adb @@ -0,0 +1,23 @@ +-- Copyright 2012 Free Software Foundation, Inc. +-- +-- This program is free software; you can redistribute it and/or modify +-- it under the terms of the GNU General Public License as published by +-- the Free Software Foundation; either version 3 of the License, or +-- (at your option) any later version. +-- +-- This program is distributed in the hope that it will be useful, +-- but WITHOUT ANY WARRANTY; without even the implied warranty of +-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +-- GNU General Public License for more details. +-- +-- You should have received a copy of the GNU General Public License +-- along with this program. If not, see . + +package body Classes is + + procedure Draw (R : Circle) is + begin + null; + end Draw; + +end Classes; diff --git a/gdb/testsuite/gdb.ada/iwide/classes.ads b/gdb/testsuite/gdb.ada/iwide/classes.ads new file mode 100644 index 0000000..f305ed2 --- /dev/null +++ b/gdb/testsuite/gdb.ada/iwide/classes.ads @@ -0,0 +1,59 @@ +-- Copyright 2012 Free Software Foundation, Inc. +-- +-- This program is free software; you can redistribute it and/or modify +-- it under the terms of the GNU General Public License as published by +-- the Free Software Foundation; either version 3 of the License, or +-- (at your option) any later version. +-- +-- This program is distributed in the hope that it will be useful, +-- but WITHOUT ANY WARRANTY; without even the implied warranty of +-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +-- GNU General Public License for more details. +-- +-- You should have received a copy of the GNU General Public License +-- along with this program. If not, see . + +package Classes is + + type Point is record + X : Integer; + Y : Integer; + end record; + + type Shape is abstract tagged null record; + + type Shape_Access is access all Shape'Class; + + type Drawable is interface; + + type Drawable_Access is access all Drawable'Class; + + procedure Draw (D : Drawable) is abstract; + + type Circle is new Shape and Drawable with record + Center : Point; + Radius : Natural; + end record; + + procedure Draw (R : Circle); + + My_Circle : Circle := ((1, 2), 3); + My_Shape : Shape'Class := Shape'Class (My_Circle); + My_Drawable : Drawable'Class := Drawable'Class (My_Circle); + + S_Access : Shape_Access := new Circle'(My_Circle); + D_Access : Drawable_Access := new Circle'(My_Circle); + + type R (MS : Shape_Access; MD : Drawable_Access) is record + E : Integer; + end record; + + MR : R := (MS => S_Access, MD => D_Access, E => 42); + + type Shape_Array is array (1 .. 4) of Shape_Access; + type Drawable_Array is array (1 .. 4) of Drawable_Access; + + S_Array : Shape_Array := (others => S_Access); + D_Array : Drawable_Array := (others => D_Access); + +end Classes; diff --git a/gdb/testsuite/gdb.ada/iwide/p.adb b/gdb/testsuite/gdb.ada/iwide/p.adb new file mode 100644 index 0000000..a4f2a5a --- /dev/null +++ b/gdb/testsuite/gdb.ada/iwide/p.adb @@ -0,0 +1,25 @@ +-- Copyright 2012 Free Software Foundation, Inc. +-- +-- This program is free software; you can redistribute it and/or modify +-- it under the terms of the GNU General Public License as published by +-- the Free Software Foundation; either version 3 of the License, or +-- (at your option) any later version. +-- +-- This program is distributed in the hope that it will be useful, +-- but WITHOUT ANY WARRANTY; without even the implied warranty of +-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +-- GNU General Public License for more details. +-- +-- You should have received a copy of the GNU General Public License +-- along with this program. If not, see . + +With Classes; use Classes; + +procedure P is + SP_Access : Shape_Access := new Circle'(My_Circle); + DP_Access : Drawable_Access := new Circle'(My_Circle); + SP_Array : Shape_Array := (others => S_Access); + DP_Array : Drawable_Array := (others => D_Access); +begin + null; -- BREAK +end P; -- 1.7.10.4