On Thu, Dec 3, 2009 at 5:40 PM, Stanislav Muhametsin <[email protected]> wrote:
> What do you think about this? I have thought about this in the past, but never gotten to a reason to fully analyze it. In essence, it is fairly straight forward to implement it in Qi4j Runtime, if we can nail down the specification, I think. But, one thing should also be clear; We could either split the constraint validation between method input and return, OR we could extend the current interface to include a separate method for return value validation. (And in usual Qi4j magic, allow either one to be absent). Could you elaborate on theory a bit? Is this what is known in UML as "post conditiions", or does those also include internal state? Cheers -- Niclas Hedhman, Software Developer http://www.qi4j.org - New Energy for Java I live here; http://tinyurl.com/2qq9er I work here; http://tinyurl.com/2ymelc I relax here; http://tinyurl.com/2cgsug _______________________________________________ qi4j-dev mailing list [email protected] http://lists.ops4j.org/mailman/listinfo/qi4j-dev
