[aspectj-dev] Contract4J: New "Design by Contract" tool for Java5 using

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[aspectj-dev] Contract4J: New "Design by Contract" tool for Java5 using AspectJ

From: Dean Wampler <dean@xxxxxxxxxxxxxxxxxxxxx>
Date: Thu, 03 Feb 2005 09:00:44 -0600
Delivered-to: aspectj-dev@xxxxxxxxxxx
List-archive: <http://dev.eclipse.org/pipermail/aspectj-dev/>
List-help: <mailto:aspectj-dev-request@eclipse.org?subject=help>
List-subscribe: <http://dev.eclipse.org/mailman/listinfo/aspectj-dev>, <mailto:aspectj-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <http://dev.eclipse.org/mailman/listinfo/aspectj-dev>, <mailto:aspectj-dev-request@eclipse.org?subject=unsubscribe>
Organization: Aspect Programming
User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.3) Gecko/20040910

I created an open-source project called "Contract4J" for supportingBertrand Meyer's "Design by Contract" programming in Java. It uses Java5 annotations and generates AspectJ code to weave in contract tests. I'memailing this announcement to the AOSD group, too, because the back-endcode generation can be extended to generate tests using other Java-basedaspect systems, which I hope to do soon.


http://www.contract4j.org/

Feedback welcome.

Dean

dean@xxxxxxxxxxxxxxxxxxxxx

Follow-Ups:
- Re: [aspectj-dev] Contract4J: New "Design by Contract" tool for Java5 using AspectJ
  - From: Dmitri Mamrukov
- RE: [aspectj-dev] Contract4J: New "Design by Contract" tool for Java5 using AspectJ
  - From: Eric Bodden

Prev by Date: Re: [aspectj-dev] Incremental Compile Numbers with AJDT 1.2.0M2
Next by Date: RE: [aspectj-dev] Contract4J: New "Design by Contract" tool for Java5 using AspectJ
Previous by thread: [aspectj-dev] Modifying method signature
Next by thread: RE: [aspectj-dev] Contract4J: New "Design by Contract" tool for Java5 using AspectJ
Index(es):
- Date
- Thread

Breadcrumbs