Tree [ae771d] master /
 History

HTTPS access


File Date Author Commit
 .idea 2014-12-06 Parker Abercrombie Parker Abercrombie [ae771d] Changed language version in IntelliJ.
 doc 2002-07-14 Parker Abercrombie Parker Abercrombie [949ae0] Updated for version 0.0.2
 doclet-release-files 2003-10-23 Parker Abercrombie Parker Abercrombie [2f352e] Doclet release files.
 jaqual-release-files 2002-07-13 Parker Abercrombie Parker Abercrombie [63ffbb] First version
 jcontractor-release-files 2002-07-14 Parker Abercrombie Parker Abercrombie [c5dee2] Added a note
 lib 2014-12-06 Parker Abercrombie Parker Abercrombie [263ac1] Upgraded to BCEL 5.2. Unfortunately does not so...
 src 2014-12-06 Parker Abercrombie Parker Abercrombie [263ac1] Upgraded to BCEL 5.2. Unfortunately does not so...
 .gitignore 2014-12-06 Parker Abercrombie Parker Abercrombie [edc949] Added git ignore file, and IntelliJ project files.
 LICENSE 2002-01-25 Parker Abercrombie Parker Abercrombie [99e739] Initial version
 README 2002-01-25 Parker Abercrombie Parker Abercrombie [eb6335] A couple grammatical corrections
 build.xml 2014-12-06 Parker Abercrombie Parker Abercrombie [9c90f1] Added -noverify flag to run-demo script. Necess...
 jcontractor.iml 2014-12-06 Parker Abercrombie Parker Abercrombie [8c5087] Added ant.jar to IntelliJ configuration.
 run-demo.sh 2014-12-06 Parker Abercrombie Parker Abercrombie [9c90f1] Added -noverify flag to run-demo script. Necess...

Read Me

What is jContractor?
--------------------

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.

Documentation
-------------

The "jContractor Crash Course" is included with this distribution.
This is a very brief tutorial to present the more important bits of
the system, and get users started.  A complete user's manual will be
available on the web site as soon as it is written (hopefully in the
very near future).

Requirements
------------

jContractor relies on two Java libraries that are not included in this
distribution:

 * The Bytecode Engineering Library (BCEL) -
   http://bcel.sourceforge.net/.  This version of jContractor has been
   tested with BCEL version 4.4.1.

 * werken.opt - http://code.werken.com/.  This version of jContractor
   has been tested with werken.opt version 0.9.1 (beta).

Please download these libraries and place the JAR files on your
class path.

jContractor has been tested with JDK 1.4.0 Beta 2 on Linux.

Installation
------------

Just place the jContractor JAR file on your class path, and everything
should work, provided you meet the requirements set forth in the
previous section.  See the "jContractor Crash Course" (located in the
doc/ directory) for a quick intro to the tool.

New versions
------------

The official jContractor home page is
http://jcontractor.sourceforge.net/.  Here you will find the latest
version, the latest documentation, mailing lists, bug trackers, and so
much more.

License
------

jContractor is released under the Apache Open Source License, a copy
of which may be found in the LICENSE file.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks