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
Ship AI Apps Faster with Vertex AI Icon
Ship AI Apps Faster with Vertex AI

Go from idea to deployed AI app without managing infrastructure. Vertex AI offers one platform for the entire AI development lifecycle.

Ship AI apps and features faster with Vertex AI—your end-to-end AI platform. Access Gemini 3 and 200+ foundation models, fine-tune for your needs, and deploy with enterprise-grade MLOps. Build chatbots, agents, or custom models. New customers get $300 in free credit.
Try Vertex AI 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