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

P

PackageFilter - Class in korat.loading.filter

PackageFilter is base class for all filters that handle with packages.

PackageFilter() - Constructor for class korat.loading.filter.PackageFilter

packages - Variable in class korat.loading.filter.PackageFilter

Pair<E1,E2> - Class in korat.utils

General purpose class for holding a pair of data

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

Pair(E1, E2) - Constructor for class korat.utils.Pair

params - Variable in class korat.finitization.impl.ClassDomain

parseArgs(String[], boolean) - Method in class korat.config.ConfigLoader

Parses options from the given string array.

parseClassName(String) - Method in class korat.finitization.impl.Finitization

parseCmdLine(String[]) - Method in class korat.config.ConfigLoader

parseCmdLine(String[]) - Method in class korat.config.ConfigManager

Parses the cmd line options (actually, delegates the job to configLoader).

parseFieldName(String) - Method in class korat.finitization.impl.Finitization

peek() - Method in class korat.instrumentation.bytecode.OperandStack

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

pop() - Method in class korat.instrumentation.bytecode.OperandStack

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

postVisit(BytecodeInstruction) - Method in interface korat.instrumentation.bytecode.BytecodeVisitor

This method should be invoked immediately after calling any of the visit methods.

postVisit(BytecodeInstruction) - Method in class korat.instrumentation.bytecode.StackTracerVisitor

postVisit(BytecodeInstruction) - Method in class korat.instrumentation.bytecode.VisitorSupport

PREDICATE - Static variable in class korat.config.ConfigLoader

predicate - Variable in class korat.config.ConfigManager

Name of the predicate method to be used.

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

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

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

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

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

preVisit(BytecodeInstruction) - Method in interface korat.instrumentation.bytecode.BytecodeVisitor

This method should be invoked just before calling any of the visit methods.

preVisit(BytecodeInstruction) - Method in class korat.instrumentation.bytecode.StackTracerVisitor

preVisit(BytecodeInstruction) - Method in class korat.instrumentation.bytecode.VisitorSupport

primitives - Variable in class korat.finitization.impl.PrimitiveTypeSet

PrimitiveTypeSet - Class in korat.finitization.impl

Represents Field domain for primitive type.

PrimitiveTypeSet(Class) - Constructor for class korat.finitization.impl.PrimitiveTypeSet

PRINT - Static variable in class korat.config.ConfigLoader

print - Variable in class korat.config.ConfigManager

Whether or not to print generated test cases to standard output (toString method would be called on each of the valid test cases generated).

print(long[], int) - Static method in class korat.utils.cv.AlgSimulator

print(String, C.Candidate[], int) - Static method in class korat.utils.cv.C

PRINT_CAND_VECTS - Static variable in class korat.config.ConfigLoader

PRINT_CASES - Static variable in class korat.testing.impl.AbstractTestCaseGenerator

printCandVects - Variable in class korat.config.ConfigManager

Whether or not to print candidate vector and access field list during the search process.

printCV(IKoratSearchStrategy, boolean) - Method in class korat.testing.impl.TestCradle

printIndexes(String) - Static method in class korat.utils.cv.CVSim

println(int[]) - Static method in class korat.utils.cv.CVComparer

println(boolean[]) - Static method in class korat.utils.cv.CVComparer

printStatus(IKoratSearchStrategy, boolean) - Method in class korat.testing.impl.TestCradle

printUsage(Options) - Method in class korat.config.ConfigLoader

printUsage(PrintWriter, Options) - Method in class korat.config.ConfigLoader

processConfigFile(InputStream) - Static method in class korat.config.ConfigLoader

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

processors - Variable in class korat.testing.impl.TestCradleII

processSet(TreeSet<Long>) - Method in class korat.testing.impl.TestCradleII

PROGRESS - Static variable in class korat.config.ConfigLoader

progress - Variable in class korat.config.ConfigManager

Print progress during search on every progress-th generated test case.

push(OperandStack.StackElem) - Method in class korat.instrumentation.bytecode.OperandStack

push(CtClass) - Method in class korat.instrumentation.bytecode.OperandStack

push(CtClass, OperandStack.ElemKind) - Method in class korat.instrumentation.bytecode.OperandStack

push(OperandStack.StackElem) - Method in class korat.instrumentation.bytecode.StackTracerVisitor

push(CtClass, OperandStack.ElemKind) - Method in class korat.instrumentation.bytecode.StackTracerVisitor

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

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

putClsDomainsMap(IClassDomain, Map<String, IFieldDomain>) - Method in class korat.finitization.impl.Finitization

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

putfieldInstr(boolean) - Method in class korat.instrumentation.bytecode.StackTracerVisitor

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