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

L

l - Variable in class korat.utils.cv.C.Candidate

l - Static variable in class korat.utils.cv.C

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

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

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

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

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

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

lastCV - Variable in class korat.utils.cv.CVReaderDelta

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

lastElementIndex - Variable in class korat.utils.IntList

lastElementIndex - Variable in class korat.utils.IntListAI

lastInstance - Static variable in class korat.finitization.impl.StateSpace

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

lastPoppedOut - Variable in class korat.instrumentation.bytecode.OperandStack

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

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

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

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

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

ldc2Instr(int) - Method in class korat.instrumentation.bytecode.StackTracerVisitor

Helper for handling ldc2_w instruction.

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

ldcInstr(int) - Method in class korat.instrumentation.bytecode.StackTracerVisitor

Helper for handling ldc instructions.

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

len - Variable in class korat.utils.cv.WriteCVListener.WriteNumExpectedMode

length - Static variable in class korat.utils.cv.C

lengthsSet - Variable in class korat.finitization.impl.ArraySet

LISTENERS - Static variable in class korat.config.ConfigLoader

listeners - Variable in class korat.config.ConfigManager

Comma separated list of ITestCaseListener listeners to be attached to testCradle instance.

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

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

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

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

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

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

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

loadAllClasses(ClassLoader) - Static method in class korat.instrumentation.InstrumentationManager

Loads all instrumented classes using class loader cl

loadClass(String, boolean) - Method in class korat.loading.InstrumentingClassLoader

loadDefaults() - Method in class korat.config.ConfigLoader

loadFromFile(String) - Method in class korat.config.ConfigLoader

Loads options from the config file and returns them as a string array.

localLoad(CtClass, int) - Method in class korat.instrumentation.bytecode.StackTracerVisitor

Gets the type at idx-th position in the local variables list and pushed that type on the operand stack.

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

List of local variables for the current method.

localStore(CtClass, int) - Method in class korat.instrumentation.bytecode.StackTracerVisitor

Pops the value from the stack and stores it in the local variables list.

log(Object) - Method in class korat.testing.impl.AbstractTestCaseGenerator

log(Object, boolean) - Method in class korat.testing.impl.AbstractTestCaseGenerator

log(int[]) - Method in class korat.testing.impl.AbstractTestCaseGenerator

log(String) - Method in class korat.testing.impl.AbstractTestCaseGenerator

logger - Variable in class korat.utils.BytecodeDumper

LongSet - Class in korat.finitization.impl

LongSet(long, long, long) - Constructor for class korat.finitization.impl.LongSet

LongSet(long, long) - Constructor for class korat.finitization.impl.LongSet

LongSet(long) - Constructor for class korat.finitization.impl.LongSet

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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