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
Our Free Plans just got better! | Auth0 Icon
Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Try free now
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