diff options
Diffstat (limited to 'gcc/ada/libgnat/g-cppstd.ads')
| -rw-r--r-- | gcc/ada/libgnat/g-cppstd.ads | 95 |
1 files changed, 95 insertions, 0 deletions
diff --git a/gcc/ada/libgnat/g-cppstd.ads b/gcc/ada/libgnat/g-cppstd.ads new file mode 100644 index 0000000..63ef03e --- /dev/null +++ b/gcc/ada/libgnat/g-cppstd.ads @@ -0,0 +1,95 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT RUN-TIME COMPONENTS -- +-- -- +-- G N A T . C P P . S T D -- +-- -- +-- S p e c -- +-- -- +-- Copyright (C) 2022-2024, AdaCore -- +-- -- +-- GNAT is free software; you can redistribute it and/or modify it under -- +-- terms of the GNU General Public License as published by the Free Soft- -- +-- ware Foundation; either version 3, or (at your option) any later ver- -- +-- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- +-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- +-- or FITNESS FOR A PARTICULAR PURPOSE. -- +-- -- +-- As a special exception under Section 7 of GPL version 3, you are granted -- +-- additional permissions described in the GCC Runtime Library Exception, -- +-- version 3.1, as published by the Free Software Foundation. -- +-- -- +-- You should have received a copy of the GNU General Public License and -- +-- a copy of the GCC Runtime Library Exception along with this program; -- +-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- +-- <http://www.gnu.org/licenses/>. -- +-- -- +-- GNAT was originally developed by the GNAT team at New York University. -- +-- Extensive contributions were provided by Ada Core Technologies Inc. -- +-- -- +------------------------------------------------------------------------------ + +-- This package may provide an Ada interface for some C++ standard +-- entities in the std namespace. + +limited private with GNAT.CPP.Std.Type_Info; +with System; use System; +with Interfaces.C; use Interfaces.C; +with Interfaces.C.Extensions; use Interfaces.C.Extensions; + +package GNAT.CPP.Std is + type Type_Info_Ptr is private; + -- This type stands for C++ std::type_info *. + + No_Type_Info : constant Type_Info_Ptr; + + function To_Type_Info_Ptr (S : System.Address) return Type_Info_Ptr; + -- Return an opaque Type_Info_Ptr referencing the std::type_info + -- object presumed to be at S. + + function Name (this : Type_Info_Ptr) + -- return Interfaces.C.Strings.chars_ptr; + return String; + -- Exposed std::type_info member function. + + function Before (this, that : Type_Info_Ptr) + -- return Interfaces.C.Extensions.bool; + return Boolean; + -- Exposed std::type_info member function. + + function Equals (this, that : Type_Info_Ptr) + -- return Interfaces.C.Extensions.bool; + return Boolean; + -- Exposed std::type_info member function. + + function Is_Pointer_P (this : Type_Info_Ptr) + return Interfaces.C.Extensions.bool; + -- Exposed std::type_info member function. + + function Is_Function_P (this : Type_Info_Ptr) + return Interfaces.C.Extensions.bool; + -- Exposed std::type_info member function. + + function Do_Catch + (this : Type_Info_Ptr; + thrown_type : Type_Info_Ptr; + thrown_object : in out System.Address; + outer_count : Interfaces.C.unsigned) + return Interfaces.C.Extensions.bool; + -- Exposed std::type_info member function. + + function Do_Upcast + (this : Type_Info_Ptr; + target : Type_Info_Ptr; + obj_ptr : in out System.Address) + return Interfaces.C.Extensions.bool; + -- Exposed std::type_info member function. + +private + + type Type_Info_Ptr is access constant Type_Info.type_info'Class; + pragma No_Strict_Aliasing (Type_Info_Ptr); + + No_Type_Info : constant Type_Info_Ptr := null; + +end GNAT.CPP.Std; |