25 lines
542 B
Ada
25 lines
542 B
Ada
package Abstract_State1
|
|
with Abstract_State => null,
|
|
Initializes => null
|
|
is
|
|
type Complex (B : Boolean) is tagged private;
|
|
type No_F is tagged private;
|
|
X : constant No_F;
|
|
|
|
procedure Foo;
|
|
|
|
private
|
|
type Complex (B : Boolean) is tagged record
|
|
G : Integer;
|
|
case B is
|
|
when True =>
|
|
F : Integer;
|
|
when False =>
|
|
null;
|
|
end case;
|
|
end record;
|
|
|
|
type No_F is new Complex (False) with null record;
|
|
X : constant No_F := (B => False, G => 7);
|
|
end Abstract_State1;
|