Hi Dmitry, On Tue, Feb 10, 2015 at 4:21 PM, Dmitry Stogov <dmi...@zend.com> wrote:
> 4) regarding the error message second argument to the condition >> definitions, it would be useful to have these not only as plain >> (extrapolated) strings, but as full expressions-that-evaluate-to-string. >> That would permit hooking to arbitrary private logging and log formatting >> methods. >> > I don't think we will implement this. It may be proposed later as a DbC > extension. > I thought it works just like assert(), but no problem for me. > 5) and a bit off-topic, it would be useful to be able to declare (sic) >> whole methods to be nonproduction only: Methods that will only be used in >> pre/post/invariant condition expresions (or error formatters a la my point >> 4) >> > this is also not directly related as well. > Sorry, but we should define realistic target to be able to provide a > working solution. > We can't think about all possible and indirectly related features at once. > I agree. Regards, -- Yasuo Ohgaki yohg...@ohgaki.net
