Package korat.instrumentation

Interface Summary

IInstrumenter	Base interface for instrumenter classes
IKoratArray	IKoratArray represents korat arrays.
IKoratTouchable	IKoratTouchable interface is applied to all instrumented classes.

Class Summary

AbstractInstrumenter	Base instrumenter class.
ArrayFieldInstrumenter	This class does all the instrumentation related to array fields.
ArrayGenerator	ArrayGenerator is used to generate Korat Array classes.
CompoundInstrumenter	Instrumenter that consists of several other instrumenters.
FieldInstrumenter	This class does all the instrumentation related to non-array fields.
InstrumentationManager	The place for various constants, utility method and such related to instrumentation.
KoratArrayManager	Class KoratArrayManager provides some helper methods for creation and manipulation of automatically generated array classes and objects
NestedClassCreator
Setter	Base class for all setters.
SpecialConstructorInstrumenter	This instrumenter equips the given class with a special field of ITester type and a special constructor that takes one parameter of type ITester to initialize that special field.
TouchInstrumenter	Deprecated.