资 源 简 介
InvariantJ is a mechanism for implementing class invariant checking in Java. It uses a simple method naming convention and byte code decoration to allow developers to create as many invariants as they wish. If one or more invariants fail at runtime, an exception will be thrown with a message containing the full list of violated invariants.
See http://www.stateofflow.com/projects/4/invariantj
