ContractChecker

ContractChecker is a small tool to provide support for some design by contract features to standard Java code.
Internally, it is composed of an Ant task, which invokes a doclet to generate AspectJ and the AjcTask itself in order to compile it.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow ContractChecker

ContractChecker Web Site

User Reviews

Be the first to post a review of ContractChecker!

Additional Project Details

Languages

English, Spanish

Intended Audience

Developers

Programming Language

Java

Related Categories

Java Build Tools, Java Code Generators, Java Compilers

Registered

2004-01-12

Similar Business Software

Apache Ant

Apache Ant is a Java library and command-line tool whose mission is to drive processes described in build files as targets and extension points dependent upon each other. The main known usage of Ant is the build of Java applications. Ant supplies a number of built-in tasks allowing to compile,...

See Software
Bitrise

Bitrise is a CI/CD platform built for mobile development, helping teams speed up builds, automate testing, and deliver high-quality apps faster. It supports native languages like Swift, Objective-C, Java, and Kotlin, as well as cross-platform frameworks including React Native, Flutter, Xamarin,...

See Software
Windsurf Editor

The Windsurf Editor is a free AI-powered IDE and AI coding assistant that accelerates development by providing intelligent code generation and agents in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Windsurf, developers can write...

See Software
JetBrains Junie

Junie is an AI-powered coding agent developed by JetBrains designed to enhance developer productivity by integrating directly into popular IDEs such as IntelliJ IDEA, PyCharm, and Android Studio. It supports developers by assisting with code completion, testing, and inspections, ensuring code...

See Software
StackAI

StackAI is an enterprise AI automation platform to build end-to-end internal tools and processes with AI agents in a fully compliant and secure way. Designed for large organizations, it enables teams to automate complex workflows across operations, compliance, finance, IT, and support without...

See Software
Resco Mobile App Development Toolkit

A no-code platform designed for creating mobile business applications tailored to Microsoft Dynamics 365, Power Platform, Business Central, and Salesforce. This toolkit empowers you to build white-labeled, scalable apps optimized for industries such as utilities, energy, construction, and field...

See Software