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

S

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

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

seed - Static variable in class korat.testing.impl.TestCradleII

seek(long) - Method in class korat.utils.io.BitRandomAccessFile

Positions file pointer to the given location.

SEP - Static variable in class korat.config.ConfigLoader

SEP_STR - Static variable in class korat.config.ConfigLoader

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

SerializationListener - Class in korat.utils

SerializationListener(String) - Constructor for class korat.utils.SerializationListener

SerializationUtils - Class in korat.utils.io

SerializationUtils() - Constructor for class korat.utils.io.SerializationUtils

SERIALIZE - Static variable in class korat.config.ConfigLoader

serialize - Variable in class korat.config.ConfigManager

Serialize valid test cases to file with given name.

serialize(Object) - Method in interface korat.utils.io.ISerializer

Serializes next object to the stream

serialize(Object) - Method in class korat.utils.io.SimpleSerializer

serializer - Variable in class korat.utils.SerializationListener

serializeStream - Variable in class korat.utils.io.SimpleSerializer

serialVersionUID - Static variable in exception korat.gui.viz.metamodel.SigDoesNotExistException

serialVersionUID - Static variable in exception korat.gui.viz.UnsupportedTypeException

serialVersionUID - Static variable in exception korat.testing.impl.CannotFindClassUnderTest

serialVersionUID - Static variable in exception korat.testing.impl.CannotFindFinitizationException

serialVersionUID - Static variable in exception korat.testing.impl.CannotFindPredicateException

serialVersionUID - Static variable in exception korat.testing.impl.CannotInvokeFinitizationException

serialVersionUID - Static variable in exception korat.testing.impl.CannotInvokePredicateException

serialVersionUID - Static variable in exception korat.testing.impl.KoratMethodException

serialVersionUID - Static variable in exception korat.testing.impl.KoratTestException

set(String, IFieldDomain) - Method in interface korat.finitization.IFinitization

Helper.

set(String, String, IFieldDomain) - Method in interface korat.finitization.IFinitization

Helper.

set(Class, String, IFieldDomain) - Method in interface korat.finitization.IFinitization

Assigns fieldDomain to the given field (fieldName) of the given class (cls).

set(Class, String, IFieldDomain) - Method in class korat.finitization.impl.Finitization

set(String, String, IFieldDomain) - Method in class korat.finitization.impl.Finitization

set(String, IFieldDomain) - Method in class korat.finitization.impl.Finitization

set(boolean) - Method in class korat.instrumentation.Setter

set(byte) - Method in class korat.instrumentation.Setter

set(short) - Method in class korat.instrumentation.Setter

set(int) - Method in class korat.instrumentation.Setter

set(long) - Method in class korat.instrumentation.Setter

set(float) - Method in class korat.instrumentation.Setter

set(double) - Method in class korat.instrumentation.Setter

set(Object) - Method in class korat.instrumentation.Setter

set(int, int) - Method in interface korat.utils.IIntList

Sets i-th element of the list to value elem.

set(int, int) - Method in class korat.utils.IntList

set(int, int) - Method in class korat.utils.IntListAI

set(int, int) - Method in class korat.utils.IntListBS

setArraySizes(IIntSet) - Method in interface korat.finitization.IArraySet

Sets domain for the size of the array.

setArraySizes(IIntSet) - Method in class korat.finitization.impl.ArraySet

setClassLoader(ClassLoader) - Static method in class korat.finitization.impl.Finitization

setCls(Class) - Method in exception korat.testing.impl.KoratMethodException

setComparingFilter(IComparingFilter) - Method in class korat.loading.InstrumentingClassLoader

setComponentsSet(IFieldDomain) - Method in interface korat.finitization.IArraySet

Sets the field domain for the components of the array.

setComponentsSet(IFieldDomain) - Method in class korat.finitization.impl.ArraySet

setConsumedBy(OperandStack.StackElem, BytecodeInstruction) - Method in class korat.instrumentation.bytecode.StackTracerVisitor

setData1(E1) - Method in class korat.utils.Pair

setData2(E2) - Method in class korat.utils.Pair

setEndCandidateVector(int[]) - Method in interface korat.testing.IKoratSearchStrategy

setEndCandidateVector(int[]) - Method in class korat.testing.impl.StateSpaceExplorer

setExcludeFromSearch(boolean) - Method in class korat.finitization.impl.CVElem

setExtendsSig(AlloySig) - Method in class korat.gui.viz.metamodel.AlloySig

setFieldValue(Object, Field, Object) - Static method in class korat.utils.ReflectionUtils

setImplementedInterfaces(CtClass) - Method in class korat.instrumentation.ArrayGenerator

setInstrumenter(IInstrumenter) - Method in class korat.loading.InstrumentingClassLoader

setMethodName(String) - Method in exception korat.testing.impl.KoratMethodException

setName(String) - Method in class korat.gui.viz.metamodel.AlloyAtom

setName(String) - Method in class korat.gui.viz.metamodel.AlloyField

setNullAllowed(boolean) - Method in class korat.finitization.impl.ObjSet

setNullAllowed(boolean) - Method in interface korat.finitization.IObjSet

