Download Latest Version
jpdbc-0.1.jar (69.5 kB)
Get an email when there's a new version of JPDBC
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| jpdbc-full-0.1.zip | 2013-09-30 | 2.8 MB | |
| Totals: 1 Item | 2.8 MB | 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