Re: [boost] [contract] Mixin Boost.Contract and Boost.STM

Subject: Re: [boost] [contract] Mixin Boost.Contract and Boost.STM
From: vicente.botet (vicente.botet_at_[hidden])
Date: 2010-03-21 12:52:10

----- Original Message ----- 
From: "vicente.botet" <vicente.botet_at_[hidden]>
To: <boost_at_[hidden]>
Sent: Saturday, March 20, 2010 4:53 PM
Subject: Re: [boost] [contract] Mixin Boost.Contract and Boost.STM

> You have no comented my suggestion to don't duplicate the signature. Instead of letting the C++ signature, generate it from the macro, so 
> 
>        void push_back(const T& element)
>        CONTRACT_FUNCTION( (inherit)(pushable<T>) // No class type.
>                (public) (void) (push_back)( (const T&)(element) )
> 
> will become
> 
>        // NO NEED OF THE C++ SIGNATURE 
>        // void push_back(const T& element)
>        CONTRACT_FUNCTION( (inherit)(pushable<T>) // No class type.
>                (public) (void) (push_back)( (const T&)(element) )
> 
 
Hi, please could you comment my suggestion?

Best,
Vicente