|
|||||||||
| Home >> All >> edu >> ucsb >> ccs >> jcontractor >> [ test overview ] | PREV PACKAGE NEXT PACKAGE | ||||||||
Package edu.ucsb.ccs.jcontractor.test
This is the main package of the jContractor system.
See:
Description
| Interface Summary | |
| InvariantTestInterface | |
| PostconditionTestInterface | |
| PreconditionTestInterface | |
Package edu.ucsb.ccs.jcontractor.test Description
This is the main package of the jContractor system. Among other things, this package contains the two classes of most interest to users of jContractor: jContractor and jInstrument. jContractor can be invoked to run another Java program with contract checking enabled. jContractor replaces the system class loader with its own, and performs the necessary bytecode instrumentation on-the-fly. jInstrument takes a Java class file as input, and outputs the class with contract code added. The class can then be run by a normal JVM, and contracts will be checked. jInstrument is useful if jContractor will not be available when you want to run the code, or if you want to disassemble the instrumented class files to see how contracts are checked.
Besides jContractor and jInstrument, this class defines the types of errors that are thrown when contracts are violated (PreconditionViolationError, PostconditionViolationError, and InvariantViolationError). The other classes are key parts of jContractor, but are not tied closely to the checking of any particular type of contract.
|
|||||||||
| Home >> All >> edu >> ucsb >> ccs >> jcontractor >> [ test overview ] | PREV PACKAGE NEXT PACKAGE | ||||||||