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 |
|---|---|---|---|
| full | 2013-09-30 | ||
| lib | 2013-09-30 | ||
| README.txt | 2013-09-30 | 748 Bytes | |
| Totals: 3 Items | 748 Bytes | 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