1
0
Fork 0

Began testing class subtyping with mixins

perfodd
Mike Gerwitz 2014-02-04 23:55:24 -05:00
parent 513bd1a733
commit ee46fc2182
3 changed files with 146 additions and 0 deletions

View File

@ -186,4 +186,42 @@ require( 'common' ).testCase(
"Crap; order matters?!" "Crap; order matters?!"
); );
}, },
/**
* If some trait T used by abstract class C defines abstract method M,
* then some subtype C' of C should be able to provide a concrete
* definition of M such that T.M() invokes C'.M.
*/
'Abstract method inherited from trait can be implemented by subtype':
function()
{
var T = this.Sut(
{
'public doFoo': function()
{
// should invoke the concrete implementation
this.foo();
},
'abstract protected foo': [],
} );
var called = false;
// C is a concrete class that extends an abstract class that uses
// trait T
var C = this.AbstractClass.use( T ).extend( {} )
.extend(
{
// concrete definition that should be invoked by T.doFoo
'protected foo': function()
{
called = true;
},
} );
C().doFoo();
this.assertOk( called );
},
} ); } );

View File

@ -0,0 +1,59 @@
/**
* Tests extending a class that mixes in traits
*
* Copyright (C) 2014 Mike Gerwitz
*
* This file is part of GNU ease.js.
*
* ease.js is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
require( 'common' ).testCase(
{
caseSetUp: function()
{
this.Sut = this.require( 'Trait' );
this.Class = this.require( 'class' );
},
/**
* The supertype should continue to work as it would without the
* subtype, which means that the supertype's traits should still be
* available. Note that ease.js does not (at least at the time of
* writing this test) check to see if a trait is no longer accessible
* due to overrides, and so a supertype's traits will always be
* instantiated.
*/
'Subtype instantiates traits of supertype': function()
{
var called = false;
var T = this.Sut(
{
foo: function() { called = true; },
} );
// C is a subtype of a class that mixes in T
var C = this.Class.use( T ).extend( {} )
.extend(
{
// ensure that there is no ctor-dependent trait stuff
__construct: function() {},
} );
C().foo();
this.assertOk( called );
},
} );

View File

@ -134,4 +134,53 @@ require( 'common' ).testCase(
C().doFoo(); C().doFoo();
this.assertOk( called ); this.assertOk( called );
}, },
/**
* If a supertype mixes in a trait that provides a virtual method, a
* subtype should be able to provide its own concrete implementation.
* This is especially important to test in the case where a trait
* invokes its own virtual method---we must ensure that the message is
* properly passed to the subtype's override.
*
* For a more formal description of a similar matter, see the
* AbstractTest case; indeed, we're trying to mimic the same behavior
* that we'd expect with abstract methods.
*/
'Subtype can override virtual method of trait mixed into supertype':
function()
{
var _self = this;
var T = this.Sut(
{
'public doFoo': function()
{
// this call should be passed to any overrides
return this.foo();
},
// this is the one we'll try to override
'virtual protected foo': function()
{
_self.fail( true, false, "Method not overridden." );
},
} );
var called = false;
// C is a subtype of a class that implements T
var C = this.Class.use( T ).extend( {} )
.extend(
{
// this should be called instead of T.foo
'override protected foo': function()
{
called = true;
},
} );
C().doFoo();
this.assertOk( called );
},
} ); } );