On Feb 19, 2011, at 2:39 PM, Gunnar Morling wrote:
>
> a scripting-based approach as described by Hardy is also the first idea which
> would come to my mind.
>
> Maybe @ScriptAssert could even be re-used for this (I also thought about
> providing support for @ScriptAssert for property validat
Hi,
a scripting-based approach as described by Hardy is also the first idea
which would come to my mind.
Maybe @ScriptAssert could even be re-used for this (I also thought about
providing support for @ScriptAssert for property validation btw.). I'd like
this idea as the contract is tightly integr
On Fri, 18 Feb 2011 09:01:16 +0100, Emmanuel Bernard
wrote:
> Reading the Google design by contract work, I realized that we do not
> cover cross-parameter validation in method-level validation.
I assume you are talking about cofoja (http://code.google.com/p/cofoja),
right?
> //We want to
Reading the Google design by contract work, I realized that we do not cover
cross-parameter validation in method-level validation.
//We want to make sure departure is after arrival.
void book(Date arrival, Date departure);
Any idea on ow best to address that?
