===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -319,9 +319,13 @@
pragma Inline (Finalize);
type Constant_Reference_Type
- (Element : not null access constant Element_Type) is
+ (Element : not null access constant Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
@@ -337,9 +341,13 @@
for Constant_Reference_Type'Read use Read;
type Reference_Type
- (Element : not null access Element_Type) is
+ (Element : not null access Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -379,9 +379,13 @@
pragma Inline (Finalize);
type Constant_Reference_Type
- (Element : not null access constant Element_Type) is
+ (Element : not null access constant Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
@@ -397,9 +401,13 @@
for Constant_Reference_Type'Read use Read;
type Reference_Type
- (Element : not null access Element_Type) is
+ (Element : not null access Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -426,7 +426,11 @@
type Constant_Reference_Type
(Element : not null access constant Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
@@ -444,7 +448,11 @@
type Reference_Type
(Element : not null access Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -409,9 +409,13 @@
pragma Inline (Finalize);
type Constant_Reference_Type
- (Element : not null access constant Element_Type) is
+ (Element : not null access constant Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Read
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -309,9 +309,13 @@
pragma Inline (Finalize);
type Constant_Reference_Type
- (Element : not null access constant Element_Type) is
+ (Element : not null access constant Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Read
@@ -327,9 +331,13 @@
for Constant_Reference_Type'Write use Write;
type Reference_Type
- (Element : not null access Element_Type) is
+ (Element : not null access Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Read
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -295,9 +295,13 @@
type Constant_Reference_Type
(Element : not null access constant Element_Type) is
- record
- Control : Reference_Control_Type;
- end record;
+ record
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
+ end record;
procedure Read
(Stream : not null access Root_Stream_Type'Class;
@@ -312,7 +316,11 @@
for Constant_Reference_Type'Write use Write;
type Reference_Type (Element : not null access Element_Type) is record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Read
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -313,9 +313,13 @@
pragma Inline (Finalize);
type Constant_Reference_Type
- (Element : not null access constant Element_Type) is
+ (Element : not null access constant Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
@@ -331,9 +335,13 @@
for Constant_Reference_Type'Read use Read;
type Reference_Type
- (Element : not null access Element_Type) is
+ (Element : not null access Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -394,7 +394,11 @@
type Constant_Reference_Type
(Element : not null access constant Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Read
@@ -412,7 +416,11 @@
type Reference_Type
(Element : not null access Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Read
===================================================================
@@ -489,7 +489,11 @@
type Constant_Reference_Type
(Element : not null access constant Element_Type) is record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
type Cursor is record
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -449,7 +449,11 @@
pragma Inline (Finalize);
type Reference_Type (Element : not null access Element_Type) is record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
use Ada.Streams;
@@ -541,7 +545,11 @@
type Constant_Reference_Type
(Element : not null access constant Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Read
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -385,9 +385,13 @@
pragma Inline (Finalize);
type Constant_Reference_Type
- (Element : not null access constant Element_Type) is
+ (Element : not null access constant Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
@@ -403,9 +407,13 @@
for Constant_Reference_Type'Read use Read;
type Reference_Type
- (Element : not null access Element_Type) is
+ (Element : not null access Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -392,9 +392,13 @@
pragma Inline (Finalize);
type Constant_Reference_Type
- (Element : not null access constant Element_Type) is
+ (Element : not null access constant Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -392,9 +392,13 @@
type Constant_Reference_Type
(Element : not null access constant Element_Type) is
- record
- Control : Reference_Control_Type;
- end record;
+ record
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
+ end record;
procedure Write
(Stream : not null access Root_Stream_Type'Class;
@@ -409,7 +413,11 @@
for Constant_Reference_Type'Read use Read;
type Reference_Type (Element : not null access Element_Type) is record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -388,10 +388,14 @@
pragma Inline (Finalize);
type Constant_Reference_Type
- (Element : not null access constant Element_Type) is
- record
- Control : Reference_Control_Type;
- end record;
+ (Element : not null access constant Element_Type) is
+ record
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
+ end record;
procedure Read
(Stream : not null access Root_Stream_Type'Class;
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -443,7 +443,11 @@
type Constant_Reference_Type
(Element : not null access constant Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Read
@@ -461,7 +465,11 @@
type Reference_Type
(Element : not null access Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Read
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -308,9 +308,13 @@
pragma Inline (Finalize);
type Constant_Reference_Type
- (Element : not null access constant Element_Type) is
+ (Element : not null access constant Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Read
@@ -326,9 +330,13 @@
for Constant_Reference_Type'Write use Write;
type Reference_Type
- (Element : not null access Element_Type) is
+ (Element : not null access Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Read
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -420,10 +420,14 @@
pragma Inline (Finalize);
type Constant_Reference_Type
- (Element : not null access constant Element_Type) is
- record
- Control : Reference_Control_Type;
- end record;
+ (Element : not null access constant Element_Type) is
+ record
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
+ end record;
procedure Read
(Stream : not null access Root_Stream_Type'Class;
@@ -438,7 +442,11 @@
for Constant_Reference_Type'Write use Write;
type Reference_Type (Element : not null access Element_Type) is record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Read
===================================================================
@@ -493,7 +493,11 @@
type Constant_Reference_Type
(Element : not null access constant Element_Type) is record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
type Cursor is record
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -432,9 +432,13 @@
pragma Inline (Finalize);
type Constant_Reference_Type
- (Element : not null access constant Element_Type) is
+ (Element : not null access constant Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
@@ -450,9 +454,13 @@
for Constant_Reference_Type'Read use Read;
type Reference_Type
- (Element : not null access Element_Type) is
+ (Element : not null access Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -554,7 +554,11 @@
type Constant_Reference_Type
(Element : not null access constant Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Read
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2011-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -131,10 +131,14 @@
pragma Inline (Finalize);
type Constant_Reference_Type
- (Element : not null access constant Element_Type) is
- record
- Control : Reference_Control_Type;
- end record;
+ (Element : not null access constant Element_Type) is
+ record
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
+ end record;
procedure Write
(Stream : not null access Root_Stream_Type'Class;
@@ -149,7 +153,11 @@
for Constant_Reference_Type'Read use Read;
type Reference_Type (Element : not null access Element_Type) is record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2013-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -145,10 +145,14 @@
pragma Inline (Finalize);
type Constant_Reference_Type
- (Element : not null access constant Element_Type) is
- record
- Control : Reference_Control_Type;
- end record;
+ (Element : not null access constant Element_Type) is
+ record
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
+ end record;
procedure Write
(Stream : not null access Root_Stream_Type'Class;
@@ -163,7 +167,11 @@
for Constant_Reference_Type'Read use Read;
type Reference_Type (Element : not null access Element_Type) is record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -313,9 +313,13 @@
type Constant_Reference_Type
(Element : not null access constant Element_Type) is
- record
- Control : Reference_Control_Type;
- end record;
+ record
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
+ end record;
procedure Read
(Stream : not null access Root_Stream_Type'Class;
@@ -330,7 +334,11 @@
for Constant_Reference_Type'Write use Write;
type Reference_Type (Element : not null access Element_Type) is record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2014-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -346,7 +346,11 @@
type Constant_Reference_Type
(Element : not null access constant Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
@@ -362,7 +366,11 @@
type Reference_Type
(Element : not null access Element_Type) is
record
- Control : Reference_Control_Type;
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
end record;
procedure Write
===================================================================
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -549,9 +549,13 @@
type Constant_Reference_Type
(Element : not null access constant Element_Type) is
- record
- Control : Reference_Control_Type;
- end record;
+ record
+ Control : Reference_Control_Type :=
+ raise Program_Error with "uninitialized reference";
+ -- The RM says, "The default initialization of an object of
+ -- type Constant_Reference_Type or Reference_Type propagates
+ -- Program_Error."
+ end record;
procedure Read
(Stream : not null access Root_Stream_Type'Class;