10.3 Interface example

interface T 
{
    function f()
}

interface U 
{
    function f()
    function g()
}

interface V extends T,U 
{
    function h()
}

class A implements V 
{
    public function f() {}   // implements {T,U}::f
    public function g() {}   // implements {U}::g
    public function h() {}   // implements {V}::h
}

var a : A = new A
var t : T = a
var u : U = a
var v : V = a

t.f()     // {T}::f referenced, T::f matched
u.g()     // {U}::g referenced, U::g matched
v.f()     // {T,U,V}::f referenced, {T,U}::f matched
v.g()     // {T,U,V}::g referenced, U::g matched
v.h()     // {T,U,V}::h referenced, V::h matched
a.f()     // {public,…}::f referenced, public::f matched

var o = a

o.f()     // {public,…}::f referenced, public::f matched