You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
08925d5b65
In Inspector, BT library is used by BE.Backtraces.Xml_Files to write
XML files with backtraces and Inspector values. In GNAT Studio, BT
library is used to read XML files with Inspector values.
There was one copy of the library in Inspector's repo and one in GS
repo and these two copies were supposed to be manually synchronized.
However, since there is only a little intersection between the part
of the library used in Inspector and in GS, we decided to split the
library into two parts - Inspector part and GS part and to stop
synchronizing these systematically.
This commit puts comments to the parts of the splitted library that
still needs to synchronized, but it is very unlikely that these
will need to be modified. Here is the list of sources with some
intersection between Inspector and GS part:
bt.ads
- small part of the file containing the definition of source code
position; very unlikely need to be synchronized
bt-xml.{abs, adb}
- definitions of names of XML entities and attributes + the function
Xml_Vals_File_Name
Then, this commit makes the following changes:
* bt-xml-reader.{adb, ads} - keep only the part necessary for
reading XML files with Inspector values
* bt.adb - remove - not used in GS
* bt.ads - keep only types representing source positions and values
of value numbers
* bt-xml.{adb, ads} - keep only string constants for names of XML
entities and attributes necessary to read XML files with Inspector
values, keep the function Xml_Vals_File_Name
* message_kinds.{adb, ads} - remove - not used by GS
45 lines
2.2 KiB
Ada
45 lines
2.2 KiB
Ada
------------------------------------------------------------------------------
|
|
-- C O D E P E E R --
|
|
-- --
|
|
-- Copyright (C) 2008-2023, AdaCore --
|
|
-- --
|
|
-- This 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. This software is distributed in the hope that it will be useful, --
|
|
-- but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHAN- --
|
|
-- TABILITY 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 this software; see file --
|
|
-- COPYING3. If not, go to http://www.gnu.org/licenses for a complete copy --
|
|
-- of the license. --
|
|
-- --
|
|
-- The CodePeer technology was originally developed by SofCheck, Inc. --
|
|
------------------------------------------------------------------------------
|
|
|
|
-- backtrace operations that are independant from the backend, so can be
|
|
-- called from the tools using the backtraces
|
|
|
|
-- See bt-xml.ads for a description of the XML schema.
|
|
|
|
package BT.Xml.Reader is
|
|
|
|
function Get_Srcpos_Vn_Values
|
|
(File_Name : String;
|
|
Srcpos : Source_Position) return Vn_Values_Seqs.Vector;
|
|
-- Given a source position, find all the available vn <-> value_sets pairs
|
|
-- Note that a value_set is actually just a string representing the values
|
|
|
|
function Get_Srcpos_Vn_Values
|
|
(File_Name : String;
|
|
Line : Line_Number) return Vn_Values_Seqs.Vector;
|
|
-- Given a line number, find all the available vn <-> value_sets pairs
|
|
|
|
procedure Clear;
|
|
-- Clears all cached data
|
|
|
|
procedure Initialize (Output_Directory : String);
|
|
-- Initialize module to load data from given output directory.
|
|
|
|
end BT.Xml.Reader;
|