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

21 Mar 2010


      ----- Original Message ----- 
From: "vicente.botet" <vicente.botet@wanadoo.fr>
To: <boost@lists.boost.org>
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