This is simple Java contract library based on AspectJ.
Library can make compare operations with primitive type and
check objects for null.
There are three type annotation which use for checking.
@Expects - check parameters method
@Ensures - check return value method
@Invariant - check fields class
Developer can check input parameters method.
Developer can check return value method. For return variable use reserved word result.
Developer also can check value fields class.
Support syntax highlight for string contract annotations in IntelliJ Idea
through language injection.
In future expects add check call method objects and Eclipse IDE highlight syntax plugins.
Requirements:
JDK: Java 8
libs: AspectJ