Uses of Class
korat.instrumentation.AbstractInstrumenter

Packages that use AbstractInstrumenter

korat.instrumentation

Uses of AbstractInstrumenter in korat.instrumentation

Subclasses of AbstractInstrumenter in korat.instrumentation

(package private) class	ArrayFieldInstrumenter This class does all the instrumentation related to array fields.
(package private) class	CompoundInstrumenter Instrumenter that consists of several other instrumenters.
(package private) class	FieldInstrumenter This class does all the instrumentation related to non-array fields.
(package private) class	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.
(package private) class	TouchInstrumenter Deprecated.

Fields in korat.instrumentation declared as AbstractInstrumenter

private static AbstractInstrumenter

InstrumentationManager.instrumenter

Fields in korat.instrumentation with type parameters of type AbstractInstrumenter

private List<AbstractInstrumenter>

CompoundInstrumenter.instrumenters

Methods in korat.instrumentation with parameters of type AbstractInstrumenter

boolean	CompoundInstrumenter.add(AbstractInstrumenter instr)
boolean	CompoundInstrumenter.remove(AbstractInstrumenter instr)