Uses of Interface
korat.instrumentation.IInstrumenter

Packages that use IInstrumenter
korat.instrumentation   
korat.loading   
 

Uses of IInstrumenter in korat.instrumentation
 

Classes in korat.instrumentation that implement IInstrumenter
(package private)  class AbstractInstrumenter
          Base instrumenter class.
(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. 
 

Methods in korat.instrumentation that return IInstrumenter
static IInstrumenter InstrumentationManager.getInstrumenter()
           
 

Uses of IInstrumenter in korat.loading
 

Fields in korat.loading declared as IInstrumenter
private  IInstrumenter InstrumentingClassLoader.instrumenter
           
 

Methods in korat.loading that return IInstrumenter
 IInstrumenter InstrumentingClassLoader.getInstrumenter()
           
 

Methods in korat.loading with parameters of type IInstrumenter
 void InstrumentingClassLoader.setInstrumenter(IInstrumenter instrumenter)