Uses of Package
korat.instrumentation

Packages that use korat.instrumentation

korat.finitization.impl
korat.instrumentation
korat.loading

Classes in korat.instrumentation used by korat.finitization.impl

Setter
Base class for all setters.

Classes in korat.instrumentation used by korat.instrumentation

AbstractInstrumenter
Base instrumenter class.

FieldInstrumenter
This class does all the instrumentation related to non-array fields.

IInstrumenter
Base interface for instrumenter classes

IKoratArray
IKoratArray represents korat arrays.

IKoratTouchable
IKoratTouchable interface is applied to all instrumented classes.

Setter
Base class for all setters.

Classes in korat.instrumentation used by korat.loading

IInstrumenter
Base interface for instrumenter classes