~ubuntu-branches/ubuntu/karmic/asis/karmic

« back to all changes in this revision

Viewing changes to asis/asis-data_decomposition-debug.ads

  • Committer: Bazaar Package Importer
  • Author(s): Thomas Quinot
  • Date: 2002-03-03 19:55:58 UTC
  • Revision ID: james.westby@ubuntu.com-20020303195558-g7dp4vaq1zdkf814
Tags: upstream-3.14p
ImportĀ upstreamĀ versionĀ 3.14p

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
------------------------------------------------------------------------------
 
2
--                                                                          --
 
3
--                 ASIS-for-GNAT IMPLEMENTATION COMPONENTS                  --
 
4
--                                                                          --
 
5
--           A S I S . D A T A _ D E C O M P O S I T I O N . D E B U G      --
 
6
--                                                                          --
 
7
--                                 S p e c                                  --
 
8
--                                                                          --
 
9
--            Copyright (c) 1995-1999, Free Software Foundation, Inc.       --
 
10
--                                                                          --
 
11
-- ASIS-for-GNAT is free software; you can redistribute it and/or modify it --
 
12
-- under terms of the  GNU General Public License  as published by the Free --
 
13
-- Software Foundation;  either version 2,  or  (at your option)  any later --
 
14
-- version. ASIS-for-GNAT is distributed  in the hope  that it will be use- --
 
15
-- ful, but WITHOUT ANY WARRANTY; without even the implied warranty of MER- --
 
16
-- CHANTABILITY or  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General  --
 
17
-- Public License for more details. You should have received a copy of the  --
 
18
-- GNU General Public License  distributed with ASIS-for-GNAT; see file     --
 
19
-- COPYING. If not, write to the Free Software Foundation,  59 Temple Place --
 
20
-- - Suite 330,  Boston, MA 02111-1307, USA.                                --
 
21
--                                                                          --
 
22
-- As a special exception,  if other files  instantiate  generics from this --
 
23
-- unit, or you link  this unit with other files  to produce an executable, --
 
24
-- this  unit  does not  by itself cause  the resulting  executable  to  be --
 
25
-- covered  by the  GNU  General  Public  License.  This exception does not --
 
26
-- however invalidate  any other reasons why  the executable file  might be --
 
27
-- covered by the  GNU Public License.                                      --
 
28
--                                                                          --
 
29
-- ASIS-for-GNAT was originally developed  by the ASIS-for-GNAT team at the --
 
30
-- Software  Engineering  Laboratory  of  the Swiss  Federal  Institute  of --
 
31
-- Technology (LGL-EPFL) in Lausanne,  Switzerland, in cooperation with the --
 
32
-- Scientific  Research  Computer  Center of  Moscow State University (SRCC --
 
33
-- MSU), Russia,  with funding partially provided  by grants from the Swiss --
 
34
-- National  Science  Foundation  and  the  Swiss  Academy  of  Engineering --
 
35
-- Sciences.  ASIS-for-GNAT is now maintained by  Ada Core Technologies Inc --
 
36
-- (http://www.gnat.com).                                                   --
 
37
--                                                                          --
 
38
------------------------------------------------------------------------------
 
39
 
 
40
--  This package contains routines forming debug images for bstractions
 
41
--  declared in Asis.Data_Decomposition.
 
42
 
 
43
package Asis.Data_Decomposition.Debug is
 
44
 
 
45
   function Debug_Image (RC : in Record_Component) return Wide_String;
 
46
   function Debug_Image (AC : in Array_Component) return Wide_String;
 
47
 
 
48
   --  Returns a string value containing implementation-defined debug
 
49
   --  information associated with the element.
 
50
   --
 
51
   --  The return value uses Asis.Text.Delimiter_Image to separate the lines
 
52
   --  of multi-line results.  The return value does not end with
 
53
   --  Asis.Text.Delimiter_Image.
 
54
 
 
55
   function Is_Derived_From_Record (TD : Element) return Boolean;
 
56
   function Is_Derived_From_Array  (TD : Element) return Boolean;
 
57
   --  The public renaming of
 
58
   --  Asis.Data_Decomposition.Aux.Is_Derived_From_Record/
 
59
   --  Asis.Data_Decomposition.Aux.Is_Derived_From_Array
 
60
   --  May be, we should have it in Asis.Extensions
 
61
 
 
62
   function Dimension (Comp : Array_Component) return ASIS_Natural;
 
63
   --  The public renaming of
 
64
   --  Asis.Data_Decomposition.Set_Get.Dimension
 
65
   --  May be, we should have it in Asis.Extensions
 
66
 
 
67
--   function Linear_Index
 
68
--     (Inds        : Dimension_Indexes;
 
69
--      D           : ASIS_Natural;
 
70
--      Ind_Lengths : Dimention_Length;
 
71
--      Conv        : Convention_Id := Convention_Ada)
 
72
--      return Asis.ASIS_Natural;
 
73
 
 
74
--   function De_Linear_Index
 
75
--     (Index       : Asis.ASIS_Natural;
 
76
--      D           : ASIS_Natural;
 
77
--      Ind_Lengths : Dimention_Length;
 
78
--      Conv        : Convention_Id := Convention_Ada)
 
79
--      return Dimension_Indexes;
 
80
   --  The public renaming of
 
81
   --  Asis.Data_Decomposition.Aux.Linear_Index and
 
82
   --  Asis.Data_Decomposition.Aux.De_Linear_Index
 
83
 
 
84
end Asis.Data_Decomposition.Debug;
 
 
b'\\ No newline at end of file'