I'm currently working on a DBC-interceptor for Nanning. (http://nanning.sf.net) 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?).
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... --- Rademacher Tobias <[EMAIL PROTECTED]> skrev: > Hi Folks, > > I'm currently missing Desing By Contract as > implemened in Eiffel a lot in > Java, especially in interfaces.... > > Mhm. There is iContract but it's neighter a jakarta > nor a sourceforge > project.... :-/ > > Am I able to implement a DBC version on top of > common-attributes or can I > use them only for a accessing configuration knowlege > (mhm. DBC assertions > are configuration knowlege just some kind of > preprocessor that weaves source > of bytecode). > What do you guess? > > Thx > Toby > > ---- > http://www.freeroller.net/page/tradem > > -- > To unsubscribe, e-mail: > <mailto:[EMAIL PROTECTED]> > For additional commands, e-mail: > <mailto:[EMAIL PROTECTED]> > _____________________________________________________ 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]>
