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

B

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

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

binOp(CtClass) - Method in class korat.instrumentation.bytecode.StackTracerVisitor

Pops two types from the operand stack, checks if they are the same and compatible with the given type type and then pushes the same type to the operand stack.

binSearch(int[], IIntList) - Method in class korat.utils.cv.CVFinderDelta

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

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

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

bis - Variable in class korat.utils.cv.CVReader

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

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

BitInputStream - Class in korat.utils.io

Utility for reading bits from underlying InputStream.

BitInputStream(InputStream) - Constructor for class korat.utils.io.BitInputStream

BitOutputStream - Class in korat.utils.io

Utility for writing bits to underlying OutputStream

BitOutputStream(OutputStream) - Constructor for class korat.utils.io.BitOutputStream

BitRandomAccessFile - Class in korat.utils.io

Utility for reading bits from the random access file.

BitRandomAccessFile(String) - Constructor for class korat.utils.io.BitRandomAccessFile

bodyStart - Variable in class korat.utils.cv.CVFinder

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

BooleanSet - Class in korat.finitization.impl

BooleanSet() - Constructor for class korat.finitization.impl.BooleanSet

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

bos - Variable in class korat.utils.cv.CVWriter

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

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

branchInstr(CtClass) - Method in class korat.instrumentation.bytecode.StackTracerVisitor

Takes only the value on top of the operand stack.

bs - Variable in class korat.utils.IntListBS

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

buff - Variable in class korat.utils.io.BitInputStream

buff - Variable in class korat.utils.io.BitOutputStream

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

buffSize - Variable in class korat.utils.io.BitInputStream

buffSize - Variable in class korat.utils.io.BitOutputStream

buildCandidate(int[]) - Method in class korat.finitization.impl.CandidateBuilder

Creates object structure from the candidate vector

buildModel(Object) - Method in class korat.gui.viz.ToXMLInstanceConverter

buildVisitorInterface(String, String) - Static method in class korat.instrumentation.bytecode.BytecodeUtils

byteAt(int) - Method in class korat.instrumentation.bytecode.BytecodeInstruction

BytecodeDumper - Class in korat.utils

BytecodeDumper() - Constructor for class korat.utils.BytecodeDumper

BytecodeInstruction - Class in korat.instrumentation.bytecode

BytecodeInstruction(CodeIterator, int) - Constructor for class korat.instrumentation.bytecode.BytecodeInstruction

BytecodeUtils - Class in korat.instrumentation.bytecode

BytecodeUtils() - Constructor for class korat.instrumentation.bytecode.BytecodeUtils

BytecodeVisitor - Interface in korat.instrumentation.bytecode

ByteSet - Class in korat.finitization.impl

ByteSet(byte, byte, byte) - Constructor for class korat.finitization.impl.ByteSet

ByteSet(byte, byte) - Constructor for class korat.finitization.impl.ByteSet

ByteSet(byte) - Constructor for class korat.finitization.impl.ByteSet

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