korat.instrumentation
Interface IKoratArray

All Superinterfaces:

IKoratTouchable

public interface IKoratArray
extends IKoratTouchable

IKoratArray represents korat arrays. These arrays are generated at run-time. For further information, please see ArrayGenerator class

Author:

Sasa Misailovic

See Also:

ArrayGenerator

Field Summary

Fields inherited from interface korat.instrumentation.IKoratTouchable

koratTouchedName, touchInitName, touchName

Method Summary

Setter	get_element_setter(int position, int field_id)
Setter	get_length_setter(int field_id)
int	getLength() Returns the length of the korat array
Object	getValue(int index) Returns value at position index in the korat array.
void	initialize(ITester tester) Initializes array with ITester object to which the accessed field indexes will be reported

Methods inherited from interface korat.instrumentation.IKoratTouchable

__korat__touch__initialize, __korat__touch

Method Detail

initialize

void initialize(ITester tester)

Initializes array with ITester object to which the accessed field indexes will be reported

Parameters:

tester -

See Also:

ArrayGenerator.createInitializers(javassist.CtClass)

getLength

int getLength()

Returns the length of the korat array

Returns:

- length of an array

getValue

Object getValue(int index)

Returns value at position index in the korat array. Position must be between 0 and KoratArray length.

Parameters:

index - - array position of the value

Returns:

- value at position index

See Also:

ArrayGenerator.createArrayElementMethods(javassist.CtClass)

get_element_setter

Setter get_element_setter(int position,
                          int field_id)

See Also:

ArrayGenerator.createArrayElementMethods(javassist.CtClass)

get_length_setter

Setter get_length_setter(int field_id)

See Also:

ArrayGenerator.createLengthMethods(javassist.CtClass)