5 type Object
(Valid
: Boolean := False) is record
7 when True => Stamp
: Natural;
12 function Dummy_Object
(Should_Be_There
: Boolean) Return Object
is
14 if not Should_Be_There
then
17 return Object
'(Valid => False);
20 procedure Check (Create_Dummy : Boolean) is
23 B := Create_Dummy and then Dummy_Object (Create_Dummy).Valid;
27 Check (Create_Dummy => False);
28 Check (Create_Dummy => True);