http://ayende.comAyende @ RahienCopyright (C) Ayende Rahien 2004 - 2021 (c) 202660I'm guessing that Apply is inherited from AbstractAstAttribute and the compiler has a "built-in rule" to call Apply on all AbstractAstAttributes? http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment11http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment11Wed, 26 Dec 2007 15:09:38 GMTDuring compilation, by the compiler http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment10http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment10Wed, 26 Dec 2007 14:46:03 GMTWhen is EnsureAttribute.Apply(...) called? and by what? http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment9http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment9Wed, 26 Dec 2007 14:41:01 GMTDo you have unit tests for the dynamic code? http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment8http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment8Tue, 25 Dec 2007 00:51:10 GMTThis will work: [ensure(name is not null and name is not empty)] http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment7http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment7Sat, 22 Dec 2007 16:56:08 GMTHow about something like this: [ensure(name is not null) and (name is not empty)] ? concatenations of operators? http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment6http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment6Sat, 22 Dec 2007 16:29:58 GMTTobin, Yes, you can put this on methods as well. http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment5http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment5Sat, 22 Dec 2007 15:14:40 GMTThat looks cool! I guess it would be easy to put them on methods too, such as: [invariant(name is not null)] class Customer: [precondition(orders is not empty)], [postcondition(discount is not null)] def ApplyDiscount(): http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment4http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment4Sat, 22 Dec 2007 14:54:45 GMTThat I realize, I was referring to the "person X thinks about it, you have already made a blog post about it" concept. It is like you are in all of our heads. (In this case your post came before my comment on the list, I just hadn't seen it yet.) http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment3http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment3Sat, 22 Dec 2007 13:39:04 GMTBill, Take a look at the code and you'll understand how I come with it so fast. It is simple, when you know how. http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment2http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment2Sat, 22 Dec 2007 07:39:38 GMTwow, that right there is basically what I just said on the alt.net list is a capability I wish would be available for C# 4.0. How do you come up with this stuff so fast? http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment1http://ayende.com/3066/boo-design-by-contract-in-20-lines-of-code#comment1Sat, 22 Dec 2007 05:08:55 GMT