1with Class_Wide4_Pkg;
2
3package Class_Wide4_Pkg2 is
4
5   type Object is limited new
6     Class_Wide4_Pkg.Conditional_Interface with
7   record
8      Val : Integer := 1234;
9   end record;
10
11   function Is_Valid
12     (This : in Object)
13      return Boolean
14   is
15     (This.Val = 1234);
16
17   function Is_Supported_Data
18     (This : in Object;
19      Data : not null access Class_Wide4_Pkg.Data_Object'Class)
20      return Boolean
21   is
22     (This.Val = 1234);
23
24   procedure Do_Stuff
25     (This : in out Object) is null;
26
27   procedure Do_Stuff_Access
28     (This : not null access Object) is null;
29
30end Class_Wide4_Pkg2;
31