--- Rademacher Tobias <[EMAIL PROTECTED]> skrev: > 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). > ;-)
ExceptionInterceptor? An interceptor that logs throw exceptions. That's a piece of cake actually. :-) Check out the TraceInterceptor sample. Sorry, I shouldn't be pushing Nanning on the Commons-mailinglist. > 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! Yeah, I agree. Native support for AOP in a language is really the long-term goal for this but in the meantime the easiest way to do this is to use a framework-based approach. I consider AspectJ to be more experimental than actual production-stuff. > > 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? ;-) I'm gonna give it a try and then we can see how that turns out. It's not really gonna be usable if you don't use Nanning for other things already since it depends on the impl/intf-separation and that you using Nanning to instantiate your objects. If anybody knows a good way to implement the logical deducer thingie that is required to support all that Eiffel supports let me know. I think that's the hardest part. I'll probably not even give it a try. :-) > As I seen Ara has it on the list of XDoclet2?!? That probably means it's gonna be implemented with code-generation. That works too but my approach is different. _____________________________________________________ Gratis e-mail resten av livet p� www.yahoo.se/mail Busenkelt! -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
