A B C D E F G H I J K L M N O P R S T U V W Z _

_

__korat__touch() - Method in interface korat.instrumentation.IKoratTouchable

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

__korat__touch__initialize() - Method in interface korat.instrumentation.IKoratTouchable

To avoid loops and multiple field accesses, there must be a tag which denotes if the field has been visited or not.

_ELEMENT_SETTER - Static variable in class korat.instrumentation.ArrayGenerator

_KORAT_ARRAY_FIELD_PREFIX - Static variable in class korat.instrumentation.InstrumentationManager

_LENGTH_SETTER - Static variable in class korat.instrumentation.ArrayGenerator