Sets whether null is allowed or not.

setRootObject(Object) - Method in class korat.finitization.impl.StateSpace

Finitization should set the root object of the structure, after it creates the StateSpace.

setSetter(Setter) - Method in class korat.finitization.impl.CVElem

Sets setter class for this CVElem.

setStartCandidateVector(int[]) - Method in interface korat.testing.IKoratSearchStrategy

setStartCandidateVector(int[]) - Method in class korat.testing.impl.StateSpaceExplorer

setStateSpace(StateSpace) - Method in class korat.finitization.impl.CandidateBuilder

Sets the state space

setStructureList(CVElem[]) - Method in class korat.finitization.impl.StateSpace

Feature that will be used by Finitization object to build StateSpace.

setter - Variable in class korat.finitization.impl.CVElem

Setter - Class in korat.instrumentation

Base class for all setters.

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

SETTER_TEMPLATE - Static variable in class korat.instrumentation.InstrumentationManager

SETTER_THIS_FIELD_NAME - Static variable in class korat.instrumentation.InstrumentationManager

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

ShortSet - Class in korat.finitization.impl

ShortSet(short, short, short) - Constructor for class korat.finitization.impl.ShortSet

ShortSet(short, short) - Constructor for class korat.finitization.impl.ShortSet

ShortSet(short) - Constructor for class korat.finitization.impl.ShortSet

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

shouldProcessField(CtField) - Method in class korat.instrumentation.AbstractInstrumenter

Helper: returns if the given field should be processed i.e. instrumented.

shouldProcessMethod(CtMethod) - Method in class korat.instrumentation.AbstractInstrumenter

Helper: generally, abstract and native methods should not be processed.

SigDoesNotExistException - Exception in korat.gui.viz.metamodel

SigDoesNotExistException(String, String, Throwable) - Constructor for exception korat.gui.viz.metamodel.SigDoesNotExistException

SigDoesNotExistException(String, String) - Constructor for exception korat.gui.viz.metamodel.SigDoesNotExistException

SigDoesNotExistException(String) - Constructor for exception korat.gui.viz.metamodel.SigDoesNotExistException

SigDoesNotExistException(String, Throwable) - Constructor for exception korat.gui.viz.metamodel.SigDoesNotExistException

SigFactory - Class in korat.gui.viz.metamodel

Factory for the AlloySig class.

SigFactory() - Constructor for class korat.gui.viz.metamodel.SigFactory

sigName - Variable in exception korat.gui.viz.metamodel.SigDoesNotExistException

SimpleDeserializer - Class in korat.utils.io

Simple serializer, using java.io serialization

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

SimpleSerializer - Class in korat.utils.io

Simple serializer, using java.io serialization

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

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

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

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

skipDeltaBits(long) - Method in class korat.utils.cv.CVReaderDelta

skipThemeGeneration - Variable in class korat.gui.viz.ToXMLInstanceConverter

specialClients - Variable in class korat.testing.impl.AbstractTestCaseGenerator

SpecialConstructorInstrumenter - Class in korat.instrumentation

This instrumenter equips the given class with a special field of ITester type and a special constructor that takes one parameter of type ITester to initialize that special field.

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

StackTracerVisitor - Class in korat.instrumentation.bytecode

This class is intended to be used for tracing the types of values on the operand stack during the traversal of the instructions of a single method.

StackTracerVisitor(ClassPool, ConstPool, CtClass, MethodInfo, OperandStack) - Constructor for class korat.instrumentation.bytecode.StackTracerVisitor

Creates visitor and initializes the list of local variables.

start(String, String[]) - Method in class korat.testing.impl.TestCradle

start(Class, String[]) - Method in class korat.testing.impl.TestCradle

startCV - Variable in class korat.testing.impl.StateSpaceExplorer

started - Variable in class korat.utils.cv.WriteCVListener

started - Variable in class korat.utils.cv.WriteCVListenerSim

startFieldTrace() - Method in class korat.testing.impl.TestCradle

startFieldTrace() - Method in interface korat.testing.ITester

Notifies the beginning of field trace

startTestGeneration(IFinitization) - Method in class korat.testing.impl.TestCradle

startTestGeneration(IFinitization) - Method in class korat.testing.impl.TestCradleII

stateSpace - Variable in class korat.finitization.impl.CandidateBuilder

stateSpace - Variable in class korat.finitization.impl.CVElem

stateSpace - Variable in class korat.finitization.impl.Finitization

StateSpace - Class in korat.finitization.impl

Represents the state space scheme required by ITestCaseGenerator.

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

stateSpace - Variable in class korat.testing.impl.StateSpaceExplorer

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

StateSpaceExplorer - Class in korat.testing.impl

StateSpaceExplorer implements Korat search strategy

StateSpaceExplorer(IFinitization) - Constructor for class korat.testing.impl.StateSpaceExplorer

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

stopFieldTrace() - Method in class korat.testing.impl.TestCradle

stopFieldTrace() - Method in interface korat.testing.ITester

Notifies the end of field trace

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

Stores the previously parsed options to ConfigManager instance.

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

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

structureList - Variable in class korat.finitization.impl.StateSpace

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