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

G

g(int, int, long) - Static method in class korat.utils.cv.WriteCVListener

generatedClasses - Static variable in class korat.instrumentation.ArrayGenerator

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

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

generateKoratArray() - Method in class korat.instrumentation.ArrayGenerator

Generates the CtClass object, representing the Korat Array and all its inner classes

generateTheme - Variable in class korat.gui.viz.VizListener

get(int) - Method in class korat.instrumentation.bytecode.OperandStack

get(int) - Method in interface korat.utils.IIntList

Gets i-th element from the list.

get(int) - Method in class korat.utils.IntList

get(int) - Method in class korat.utils.IntListAI

get_element_setter(int, int) - Method in interface korat.instrumentation.IKoratArray

GET_ELEMENT_SETTER_METHOD_NAME - Static variable in class korat.instrumentation.ArrayGenerator

get_length_setter(int) - Method in interface korat.instrumentation.IKoratArray

GET_LENGTH_SETTER_METHOD_NAME - Static variable in class korat.instrumentation.ArrayGenerator

getAccessedFields() - Method in interface korat.testing.IKoratSearchStrategy

Gets the list of accessed fields during the last search.

getAccessedFields() - Method in class korat.testing.impl.StateSpaceExplorer

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

getAllFields() - Method in class korat.gui.viz.metamodel.FieldFactory

getAllFields(Class) - Static method in class korat.utils.ReflectionUtils

getAllFieldsRecursive(Class, List<Field>) - Static method in class korat.utils.ReflectionUtils

getAllNonStaticFields(Class) - Static method in class korat.utils.ReflectionUtils

getAllObjects() - Method in class korat.finitization.impl.ObjSet

getAllObjects() - Method in interface korat.finitization.IObjSet

Returns all objest in entire IObjSet.Those are all objects that can be assigned to the field that this IFieldDomain is assigned to.

getAlloyAtom(AlloySig, Object) - Method in class korat.gui.viz.metamodel.AtomFactory

getAlloySig(String) - Method in class korat.gui.viz.metamodel.SigFactory

getAlloySig(String, String) - Method in class korat.gui.viz.metamodel.SigFactory

getAllSigs() - Method in class korat.gui.viz.metamodel.SigFactory

getArray(int) - Method in class korat.finitization.impl.ArraySet

Returns the array at position index in this field domain.

getArrayClass() - Method in class korat.instrumentation.ArrayGenerator

Gets the the class file for korat array.

getArrayClassName() - Method in class korat.instrumentation.ArrayGenerator

getArrayClassName(String) - Static method in class korat.instrumentation.ArrayGenerator

getArrayCtClass() - Method in class korat.instrumentation.ArrayGenerator

getArrayCtClasses() - Method in class korat.instrumentation.ArrayGenerator

Gets CtArrayClass [] containing korat array at position [0] and all its inner classes, if created for the first time

getArrayLength(Object) - Static method in class korat.instrumentation.KoratArrayManager

getArraySizes() - Method in interface korat.finitization.IArraySet

Gets the domain for the size of the array.

getArraySizes() - Method in class korat.finitization.impl.ArraySet

getArrayValues(Object) - Static method in class korat.instrumentation.KoratArrayManager

getArrayValues(Object, String) - Static method in class korat.instrumentation.KoratArrayManager

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

getBoolean(int) - Method in class korat.finitization.impl.BooleanSet

gets boolean value for the corresponding candidate vector index

getByte(int) - Method in class korat.finitization.impl.ByteSet

getBytecode(String) - Method in class korat.instrumentation.AbstractInstrumenter

getBytecode(String) - Method in interface korat.instrumentation.IInstrumenter

Gets instrumented bytecode (to be given to the class loader, for example).

getBytes() - Method in class korat.finitization.impl.ByteSet

getCandidateVector() - Method in interface korat.testing.IKoratSearchStrategy

Gets candidate vector that corresponds to the test case returned last.

getCandidateVector() - Method in class korat.testing.impl.StateSpaceExplorer

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

getCit() - Method in class korat.instrumentation.bytecode.BytecodeInstruction

getClassDomain(String) - Method in interface korat.finitization.IFinitization

Helper.

getClassDomain(Class) - Method in interface korat.finitization.IFinitization

Searches for the ObjSet of the given Class object.

