--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/ada/vxlink-bind.ads	Thu Oct 25 07:37:49 2018 +0900
@@ -0,0 +1,87 @@
+------------------------------------------------------------------------------
+--                                                                          --
+--                         GNAT COMPILER COMPONENTS                         --
+--                                                                          --
+--                          V X L I N K . B I N D                           --
+--                                                                          --
+--                                 S p e c                                  --
+--                                                                          --
+--                     Copyright (C) 2018, 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.  See the GNU General Public License --
+-- for  more details.  You should have  received  a copy of the GNU General --
+-- Public License  distributed with GNAT; see file COPYING3.  If not, go to --
+-- http://www.gnu.org/licenses for a complete copy of the license.          --
+--                                                                          --
+-- GNAT was originally developed  by the GNAT team at  New York University. --
+-- Extensive contributions were provided by Ada Core Technologies Inc.      --
+--                                                                          --
+------------------------------------------------------------------------------
+
+pragma Ada_2012;
+
+private with Ada.Containers.Ordered_Sets;
+private with Ada.Strings.Unbounded;
+
+package VxLink.Bind is
+
+   type VxLink_Binder is private;
+
+   procedure Initialize
+     (Binder      : out VxLink_Binder;
+      Object_File : String);
+
+   procedure Parse_Tag_File
+     (Binder : in out VxLink_Binder;
+      File   : String);
+
+   procedure Emit_CTDT
+     (Binder    : in out VxLink_Binder;
+      Namespace : String);
+
+   function CTDT_File (Binder : VxLink_Binder) return String;
+
+private
+
+   use Ada.Strings.Unbounded;
+
+   type Symbol_Kind is (Sym_Ctor, Sym_Dtor, Sym_Other);
+
+   type Symbol is record
+      Name     : Unbounded_String;
+      Cat      : Character;
+      Internal : Boolean;
+      Kind     : Symbol_Kind;
+      Priority : Integer;
+   end record;
+
+   function "=" (S1, S2 : Symbol) return Boolean
+   is (S1.Name = S2.Name and then S1.Cat = S2.Cat);
+
+   function "<" (S1, S2 : Symbol) return Boolean
+   is (if S1.Priority /= S2.Priority
+       then S1.Priority < S2.Priority
+       elsif S1.Name /= S2.Name
+       then S1.Name < S2.Name
+       else S1.Cat < S2.Cat);
+
+   package Symbol_Sets is new Ada.Containers.Ordered_Sets
+     (Symbol,
+      "<" => "<",
+      "=" => "=");
+
+   type VxLink_Binder is record
+      CTDT_File          : Unbounded_String;
+      Constructors       : Symbol_Sets.Set;
+      Destructors        : Symbol_Sets.Set;
+      Module_Dtor_Needed : Boolean;
+      EH_Frame_Needed    : Boolean;
+      Tags_List          : Strings_List.Vector;
+   end record;
+
+end VxLink.Bind;