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

nel_h2

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.

Try it Free

Rate This Project

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
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
Blackbird API Development

Accelerate Development of Prod-Ready APIs. AI-Powered Code Gen, Mocking in Minutes, and On-Demand Ephemeral Test Environments. * Design Efficiently: Generate standardized OpenAPI specs with AI assistance, allowing you to begin coding faster. * Mock Effortlessly: Create shareable API mocks...

See Software
Stack AI

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
Bitrise

Save time, money, and developer frustration with fast, flexible, and scalable mobile CI/CD that just works. Whether you swear by native or would rather go cross-platform, we have you covered. From Swift to Objective-C, Java to Kotlin, as well as Xamarin, Cordova, Ionic, React Native, and...

See Software
Highcharts

Highcharts is a JavaScript charting library that allows developers to create interactive and visually appealing charts for web applications. It offers a wide range of chart types, including line charts, bar charts, pie charts, scatter plots, and more. It also supports different types of data,...

See Software