getClassDomain(int) - Method in class korat.finitization.impl.ArraySet

getClassDomain(int) - Method in class korat.finitization.impl.BooleanSet

getClassDomain(int) - Method in class korat.finitization.impl.FieldDomain

Returns the class domain for the given index

primitive types should return null.

getClassDomain(Class) - Method in class korat.finitization.impl.Finitization

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

getClassDomain(int) - Method in class korat.finitization.impl.ObjSet

getClassDomain(int) - Method in class korat.finitization.impl.PrimitiveTypeSet

getClassDomainFor(int) - Method in class korat.finitization.impl.ArraySet

getClassDomainFor(int) - Method in class korat.finitization.impl.BooleanSet

getClassDomainFor(int) - Method in class korat.finitization.impl.FieldDomain

Finds the class domain for given object index by calling getClassDomainFor(objectIndex) and returns the following class domain.

getClassDomainFor(int) - Method in class korat.finitization.impl.ObjSet

getClassDomainFor(int) - Method in class korat.finitization.impl.PrimitiveTypeSet

getClassDomainIndexFor(int) - Method in class korat.finitization.impl.ArraySet

getClassDomainIndexFor(int) - Method in class korat.finitization.impl.BooleanSet

getClassDomainIndexFor(int) - Method in class korat.finitization.impl.FieldDomain

Given the index of object in this field domain, returns index of that object in its class domain.

getClassDomainIndexFor(int) - Method in class korat.finitization.impl.ObjSet

getClassDomainIndexFor(int) - Method in class korat.finitization.impl.PrimitiveTypeSet

getClassDomains() - Method in class korat.finitization.impl.ObjSet

getClassDomains() - Method in interface korat.finitization.IObjSet

Returns the list of all class domains

getClassesDir() - Method in class korat.utils.BytecodeDumper

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

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

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

getClassNameOfObjects() - Method in interface korat.finitization.IClassDomain

Returns the name of class type for this domain Equal to {IClassDomain}.getClassOfObjects.getName();

getClassNameOfObjects() - Method in class korat.finitization.impl.ClassDomain

getClassOfField() - Method in interface korat.finitization.IFieldDomain

getClassOfField() - Method in class korat.finitization.impl.BooleanSet

getClassOfField() - Method in class korat.finitization.impl.FieldDomain

getClassOfObjects() - Method in interface korat.finitization.IClassDomain

Returns the Class object for elements of this Domain

getClassOfObjects() - Method in class korat.finitization.impl.ClassDomain

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

getCls() - Method in exception korat.testing.impl.KoratMethodException

getComparingFilter() - Method in class korat.loading.InstrumentingClassLoader

getComponentsSet() - Method in interface korat.finitization.IArraySet

Gets the class domain of array components in this IArraySet.

getComponentsSet() - Method in class korat.finitization.impl.ArraySet

getCompoundFilter() - Static method in class korat.loading.filter.FilterManager

getCVElem(Object, String) - Method in class korat.finitization.impl.StateSpace

getCVElem(int) - Method in class korat.finitization.impl.StateSpace

Returns ICVElem corresponding to the given index.

getCVFactory() - Static method in class korat.utils.cv.CVFactory

Use this method to get currently configured factory

getData1() - Method in class korat.utils.Pair

getData2() - Method in class korat.utils.Pair

getDeclaredNonStaticFields(Class) - Static method in class korat.utils.ReflectionUtils

getDeltaFileName(String) - Static method in class korat.utils.cv.CVWriterDelta

getDouble(int) - Method in class korat.finitization.impl.DoubleSet

getDoubles() - Method in class korat.finitization.impl.DoubleSet

getElementSetter(Object, int, int) - Static method in class korat.instrumentation.KoratArrayManager

Returns ElementSetter

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

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

getField(Class, String) - Static method in class korat.utils.ReflectionUtils

Gets field from class cls, either declared in cls or in one of its superclasses

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

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

getFieldDomain(String) - Method in interface korat.finitization.IFinitization

getFieldDomain() - Method in class korat.finitization.impl.CVElem

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

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

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

getFieldDomain(int) - Method in class korat.finitization.impl.StateSpace

Returns FieldDomain connected with the given index in candidate vector.

getFieldDomain(Object, String) - Method in class korat.finitization.impl.StateSpace

Helper, returns IFieldIndex connected with the given field in the given object.

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

