checkinv

Brought to you by: hopsage, johncip

Last Update: 2014-02-03

Browse Code

Get an email when there's a new version of checkinv

An Eclipse plugin to automate the addition of class invariant checks to a Java package by generating checkable derived classes according to a language-agnostic design pattern.

Project Samples

Project Activity

See All Activity >

Follow checkinv

checkinv Web Site

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Rate This Project

User Reviews

Be the first to post a review of checkinv!

Additional Project Details

Registered

2011-05-08

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

JUtils ToString Generator
Eclipse plugin for generating toString() and Copy Constructor implementation for any Java class.
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
Kanon
A tool for examining renormalizable field theories (physics).
JAXB Eclipse Plug-In
JAXBBuilder is an eclipse plugin for generating Java classes directly from XML schema, XML or JSON files. The plugin detects document changes and re-generates Java code via Castor or XJC. It includes a JAXB project wizard, and configuration pages
MIDE:Model-Driven Integrated Development
MIDE is an IDE for working with UML Class Diagram model. It extends the Eclipse UML2 Editor and provides *carrying out complex tasks in one click *query gui engine * and a pattern-matching engine for detecting design errors as soon as they are made