blob: 8fd601c99b3deae092c655d1ef3d99640b69434c [file] [log] [blame]
with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
with Ada.Finalization; use Ada.Finalization;
package Equal7_Pkg is
type Editor_Location is abstract new Controlled with null record;
Nil_Editor_Location : constant Editor_Location'Class;
function F (X : Integer) return Unbounded_String;
function F (X : Integer) return String;
private
type Dummy_Editor_Location is new Editor_Location with null record;
Nil_Editor_Location : constant Editor_Location'Class :=
Dummy_Editor_Location'(Controlled with null record);
end;