getfieldInstr(boolean, int) - Method in class korat.instrumentation.bytecode.StackTracerVisitor

getFieldName() - Method in class korat.finitization.impl.CVElem

getFieldName(int) - Method in class korat.finitization.impl.StateSpace

Returns field name connected with the given index in candidate vector.

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

getFieldWithAccess(Object, String) - Static method in class korat.utils.ReflectionUtils

getFieldWithAccess(Class, String) - Static method in class korat.utils.ReflectionUtils

getFilePointer() - Method in class korat.utils.io.BitRandomAccessFile

Get file pointer in bits

getFilter() - Static method in class korat.loading.filter.FilterManager

getFinClass() - Method in interface korat.finitization.IFinitization

Returns Class object of the finitized class

getFinClass() - Method in class korat.finitization.impl.Finitization

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

getFlagOption(MyOption) - Method in class korat.config.ConfigLoader

getFloat(int) - Method in class korat.finitization.impl.FloatSet

getFloats() - Method in class korat.finitization.impl.FloatSet

getFullClassName() - Method in exception korat.testing.impl.CannotFindClassUnderTest

getGeneratedModelFilename() - Method in class korat.gui.viz.ToXMLInstanceConverter

getGeneratedThemeFilename() - Method in class korat.gui.viz.ToXMLInstanceConverter

getGetSetterName(String) - Static method in class korat.instrumentation.InstrumentationManager

getGetSetterSrc(CtClass, String, String, String) - Method in class korat.instrumentation.FieldInstrumenter

Returns source code for the "get setter" method.

getGetterName(String) - Static method in class korat.instrumentation.InstrumentationManager

getGetterSrc(CtClass, String, String) - Method in class korat.instrumentation.FieldInstrumenter

Returns the source for the "korat getter method".

getIdFieldName(String) - Static method in class korat.instrumentation.InstrumentationManager

getIdx() - Method in class korat.instrumentation.bytecode.BytecodeInstruction

getIncludedFinitization(Class) - Method in interface korat.finitization.IFinitization

Returns the included finitization, if there is such, for type given by clazz parameter

getIncludedFinitization(Class) - Method in class korat.finitization.impl.Finitization

getIndex(Object, String) - Method in class korat.finitization.impl.StateSpace

getIndexInCandidateVector(Object, String) - Method in class korat.finitization.impl.StateSpace

Returns the index of the field fieldName of the Object obj in scheme.

getIndexInCandidateVector(Object, String, Setter) - Method in class korat.finitization.impl.StateSpace

Returns the index of the field fieldName of the Object obj in scheme.

getIndexOf(Object) - Method in class korat.finitization.impl.ClassDomain

Returns index of object obj in this class domain

getIndexOf(Object) - Method in class korat.finitization.impl.NullClassDomain

getIndexOfFirstObjectInNextClassDomain(int) - Method in class korat.finitization.impl.ArraySet

getIndexOfFirstObjectInNextClassDomain(int) - Method in class korat.finitization.impl.BooleanSet

getIndexOfFirstObjectInNextClassDomain(int) - Method in class korat.finitization.impl.FieldDomain

getIndexOfFirstObjectInNextClassDomain(int) - Method in class korat.finitization.impl.ObjSet

getIndexOfFirstObjectInNextClassDomain(int) - Method in class korat.finitization.impl.PrimitiveTypeSet

getInitialCandidateVector() - Method in class korat.finitization.impl.Finitization

getInstance() - Static method in class korat.config.ConfigManager

getInstance() - Static method in class korat.finitization.impl.FinitizationFactory

getInstance() - Static method in class korat.finitization.impl.NullClassDomain

getInstance() - Static method in class korat.gui.viz.metamodel.AtomFactory

getInstance() - Static method in class korat.gui.viz.metamodel.FieldFactory

getInstance() - Static method in class korat.gui.viz.metamodel.SigFactory

getInstance() - Static method in class korat.testing.impl.TestCradle

getInstance() - Static method in class korat.utils.BytecodeDumper

getInstance() - Static method in class korat.utils.cv.CVFactory

getInstance() - Static method in class korat.utils.cv.CVFactoryDelta

getInstructionName(short) - Static method in class korat.instrumentation.bytecode.BytecodeUtils

getInstrumenter() - Static method in class korat.instrumentation.InstrumentationManager

