Question: contracts - result in require?
Posted: Thu Mar 15, 2012 12:17 pmI am reading the contracts documentation and suspect a small error:
http://cobra-language.com/trac/cobra/wiki/Contracts
Having result in require doesn't make any sense to me, as I understand it require is evaluated before invocation of the method.
(By the way, there's a typo in the site footer, under Wiki it says "languge topics".)
http://cobra-language.com/trac/cobra/wiki/Contracts
result - available in require and ensure, provides a fixed name for the return value of any method or property
Having result in require doesn't make any sense to me, as I understand it require is evaluated before invocation of the method.
(By the way, there's a typo in the site footer, under Wiki it says "languge topics".)
