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

D

D2F - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

D2I - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

D2L - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DADD - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DALOAD - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DASTORE - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

data1 - Variable in class korat.utils.Pair

data2 - Variable in class korat.utils.Pair

dataSizeInBits - Variable in class korat.utils.cv.CVFinderDelta

DCMPG - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DCMPL - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DCONST_0 - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DCONST_1 - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DDIV - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DEBUG - Static variable in class korat.loading.InstrumentingClassLoader

DEFAULT_MODELS_HOME - Static variable in class korat.gui.viz.ToXMLInstanceConverter

DEFAULT_THEMES_HOME - Static variable in class korat.gui.viz.ToXMLInstanceConverter

DefaultFilters - Interface in korat.loading.filter

Default filters - java system packages exclusion filter project packages exclusion filter name transformer that does not change input

DefaultFilters.DefaultPackageFilter - Class in korat.loading.filter

Default package filter.

DefaultFilters.DefaultPackageFilter() - Constructor for class korat.loading.filter.DefaultFilters.DefaultPackageFilter

DefaultFilters.ExcludeKoratPackagesFilter - Class in korat.loading.filter

Excludes all classes from projects main package and its subpackages

DefaultFilters.ExcludeKoratPackagesFilter() - Constructor for class korat.loading.filter.DefaultFilters.ExcludeKoratPackagesFilter

DefaultFilters.ExcludeSystemPackagesFilter - Class in korat.loading.filter

Excludes all classes from java.* and com.sun.* and its subpackages

DefaultFilters.ExcludeSystemPackagesFilter() - Constructor for class korat.loading.filter.DefaultFilters.ExcludeSystemPackagesFilter

DefaultFilters.IdentityNameTransformer - Class in korat.loading.filter

Default class name transforming filter, returns the original name unaltered

DefaultFilters.IdentityNameTransformer() - Constructor for class korat.loading.filter.DefaultFilters.IdentityNameTransformer

defaultInitSize - Static variable in class korat.utils.IntList

defaultIsomorphismCheck(Class<?>) - Method in class korat.finitization.impl.ClassDomain

delegateANewArray(int, CodeIterator, int) - Method in class korat.instrumentation.bytecode.ArrayBytecodesVisitor

delegateArrayAccess(String, CtClass, CtClass[], CodeIterator, int) - Method in class korat.instrumentation.bytecode.ArrayBytecodesVisitor

Replaces all kinds of array accesses (ARRAYLENGTH, IALOAD, IASTORE, LALOAD, LASTORE, ...) with the specified method call.

delegateArrayGetfield(int, CodeIterator, int) - Method in class korat.instrumentation.bytecode.ArrayBytecodesVisitor

Replaces retrieval of the array field with the retrieval of its corresponding KoratArray field.

delegateArrayPutfield(int, CodeIterator, int) - Method in class korat.instrumentation.bytecode.ArrayBytecodesVisitor

Replaces setting array field with the setting its corresponding KoratArray field.

delegateNewArray(int, CodeIterator, int) - Method in class korat.instrumentation.bytecode.ArrayBytecodesVisitor

Replaces creation of the array with the creation of the KoratArray field.

deleteFolder(File, boolean) - Static method in class korat.utils.io.FileUtils

Deletes given folder with all of its content

deltaOffset - Variable in class korat.utils.cv.CVWriterDelta

deserializeStream - Variable in class korat.utils.io.SimpleDeserializer

detachClient(ITestCaseListener) - Method in class korat.testing.impl.AbstractTestCaseGenerator

distance - Variable in class korat.utils.cv.WriteCVListener.WriteNumMode

DLOAD - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DLOAD_0 - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DLOAD_1 - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DLOAD_2 - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DLOAD_3 - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DMUL - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DNEG - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

doCheck - Variable in class korat.instrumentation.bytecode.StackTracerVisitor

domains - Variable in class korat.finitization.impl.ObjSet

dos - Variable in class korat.testing.impl.TestCradle

DoubleSet - Class in korat.finitization.impl

DoubleSet(double, double, double) - Constructor for class korat.finitization.impl.DoubleSet

DoubleSet(double, double) - Constructor for class korat.finitization.impl.DoubleSet

DoubleSet(double) - Constructor for class korat.finitization.impl.DoubleSet

doubleType - Variable in class korat.instrumentation.bytecode.JavassistInstructionVisitor

DREM - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DRETURN - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DSTORE - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DSTORE_0 - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DSTORE_1 - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DSTORE_2 - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DSTORE_3 - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DSUB - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

dump(byte[], String, boolean) - Method in class korat.utils.BytecodeDumper

DUMP_BYTECODES - Static variable in class korat.config.ConfigLoader

dumpAndEatExceptions(byte[], String, boolean) - Method in class korat.utils.BytecodeDumper

dumpBytecodes - Variable in class korat.config.ConfigManager

Whether or not to dump instrumented bytecodes.

DUP - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DUP2 - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DUP2_X1 - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DUP2_X2 - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DUP_X1 - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

DUP_X2 - Static variable in class korat.instrumentation.bytecode.BytecodeUtils