1-- Copyright 2014-2023 Free Software Foundation, Inc. 2-- 3-- This program is free software; you can redistribute it and/or modify 4-- it under the terms of the GNU General Public License as published by 5-- the Free Software Foundation; either version 3 of the License, or 6-- (at your option) any later version. 7-- 8-- This program is distributed in the hope that it will be useful, 9-- but WITHOUT ANY WARRANTY; without even the implied warranty of 10-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 11-- GNU General Public License for more details. 12-- 13-- You should have received a copy of the GNU General Public License 14-- along with this program. If not, see <http://www.gnu.org/licenses/>. 15 16with System; 17 18package Pck is 19 20 type Element is abstract tagged null record; 21 type GADataType is interface; 22 23 type Data_Type is new Element and GADataType with record 24 I : Integer := 42; 25 end record; 26 27 procedure Do_Nothing (A : System.Address); 28end Pck; 29