File : asis-ada_environments-containers.adb
------------------------------------------------------------------------------
-- --
-- ASIS-for-GNAT IMPLEMENTATION COMPONENTS --
-- --
-- --
-- A S I S . A D A _ E N V I R O N M E N T S . C O N T A I N E R S --
-- --
-- B o d y --
-- --
-- Copyright (c) 1995-1999, Free Software Foundation, Inc. --
-- --
-- ASIS-for-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 --
-- Software Foundation; either version 2, or (at your option) any later --
-- version. ASIS-for-GNAT is distributed in the hope that it will be use- --
-- ful, but WITHOUT ANY WARRANTY; without even the implied warranty of MER- --
-- CHANTABILITY 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 ASIS-for-GNAT; see file --
-- COPYING. If not, write to the Free Software Foundation, 59 Temple Place --
-- - Suite 330, Boston, MA 02111-1307, USA. --
-- --
-- As a special exception, if other files instantiate generics from this --
-- unit, or you link this unit with other files to produce an executable, --
-- this unit does not by itself cause the resulting executable to be --
-- covered by the GNU General Public License. This exception does not --
-- however invalidate any other reasons why the executable file might be --
-- covered by the GNU Public License. --
-- --
-- ASIS-for-GNAT was originally developed by the ASIS-for-GNAT team at the --
-- Software Engineering Laboratory of the Swiss Federal Institute of --
-- Technology (LGL-EPFL) in Lausanne, Switzerland, in cooperation with the --
-- Scientific Research Computer Center of Moscow State University (SRCC --
-- MSU), Russia, with funding partially provided by grants from the Swiss --
-- National Science Foundation and the Swiss Academy of Engineering --
-- Sciences. ASIS-for-GNAT is now maintained by Ada Core Technologies Inc --
-- (http://www.gnat.com). --
-- --
------------------------------------------------------------------------------
with Asis.Exceptions; use Asis.Exceptions;
with A4G.Vcheck; use A4G.Vcheck;
package body Asis.Ada_Environments.Containers is
Nil_Container_List : Container_List (1 .. 0) := (others => Nil_Container);
------------------------------------------------------------------------------
-- NOT IMPLEMENTED
function Defining_Containers (The_Context : in Asis.Context)
return Container_List
is
begin
Not_Implemented_Yet (Diagnosis =>
"Asis.Ada_Environments.Containers.Defining_Containers");
-- ASIS_Failed is raised, Not_Implemented_Error status is setted
return Nil_Container_List; -- to make the code syntactically correct
exception
when ASIS_Failed =>
Add_Call_Information (Outer_Call =>
"Asis.Ada_Environments.Containers.Defining_Containers");
raise;
when others =>
Raise_ASIS_Failed (Diagnosis =>
"Asis.Ada_Environments.Containers.Defining_Containers");
end Defining_Containers;
-----------------------------------------------------------------------------
-- NOT IMPLEMENTED
function Enclosing_Context (The_Container : in Container)
return Asis.Context
is
begin
Not_Implemented_Yet (Diagnosis =>
"Asis.Ada_Environments.Containers.Enclosing_Context");
-- ASIS_Failed is raised, Not_Implemented_Error status is setted
return Nil_Context; -- to make the code syntactically correct
exception
when ASIS_Failed =>
Add_Call_Information (Outer_Call =>
"Asis.Ada_Environments.Containers.Enclosing_Context");
raise;
when others =>
Raise_ASIS_Failed (Diagnosis =>
"Asis.Ada_Environments.Containers.Enclosing_Context");
end Enclosing_Context;
-----------------------------------------------------------------------------
-- NOT IMPLEMENTED
function Library_Unit_Declarations (The_Container : in Container)
return Asis.Compilation_Unit_List
is
begin
Not_Implemented_Yet (Diagnosis =>
"Asis.Ada_Environments.Containers.Library_Unit_Declarations");
-- ASIS_Failed is raised, Not_Implemented_Error status is setted
return Nil_Compilation_Unit_List;
-- to make the code syntactically correct
exception
when ASIS_Failed =>
Add_Call_Information (Outer_Call =>
"Asis.Ada_Environments.Containers.Library_Unit_Declarations");
raise;
when others =>
Raise_ASIS_Failed (Diagnosis =>
"Asis.Ada_Environments.Containers.Library_Unit_Declarations");
end Library_Unit_Declarations;
-----------------------------------------------------------------------------
-- NOT IMPLEMENTED
function Compilation_Unit_Bodies (The_Container : in Container)
return Asis.Compilation_Unit_List
is
begin
Not_Implemented_Yet (Diagnosis =>
"Asis.Ada_Environments.Containers.Compilation_Unit_Bodies");
-- ASIS_Failed is raised, Not_Implemented_Error status is setted
return Nil_Compilation_Unit_List;
-- to make the code syntactically correct
exception
when ASIS_Failed =>
Add_Call_Information (Outer_Call =>
"Asis.Ada_Environments.Containers.Compilation_Unit_Bodies");
raise;
when others =>
Raise_ASIS_Failed (Diagnosis =>
"Asis.Ada_Environments.Containers.Compilation_Unit_Bodies");
end Compilation_Unit_Bodies;
-----------------------------------------------------------------------------
-- NOT IMPLEMENTED
function Compilation_Units (The_Container : in Container)
return Asis.Compilation_Unit_List
is
begin
Not_Implemented_Yet (Diagnosis =>
"Asis.Ada_Environments.Containers.Compilation_Units");
-- ASIS_Failed is raised, Not_Implemented_Error status is setted
return Nil_Compilation_Unit_List;
-- to make the code syntactically correct
exception
when ASIS_Failed =>
Add_Call_Information (Outer_Call =>
"Asis.Ada_Environments.Containers.Compilation_Units");
raise;
when others =>
Raise_ASIS_Failed (Diagnosis =>
"Asis.Ada_Environments.Containers.Compilation_Units");
end Compilation_Units;
-----------------------------------------------------------------------------
-- NOT IMPLEMENTED
function Is_Equal (Left : in Container;
Right : in Container) return Boolean
is
begin
Not_Implemented_Yet (Diagnosis =>
"Asis.Ada_Environments.Containers.Is_Equal");
-- ASIS_Failed is raised, Not_Implemented_Error status is setted
return False; -- to make the code syntactically correct
exception
when ASIS_Failed =>
Add_Call_Information (Outer_Call =>
"Asis.Ada_Environments.Containers.Is_Equal");
raise;
when others =>
Raise_ASIS_Failed (Diagnosis =>
"Asis.Ada_Environments.Containers.Is_Equal");
end Is_Equal;
-----------------------------------------------------------------------------
-- NOT IMPLEMENTED
function Is_Identical (Left : in Container;
Right : in Container) return Boolean
is
begin
Not_Implemented_Yet (Diagnosis =>
"Asis.Ada_Environments.Containers.Is_Identical");
-- ASIS_Failed is raised, Not_Implemented_Error status is setted
return False; -- to make the code syntactically correct
exception
when ASIS_Failed =>
Add_Call_Information (Outer_Call =>
"Asis.Ada_Environments.Containers.Is_Identical");
raise;
when others =>
Raise_ASIS_Failed (Diagnosis =>
"Asis.Ada_Environments.Containers.Is_Identical");
end Is_Identical;
-----------------------------------------------------------------------------
-- NOT IMPLEMENTED
function Name (The_Container : in Container) return Wide_String is
begin
Not_Implemented_Yet (Diagnosis =>
"Asis.Ada_Environments.Containers.Name");
-- ASIS_Failed is raised, Not_Implemented_Error status is setted
return Nil_Asis_Wide_String; -- to make the code syntactically correct
exception
when ASIS_Failed =>
Add_Call_Information (Outer_Call =>
"Asis.Ada_Environments.Containers.Name");
raise;
when others =>
Raise_ASIS_Failed (Diagnosis =>
"Asis.Ada_Environments.Containers.Name");
end Name;
-----------------------------------------------------------------------------
end Asis.Ada_Environments.Containers