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

H

handleArrayField(Object, Field, AlloySig, AlloyAtom) - Method in class korat.gui.viz.ToXMLInstanceConverter

handleArrayFieldDeclaration(CtClass, CtField) - Method in class korat.instrumentation.ArrayFieldInstrumenter

For the given array field creates new field of the corresponding KoratArray_fieldType type.

handleArraysAsObjects(boolean) - Method in interface korat.finitization.IFinitization

If selected, arrays will be handled like other objects during Korat search.

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

handleArraysAsObjects(boolean) - Method in class korat.finitization.impl.Finitization

handleClass(Class, AlloyAtom) - Method in class korat.gui.viz.ToXMLInstanceConverter

handleCollectionField(Object, Field, AlloySig, AlloyAtom) - Method in class korat.gui.viz.ToXMLInstanceConverter

handleFieldDeclaration(CtClass, CtField) - Method in class korat.instrumentation.FieldInstrumenter

For the given field: adds "id field" of type int adds special getter method creates nested setter class adds get setter method For each field, "id filed" is added to store its index in the candidate vector.

handleFields(Class, AlloyAtom) - Method in class korat.gui.viz.ToXMLInstanceConverter

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

Set of handle PCs for all catch blocks in the code.

handlePrimitives(Object, Field, AlloySig, AlloyAtom) - Method in class korat.gui.viz.ToXMLInstanceConverter

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

hashCode() - Method in class korat.utils.IdentityWrapper

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

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

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

Returns are there more vectors to be read.

HELP - Static variable in class korat.config.ConfigLoader