Download Latest Version jpdbc-0.1.jar (69.5 kB)
Email in envelope

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

Home / lib
Name Modified Size InfoDownloads / Week
Parent folder
jpdbc-0.1.jar 2013-09-30 69.5 kB
0
Totals: 1 Item   69.5 kB 0 
JPDBC - Design by Contracts for Java
Version 0.1

October 2013

See directory "full" for the zip-package with dependencies and the jpdbc library.
See directory "lib" for the jpdbc library.

See Blog for examples.

VERSION 0.1
- @Invariant for types, @Post for methods, @Pre for methods and arguments
- Contract checking can disabled/enabled
- Contracts are evaluated using JavaScript engine
- Contracts support zero-argument Java methods
- "arg" keyword refers to the argument value when @Pre is used with argument
- "result" keyword refers to the outcome of the method when @Post is used 
- Supports checking interface use with EasyMock
- Contracts are inherited from superclasses and from interfaces that they implement directly
Source: README.txt, updated 2013-09-30