getInstrumenter() - Method in class korat.loading.InstrumentingClassLoader

getInt(int) - Method in class korat.finitization.impl.IntSet

getIntAlloyAtom(AlloySig, int) - Method in class korat.gui.viz.metamodel.AtomFactory

getIntOptionValue(MyOption) - Method in class korat.config.ConfigLoader

getInts() - Method in class korat.finitization.impl.IntSet

getKoratArrayFieldName(String) - Static method in class korat.instrumentation.InstrumentationManager

For the given array field name returns the name of the corresponding KoratArray field.

getKoratArrayType(CtClass) - Method in class korat.instrumentation.bytecode.ArrayBytecodesVisitor

getLastInstance() - Static method in class korat.finitization.impl.StateSpace

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

getLength() - Method in interface korat.instrumentation.IKoratArray

Returns the length of the korat array

getLengthSetter(Object, int) - Static method in class korat.instrumentation.KoratArrayManager

Returns length setter

getLong(int) - Method in class korat.finitization.impl.LongSet

getLongOptionValue(MyOption) - Method in class korat.config.ConfigLoader

getLongs() - Method in class korat.finitization.impl.LongSet

getMax() - Method in class korat.finitization.impl.IntSet

getMaxLength() - Method in class korat.finitization.impl.ArraySet

Returns maximal length of array objects in this IArraySet.

getMethod(Class<? extends Object>, String, Class[]) - Static method in class korat.utils.ReflectionUtils

Gets method from class clz or any of its superclasses.

getMethodName() - Method in exception korat.testing.impl.KoratMethodException

getMin() - Method in class korat.finitization.impl.IntSet

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

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

getMyStateSpace() - Method in class korat.finitization.impl.CVElem

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

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

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

getNextCandidate() - Method in class korat.testing.impl.StateSpaceExplorer

getNextClassDomainFor(int) - Method in class korat.finitization.impl.ArraySet

getNextClassDomainFor(int) - Method in class korat.finitization.impl.BooleanSet

getNextClassDomainFor(int) - Method in class korat.finitization.impl.FieldDomain

Finds the class domain for given object index by calling getClassDomainFor(objectIndex) and returns the following class domain.

getNextClassDomainFor(int) - Method in class korat.finitization.impl.ObjSet

getNextClassDomainFor(int) - Method in class korat.finitization.impl.PrimitiveTypeSet

getNumberOfElements() - Method in interface korat.finitization.IFieldDomain

Number of all elements in this field domain.

getNumberOfElements() - Method in class korat.finitization.impl.ArraySet

getNumberOfElements() - Method in class korat.finitization.impl.BooleanSet

getNumberOfElements() - Method in class korat.finitization.impl.FieldDomain

Number of all elements in this field domain.

getNumberOfElements() - Method in class korat.finitization.impl.ObjSet

getNumberOfElements() - Method in class korat.finitization.impl.PrimitiveTypeSet

getNumCVs() - Method in class korat.utils.cv.CVFinder

getNumCVs() - Method in class korat.utils.cv.CVFinderDelta

getNumCVs() - Method in class korat.utils.cv.CVReader

getNumCVs() - Method in class korat.utils.cv.CVReaderDelta

getNumCVs() - Method in interface korat.utils.cv.ICVFinder

Gets number of candidate vectors in a file

getNumCVs() - Method in interface korat.utils.cv.ICVReader

Returns number of candidate vectors in the file

getNumCVsLeftToRead() - Method in class korat.utils.cv.CVReader

getNumCVsRead() - Method in class korat.utils.cv.CVReader

getNumCVsRead() - Method in class korat.utils.cv.CVReaderDelta

getNumCVsRead() - Method in interface korat.utils.cv.ICVReader

Returns how many vectors have been read already.

getNumElemsPerCV() - Method in class korat.utils.cv.CVFinder

getNumElemsPerCV() - Method in class korat.utils.cv.CVFinderDelta

getNumElemsPerCV() - Method in class korat.utils.cv.CVReader

getNumElemsPerCV() - Method in class korat.utils.cv.CVReaderDelta

getNumElemsPerCV() - Method in interface korat.utils.cv.ICVFinder

Gets number of elements per candidate vector

getNumElemsPerCV() - Method in interface korat.utils.cv.ICVReader

Returns number of elements per candidate vector

