2022-06-28 14:49:15 +03:00
|
|
|
--
|
2023-01-11 20:47:41 +04:00
|
|
|
-- Copyright (C) 2022-2023, AdaCore
|
2022-06-28 14:49:15 +03:00
|
|
|
--
|
2023-03-10 09:36:11 +01:00
|
|
|
-- SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
2022-06-28 14:49:15 +03:00
|
|
|
--
|
|
|
|
|
|
2023-01-11 20:47:41 +04:00
|
|
|
with VSS.Strings;
|
2022-06-28 14:49:15 +03:00
|
|
|
with VSS.XML.Locators;
|
|
|
|
|
with VSS.XML.Parse_Errors;
|
|
|
|
|
|
|
|
|
|
package VSS.XML.Implementation.Parse_Errors is
|
|
|
|
|
|
|
|
|
|
type Parse_Error is
|
|
|
|
|
limited new VSS.XML.Parse_Errors.SAX_Parse_Error with
|
|
|
|
|
record
|
|
|
|
|
Locator : VSS.XML.Locators.SAX_Locator_Access;
|
|
|
|
|
Message : VSS.Strings.Virtual_String;
|
|
|
|
|
end record;
|
|
|
|
|
|
|
|
|
|
overriding function Get_Column_Number
|
|
|
|
|
(Self : Parse_Error) return VSS.Strings.Character_Index'Base;
|
|
|
|
|
|
|
|
|
|
overriding function Get_Line_Number
|
2023-01-11 20:47:41 +04:00
|
|
|
(Self : Parse_Error) return VSS.Strings.Line_Index'Base;
|
2022-06-28 14:49:15 +03:00
|
|
|
|
|
|
|
|
overriding function Get_Message
|
|
|
|
|
(Self : Parse_Error) return VSS.Strings.Virtual_String;
|
|
|
|
|
|
|
|
|
|
overriding function Get_Public_Id
|
|
|
|
|
(Self : Parse_Error) return VSS.Strings.Virtual_String;
|
|
|
|
|
|
|
|
|
|
overriding function Get_System_Id
|
|
|
|
|
(Self : Parse_Error) return VSS.Strings.Virtual_String;
|
|
|
|
|
|
2022-07-06 13:05:01 +03:00
|
|
|
type Parse_Error_Location is
|
|
|
|
|
limited new VSS.XML.Parse_Errors.SAX_Parse_Error with
|
|
|
|
|
record
|
|
|
|
|
Public_Id : VSS.Strings.Virtual_String;
|
|
|
|
|
System_Id : VSS.Strings.Virtual_String;
|
2023-01-11 20:47:41 +04:00
|
|
|
Line : VSS.Strings.Line_Count := 0;
|
|
|
|
|
Column : VSS.Strings.Character_Count := 0;
|
2022-07-06 13:05:01 +03:00
|
|
|
Message : VSS.Strings.Virtual_String;
|
|
|
|
|
end record;
|
|
|
|
|
|
|
|
|
|
overriding function Get_Column_Number
|
|
|
|
|
(Self : Parse_Error_Location) return VSS.Strings.Character_Index'Base;
|
|
|
|
|
|
|
|
|
|
overriding function Get_Line_Number
|
2023-01-11 20:47:41 +04:00
|
|
|
(Self : Parse_Error_Location) return VSS.Strings.Line_Index'Base;
|
2022-07-06 13:05:01 +03:00
|
|
|
|
|
|
|
|
overriding function Get_Message
|
|
|
|
|
(Self : Parse_Error_Location) return VSS.Strings.Virtual_String;
|
|
|
|
|
|
|
|
|
|
overriding function Get_Public_Id
|
|
|
|
|
(Self : Parse_Error_Location) return VSS.Strings.Virtual_String;
|
|
|
|
|
|
|
|
|
|
overriding function Get_System_Id
|
|
|
|
|
(Self : Parse_Error_Location) return VSS.Strings.Virtual_String;
|
|
|
|
|
|
2022-06-28 14:49:15 +03:00
|
|
|
end VSS.XML.Implementation.Parse_Errors;
|