Newer
Older
zweic / tests / 4 / method00-7.zwei
@ajaggi ajaggi on 27 Dec 2005 375 bytes Changes:
// zweic - test program for method typing
// M. Ganguin, J. Ruffin 2005

class foo {}
class bar extends foo {}
class baz extends bar {}

// Method

class MethodTest {
    
    bar overrideTest(bar a, bar b) { return new bar() } // success of clause 3

    foo overrideTest(foo a, foo b) { // successful override
        return new baz() // success (polymorphism)
    }

}

0