Hi Jon, > I'm currently working on a DBC-interceptor for > Nanning. (http://nanning.sf.net)
Quite cool. I'm looking forward for that. Nanning looks very interesting and if you can manage to write a ExceptionIntercepter I would do my complete looging stuff with it (I hate spread logging code). ;-) > You could use > commons-attributes to access the configuration but you > would need some kind of interceptor-framework to be > able to implement the whole thing. You also need an > expression-language to execute your expressions, such > as Jexl (in the commons sandbox) or Ognl (ognl.org?). I'll agree. I read an article about AspectJ that taks about this. But AspectJ has a not so good syntax (feels very unfamilar, I guess they should have done this easier). A compiletime-runtime you and Rick defined seems to be much more powerfull... Okay! > > When you've got all that it's (almost) trivial. Hmm... > maybe the inheritance-support in Eiffel is harder to > support (strengthen post-condition and weaken > pre-condition, strengthen invariant). To get that you > would need some kind of logic-deducer... > Mhm. Yes, that's true. But actually this makes DBC so strong. I want to get power in my interfaces and I guess I'll need that to get it done. So maybe we can join forces to get the DBC thing done in the envoirment you suggested. Maybe Ara or other generator-masters have a couple of good ideas? ;-) As I seen Ara has it on the list of XDoclet2?!? Bye Toby ----- http://www.freeroller.net/page/tradem -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
