Chex4j allows you to document and enforce @pre and @post conditions of method calls with runtime or build time class file instrumentation. Conditions run as fast as normal code.

Features

  • Compliments Test Driven Development by asserting logic held in method annotations.
  • Compliments Design By Contract by documenting and enforcing pre- and post- conditions of methods.
  • Works with inheritance. You can @Pre or @Post logic to an abstract method on an abstract class and the logic will be injected into the concrete methods of the subclasses of classes which overload your method; even when you don't have their source code.
  • Works with interfaces. If you add @Pre or @Post logic to an interface method the logic will be injected into the methods of classes which implement your interface; even when you don't have their source code.
  • Offline instrumentation. See the ant build scripts in the chex4j-test project which show offline instrumentation of classes as part of a build so that you don't have to use the javaagent.

Project Activity

See All Activity >

License

Eclipse Public License

Follow chex4j

chex4j Web Site

Other Useful Business Software
MongoDB Atlas runs apps anywhere Icon
MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
Rate This Project
Login To Rate This Project

User Ratings

★★★★★
★★★★
★★★
★★
1
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

  • Chex4j works excellent.
    1 user found this review helpful.
Read more reviews >

Additional Project Details

Intended Audience

Developers

Programming Language

Java

Related Categories

Java Software Testing Tool, Java Agile Development Tools, Java Code Review Software

Registered

2010-02-14