/usr/share/ada/adainclude/asis/asis-extensions-strings.ads is in libasis2014-dev 2014-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 | ------------------------------------------------------------------------------
-- --
-- ASIS UTILITY LIBRARY COMPONENTS --
-- --
-- A S I S . E X T E N S I O N S . S T R I N G S --
-- --
-- S p e c --
-- --
-- Copyright (C) 2004-2013, AdaCore --
-- --
-- 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, 51 Franklin --
-- Street, Fifth Floor, Boston, MA 02110-1301, USA. --
-- --
-- --
-- --
-- --
-- --
-- --
-- --
-- --
-- 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 AdaCore --
-- (http://www.adacore.com). --
-- --
------------------------------------------------------------------------------
-- This package was a part of ASIS Utility Library (as ASIS_UL.Strings). It
-- has been moved into Asis.Extensions hierarchy to optimize dependencies on
-- GNATCOOL sources.
-- This package provides a string storage mechanism for varied length strings
-- Note that this mechanism is less efficient then direct using of access to
-- String values (for example GNAT.OS_Lib.String_Access). But from the other
-- side it allows to store and reuse varied length strings.
with Asis; use Asis;
package Asis.Extensions.Strings is
Instance_SLOC_Txt : String := " instance at ";
-- Part of the SLOC created for an element from expanded generic
type String_Loc is record
First, Last : Natural;
end record;
-- This record contains the start and end positions of a string inside
-- a character table
Nil_String_Loc : String_Loc := (0, 0);
-- Corresponds to an empty string
function Enter_String (S : String) return String_Loc;
-- Stores a string in a character array, returning its starting and ending
-- positions in a String_Loc structure
function Get_String (SL : String_Loc) return String;
-- Retrieves a string from a character array, based on its starting
-- and ending positions supplied by SL
function Is_Equal (S : String; SL : String_Loc) return Boolean;
-- Checks if S is equal to a string represented by SL. Returns False if
-- SL represents null string of if SL does not represent a string stored
-- in the string storage.
procedure Init;
-- Resets the string table
function Build_GNAT_Location_Old
(For_Elem : Asis.Element;
Line : Natural := 0;
Column : Natural := 0)
return String_Loc;
function Build_GNAT_Location
(For_Elem : Asis.Element;
Line : Natural := 0;
Column : Natural := 0)
return String_Loc;
-- Builds the string that describes the Element location in the form
-- "file_name:line_number. For Elements from the instantiations
-- the chain location_of_instantiation - location_in_template is created.
--
-- If For_Elem is Is_Part_Of_Implicit Elements and represents an implicit
-- inherited subprogram or component thereof, the created SLOC has the
-- format SLOC1(SLOC2), where SLOC1 is a SLOC of the corresponding
-- explicit subprogram (or corresponding component thereof) from which
-- this implicit subprogram has been inherited (directly or throufg a
-- chain of other *implicit* derivations), and SLOC2 corresponds to the
-- derived type declaration that is the "owner" of this implicit
-- subprogram.
--
-- For any other Is_Part_Of_Implicit Element this function cannot produce
-- any meaningful result.
--
-- Parameters Line and Column may have non-zero values only if the
-- argument Element is not from expanded instantiation. If they are set,
-- then the corresponding values are used as line and column numbers in
-- the source location, otherwise line and column numbers are computed
-- from the argument Element.
--
-- The the argument Element is from package Standard, the generated string
-- is "Standard location", indepentently on the actuals for Line and
-- Column parameters
--
-- Build_GNAT_Location_New differs from Build_GNAT_Location in the format
-- of SLOC created for instantiations - instead of using square brackets is
-- creates the chain that has the following structure:
--
-- SLOC_t instantiance at SLOC_i {instantiance at SLOC_i}
--
-- where SLOC_t is SLOC in template and SLOC_i - SLOC of the corresponding
-- instantiation, from innermost to outermost when going from left to
-- right.
function Build_GNAT_Location_Old
(For_Elem : Asis.Element;
Line : Natural := 0;
Column : Natural := 0)
return String;
function Build_GNAT_Location
(For_Elem : Asis.Element;
Line : Natural := 0;
Column : Natural := 0)
return String;
-- Similar to the previous function, but this function returns the string
-- result without allocating any information in the string storage.
function Old_Format (SLOC : String) return String;
-- If SLOC is the Source location pointing inside expended instantiation
-- that uses new format (with "instance at") converts it into old format
-- (with []). Otherwise returns the argument unchanged
function SLOC_Less_Than (L, R : String) return Boolean;
-- function SLOC_Less_Than_New (L, R : String) return Boolean;
-- Provided that L and R have the format of GNAT SLOC (that is,
-- 'file_name:line:col' compares these SLOCs alphabetically (first file
-- names converted to lower case are compared, if they are equal, line
-- numbers are compared, and if they are also eaual colons are compared).
-- If L or R does not have the format of GNAT SLOC, the result is
-- unpredictable.
--
-- SLOC_Less_Than expects the new format of SLOCs from expanded generics
-- (with "instance at").
end Asis.Extensions.Strings;
|