tag:blogger.com,1999:blog-30547433.post3304666922671310564..comments2022-03-24T23:57:06.256-04:00Comments on Bucky Bits: Today's Java Irritant: Design-by-Contract Disconnects.Dave Newtonhttp://www.blogger.com/profile/13420113088393527059noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-30547433.post-72045158399554136962008-10-15T06:26:00.000-04:002008-10-15T06:26:00.000-04:00Sure, asserts are fine too. They suffer from the s...Sure, asserts are fine too. They suffer from the same drawbacks, though, in that they can't be (trivially) pulled out as documentation, and they may not provide the type of exception handling the app needs.Dave Newtonhttps://www.blogger.com/profile/13420113088393527059noreply@blogger.comtag:blogger.com,1999:blog-30547433.post-90222055503183612942008-10-14T21:21:00.000-04:002008-10-14T21:21:00.000-04:00What about asserts as a basic level check? I see t...What about asserts as a basic level check? I see these used quite a bit in the Spring source.prodrive555https://www.blogger.com/profile/01056033371628831177noreply@blogger.comtag:blogger.com,1999:blog-30547433.post-78174091974088886952008-01-02T12:58:00.000-05:002008-01-02T12:58:00.000-05:00That's an excellent point that I hadn't thought of...That's an excellent point that I hadn't thought of; thanks!Dave Newtonhttps://www.blogger.com/profile/13420113088393527059noreply@blogger.comtag:blogger.com,1999:blog-30547433.post-47455534132208764632008-01-01T22:25:00.000-05:002008-01-01T22:25:00.000-05:00One of the limitations of writing conditional chec...One of the limitations of writing conditional checks in the method is that its not inherited. This is one of the nicest parts about DbC. An annotations/xdoclet approach gives most of that flexibility of defining the contract in the interface (where it belongs) but I think the inheritence semantics will be slightly different from Eiffel due to overriding contracts.Ben Maneshttps://www.blogger.com/profile/00834822013559658168noreply@blogger.com