Lambda the Ultimate

inactiveTopic Barter (design by contract w/ AspectJ)
started 8/11/2002; 7:49:48 PM - last post 8/11/2002; 7:49:48 PM
Viktor Szathmary - Barter (design by contract w/ AspectJ)  blueArrow
8/11/2002; 7:49:48 PM (reads: 671, responses: 0)
Barter is a tool for implementing design by contract in Java, using AspectJ. It generates aspect code from JavaDoc comments (similar syntax as in iContract), hiding the complexity of the AspectJ notation.

I'm interested in feedback from the LtU community, especially in the following:

- how can one express proper precondition inheritance in AspectJ?

- the intention is to go beyond conventional design by contract, since AspectJ allows you to express much more interesting concepts about the usage of a class (eg. where and how the developer is supposed to use it, or you can keep a statemachine for assertions, etc). what interesting usage patterns can you envision?

Barter is available at