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