mirror of
https://github.com/AdaCore/VSS.git
synced 2026-02-12 13:06:25 -08:00
29 lines
555 B
Ada
29 lines
555 B
Ada
--
|
|
-- Copyright (C) 2022, AdaCore
|
|
--
|
|
-- SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
--
|
|
|
|
with VSS.Strings;
|
|
|
|
package VSS.IRIs is
|
|
|
|
pragma Preelaborate;
|
|
|
|
type IRI is tagged private;
|
|
|
|
Empty_IRI : constant IRI;
|
|
|
|
function To_IRI (Image : VSS.Strings.Virtual_String) return IRI;
|
|
|
|
function To_Virtual_String
|
|
(Self : IRI'Class) return VSS.Strings.Virtual_String;
|
|
|
|
private
|
|
|
|
type IRI is new VSS.Strings.Virtual_String with null record;
|
|
|
|
Empty_IRI : constant IRI := (VSS.Strings.Virtual_String with null record);
|
|
|
|
end VSS.IRIs;
|