jContractor
Edit Page
Report
Scan day: 16 February 2014 UTC
9
Virus safety - good
Description: Supports Design By Contract in Java. Discovers "contracts" during class loading and instruments the class bytecodes on-the-fly to check run-time contract violations. [Apache Open Source Licence]
jContractor: Design by Contract for Java jContractor is a 100% pure Java implementation of Design By Contract for the Java language. Contracts are written as methods that follow a simple naming convention. jContractor provides runtime contract checking by instrumenting the bytecode of classes that define contracts. jContractor can either add contract checking code to class files to be executed later, or it can instrument classes at runtime as they are loaded. All contracts are written in standard Java, so there is no need to learn a special contract specification language. jContractor is purely library based, requires no preprocessing or modifications to the JVM.
Size: 671 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | jContractor: Design by Contract for Java |
| Keywords: | jContractor, Design by Contract, programming by contract, Java, software verification, reliability, precondition, postcondition, invariant |
| Description: | Home page for jContractor, an open source tool to support Design by Contract for Java |
| IP-address: | 216.34.181.96 |
WHOIS Info
| NS | Name Server: NS1.P03.DYNECT.NET Name Server: NS2.P03.DYNECT.NET Name Server: NS3.P03.DYNECT.NET Name Server: NS4.P03.DYNECT.NET |
| WHOIS | Status: clientTransferProhibited Status: clientUpdateProhibited |
| Date | Creation Date: 08-aug-1999 Expiration Date: 08-aug-2015 |