getNumOfClassDomains() - Method in interface korat.finitization.IFieldDomain

Number of class domains contained in this field domain.

getNumOfClassDomains() - Method in class korat.finitization.impl.ArraySet

getNumOfClassDomains() - Method in class korat.finitization.impl.BooleanSet

getNumOfClassDomains() - Method in class korat.finitization.impl.FieldDomain

Number of class domains contained in this field domain.

getNumOfClassDomains() - Method in class korat.finitization.impl.ObjSet

getNumOfClassDomains() - Method in class korat.finitization.impl.PrimitiveTypeSet

getObj() - Method in class korat.finitization.impl.CVElem

getObject(int) - Method in class korat.finitization.impl.ClassDomain

Returns object stored at a given position inside the class domain

getObject(int) - Method in class korat.finitization.impl.NullClassDomain

getObject(int) - Method in class korat.finitization.impl.ObjSet

Returns object with the given index in entire ObjSet.

getObject(int) - Method in class korat.finitization.impl.StateSpace

Returns Object connected with the given index in candidate vector.

getObjects() - Method in class korat.finitization.impl.ClassDomain

getObjects() - Method in class korat.finitization.impl.NullClassDomain

getObjectsOfClass(Class) - Method in class korat.finitization.impl.ObjSet

getObjectsOfClass(int) - Method in class korat.finitization.impl.ObjSet

Returns instances of the class domain with the given index in this ObjSet.

getObjectsOfClass(Class) - Method in interface korat.finitization.IObjSet

Returns instances (direct or indirect) of the given class in entire IObjSet

getOpcode() - Method in class korat.instrumentation.bytecode.BytecodeInstruction

getOptionValue(MyOption) - Method in class korat.config.ConfigLoader

getPackage(String) - Method in class korat.loading.filter.PackageFilter

getPredicateMethod(Class<?>, String) - Method in class korat.testing.impl.TestCradle

getPrimitiveClassCounterpart(String) - Method in class korat.instrumentation.ArrayGenerator

Returns name of the wrapper class corresponding to the primitive type

getRootDir() - Method in class korat.utils.BytecodeDumper

getRootObject() - Method in class korat.finitization.impl.StateSpace

Returns root object of this structure (previously set by IFinitization ).

getSetter() - Method in class korat.finitization.impl.CVElem

GETSETTER_TEMPLATE - Static variable in class korat.instrumentation.InstrumentationManager

getSetterClassName(String) - Static method in class korat.instrumentation.InstrumentationManager

getSetterSrc(CtField) - Method in class korat.instrumentation.FieldInstrumenter

Source for the setter's set method.

getShort(int) - Method in class korat.finitization.impl.ShortSet

getShorts() - Method in class korat.finitization.impl.ShortSet

getSigName() - Method in exception korat.gui.viz.metamodel.SigDoesNotExistException

getSize() - Method in interface korat.finitization.IClassDomain

Returns number of objects in this class domain

getSize() - Method in class korat.finitization.impl.ClassDomain

getSize() - Method in class korat.finitization.impl.NullClassDomain

getSizeOfClassDomain(int) - Method in class korat.finitization.impl.ArraySet

getSizeOfClassDomain(int) - Method in class korat.finitization.impl.BooleanSet

getSizeOfClassDomain(int) - Method in class korat.finitization.impl.FieldDomain

Number of object in the class domain which is at a classDomainIndex position in the list of all class domains within this field domain.

getSizeOfClassDomain(int) - Method in class korat.finitization.impl.ObjSet

getSizeOfClassDomain(int) - Method in class korat.finitization.impl.PrimitiveTypeSet

getStateSpace() - Method in class korat.finitization.impl.Finitization

Returns the IStateSpace according to the bounds of the system

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

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

getStringArrayOptionValue(MyOption) - Method in class korat.config.ConfigLoader

getStructureList() - Method in class korat.finitization.impl.StateSpace

getSwitches() - Method in class korat.config.MyOption

GETTER_PREFIX - Static variable in class korat.instrumentation.InstrumentationManager

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

getTotalNumberOfFields() - Method in class korat.finitization.impl.StateSpace

Returns total number of fields for all objects included in finitization

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

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

getValue(int) - Method in interface korat.instrumentation.IKoratArray

Returns value at position index in the korat array.

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

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

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

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