korat.testing
Interface ITester

All Known Implementing Classes:

TestCradle, TestCradleII

public interface ITester

Interface for a class that should communicate with the debugger

Author:

korat.team

Method Summary

void	continueFieldTrace() Notifies continuation of a stopped field trace
void	notifyFieldAccess(int accessedFieldIndex) Notifies that particular field has been accessed
void	notifyFieldAccess(Object obj, String field) Notifies that particular field has be accessed
void	startFieldTrace() Notifies the beginning of field trace
void	stopFieldTrace() Notifies the end of field trace

Method Detail

startFieldTrace

void startFieldTrace()

Notifies the beginning of field trace

continueFieldTrace

void continueFieldTrace()

Notifies continuation of a stopped field trace

stopFieldTrace

void stopFieldTrace()

Notifies the end of field trace

notifyFieldAccess

void notifyFieldAccess(Object obj,
                       String field)

Notifies that particular field has be accessed

Parameters:

obj - - object the field of which is accessed

field - - field that is accessed

notifyFieldAccess

void notifyFieldAccess(int accessedFieldIndex)

Notifies that particular field has been accessed

Parameters:

accessedFieldIndex - - index of field in candidate vector