--|
--|Item: Ada PCTE Binding
--|$Revision: 0.2 $
--|$State: Prototype $
--|
--|The Version Description Document (VDD) included with this release provides
--|detailed information regarding the condition of the software.  The "User 
--|Feedback" section of the VDD describes how to obtain additional information.
--|
--|Distribution Statement "A", per DoD Directive 5230.24
--|Authorized for public release; distribution is unlimited.
--|
--|Copyright (c) 1992, Paramax Systems Corporation, Reston, Virginia 
--|Copyright is assigned to the U.S. Government, upon delivery thereto, 
--|in accordance with the DFAR Special Works Clause.
--|
--|Developed by:  Paramax Systems Corporation,
--|
--|This software, developed under the Software Technology for Adaptable,
--|Reliable Systems (STARS) program, is approved for release under 
--|Distribution "A" of the Scientific and Technical Information Program 
--|Classification Scheme (DoD Directive 5230.24) unless otherwise indicated.  
--|Sponsored by the U.S. Defense Advanced Research Projects Agency (DARPA) 
--|under contract F19628-88-D-0031, the STARS program is supported by the 
--|military services, SEI, and MITRE, with the U.S. Air Force as the executive 
--|contracting agent.
--|
--|Permission to use, copy, modify, and comment on this software and its
--|documentation for purposes stated under Distribution "A" and without fee
--|is hereby granted, provided that this notice appears in each whole or
--|partial copy.  This software retains Contractor indemnification to
--|the Government regarding copyrights pursuant to the above referenced
--|STARS contract.  The Government disclaims all responsibility against
--|liability, including costs and expenses for violation of proprietary
--|rights, or copyrights arising out of the creation or use of this
--|software.
--|
--|In addition, the Government, Paramax, and its subcontractors disclaim all 
--|warranties with regard to this software, including all implied warranties 
--|of merchantability and fitness, and in no event shall the Government, 
--|Paramax, or its subcontractor(s) be liable for any special, indirect or 
--|consequential damages or any damages whatsoever resulting from the loss of 
--|use, data, or profits, whether in action of contract, negligence or other 
--|tortious action, arising in connection with the use or performance of this 
--|software.
--|
--|$Log $
--|
--                         Version Information
--                         ^^^^^^^^^^^^^^^^^^^
--
-- PCTE - Ada Language Interface.
-- Version: 0.2.
-- Release Date: November 30, 1992.
-- Compiled under SUN OS 4.1.2 using SunAda 1.0
--
--
--                         General Information
--                         ^^^^^^^^^^^^^^^^^^^
--
-- This is an alpha release of the Paramax STARS Ada binding to Emeraude's
-- PCTE 1.5 using the ECMA PCTE Ada binding specifications.  The binding
-- is incomplete in this release.  See the Version Description Document
-- provided with this alpha release for information on which interfaces
-- have been implemented.  It is expected that future releases will
-- expand the number of interfaces implemented.  The interfaces defined
-- herein are subject to change.
--
-- For further information, contact the authors:
--
--
--                   Robert Smith
--                   Paramax Systems Corp.
--                   Valley Forge Labs
--                   70 E. Swedesford Road
--                   Paoli, PA. 19301
--                   smith@prc.unisys.com (current)
--                   smith@vfl.paramax.com (future)
--                   +1 215 648-2402
--
--                   Michael Horton
--                   Paramax Systems Corp.
--                   Valley Forge Labs
--                   70 E. Swedesford Road
--                   Paoli, PA. 19301
--                   horton@prc.unisys.com (current)
--                   horton@vfl.paramax.com (future)
--                   +1 215 648-2527
--
--
with pcte;
with pcte_1_5_int;
use pcte_1_5_int;

package pcte_1_5_support is

   -- D_Kind convenience functions:

   -- field_of_d_kind extracts a "field" within a d_kind value, where the
   -- field is identified by the starting_bit number "n", where n is the
   -- 2 ** nth bit of d_kind (i.e., where the bits are numbered starting
   -- from 0 on the "right") and by the number_of_bits in the field.
   function field_of_d_kind (d_kind         : u_short;
                             starting_bit   : natural;
                             number_of_bits : positive) return u_short;

   function definition_kind_of (d_kind : u_short) return u_short;

   function obj_base_type_of (d_kind : u_short) return u_short;

   function attr_type_of (d_kind : u_short) return u_short;

   function link_type_of (d_kind : u_short) return u_short;

   function rev_link_type_of (d_kind : u_short) return u_short;

   function stability_of (d_kind : u_short) return u_short;

   function inverse_stability_of (d_kind : u_short) return u_short;

   function arity_of (d_kind : u_short) return u_short;

   -- miscellaneous convenience functions:

   function attr_type_of (object    : Pcte.reference.object;
                          link      : Pcte.link_reference;
                          attr_name : string;
                          sdsname   : string := "") return u_short;

   function attr_type_of (object_path : string;
                          link        : Pcte.link_reference;
                          attr_name   : string;
                          sdsname     : string := "") return u_short;

   function attr_type_of (object    : Pcte.reference.object;
                          attr_name : string;
                          sdsname   : string := "") return u_short;

   function attr_type_of (object_path : string;
                          attr_name   : string;
                          sdsname     : string := "") return u_short;

   function attributes_of (object  : Pcte.reference.object;
                           sdsname : string := "") return defid_array;

   function attributes_of (object_path : string;
                           sdsname     : string := "") return defid_array;

   function attributes_of (object  : Pcte.reference.object;
                           link    : Pcte.link_reference;
                           sdsname : string := "") return defid_array;

   function attributes_of (object_path : string;
                           link        : Pcte.link_reference;
                           sdsname     : string := "") return defid_array;

   function links_of (object    : Pcte.reference.object;
                      link_type : string := "") return linkstat_array;

   function links_of (object_path : string;
                      link_type   : string := "") return linkstat_array;

   function defid_of_type_identifier (in_type : Pcte.type_reference)
         return defid;

   function type_identifier_of_defid (in_type : defid)
         return Pcte.type_reference;

   procedure type_name_components (pcte_type     : in Pcte.type_reference;
                                   sdsname       : out string;
                                   sdsname_len   : out natural;
                                   stripped_name : out string;
                                   stripped_len  : out natural);

   function type_name_of
       (type_defid : defid;
        sdsname    : string := "") return Pcte.type_reference;

end pcte_1_5_support;