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

K

kind - Variable in class korat.instrumentation.bytecode.OperandStack.StackElem

korat - package korat

Korat - Class in korat

Korat Main Class

Korat() - Constructor for class korat.Korat

korat.config - package korat.config

korat.finitization - package korat.finitization

korat.finitization.impl - package korat.finitization.impl

korat.gui.viz - package korat.gui.viz

korat.gui.viz.metamodel - package korat.gui.viz.metamodel

korat.instrumentation - package korat.instrumentation

korat.instrumentation.bytecode - package korat.instrumentation.bytecode

korat.loading - package korat.loading

korat.loading.filter - package korat.loading.filter

korat.testing - package korat.testing

korat.testing.impl - package korat.testing.impl

korat.utils - package korat.utils

korat.utils.cv - package korat.utils.cv

korat.utils.io - package korat.utils.io

KORAT_FIELD_PREFIX - Static variable in class korat.instrumentation.InstrumentationManager

Korat_hasNext() - Static method in class korat.utils.cv.C

Korat_next() - Static method in class korat.utils.cv.C

koratArrayClassNames - Static variable in class korat.instrumentation.bytecode.ArrayBytecodesVisitor

This is used when replacing NEWARRAY bytecode instructions.

KoratArrayManager - Class in korat.instrumentation

Class KoratArrayManager provides some helper methods for creation and manipulation of automatically generated array classes and objects

KoratArrayManager() - Constructor for class korat.instrumentation.KoratArrayManager

creation of instances not allowed

koratInit(String) - Static method in class korat.utils.cv.C

KoratMethodException - Exception in korat.testing.impl

KoratMethodException(Class, String) - Constructor for exception korat.testing.impl.KoratMethodException

KoratMethodException(Class, String, String, Throwable) - Constructor for exception korat.testing.impl.KoratMethodException

KoratMethodException(Class, String, String) - Constructor for exception korat.testing.impl.KoratMethodException

KoratMethodException(Class, String, Throwable) - Constructor for exception korat.testing.impl.KoratMethodException

koratOptions - Variable in class korat.config.ConfigLoader

This contains all defined options and will be initialized dynamically, through the java reflection mechanism.

KoratTestException - Exception in korat.testing.impl

KoratTestException() - Constructor for exception korat.testing.impl.KoratTestException

KoratTestException(String, Throwable) - Constructor for exception korat.testing.impl.KoratTestException

KoratTestException(String) - Constructor for exception korat.testing.impl.KoratTestException

KoratTestException(Throwable) - Constructor for exception korat.testing.impl.KoratTestException

koratTouchedName - Static variable in interface korat.instrumentation.IKoratTouchable