3 type Iface_1
is interface
;
4 procedure op1
(this
: Iface_1
) is abstract;
6 type Iface_2
is interface
;
7 procedure op2
(this
: Iface_2
) is abstract;
9 type Root
is new Iface_1
with record
10 m_name
: String(1..4);
13 procedure op1
(this
: Root
);
15 type DT
is new Root
and Iface_2
with null record;
16 procedure op2
(this
: DT
);