0.4.5

Allow customization of precondition's exceptions.

0.4

Using a branch, migrate the Doclet logic to Qdox .

0.3

Make Ant Task definition + Doclet parsing + Template generation + AspectJ compilation work as a whole.

0.2

• Integrate with Ant to simplify the use of the tool.
• Use Javadoc to retrieve the affected sources.
• Wrap AspectJ compiler, so that the compile task isn't affected by supporting ContractChecker.

0.1

Study how to achieve the following requirements, and which technology to use.

• For an arbitrary number of source files, retrieve the ones with guarded methods, and for each package with at least one of them, generate an aspect called ConditionChecking , to intercept calls to all precondition-protected methods and throws exceptions in case such preconditions are not satisfied.