korat.instrumentation
Interface IKoratTouchable

All Known Subinterfaces:

IKoratArray

public interface IKoratTouchable

IKoratTouchable interface is applied to all instrumented classes. I allows to invoke __korat_touch() operation and transitively access (touch) all fields of given object and all objects reachable from it.

The default implementation of this interface is provided during instrumentation.

Author:

Sasa Misailovic

Field Summary

static String	koratTouchedName
static String	touchInitName
static String	touchName

Method Summary

void	__korat__touch__initialize() To avoid loops and multiple field accesses, there must be a tag which denotes if the field has been visited or not.
void	__korat__touch() Touch operation touches (accesses) all fields of given object and all objects reachable from it.

Field Detail

koratTouchedName

static final String koratTouchedName

See Also:

Constant Field Values

touchName

static final String touchName

See Also:

Constant Field Values

touchInitName

static final String touchInitName

See Also:

Constant Field Values

Method Detail

__korat__touch__initialize

void __korat__touch__initialize()

To avoid loops and multiple field accesses, there must be a tag which denotes if the field has been visited or not. Initialize operation resets tags for all visible objects.

__korat__touch

void __korat__touch()

Touch operation touches (accesses) all fields of given object and all objects reachable from it.