1 package Class_Wide4_Pkg
is
3 type Conditional_Interface
is limited interface
;
5 type Data_Object
is tagged null record;
8 (This
: in Conditional_Interface
)
9 return Boolean is abstract;
12 (This
: in out Conditional_Interface
) is abstract
14 Pre
'Class => This
.Is_Valid
;
16 procedure Do_Stuff_Access
17 (This
: not null access Conditional_Interface
) is abstract
19 Pre
'Class => This
.Is_Valid
;