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

A

AAddThreadCheckStrategy - Class in edu.rice.cs.cunit.instrumentors.threadCheck

Abstract class for adding thread checks.

AAddThreadCheckStrategy(AThreadCheckStrategy.SharedData, AAddThreadCheckStrategy.SharedAddData) - Constructor for class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy

Constructor for this strategy.

AAddThreadCheckStrategy(List<String>, AThreadCheckStrategy.SharedData, AAddThreadCheckStrategy.SharedAddData) - Constructor for class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy

Constructor for a strategy that adds thread checks.

AAddThreadCheckStrategy.CacheInfo - Class in edu.rice.cs.cunit.instrumentors.threadCheck

Cache hit/miss message.

AAddThreadCheckStrategy.CacheInfo() - Constructor for class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.CacheInfo

AAddThreadCheckStrategy.OnlyAfterRealizedWarning - Class in edu.rice.cs.cunit.instrumentors.threadCheck

ONLY_AFTER_REALIZED warning

AAddThreadCheckStrategy.OnlyAfterRealizedWarning(String) - Constructor for class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.OnlyAfterRealizedWarning

Creates a new warning.

AAddThreadCheckStrategy.SharedAddData - Class in edu.rice.cs.cunit.instrumentors.threadCheck

Data shared among all AAddThreadCheckStrategy instances.

AAddThreadCheckStrategy.SharedAddData(List<String>, AThreadCheckStrategy.SharedData) - Constructor for class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.SharedAddData

Create a new instance of shared data.

AALOAD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

AAnnotationsAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes

Represents an abstract Annotations attribute in a class file.

AAnnotationsAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo

Creates a new abstract annotations attribute.

AAnnotationsAttributeInfo.Annotation - Class in edu.rice.cs.cunit.classFile.attributes

Storage class for annotations.

AAnnotationsAttributeInfo.Annotation(AUTFPoolInfo, short, AAnnotationsAttributeInfo.Annotation.NameValuePair[]) - Constructor for class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation

Creates a new annotation.

AAnnotationsAttributeInfo.Annotation(ConstantPool, byte[], int) - Constructor for class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation

Creates a new annotation.

AAnnotationsAttributeInfo.Annotation.ADefaultMemberValueVisitor<R,P> - Class in edu.rice.cs.cunit.classFile.attributes

Default visitor where all cases delegate to an abstract default case.

AAnnotationsAttributeInfo.Annotation.ADefaultMemberValueVisitor() - Constructor for class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ADefaultMemberValueVisitor

AAnnotationsAttributeInfo.Annotation.AMemberValue - Class in edu.rice.cs.cunit.classFile.attributes

Storage class for a member value.

AAnnotationsAttributeInfo.Annotation.AMemberValue(char) - Constructor for class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AMemberValue

Creates a new member value.

AAnnotationsAttributeInfo.Annotation.AnnotationMemberValue - Class in edu.rice.cs.cunit.classFile.attributes

Storage class for an annotation value.

AAnnotationsAttributeInfo.Annotation.AnnotationMemberValue(char, AAnnotationsAttributeInfo.Annotation) - Constructor for class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AnnotationMemberValue

Creates a new annotation value.

AAnnotationsAttributeInfo.Annotation.ArrayMemberValue - Class in edu.rice.cs.cunit.classFile.attributes

Storage class for an array.

AAnnotationsAttributeInfo.Annotation.ArrayMemberValue(char, int, AAnnotationsAttributeInfo.Annotation.AMemberValue[]) - Constructor for class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ArrayMemberValue

Creates a new array.

AAnnotationsAttributeInfo.Annotation.ArrayMemberValue(ConstantPool, byte[], int) - Constructor for class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ArrayMemberValue

Creates a new array.

AAnnotationsAttributeInfo.Annotation.CheckConstantMemberVisitor - Class in edu.rice.cs.cunit.classFile.attributes

AAnnotationsAttributeInfo.Annotation.CheckConstantMemberVisitor() - Constructor for class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.CheckConstantMemberVisitor

Singleton constructor.

AAnnotationsAttributeInfo.Annotation.ClassMemberValue - Class in edu.rice.cs.cunit.classFile.attributes

Storage class for a class value.

AAnnotationsAttributeInfo.Annotation.ClassMemberValue(char, AUTFPoolInfo) - Constructor for class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ClassMemberValue

Creates a new class value.

AAnnotationsAttributeInfo.Annotation.ConstantMemberValue - Class in edu.rice.cs.cunit.classFile.attributes

Storage class for constants.

AAnnotationsAttributeInfo.Annotation.ConstantMemberValue(char, APoolInfo) - Constructor for class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ConstantMemberValue

Creates a new constant value.

AAnnotationsAttributeInfo.Annotation.EnumMemberValue - Class in edu.rice.cs.cunit.classFile.attributes

Storage class for an enum.

AAnnotationsAttributeInfo.Annotation.EnumMemberValue(char, AUTFPoolInfo, AUTFPoolInfo) - Constructor for class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.EnumMemberValue

Creates a new enum value.

AAnnotationsAttributeInfo.Annotation.IMemberValueVisitor<R,P> - Interface in edu.rice.cs.cunit.classFile.attributes

Visitor interface for member values.

AAnnotationsAttributeInfo.Annotation.NameValuePair - Class in edu.rice.cs.cunit.classFile.attributes

Storage class for a name-value pair.

AAnnotationsAttributeInfo.Annotation.NameValuePair(AUTFPoolInfo, AAnnotationsAttributeInfo.Annotation.AMemberValue) - Constructor for class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.NameValuePair

Creates a new name-value pair.

AAnnotationsAttributeInfo.Annotation.NameValuePair(ConstantPool, byte[], int) - Constructor for class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.NameValuePair

Creates a new name-value pair.

AASTORE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

AAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes

AAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo

Constructor.

ACC_ABSTRACT - Static variable in class edu.rice.cs.cunit.classFile.ClassFile

ACC_ANNOTATION - Static variable in class edu.rice.cs.cunit.classFile.ClassFile

ACC_BRIDGE - Static variable in class edu.rice.cs.cunit.classFile.ClassFile

ACC_ENUM - Static variable in class edu.rice.cs.cunit.classFile.ClassFile

ACC_FINAL - Static variable in class edu.rice.cs.cunit.classFile.ClassFile

ACC_INTERFACE - Static variable in class edu.rice.cs.cunit.classFile.ClassFile

ACC_NATIVE - Static variable in class edu.rice.cs.cunit.classFile.ClassFile

ACC_PRIVATE - Static variable in class edu.rice.cs.cunit.classFile.ClassFile

ACC_PROTECTED - Static variable in class edu.rice.cs.cunit.classFile.ClassFile

ACC_PUBLIC - Static variable in class edu.rice.cs.cunit.classFile.ClassFile

ACC_STATIC - Static variable in class edu.rice.cs.cunit.classFile.ClassFile

ACC_STRICT - Static variable in class edu.rice.cs.cunit.classFile.ClassFile

ACC_SYNCHRONIZED - Static variable in class edu.rice.cs.cunit.classFile.ClassFile

ACC_SYNTHETIC - Static variable in class edu.rice.cs.cunit.classFile.ClassFile

ACC_TRANSIENT - Static variable in class edu.rice.cs.cunit.classFile.ClassFile

ACC_VARARGS - Static variable in class edu.rice.cs.cunit.classFile.ClassFile

ACC_VOLATILE - Static variable in class edu.rice.cs.cunit.classFile.ClassFile

AClassNameTypePoolInfo - Class in edu.rice.cs.cunit.classFile.constantPool

Represents an object in the constant pool described by class and name-and-type.

AClassNameTypePoolInfo(int, ClassPoolInfo, NameAndTypePoolInfo, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.AClassNameTypePoolInfo

Create a new object.

AClassNameTypePoolInfo(int, DataInputStream, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.AClassNameTypePoolInfo

Constructor reading from a stream.

ACONST_NULL - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ACUnitRun - Class in edu.rice.cs.cunit

ACUnitRun() - Constructor for class edu.rice.cs.cunit.ACUnitRun

add(ThreadCheckAnnotationRecord) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckAnnotationRecord

Adds the annotations in the other annotation record to this one

add(ISyncPoint) - Static method in class edu.rice.cs.cunit.SyncPointBuffer

Adds a synchronization point to the list.

add(ThreadCheck.ThreadCheckAnnotationRecord) - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.ThreadCheckAnnotationRecord

addAllowedGroup_OnlyRunBy(String) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Add an allowed group name pattern to the list.

addAllowedId_OnlyRunBy(long) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Add an allowed id to the list.

addAllowedName_OnlyRunBy(String) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Add an allowed thread name pattern to the list.

addAttribute(AAttributeInfo) - Method in class edu.rice.cs.cunit.classFile.ClassFile

Add an attribute to the class.

addBadPredicateAnnotWarning(BadPredicateAnnotationWarning) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy.SharedData

Add a bad predicate annotation warning.

addClass(String) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckDefinitionRecord

Add the specified class to the set of classes.

addClassJarStream(String, String, JarOutputStream, boolean) - Static method in class edu.rice.cs.cunit.FileInstrumentor

Add a class to a Jar stream.

addClassNotFoundWarning(ClassNotFoundWarning) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy.SharedData

Add a class not found warning.

addConstantPoolItems(APoolInfo[]) - Method in class edu.rice.cs.cunit.classFile.ClassFile

Add new items to the constant pool.

addField(String, String, String, boolean, short) - Method in class edu.rice.cs.cunit.classFile.ClassFile

Add the constant pool items for a field "fieldName:fieldDescriptor" in class "className".

addInstrumentationAttributeInfo(ClassFile, String) - Static method in class edu.rice.cs.cunit.classFile.attributes.InstrumentationAttributeInfo

Add the Instrumentation attribute with the given instrumentor class name string to the class file.

addInstrumentationAttributeInfo(ClassFile, List<IInstrumentationStrategy>) - Static method in class edu.rice.cs.cunit.classFile.attributes.InstrumentationAttributeInfo

Add the Instrumentation attribute with the given list of instrumentors to the class file.

addJarStream(String, JarOutputStream, boolean) - Method in class edu.rice.cs.cunit.FileInstrumentor

Instrument all classes in the specified Jar file and write the output to a Jar stream.

addLongToConstantPool(long) - Method in class edu.rice.cs.cunit.classFile.ClassFile

Add a long constant value to the constant pool.

addMethod(String, String, boolean) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckDefinitionRecord

Add the specified method to the set of methods.

addMethodToConstantPool(String, String, String) - Method in class edu.rice.cs.cunit.classFile.ClassFile

Add the constant pool items for a method "methodName:methodDescriptor" in class "className".

addNamesIfNecessary(ClassFile) - Method in class edu.rice.cs.cunit.instrumentors.MarkerInlineStrategy

Add names to the constant pool if necessary.

AddPredicateThreadCheckStrategy - Class in edu.rice.cs.cunit.instrumentors.threadCheck

Instrumentor to add calls to ThreadCheck.checkCurrentThreadName/Id/Group to check if the current thread is not allowed to execute a class or method.

AddPredicateThreadCheckStrategy(AThreadCheckStrategy.SharedData, AAddThreadCheckStrategy.SharedAddData) - Constructor for class edu.rice.cs.cunit.instrumentors.threadCheck.AddPredicateThreadCheckStrategy

Constructor for this strategy.

AddPredicateThreadCheckStrategy(List<String>, AThreadCheckStrategy.SharedData, AAddThreadCheckStrategy.SharedAddData) - Constructor for class edu.rice.cs.cunit.instrumentors.threadCheck.AddPredicateThreadCheckStrategy

Constructor for this strategy.

AddReflectionThreadCheckStrategy - Class in edu.rice.cs.cunit.instrumentors.threadCheck

Instrumentor to add calls to ThreadCheck.checkCurrentThreadReflection to check if the current thread is not allowed to execute a class or method.

AddReflectionThreadCheckStrategy(AThreadCheckStrategy.SharedData, AAddThreadCheckStrategy.SharedAddData) - Constructor for class edu.rice.cs.cunit.instrumentors.threadCheck.AddReflectionThreadCheckStrategy

Constructor for this strategy.

AddReflectionThreadCheckStrategy(List<String>, AThreadCheckStrategy.SharedData, AAddThreadCheckStrategy.SharedAddData) - Constructor for class edu.rice.cs.cunit.instrumentors.threadCheck.AddReflectionThreadCheckStrategy

Constructor for this strategy.

AddThreadCheckStrategy - Class in edu.rice.cs.cunit.instrumentors.threadCheck

Instrumentor to add calls to ThreadCheck.checkCurrentThreadName/Id/Group to check if the current thread is not allowed to execute a class or method.

AddThreadCheckStrategy(AThreadCheckStrategy.SharedData, AAddThreadCheckStrategy.SharedAddData) - Constructor for class edu.rice.cs.cunit.instrumentors.threadCheck.AddThreadCheckStrategy

Constructor for this strategy.

AddThreadCheckStrategy(List<String>, AThreadCheckStrategy.SharedData, AAddThreadCheckStrategy.SharedAddData) - Constructor for class edu.rice.cs.cunit.instrumentors.threadCheck.AddThreadCheckStrategy

Constructor for this strategy.

addTimeSpent(long) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.CacheInfo

ADefaultAttributeVisitor<R,D> - Class in edu.rice.cs.cunit.classFile.attributes.visitors

An attribute visitor in which all cases call an abstract default method.

ADefaultAttributeVisitor() - Constructor for class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor

ADefaultPoolInfoVisitor<R,D> - Class in edu.rice.cs.cunit.classFile.constantPool.visitors

Abstract visitor in which all cases call a default method.

ADefaultPoolInfoVisitor() - Constructor for class edu.rice.cs.cunit.classFile.constantPool.visitors.ADefaultPoolInfoVisitor

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleAnnotationsAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleNamedAnnotationsAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.AnnotationDefaultAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.ConstantValueAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.DeprecatedAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.EnclosingMethodAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.ExceptionsAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.InnerClassesAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.InstrumentationAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.LineNumberTableAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTableAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTypeTableAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.SignatureAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.SourceFileAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.SyntheticAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

adjustPC(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.UnknownAttributeInfo

Adjust program counter values contained in this attribute, starting at startPC, by adding deltaPC to them.

advanceIndex(int) - Method in class edu.rice.cs.cunit.classFile.code.InstructionList

Advance the program index by multiple instructions.

advanceIndex() - Method in class edu.rice.cs.cunit.classFile.code.InstructionList

Advance the program index to the next instruction.

AInsertAtOpcodeStrategy - Class in edu.rice.cs.cunit.instrumentors.util

Abstract instrumentation strategy that insert code before an opcode.

AInsertAtOpcodeStrategy(IPredicate<ClassFile>, IPredicate.Binary<ClassFile, MethodInfo>, IPredicate.Ternary<ClassFile, MethodInfo, InstructionList>, IPredicate.Ternary<ClassFile, MethodInfo, InstructionList>) - Constructor for class edu.rice.cs.cunit.instrumentors.util.AInsertAtOpcodeStrategy

Create a new strategy with the specified predicates.

AInstruction - Class in edu.rice.cs.cunit.classFile.code.instructions

Abstract Java instruction.

AInstruction() - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.AInstruction

allowedEventThread - Variable in class edu.rice.cs.cunit.threadCheck.ThreadCheck.OnlyRunByViolation

allowedGroupNames - Variable in class edu.rice.cs.cunit.threadCheck.ThreadCheck.OnlyRunByViolation

allowedThreadIds - Variable in class edu.rice.cs.cunit.threadCheck.ThreadCheck.OnlyRunByViolation

allowedThreadNames - Variable in class edu.rice.cs.cunit.threadCheck.ThreadCheck.OnlyRunByViolation

allowEventThread - Variable in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckAnnotationRecord

allowThreadGroups - Variable in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckAnnotationRecord

allowThreadIds - Variable in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckAnnotationRecord

allowThreadNames - Variable in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckAnnotationRecord

ALOAD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ALOAD_0 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ALOAD_1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ALOAD_2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ALOAD_3 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

AMultipleAnnotationsAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes

Represents an abstract annotations attribute in a class file that can contain annotations for multiple entities, like for method parameters or local variables.

AMultipleAnnotationsAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.AMultipleAnnotationsAttributeInfo

Creates a new abstract multiple annotations attribute.

AMultipleNamedAnnotationsAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes

AMultipleNamedAnnotationsAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.AMultipleNamedAnnotationsAttributeInfo

AMultipleNamedAnnotationsAttributeInfo.NamedAnnotationsRecord - Class in edu.rice.cs.cunit.classFile.attributes

Storage class for name and annotations.

AMultipleNamedAnnotationsAttributeInfo.NamedAnnotationsRecord(AUTFPoolInfo, AAnnotationsAttributeInfo.Annotation[]) - Constructor for class edu.rice.cs.cunit.classFile.attributes.AMultipleNamedAnnotationsAttributeInfo.NamedAnnotationsRecord

ANEWARRAY - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ANEWARRAY_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

annotation - Variable in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AnnotationMemberValue

Annotation value.

annotation - Variable in class edu.rice.cs.cunit.instrumentors.threadCheck.PredicateAnnotationRecord

The annotation on the method or class.

AnnotationDefaultAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes

Represents the AnnotationDefault attribute in a class file.

AnnotationDefaultAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.AnnotationDefaultAttributeInfo

Constructor.

annotationDefaultCase(AnnotationDefaultAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor

Case for an AnnotationDefault attribute.

annotationDefaultCase(AnnotationDefaultAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor

Case for an AnnotationDefault attribute.

annotationMemberCase(AAnnotationsAttributeInfo.Annotation.AnnotationMemberValue, P) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ADefaultMemberValueVisitor

Case for annotations.

annotationMemberCase(AAnnotationsAttributeInfo.Annotation.AnnotationMemberValue, P) - Method in interface edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.IMemberValueVisitor

Case for annotations.

annotationName - Variable in class edu.rice.cs.cunit.instrumentors.threadCheck.SubtypingWarning

Name of the annotation.

annotations - Variable in class edu.rice.cs.cunit.classFile.attributes.AMultipleNamedAnnotationsAttributeInfo.NamedAnnotationsRecord

AObjectSyncPoint - Class in edu.rice.cs.cunit.record.syncPoints.object

General class for object-related synchronization points.

AObjectSyncPoint(Object, Thread) - Constructor for class edu.rice.cs.cunit.record.syncPoints.object.AObjectSyncPoint

Constructor for this synchronization point.

AObjectSyncPoint.Translated - Class in edu.rice.cs.cunit.record.syncPoints.object

Class for translated versions on the monitor side.

AObjectSyncPoint.Translated(LockInfo, ThreadInfo) - Constructor for class edu.rice.cs.cunit.record.syncPoints.object.AObjectSyncPoint.Translated

Constructor for translated version on the monitor side.

APoolInfo - Class in edu.rice.cs.cunit.classFile.constantPool

Represents an abstract constant pool object.

APoolInfo(int, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.APoolInfo

Constructor

append(CharSequence) - Method in class edu.rice.cs.cunit.util.Debug

append(char) - Method in class edu.rice.cs.cunit.util.Debug

appliesToClass(String) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckDefinitionRecord

Return true if the invariant applies to the specified class.

appliesToMethod(String, String) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckDefinitionRecord

Return true if the invariant applies to the specified method.

apply(ClassFile) - Method in class edu.rice.cs.cunit.instrumentors.util.ConditionalStrategy

Return true if the decoree should be applied to this class.

apply(P) - Method in interface edu.rice.cs.cunit.util.ILambda

Apply the lambda.

apply(P, Q) - Method in interface edu.rice.cs.cunit.util.ILambda.Binary

Apply the lambda.

apply(Q) - Method in class edu.rice.cs.cunit.util.ILambda.Binary.Bind1st

Apply the unary decorator, i.e.

apply(P) - Method in class edu.rice.cs.cunit.util.ILambda.Binary.Bind2nd

Apply the unary decorator, i.e.

apply(T, T) - Method in class edu.rice.cs.cunit.util.ILambda.Binary.Max

apply(T, T) - Method in class edu.rice.cs.cunit.util.ILambda.Binary.Min

apply(P, P) - Method in class edu.rice.cs.cunit.util.ILambda.Binary.NaryAdaptor

Apply the N-ary lambda.

apply(P...) - Method in interface edu.rice.cs.cunit.util.ILambda.Nary

Apply the lambda.

apply(P...) - Method in class edu.rice.cs.cunit.util.ILambda.Nary.BinaryAdaptor

Apply the binary lambda.

apply(P...) - Method in class edu.rice.cs.cunit.util.ILambda.Nary.Bind

Apply the (N-1)-ary decorator, i.e.

apply(P...) - Method in class edu.rice.cs.cunit.util.ILambda.Nary.BindK

Apply the (N-K)-ary decorator, i.e.

apply(T...) - Method in class edu.rice.cs.cunit.util.ILambda.Nary.Max

apply(T...) - Method in class edu.rice.cs.cunit.util.ILambda.Nary.Min

apply(P...) - Method in class edu.rice.cs.cunit.util.ILambda.Nary.TernaryAdaptor

Apply the ternary lambda.

apply(P...) - Method in class edu.rice.cs.cunit.util.ILambda.Nary.UnaryAdaptor

Apply the unary lambda.

apply(P) - Method in class edu.rice.cs.cunit.util.ILambda.NaryAdaptor

Apply the N-ary lambda.

apply(P, Q, S) - Method in interface edu.rice.cs.cunit.util.ILambda.Ternary

Apply the lambda.

apply(Q, S) - Method in class edu.rice.cs.cunit.util.ILambda.Ternary.Bind1st

Apply the binary decorator, i.e.

apply(P, S) - Method in class edu.rice.cs.cunit.util.ILambda.Ternary.Bind2nd

Apply the binary decorator, i.e.

apply(P, Q) - Method in class edu.rice.cs.cunit.util.ILambda.Ternary.Bind3rd

Apply the binary decorator, i.e.

apply(T, T, T) - Method in class edu.rice.cs.cunit.util.ILambda.Ternary.Max

apply(T, T, T) - Method in class edu.rice.cs.cunit.util.ILambda.Ternary.Min

apply(P, P, P) - Method in class edu.rice.cs.cunit.util.ILambda.Ternary.NaryAdaptor

Apply the N-ary lambda.

apply(Boolean, Boolean) - Method in class edu.rice.cs.cunit.util.IPredicate.Binary.And

apply(Object, Object) - Method in class edu.rice.cs.cunit.util.IPredicate.Binary.Equals

apply(Boolean, Boolean) - Method in class edu.rice.cs.cunit.util.IPredicate.Binary.False

apply(T, T) - Method in class edu.rice.cs.cunit.util.IPredicate.Binary.Greater

apply(T, T) - Method in class edu.rice.cs.cunit.util.IPredicate.Binary.GreaterEq

apply(T, T) - Method in class edu.rice.cs.cunit.util.IPredicate.Binary.Less

apply(T, T) - Method in class edu.rice.cs.cunit.util.IPredicate.Binary.LessEq

apply(Boolean, Boolean) - Method in class edu.rice.cs.cunit.util.IPredicate.Binary.Or

apply(Boolean, Boolean) - Method in class edu.rice.cs.cunit.util.IPredicate.Binary.True

apply(Boolean, Boolean) - Method in class edu.rice.cs.cunit.util.IPredicate.Binary.Xor

apply(Boolean) - Method in class edu.rice.cs.cunit.util.IPredicate.False

apply(Boolean...) - Method in class edu.rice.cs.cunit.util.IPredicate.Nary.And

apply(Boolean...) - Method in class edu.rice.cs.cunit.util.IPredicate.Nary.False

apply(Boolean...) - Method in class edu.rice.cs.cunit.util.IPredicate.Nary.Or

apply(Boolean...) - Method in class edu.rice.cs.cunit.util.IPredicate.Nary.True

apply(Boolean...) - Method in class edu.rice.cs.cunit.util.IPredicate.Nary.Xor

apply(Boolean) - Method in class edu.rice.cs.cunit.util.IPredicate.Not

apply(Boolean, Boolean, Boolean) - Method in class edu.rice.cs.cunit.util.IPredicate.Ternary.And

apply(T, T, T) - Method in class edu.rice.cs.cunit.util.IPredicate.Ternary.Between

apply(Boolean, Boolean, Boolean) - Method in class edu.rice.cs.cunit.util.IPredicate.Ternary.False

apply(Boolean, Boolean, Boolean) - Method in class edu.rice.cs.cunit.util.IPredicate.Ternary.Or

apply(Boolean, Boolean, Boolean) - Method in class edu.rice.cs.cunit.util.IPredicate.Ternary.True

apply(Boolean, Boolean, Boolean) - Method in class edu.rice.cs.cunit.util.IPredicate.Ternary.Xor

apply(Boolean) - Method in class edu.rice.cs.cunit.util.IPredicate.True

ARETURN - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

args - Variable in class edu.rice.cs.cunit.threadCheck.ThreadCheck.ArgumentPredicateViolation

args - Variable in class edu.rice.cs.cunit.threadCheck.ThreadCheck.ExceptionInArgumentPredicateViolation

ARRAYLENGTH - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

arrayMemberCase(AAnnotationsAttributeInfo.Annotation.ArrayMemberValue, P) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ADefaultMemberValueVisitor

Case for arrays.

arrayMemberCase(AAnnotationsAttributeInfo.Annotation.ArrayMemberValue, P) - Method in interface edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.IMemberValueVisitor

Case for arrays.

ASCIIPoolInfo - Class in edu.rice.cs.cunit.classFile.constantPool

Represents CONSTANT_Utf8_ASCII data in the constant pool.

ASCIIPoolInfo(String, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.ASCIIPoolInfo

Constructor

ASCIIPoolInfo(DataInputStream, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.ASCIIPoolInfo

Constructor reading from a stream.

asciizCase(ASCIIPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.ADefaultPoolInfoVisitor

Case for asciiz info.

asciizCase(ASCIIPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.AValueReferencePoolInfoVisitor

Case for asciiz info.

asciizCase(ASCIIPoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckUTFOrEmptyVisitor

Return host.

asciizCase(ASCIIPoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckUTFVisitor

Return host.

asciizCase(ASCIIPoolInfo, D) - Method in interface edu.rice.cs.cunit.classFile.constantPool.visitors.IPoolInfoVisitor

Case for asciiz info.

ASingleAnnotationsAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes

Represents a single abstract Annotations attribute in a class file.

ASingleAnnotationsAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.ASingleAnnotationsAttributeInfo

Creates a new abstract parameter annotations attribute.

AssignThreadIDStrategy - Class in edu.rice.cs.cunit.instrumentors

Instrumentation strategy that adds code to java.lang.Thread to maintain a unique thread ID and an "old thread" flag.

AssignThreadIDStrategy() - Constructor for class edu.rice.cs.cunit.instrumentors.AssignThreadIDStrategy

ASTORE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ASTORE_0 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ASTORE_1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ASTORE_2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ASTORE_3 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ASynchronizedObjectSyncPoint - Class in edu.rice.cs.cunit.record.syncPoints.sync

General class for synchronized object-related synchronization points.

ASynchronizedObjectSyncPoint(Object, Thread) - Constructor for class edu.rice.cs.cunit.record.syncPoints.sync.ASynchronizedObjectSyncPoint

Constructor for this synchronization point.

ASynchronizedObjectSyncPoint.Translated - Class in edu.rice.cs.cunit.record.syncPoints.sync

Class for translated versions on the monitor side.

ASynchronizedObjectSyncPoint.Translated(LockInfo, ThreadInfo) - Constructor for class edu.rice.cs.cunit.record.syncPoints.sync.ASynchronizedObjectSyncPoint.Translated

Constructor for translated version on the monitor side.

AThreadCheckStrategy - Class in edu.rice.cs.cunit.instrumentors.threadCheck

Abstract instrumentor with core routines.

AThreadCheckStrategy(List<String>, AThreadCheckStrategy.SharedData) - Constructor for class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Constructor for this strategy.

AThreadCheckStrategy.SharedData - Class in edu.rice.cs.cunit.instrumentors.threadCheck

Data shared among all AAddThreadCheckStrategy instances.

AThreadCheckStrategy.SharedData(List<String>) - Constructor for class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy.SharedData

Create a new instance of shared data.

AThreadSyncPoint - Class in edu.rice.cs.cunit.record.syncPoints.thread

General class for thread-related synchronization points.

AThreadSyncPoint(Thread) - Constructor for class edu.rice.cs.cunit.record.syncPoints.thread.AThreadSyncPoint

Constructor for this synchronization point.

AThreadSyncPoint.Translated - Class in edu.rice.cs.cunit.record.syncPoints.thread

Class for translated versions on the monitor side.

AThreadSyncPoint.Translated(ThreadInfo) - Constructor for class edu.rice.cs.cunit.record.syncPoints.thread.AThreadSyncPoint.Translated

Constructor for translated version on the monitor side.

ATHROW - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

attributesCount - Variable in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo.CodeProperties

AUTFPoolInfo - Class in edu.rice.cs.cunit.classFile.constantPool

Represents UTF data in the constant pool.

AUTFPoolInfo(int, String, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.AUTFPoolInfo

Constructor.

AUTFPoolInfo(int, DataInputStream, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.AUTFPoolInfo

Constructor reading from a stream.

AValueReferencePoolInfoVisitor<R,D> - Class in edu.rice.cs.cunit.classFile.constantPool.visitors

Abstract visitor in which all value cases call a default value method, and all reference cases call a default reference method.

AValueReferencePoolInfoVisitor() - Constructor for class edu.rice.cs.cunit.classFile.constantPool.visitors.AValueReferencePoolInfoVisitor

B

BadPredicateAnnotationWarning - Exception in edu.rice.cs.cunit.instrumentors.threadCheck

Storage class for bad predicate annotation warnings.

BadPredicateAnnotationWarning(String) - Constructor for exception edu.rice.cs.cunit.instrumentors.threadCheck.BadPredicateAnnotationWarning

Create a new bad predicate annotation warning.

BALOAD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

BASTORE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

BIPUSH - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

BranchInstruction - Class in edu.rice.cs.cunit.classFile.code.instructions

Branch Java instruction.

BranchInstruction(byte, int) - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.BranchInstruction

Constructor.

BranchInstruction(byte[], int, int, LineNumberTable) - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.BranchInstruction

Make a new branch instruction from the bytecode stating at pc, padded using paddingPC, and use the line number table for branches.

BREAKPOINT - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

BUFFER_SIZE - Static variable in class edu.rice.cs.cunit.util.StreamRedirectThread

bytesFromInt(int) - Static method in class edu.rice.cs.cunit.util.Types

Construct an array of four individual bytes from an int.

bytesFromInt(int, byte[], int) - Static method in class edu.rice.cs.cunit.util.Types

Construct four individual bytes from an int and place them in the byte array starting at offset start.

bytesFromShort(short) - Static method in class edu.rice.cs.cunit.util.Types

Construct an array of two individual bytes from a short.

bytesFromShort(short, byte[], int) - Static method in class edu.rice.cs.cunit.util.Types

Construct two individual bytes from a short and place them in the byte array at offset start.

C

cacheInfo - Variable in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.SharedAddData

Class info.

CallOnObjectNotifyStrategy - Class in edu.rice.cs.cunit.instrumentors.delay

Instrumentation strategy that adds a delay before calls to Object.notify and Object.notifyAll.

CallOnObjectNotifyStrategy(String, String, String, String, String, String) - Constructor for class edu.rice.cs.cunit.instrumentors.delay.CallOnObjectNotifyStrategy

Create a new strategy.

CallOnObjectWaitStrategy - Class in edu.rice.cs.cunit.instrumentors.delay

Instrumentation strategy that adds a delay before calls to Object.wait.

CallOnObjectWaitStrategy(String, String, String, String, String, String) - Constructor for class edu.rice.cs.cunit.instrumentors.delay.CallOnObjectWaitStrategy

Create a new strategy.

CallOnSynchronizedBlockStrategy - Class in edu.rice.cs.cunit.instrumentors.delay

Instrumentation strategy that adds code before and after a monitorenter instruction.

CallOnSynchronizedBlockStrategy(String, String, String, String, String, String) - Constructor for class edu.rice.cs.cunit.instrumentors.delay.CallOnSynchronizedBlockStrategy

Create a new strategy.

CallOnThreadExitStrategy - Class in edu.rice.cs.cunit.instrumentors.delay

Instrumentation strategy that adds code to java.lang.Thread.exit to call SyncPointBuffer.delayThreadExit.

CallOnThreadExitStrategy(String, String, String, String) - Constructor for class edu.rice.cs.cunit.instrumentors.delay.CallOnThreadExitStrategy

Create a new strategy.

CallOnThreadJoinStrategy - Class in edu.rice.cs.cunit.instrumentors.delay

Instrumentation strategy that adds code to java.lang.Thread.join to call SyncPointBuffer.randomDelay.

CallOnThreadJoinStrategy(String, String, String, String) - Constructor for class edu.rice.cs.cunit.instrumentors.delay.CallOnThreadJoinStrategy

Create a new strategy.

CallOnThreadRunStrategy - Class in edu.rice.cs.cunit.instrumentors.delay

Instrumentation strategy that adds code to java.lang.Thread.run to call SyncPointBuffer.randomDelay.

CallOnThreadRunStrategy(String, String, String, String) - Constructor for class edu.rice.cs.cunit.instrumentors.delay.CallOnThreadRunStrategy

Create a new strategy.

CallOnThreadStartStrategy - Class in edu.rice.cs.cunit.instrumentors.delay

Instrumentation strategy that adds code to java.lang.Thread.start to call a static void method without parameters.

CallOnThreadStartStrategy(String, String, String, String) - Constructor for class edu.rice.cs.cunit.instrumentors.delay.CallOnThreadStartStrategy

Create a new strategy.

CALOAD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

CASTORE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

catchType - Variable in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo.ExceptionTableEntry

CD_PREFIX_NOSLASH - Static variable in class edu.rice.cs.cunit.threadCheck.XMLAnnotUtils

Definition of DEFALT_XML_CONC_DEF_PATH_PREFIX without the trailing '/'

checkArgs(String[]) - Method in class edu.rice.cs.cunit.FileInstrumentor.Tool

Check the arguments, set the fields, and return the index of the first file.

checkArgs(String[]) - Method in class edu.rice.cs.cunit.TCFileInstrumentor.TCTool

Check the arguments, set the fields, and return the index of the first file.

CHECKCAST - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

CHECKCAST_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

CheckClassOrEmptyVisitor - Class in edu.rice.cs.cunit.classFile.constantPool.visitors

Check that the host is a class info.

CheckClassOrEmptyVisitor() - Constructor for class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckClassOrEmptyVisitor

Singleton constructor.

CheckClassVisitor - Class in edu.rice.cs.cunit.classFile.constantPool.visitors

Check that the host is a class info.

CheckClassVisitor() - Constructor for class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckClassVisitor

Singleton constructor.

checkCombineAnnotation(Annotation, Combine, Object, Object[]) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Handle a @Combine-style annotation.

checkCombineMembers(ClassFile, boolean) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Check that the members of the annotation class file are all Thread Checker annotations or arrays thereof.

checkCount - Variable in class edu.rice.cs.cunit.threadCheck.ThreadCheck.Violation

checkCurrentThread_OnlyRunBy() - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Check if the current thread's name, id or, or group matches any of items in the three _allowed* lists, and if that is NOT the case, records a warning.

checkCurrentThread_Predicate(boolean, String) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Check if a predicate has failed, and if so, log a violation.

checkCurrentThread_Predicate(Object[], boolean, String) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Check if a predicate has failed, and if so, log a violation.

checkCurrentThread_PredicateException(Throwable, String) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Log an exception in a predicate.

checkCurrentThread_PredicateException(Throwable, Object[], String) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Log an exception in a predicate.

checkCurrentThreadGroup(String) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Check if the current thread matches the regex for the thread group name, and if this is true, records a warning.

checkCurrentThreadId(long) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Check if the current thread matches the thread ID, and if this is true, records a warning.

checkCurrentThreadName(String) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Check if the current thread matches the regex for the thread name, and if that is the case, records a warning.

checkCurrentThreadReflection(Class, String, String, Object, Object[]) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Checks if the current thread may execute the method from where this method was called purely using reflection.

checkForSubtypingClassWarnings(ClassFile, MethodInfo, ClassFile, ThreadCheckAnnotationRecord, ThreadCheckAnnotationRecord) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy

Check for subtyping warnings.

checkForSubtypingClassWarnings(Class, Method, Class, ThreadCheck.ThreadCheckAnnotationRecord, ThreadCheck.ThreadCheckAnnotationRecord) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Check for subtyping warnings.

CheckIntegerVisitor - Class in edu.rice.cs.cunit.classFile.constantPool.visitors

Check that the host is a Integer info.

CheckIntegerVisitor() - Constructor for class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckIntegerVisitor

Singleton constructor.

checkLineNumbers() - Method in class edu.rice.cs.cunit.classFile.MethodInfo

Check the line number table for errors and return a list of erroneous LineNumberRecords.

CheckLongVisitor - Class in edu.rice.cs.cunit.classFile.constantPool.visitors

Check that the host is a Long info.

CheckLongVisitor() - Constructor for class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckLongVisitor

Singleton constructor.

CheckMethodVisitor - Class in edu.rice.cs.cunit.classFile.constantPool.visitors

Check that the host is a method info.

CheckMethodVisitor() - Constructor for class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckMethodVisitor

Singleton constructor.

CheckNameAndTypeVisitor - Class in edu.rice.cs.cunit.classFile.constantPool.visitors

Check that the host is a name-and-type info.

CheckNameAndTypeVisitor() - Constructor for class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckNameAndTypeVisitor

Singleton constructor.

checkOpcode(byte) - Method in class edu.rice.cs.cunit.classFile.code.instructions.ReferenceInstruction

Check the opcode to make sure it is a reference instruction.

checkPredicateLinkAnnotation(Annotation, PredicateLink, Object, Object[]) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Handle a @PredicateLink-style annotation.

checkPredicateMembers(ClassFile, boolean) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Check that the members of the annotation class do not contain annotations or arrays of annotations

checkPublicStaticIfNestedClass(ClassFile, ClassFile) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Check that the class file, should it be a nested class and not a top-level class, is public static, and the same applies to all its enclosing classes.

CheckUTFOrEmptyVisitor - Class in edu.rice.cs.cunit.classFile.constantPool.visitors

Check that the host is a UTF info.

CheckUTFOrEmptyVisitor() - Constructor for class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckUTFOrEmptyVisitor

Singleton constructor.

CheckUTFVisitor - Class in edu.rice.cs.cunit.classFile.constantPool.visitors

Check that the host is a UTF info.

CheckUTFVisitor() - Constructor for class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckUTFVisitor

Singleton constructor.

checkXMLConcDef(XMLConfig) - Static method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy

Checks if an XML concurrency definition is well-formed.

CLASS_PATH_PARAM_PREFIX - Static variable in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Prefix for the parameter that determines the paths to consider when searching.

CLASS_SIG_SEPARATOR_STRING - Static variable in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

The separator string between class name and method signature.

CLASS_SIG_SEPARATOR_STRING - Static variable in class edu.rice.cs.cunit.instrumentors.util.ScanForObjectCtorStrategy

The separator string between class name and method signature.

classAnnotations - Variable in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.SharedAddData

Hash table from a fully-qualified class name to the annotations that class has.

classCase(ClassPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.ADefaultPoolInfoVisitor

Case for class info.

classCase(ClassPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.AValueReferencePoolInfoVisitor

Case for class info.

classCase(ClassPoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckClassOrEmptyVisitor

Return host.

classCase(ClassPoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckClassVisitor

Return host.

classCase(ClassPoolInfo, D) - Method in interface edu.rice.cs.cunit.classFile.constantPool.visitors.IPoolInfoVisitor

Case for class info.

ClassFile - Class in edu.rice.cs.cunit.classFile

Represents a Java class file.

ClassFile(short, short, short, String, String) - Constructor for class edu.rice.cs.cunit.classFile.ClassFile

ClassFile(InputStream) - Constructor for class edu.rice.cs.cunit.classFile.ClassFile

Constructor.

ClassFile(byte[]) - Constructor for class edu.rice.cs.cunit.classFile.ClassFile

Constructor.

ClassFileTools - Class in edu.rice.cs.cunit.classFile

Tools for dealing with class files.

ClassFileTools() - Constructor for class edu.rice.cs.cunit.classFile.ClassFileTools

ClassFileTools.ClassFileToolsTest - Class in edu.rice.cs.cunit.classFile

Test cases.

ClassFileTools.ClassFileToolsTest() - Constructor for class edu.rice.cs.cunit.classFile.ClassFileTools.ClassFileToolsTest

ClassFileTools.ClassLocation - Class in edu.rice.cs.cunit.classFile

Helper class for findClassFile.

ClassFileTools.ClassLocation(String, ClassFile, InputStream, File) - Constructor for class edu.rice.cs.cunit.classFile.ClassFileTools.ClassLocation

ClassFileTools.ClassLocation(String, ClassFile, InputStream, File, JarFile) - Constructor for class edu.rice.cs.cunit.classFile.ClassFileTools.ClassLocation

classMemberCase(AAnnotationsAttributeInfo.Annotation.ClassMemberValue, P) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ADefaultMemberValueVisitor

Case for classes.

classMemberCase(AAnnotationsAttributeInfo.Annotation.ClassMemberValue, P) - Method in interface edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.IMemberValueVisitor

Case for classes.

className - Variable in exception edu.rice.cs.cunit.instrumentors.threadCheck.ClassNotFoundWarning

Name of the class that was not found.

className - Variable in class edu.rice.cs.cunit.instrumentors.util.ScanForObjectCtorStrategy.Location

Name of the class that contains the operation.

classNameInfo - Variable in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ClassMemberValue

Class name info.

classNameMatches(String, String...) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools

Returns true if the specified class name matches one of the patterns.

classNames - Variable in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckDefinitionRecord

A set of class names.

ClassNotFoundWarning - Exception in edu.rice.cs.cunit.instrumentors.threadCheck

Storage class for class not found warnings.

ClassNotFoundWarning(String, String) - Constructor for exception edu.rice.cs.cunit.instrumentors.threadCheck.ClassNotFoundWarning

Create a new class not found warning.

ClassPoolInfo - Class in edu.rice.cs.cunit.classFile.constantPool

Represents a class in the constant pool.

ClassPoolInfo(AUTFPoolInfo, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.ClassPoolInfo

Constructor.

ClassPoolInfo(DataInputStream, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.ClassPoolInfo

Constructor reading from a stream.

clear() - Method in class edu.rice.cs.cunit.util.SoftHashMap

Removes all mappings from this map (optional operation).

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleAnnotationsAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleNamedAnnotationsAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.ASingleAnnotationsAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.ConstantValueAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.DeprecatedAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.EnclosingMethodAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.ExceptionsAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.InnerClassesAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.InstrumentationAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.LineNumberTableAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTableAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTypeTableAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.SignatureAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.SourceFileAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.SyntheticAttributeInfo

Creates and returns a copy of this object.

clone() - Method in class edu.rice.cs.cunit.classFile.attributes.UnknownAttributeInfo

Creates and returns a copy of this object.

close() - Method in class edu.rice.cs.cunit.classFile.ClassFileTools.ClassLocation

CodeAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes

Represents the Code attribute in a class file.

CodeAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo

Constructor.

CodeAttributeInfo(AUTFPoolInfo, int, int, byte[], CodeAttributeInfo.ExceptionTableEntry[], AAttributeInfo[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo

Constructor.

CodeAttributeInfo.CodeProperties - Class in edu.rice.cs.cunit.classFile.attributes

Storage class for code properties.

CodeAttributeInfo.CodeProperties(int, int, int, int, int) - Constructor for class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo.CodeProperties

CodeAttributeInfo.ExceptionTableEntry - Class in edu.rice.cs.cunit.classFile.attributes

CodeAttributeInfo.ExceptionTableEntry(int, int, int, int) - Constructor for class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo.ExceptionTableEntry

codeCase(CodeAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor

Case for Code attribute.

codeCase(CodeAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor

Case for Code attribute.

codeLength - Variable in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo.CodeProperties

Combine - Annotation Type in edu.rice.cs.cunit.threadCheck

Meta-annotation that specifies what Boolean operation is used to combine the predicate annotations contained in the annotation that is annotated by this meta-annotation.

Combine.Mode - Enum in edu.rice.cs.cunit.threadCheck

Boolean operation used to combine the results of other predicates.

Combine.Mode() - Constructor for enum edu.rice.cs.cunit.threadCheck.Combine.Mode

combineAnnotations - Variable in class edu.rice.cs.cunit.threadCheck.ThreadCheck.ThreadCheckAnnotationRecord

combinedPredicates - Variable in class edu.rice.cs.cunit.instrumentors.threadCheck.PredicateAnnotationRecord

Hashmap from member name to a list of other predicates that should be combined.

combineMode - Variable in class edu.rice.cs.cunit.instrumentors.threadCheck.PredicateAnnotationRecord

Combine mode, or null if @Combine was not specified.

CombinePredicateTemplate - Class in edu.rice.cs.cunit.threadCheck.predicates

"Template class" that will be cloned and used for the automatically generated predicates of compound predicate annotations created using the @Combine meta-annotation.

CombinePredicateTemplate() - Constructor for class edu.rice.cs.cunit.threadCheck.predicates.CombinePredicateTemplate

compact() - Method in class edu.rice.cs.cunit.util.SoftHashMap

Remove keys whose values have been removed.

COMPACT_DEBUG_RECORD_SIZE - Static variable in class edu.rice.cs.cunit.SyncPointBuffer

Size of a record in the compact array with debug info.

COMPACT_RECORD_SIZE - Static variable in class edu.rice.cs.cunit.SyncPointBuffer

Size of a record in the compact array.

COMPACT_SIZE - Static variable in class edu.rice.cs.cunit.SyncPointBuffer

Size of compact array.

compactAdd(long, long) - Static method in class edu.rice.cs.cunit.SyncPointBuffer

Adds a synchronization point to the compact list.

compactDebugAdd(long, long, long, long, long) - Static method in class edu.rice.cs.cunit.SyncPointBuffer

Adds a synchronization point to the compact list.

compactImmediateTransfer() - Static method in class edu.rice.cs.cunit.SyncPointBuffer

Transfer immediately and empty compact array.

CompactRecordBufferCodeStrategy - Class in edu.rice.cs.cunit.instrumentors.record

Instrumentation strategy that adds code to call SyncPointBuffer.compactAdd and write a code-tid pair.

CompactRecordBufferCodeStrategy(IPredicate<ClassFile>, IPredicate.Binary<ClassFile, MethodInfo>, IPredicate.Ternary<ClassFile, MethodInfo, InstructionList>, long) - Constructor for class edu.rice.cs.cunit.instrumentors.record.CompactRecordBufferCodeStrategy

Create a new strategy with the specified predicates.

CompactRecordThreadExitStrategy - Class in edu.rice.cs.cunit.instrumentors.record

Instrumentation strategy that adds code to java.lang.Thread.exit to call SyncPointBuffer.compactAdd.

CompactRecordThreadExitStrategy() - Constructor for class edu.rice.cs.cunit.instrumentors.record.CompactRecordThreadExitStrategy

Create a new strategy.

CompactRecordThreadStartStrategy - Class in edu.rice.cs.cunit.instrumentors.record

Instrumentation strategy that adds code to java.lang.Thread.start to call SyncPointBuffer.compactAdd.

CompactRecordThreadStartStrategy() - Constructor for class edu.rice.cs.cunit.instrumentors.record.CompactRecordThreadStartStrategy

Create a new strategy.

CompactSynchronizedBlockStrategy - Class in edu.rice.cs.cunit.instrumentors.record

Instrumentor for synchronized blocks, using the compact sync point list.

CompactSynchronizedBlockStrategy() - Constructor for class edu.rice.cs.cunit.instrumentors.record.CompactSynchronizedBlockStrategy

compactThreadExit(long) - Static method in class edu.rice.cs.cunit.SyncPointBuffer

Notify the wait algorithm that a thread has ended and check if the next thread has to be woken up.

compactThreadExit(long, long, long) - Static method in class edu.rice.cs.cunit.SyncPointBuffer

Notify the wait algorithm that a thread has ended and check if the next thread has to be woken up.

compactTransfer() - Static method in class edu.rice.cs.cunit.SyncPointBuffer

Transfer and empty compact array.

compactWait(long, long) - Static method in class edu.rice.cs.cunit.SyncPointBuffer

Wait for this synchronization point in the compact list.

compactWait(long, long, long, long) - Static method in class edu.rice.cs.cunit.SyncPointBuffer

Wait for this synchronization point in the compact list.

compareTo(BadPredicateAnnotationWarning) - Method in exception edu.rice.cs.cunit.instrumentors.threadCheck.BadPredicateAnnotationWarning

Compares this object with the specified object for order.

compareTo(ClassNotFoundWarning) - Method in exception edu.rice.cs.cunit.instrumentors.threadCheck.ClassNotFoundWarning

Compares this object with the specified object for order.

compareTo(SubtypingWarning) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.SubtypingWarning

Compares this object with the specified object for order.

CompoundCompactRecordStrategy - Class in edu.rice.cs.cunit.instrumentors

Compact compound instrumentor for instrumenting regular classes for recording.

CompoundCompactRecordStrategy(List<String>) - Constructor for class edu.rice.cs.cunit.instrumentors.CompoundCompactRecordStrategy

Create a new compound instrumentor for instrumenting regular classes.

CompoundCompactSystemStrategy - Class in edu.rice.cs.cunit.instrumentors

Compound instrumentor for instrumenting CUnit system classes.

CompoundCompactSystemStrategy(List<String>) - Constructor for class edu.rice.cs.cunit.instrumentors.CompoundCompactSystemStrategy

Create a new compound instrumentor for instrumenting CUnit system classes.

CompoundReflectionThreadCheckStrategy - Class in edu.rice.cs.cunit.instrumentors.threadCheck

Compound instrumentor for the reflection-based Thread Check strategy.

CompoundReflectionThreadCheckStrategy(List<String>) - Constructor for class edu.rice.cs.cunit.instrumentors.threadCheck.CompoundReflectionThreadCheckStrategy

Create a new compound instrumentor for the reflection-based Thread Check strategies.

CompoundStrategy - Class in edu.rice.cs.cunit.instrumentors.util

Decorator to execute several strategies at once.

CompoundStrategy(List<String>) - Constructor for class edu.rice.cs.cunit.instrumentors.util.CompoundStrategy

Constructor for an empty compound strategy.

CompoundStrategy(List<String>, IInstrumentationStrategy[]) - Constructor for class edu.rice.cs.cunit.instrumentors.util.CompoundStrategy

Constructor for a compound strategy.

CompoundThreadCheckStrategy - Class in edu.rice.cs.cunit.instrumentors.threadCheck

Compound instrumentor for the Thread Check strategies.

CompoundThreadCheckStrategy(List<String>) - Constructor for class edu.rice.cs.cunit.instrumentors.threadCheck.CompoundThreadCheckStrategy

Create a new compound instrumentor for the Thread Check strategies.

CompoundYieldStrategy - Class in edu.rice.cs.cunit.instrumentors

Compound instrumentor for executing programs with inserted random yields.

CompoundYieldStrategy(List<String>) - Constructor for class edu.rice.cs.cunit.instrumentors.CompoundYieldStrategy

Create a new compound instrumentor for instrumenting regular classes.

ConditionalStrategy - Class in edu.rice.cs.cunit.instrumentors.util

Decorator to conditionally execute a decorated strategy.

ConditionalStrategy(IInstrumentationStrategy) - Constructor for class edu.rice.cs.cunit.instrumentors.util.ConditionalStrategy

CONSTANT_Class - Static variable in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo

CONSTANT_Double - Static variable in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo

CONSTANT_Fieldref - Static variable in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo

CONSTANT_Float - Static variable in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo

CONSTANT_Integer - Static variable in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo

CONSTANT_InterfaceMethodref - Static variable in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo

CONSTANT_Long - Static variable in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo

CONSTANT_Methodref - Static variable in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo

CONSTANT_NameAndType - Static variable in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo

CONSTANT_String - Static variable in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo

CONSTANT_Utf8_ASCII - Static variable in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo

CONSTANT_Utf8_Unicode - Static variable in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo

constantMemberCase(AAnnotationsAttributeInfo.Annotation.ConstantMemberValue, P) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ADefaultMemberValueVisitor

Case for constants.

constantMemberCase(AAnnotationsAttributeInfo.Annotation.ConstantMemberValue, Object) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.CheckConstantMemberVisitor

Case for constants.

constantMemberCase(AAnnotationsAttributeInfo.Annotation.ConstantMemberValue, P) - Method in interface edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.IMemberValueVisitor

Case for constants.

ConstantPool - Class in edu.rice.cs.cunit.classFile.constantPool

Constant pool.

ConstantPool(int) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.ConstantPool

Constructs an empty constant pool with the specified initial capacity.

ConstantPool() - Constructor for class edu.rice.cs.cunit.classFile.constantPool.ConstantPool

Constructs an empty constant pool with an initial capacity of ten.

ConstantPool(Collection<? extends APoolInfo>) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.ConstantPool

Constructs a constant pool containing the elements of the specified collection, in the order they are returned by the collection's iterator.

ConstantValueAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes

Represents the SourceFile attribute in a class file.

ConstantValueAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.ConstantValueAttributeInfo

Constructor.

constantValueCase(ConstantValueAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor

Case for ConstantValue attribute.

constantValueCase(ConstantValueAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor

Case for ConstantValue attribute.

constValue - Variable in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ConstantMemberValue

Constant value.

constValue - Variable in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.EnumMemberValue

Name of the enum member.

containsKey(Object) - Method in class edu.rice.cs.cunit.util.SoftHashMap

Returns true if this map contains a mapping for the specified key.

containsValue(Object) - Method in class edu.rice.cs.cunit.util.SoftHashMap

Returns true if this map maps one or more keys to the specified value.

CONVERT_SYNC_METHODS_PARAM - Static variable in class edu.rice.cs.cunit.instrumentors.threadCheck.CompoundThreadCheckStrategy

Parameter that enables conversion of synchronized methods to methods containing synchronized blocks.

convertConcDefsToClassBasedXML(XMLAnnotUtils.ConcurrentyDefinitions) - Static method in class edu.rice.cs.cunit.threadCheck.XMLAnnotUtils

Convert the map between invariants and definitions back to a class-based XML configuration ().

convertConcDefsToConcDefBasedXML(XMLAnnotUtils.ConcurrentyDefinitions) - Static method in class edu.rice.cs.cunit.threadCheck.XMLAnnotUtils

Convert the map between invariants and definitions back to XML concurrency definitions ().

convertToAbsolutePathEntries(String) - Static method in class edu.rice.cs.cunit.util.FileOps

Convert all path entries in a path string to absolute paths.

convertXMLToClassBasedXML(XMLConfig) - Static method in class edu.rice.cs.cunit.threadCheck.XMLAnnotUtils

Convert an XML thread checker configuration to a class-based representation ().

convertXMLToConcDefs(XMLConfig) - Static method in class edu.rice.cs.cunit.threadCheck.XMLAnnotUtils

Convert XML concurrency definitions into a map between invariants and definitions.

convertXMLToConcDefXML(XMLConfig) - Static method in class edu.rice.cs.cunit.threadCheck.XMLAnnotUtils

Convert an XML thread checker configuration to an XML concurrency definition configuration ().

copyFile(File, File) - Static method in class edu.rice.cs.cunit.util.FileOps

Copy the the file or directory src to dst.

CouldNotDeleteAndRenameException - Exception in edu.rice.cs.cunit.instrumentors

Exception inside the file instrumentor, preventing it to delete and rename two files.

CouldNotDeleteAndRenameException(File, File) - Constructor for exception edu.rice.cs.cunit.instrumentors.CouldNotDeleteAndRenameException

Constructs a new exception.

CouldNotDoubleRenameException - Exception in edu.rice.cs.cunit.instrumentors

Exception inside the file instrumentor, preventing it to delete and rename two files.

CouldNotDoubleRenameException(File, File, File) - Constructor for exception edu.rice.cs.cunit.instrumentors.CouldNotDoubleRenameException

Constructs a new exception.

CouldNotRenameException - Exception in edu.rice.cs.cunit.instrumentors

Exception inside the file instrumentor, preventing it to rename two files.

CouldNotRenameException(File, File) - Constructor for exception edu.rice.cs.cunit.instrumentors.CouldNotRenameException

Constructs a new exception.

createDummy() - Static method in class edu.rice.cs.cunit.threadCheck.XMLAnnotUtils

Creates enough of a dummy AAddThreadCheckStrategy to let us do our work.

createEmptyXMLAnnotaations() - Static method in class edu.rice.cs.cunit.threadCheck.XMLAnnotUtils

Create an empty set of XML annotations.

createEmptyXMLConcDefs() - Static method in class edu.rice.cs.cunit.threadCheck.XMLAnnotUtils

Create an empty set of XML concurrency definitions.

createNode(String) - Method in class edu.rice.cs.cunit.util.XMLConfig

Create the node specified by the DOM path.

createNode(String, Node) - Method in class edu.rice.cs.cunit.util.XMLConfig

Create the node specified by the DOM path.

createNode(String, Node, boolean) - Method in class edu.rice.cs.cunit.util.XMLConfig

Create the node specified by the DOM path.

createTempDirectory(String) - Static method in class edu.rice.cs.cunit.util.FileOps

Create a new temporary directory.

createTempDirectory(String, File) - Static method in class edu.rice.cs.cunit.util.FileOps

Create a new temporary directory.

cur - Variable in class edu.rice.cs.cunit.util.Debug.ProgressCounter

D

D2F - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

D2I - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

D2L - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DADD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DALOAD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DASTORE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DCMPG - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DCMPL - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DCONST_0 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DCONST_1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DDIV - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

Debug - Class in edu.rice.cs.cunit.util

Debug output.

Debug(PrintStream) - Constructor for class edu.rice.cs.cunit.util.Debug

Debug.LogTarget - Enum in edu.rice.cs.cunit.util

Debug.LogTarget() - Constructor for enum edu.rice.cs.cunit.util.Debug.LogTarget

Debug.ProgressCounter - Class in edu.rice.cs.cunit.util

Debug.ProgressCounter(int) - Constructor for class edu.rice.cs.cunit.util.Debug.ProgressCounter

debugOutput() - Method in class edu.rice.cs.cunit.util.Debug

DEFAULT_DAT_SUFFIX - Static variable in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Default filename for the data log, if none specified by Java property.

DEFAULT_INITIAL_CAPACITY - Static variable in class edu.rice.cs.cunit.util.SoftHashMap

The default initial capacity - MUST be a power of two.

DEFAULT_LOAD_FACTOR - Static variable in class edu.rice.cs.cunit.util.SoftHashMap

The load factor used when none specified in constructor.

DEFAULT_LOG_FILENAME - Static variable in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Default filename for the log, if none specified by Java property.

DEFAULT_XML_CONC_DEF_PATH_PREFIX - Static variable in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Default XML path prefix before for concurrency definitions.

DEFAULT_XML_PATH_PREFIX - Static variable in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Default XML path prefix before the class name.

defaultCase(AAnnotationsAttributeInfo.Annotation.AMemberValue, P) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ADefaultMemberValueVisitor

Default case.

defaultCase(AAnnotationsAttributeInfo.Annotation.AMemberValue, Object) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.CheckConstantMemberVisitor

Default case.

defaultCase(AAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor

Abstract default case.

defaultCase(APoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.ADefaultPoolInfoVisitor

Abstract default case.

defaultCase(APoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckClassOrEmptyVisitor

All other cases throw.

defaultCase(APoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckClassVisitor

All other cases throw.

defaultCase(APoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckIntegerVisitor

All other cases throw.

defaultCase(APoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckLongVisitor

All other cases throw.

defaultCase(APoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckMethodVisitor

All other cases throw.

defaultCase(APoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckNameAndTypeVisitor

All other cases throw.

defaultCase(APoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckUTFOrEmptyVisitor

All other cases throw.

defaultCase(APoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckUTFVisitor

All other cases throw.

defaultCase(APoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.GetPoolInfoSizeVisitor

All other cases return 1.

defaultCase(APoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.NoOpPoolInfoVisitor

No operation default case.

delayObjectWait(boolean) - Static method in class edu.rice.cs.cunit.SyncPointBuffer

Throw an exception if no other thread is alive anymore, otherwise sleep for a while.

delayThreadExit(boolean) - Static method in class edu.rice.cs.cunit.SyncPointBuffer

Sleep for a while if there is concurrency, and then decrement the number of running threads.

delayThreadStart(boolean) - Static method in class edu.rice.cs.cunit.SyncPointBuffer

Increment the number of running thread, and then sleep for a while if there is concurrency.

deleteDirectory(File) - Static method in class edu.rice.cs.cunit.util.FileOps

Delete the given directory including any files and directories it contains.

deleteDirectoryOnExit(File) - Static method in class edu.rice.cs.cunit.util.FileOps

Instructs Java to recursively delete the given directory and its contents when the JVM exits.

deleteInstr(CodeAttributeInfo) - Method in class edu.rice.cs.cunit.classFile.code.InstructionList

This method deletes the instruction at the program index.

denyThreadGroups - Variable in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckAnnotationRecord

denyThreadIds - Variable in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckAnnotationRecord

denyThreadNames - Variable in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckAnnotationRecord

DeprecatedAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes

Represents the Deprecated attribute in a class file.

DeprecatedAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.DeprecatedAttributeInfo

Constructor.

deprecatedCase(DeprecatedAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor

Case for a Deprecated attribute.

deprecatedCase(DeprecatedAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor

Case for a Deprecated attribute.

desc - Variable in exception edu.rice.cs.cunit.instrumentors.threadCheck.BadPredicateAnnotationWarning

Description of what was bad.

descriptor - Variable in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTableAttributeInfo.LocalVariableRecord

disallowedId - Variable in class edu.rice.cs.cunit.threadCheck.ThreadCheck.NotRunByIdViolation

disallowedThreadGroupName - Variable in class edu.rice.cs.cunit.threadCheck.ThreadCheck.NotRunByThreadGroupViolation

disallowedThreadName - Variable in class edu.rice.cs.cunit.threadCheck.ThreadCheck.NotRunByThreadNameViolation

DLOAD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DLOAD_0 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DLOAD_1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DLOAD_2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DLOAD_3 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DMUL - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DNEG - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

done() - Method in class edu.rice.cs.cunit.FileInstrumentor

Call done on all instrumentors.

done() - Method in class edu.rice.cs.cunit.instrumentors.AssignThreadIDStrategy

Instrumentation of all classes is done.

done() - Method in class edu.rice.cs.cunit.instrumentors.CompoundCompactSystemStrategy

Instrumentation of all classes is done.

done() - Method in class edu.rice.cs.cunit.instrumentors.delay.CallOnThreadExitStrategy

Instrumentation of all classes is done.

done() - Method in class edu.rice.cs.cunit.instrumentors.delay.CallOnThreadJoinStrategy

Instrumentation of all classes is done.

done() - Method in interface edu.rice.cs.cunit.instrumentors.IInstrumentationStrategy

Instrumentation of all classes is done.

done() - Method in class edu.rice.cs.cunit.instrumentors.MarkerInlineStrategy

Instrumentation of all classes is done.

done() - Method in class edu.rice.cs.cunit.instrumentors.record.CompactSynchronizedBlockStrategy

Instrumentation of all classes is done.

done() - Method in class edu.rice.cs.cunit.instrumentors.SynchronizedMethodToBlockStrategy

Instrumentation of all classes is done.

done() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy

Instrumentation of all classes is done.

done() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.SharedAddData

Instrumentation of all classes is done.

done() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Instrumentation of all classes is done.

done() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy.SharedData

Instrumentation of all classes is done.

done() - Method in class edu.rice.cs.cunit.instrumentors.util.AInsertAtOpcodeStrategy

Instrumentation of all classes is done.

done() - Method in class edu.rice.cs.cunit.instrumentors.util.CompoundStrategy

Instrumentation of all classes is done.

done() - Method in class edu.rice.cs.cunit.instrumentors.util.ConditionalStrategy

Instrumentation of all classes is done.

done() - Method in class edu.rice.cs.cunit.instrumentors.util.ScanForObjectCtorStrategy

Instrumentation of all classes is done.

DoNotInstrument - Annotation Type in edu.rice.cs.cunit.instrumentors

Annotation for a class signaling that the class should not be instrumented by instrumentors matching the names in the semicolon-separated list class name patterns.

doStringMatchesTest(char) - Method in class edu.rice.cs.cunit.util.StringOps.StringOpsTest

dot() - Method in class edu.rice.cs.cunit.util.Debug

doubleCase(DoublePoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.ADefaultPoolInfoVisitor

Case for double info.

doubleCase(DoublePoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.AValueReferencePoolInfoVisitor

Case for double info.

doubleCase(DoublePoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.GetPoolInfoSizeVisitor

Returns 2.

doubleCase(DoublePoolInfo, D) - Method in interface edu.rice.cs.cunit.classFile.constantPool.visitors.IPoolInfoVisitor

Case for double info.

DoublePoolInfo - Class in edu.rice.cs.cunit.classFile.constantPool

Represents a double in the constant pool.

DoublePoolInfo(double, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.DoublePoolInfo

Constructor.

DoublePoolInfo(DataInputStream, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.DoublePoolInfo

Constructor reading from a stream.

DREM - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DRETURN - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DSTORE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DSTORE_0 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DSTORE_1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DSTORE_2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DSTORE_3 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DSUB - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DUP - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DUP2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DUP2_X1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DUP2_X2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DUP_X1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

DUP_X2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

E

edu.rice.cs.cunit - package edu.rice.cs.cunit

edu.rice.cs.cunit.classFile - package edu.rice.cs.cunit.classFile

edu.rice.cs.cunit.classFile.attributes - package edu.rice.cs.cunit.classFile.attributes

edu.rice.cs.cunit.classFile.attributes.visitors - package edu.rice.cs.cunit.classFile.attributes.visitors

edu.rice.cs.cunit.classFile.code - package edu.rice.cs.cunit.classFile.code

edu.rice.cs.cunit.classFile.code.instructions - package edu.rice.cs.cunit.classFile.code.instructions

edu.rice.cs.cunit.classFile.constantPool - package edu.rice.cs.cunit.classFile.constantPool

edu.rice.cs.cunit.classFile.constantPool.visitors - package edu.rice.cs.cunit.classFile.constantPool.visitors

edu.rice.cs.cunit.instrumentors - package edu.rice.cs.cunit.instrumentors

edu.rice.cs.cunit.instrumentors.delay - package edu.rice.cs.cunit.instrumentors.delay

edu.rice.cs.cunit.instrumentors.record - package edu.rice.cs.cunit.instrumentors.record

edu.rice.cs.cunit.instrumentors.threadCheck - package edu.rice.cs.cunit.instrumentors.threadCheck

edu.rice.cs.cunit.instrumentors.util - package edu.rice.cs.cunit.instrumentors.util

edu.rice.cs.cunit.record - package edu.rice.cs.cunit.record

edu.rice.cs.cunit.record.graph - package edu.rice.cs.cunit.record.graph

edu.rice.cs.cunit.record.syncPoints - package edu.rice.cs.cunit.record.syncPoints

edu.rice.cs.cunit.record.syncPoints.object - package edu.rice.cs.cunit.record.syncPoints.object

edu.rice.cs.cunit.record.syncPoints.sync - package edu.rice.cs.cunit.record.syncPoints.sync

edu.rice.cs.cunit.record.syncPoints.thread - package edu.rice.cs.cunit.record.syncPoints.thread

edu.rice.cs.cunit.threadCheck - package edu.rice.cs.cunit.threadCheck

edu.rice.cs.cunit.threadCheck.predicates - package edu.rice.cs.cunit.threadCheck.predicates

edu.rice.cs.cunit.threadCheck.tests - package edu.rice.cs.cunit.threadCheck.tests

edu.rice.cs.cunit.util - package edu.rice.cs.cunit.util

empty() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckAnnotationRecord

Return true if there is nothing specified in this annotation record.

empty() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckDefinitionRecord

Return true if there is nothing specified in this definition record.

emptyCase(EmptyPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.ADefaultPoolInfoVisitor

Case for empty info.

emptyCase(EmptyPoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckClassOrEmptyVisitor

Return host.

emptyCase(EmptyPoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckUTFOrEmptyVisitor

Return host.

emptyCase(EmptyPoolInfo, D) - Method in interface edu.rice.cs.cunit.classFile.constantPool.visitors.IPoolInfoVisitor

Case for empty info.

EmptyPoolInfo - Class in edu.rice.cs.cunit.classFile.constantPool

Represents an empty slot in the constant pool.

EmptyPoolInfo() - Constructor for class edu.rice.cs.cunit.classFile.constantPool.EmptyPoolInfo

Singleton constructor.

EnclosingMethodAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes

Represents the EnclosingMethod attribute in a class file.

EnclosingMethodAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.EnclosingMethodAttributeInfo

Constructor.

enclosingMethodCase(EnclosingMethodAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor

Case for a EnclosingMethod attribute.

enclosingMethodCase(EnclosingMethodAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor

Case for a EnclosingMethod attribute.

end() - Method in class edu.rice.cs.cunit.util.StringOps.MatchResultDelegate

end(int) - Method in class edu.rice.cs.cunit.util.StringOps.MatchResultDelegate

endDot() - Method in class edu.rice.cs.cunit.util.Debug

endPC - Variable in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo.ExceptionTableEntry

entries - Variable in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ArrayMemberValue

Array of values.

entrySet() - Method in class edu.rice.cs.cunit.util.SoftHashMap

Not supported.

enumFiles(File) - Static method in class edu.rice.cs.cunit.util.FileOps

Enumerate the files in src.

enumMemberCase(AAnnotationsAttributeInfo.Annotation.EnumMemberValue, P) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ADefaultMemberValueVisitor

Case for enums.

enumMemberCase(AAnnotationsAttributeInfo.Annotation.EnumMemberValue, P) - Method in interface edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.IMemberValueVisitor

Case for enums.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AMemberValue

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AnnotationMemberValue

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ArrayMemberValue

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ClassMemberValue

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ConstantMemberValue

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.EnumMemberValue

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.NameValuePair

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.code.InstructionList

Return true if this instruction list and the other object are equal.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.code.instructions.AInstruction

Return true of this instruction and the other object are equal.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.code.instructions.BranchInstruction

Return true of this instruction and the other object are equal.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.code.instructions.GenericInstruction

Return true of this instruction and the other object are equal.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.code.instructions.LookupSwitchInstruction

Return true of this instruction and the other object are equal.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.code.instructions.TableSwitchInstruction

Return true of this instruction and the other object are equal.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.code.instructions.WideBranchInstruction

Return true of this instruction and the other object are equal.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo

Compare this object and another one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.ASCIIPoolInfo

Compare this object and another one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.AUTFPoolInfo

Compare this object and another one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.ClassPoolInfo

Compare this object and another one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.DoublePoolInfo

Compare this object and another one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.EmptyPoolInfo

Compare this object and another one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.FieldPoolInfo

Compare this object and another one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.FloatPoolInfo

Compare this object and another one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.IntegerPoolInfo

Compare this object and another one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.InterfaceMethodPoolInfo

Compare this object and another one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.LongPoolInfo

Compare this object and another one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.MethodPoolInfo

Compare this object and another one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo

Compare this object and another one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.StringPoolInfo

Compare this object and another one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.UnicodePoolInfo

Compare this object and another one.

equals(Object) - Method in class edu.rice.cs.cunit.classFile.MethodInfo

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in exception edu.rice.cs.cunit.instrumentors.threadCheck.BadPredicateAnnotationWarning

Return true if this object is equal to the other object.

equals(Object) - Method in exception edu.rice.cs.cunit.instrumentors.threadCheck.ClassNotFoundWarning

Return true if this object is equal to the other object.

equals(Object) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.PredicateAnnotationRecord

equals(Object) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.SubtypingWarning

Return true if this object is equal to the other object.

equals(Object) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckAnnotationRecord

Returns true if the two ThreadCheckAnnotationRecords are equal.

equals(Object) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckDefinitionRecord

Returns true if the two ThreadCheckDefinitionRecords are equal.

equals(Object) - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.ArgumentPredicateViolation

equals(Object) - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.ExceptionInArgumentPredicateViolation

equals(Object) - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.ExceptionInPredicateViolation

equals(Object) - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.NotRunByIdViolation

equals(Object) - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.NotRunByThreadGroupViolation

equals(Object) - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.NotRunByThreadNameViolation

equals(Object) - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.OnlyRunByViolation

equals(Object) - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.PredicateViolation

equals(Object) - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.ReflectionPredicateViolation

equals(Object) - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.Violation

equals(Object) - Method in exception edu.rice.cs.cunit.threadCheck.ThreadCheckException

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class edu.rice.cs.cunit.util.Pair

Return true if the two values of this value are equal to the two values of the other value.

equals(Object) - Method in class edu.rice.cs.cunit.util.Ref

ExceptionsAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes

Represents the Exceptions attribute in a class file.

ExceptionsAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.ExceptionsAttributeInfo

Constructor.

exceptionsCase(ExceptionsAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor

Case for Exceptions attribute.

exceptionsCase(ExceptionsAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor

Case for Exceptions attribute.

exceptionTableLength - Variable in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo.CodeProperties

ExecJVM - Class in edu.rice.cs.cunit.util

A utility class to allow executing another JVM.

ExecJVM() - Constructor for class edu.rice.cs.cunit.util.ExecJVM

execute(AAnnotationsAttributeInfo.Annotation.IMemberValueVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AMemberValue

Execute a visitor.

execute(AAnnotationsAttributeInfo.Annotation.IMemberValueVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AnnotationMemberValue

Execute a visitor.

execute(AAnnotationsAttributeInfo.Annotation.IMemberValueVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ArrayMemberValue

Execute a visitor.

execute(AAnnotationsAttributeInfo.Annotation.IMemberValueVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ClassMemberValue

Execute a visitor.

execute(AAnnotationsAttributeInfo.Annotation.IMemberValueVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ConstantMemberValue

Execute a visitor.

execute(AAnnotationsAttributeInfo.Annotation.IMemberValueVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.EnumMemberValue

Execute a visitor.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.AnnotationDefaultAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.ConstantValueAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.DeprecatedAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.EnclosingMethodAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.ExceptionsAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.InnerClassesAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.InstrumentationAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.LineNumberTableAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTableAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTypeTableAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.RuntimeInvisibleAnnotationsAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.RuntimeInvisibleLocalVariableAnnotationsAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.RuntimeInvisibleParameterAnnotationsAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.RuntimeVisibleAnnotationsAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.RuntimeVisibleLocalVariableAnnotationsAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.RuntimeVisibleParameterAnnotationsAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.SignatureAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.SourceFileAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.SyntheticAttributeInfo

Execute a visitor on this attribute.

execute(IAttributeVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.attributes.UnknownAttributeInfo

Execute a visitor on this attribute.

execute(IPoolInfoVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo

Execute a visitor.

execute(IPoolInfoVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.ASCIIPoolInfo

Execute a visitor.

execute(IPoolInfoVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.ClassPoolInfo

Execute a visitor.

execute(IPoolInfoVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.DoublePoolInfo

Execute a visitor.

execute(IPoolInfoVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.EmptyPoolInfo

Execute a visitor.

execute(IPoolInfoVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.FieldPoolInfo

Execute a visitor.

execute(IPoolInfoVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.FloatPoolInfo

Execute a visitor.

execute(IPoolInfoVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.IntegerPoolInfo

Execute a visitor.

execute(IPoolInfoVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.InterfaceMethodPoolInfo

Execute a visitor.

execute(IPoolInfoVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.LongPoolInfo

Execute a visitor.

execute(IPoolInfoVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.MethodPoolInfo

Execute a visitor.

execute(IPoolInfoVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo

Execute a visitor.

execute(IPoolInfoVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.StringPoolInfo

Execute a visitor.

execute(IPoolInfoVisitor<R, D>, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.UnicodePoolInfo

Execute a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in interface edu.rice.cs.cunit.record.syncPoints.ISyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.object.ObjectEnterWaitSyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.object.ObjectLeaveWaitSyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.object.ObjectNotifyAllSyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.object.ObjectNotifySyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.sync.SynchronizedEnterBlockSyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.sync.SynchronizedLeaveBlockSyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.sync.SynchronizedTryEnterBlockSyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.thread.ThreadDestroySyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.thread.ThreadEnterJoinSyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.thread.ThreadEnterSleepSyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.thread.ThreadEnterYieldSyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.thread.ThreadExitSyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.thread.ThreadInterruptSyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.thread.ThreadLeaveJoinSyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.thread.ThreadLeaveSleepSyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.thread.ThreadLeaveYieldSyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.thread.ThreadResumeSyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.thread.ThreadSetPrioritySyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.thread.ThreadStartSyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.thread.ThreadStopSyncPoint.Translated

Executes a visitor.

execute(ISyncPointVisitor<R, P>, P) - Method in class edu.rice.cs.cunit.record.syncPoints.thread.ThreadSuspendSyncPoint.Translated

Executes a visitor.

exit(int) - Static method in class edu.rice.cs.cunit.util.FileOps

Unequivocally exits a program, if necessary by using Runtime.halt and not executing ShutdownHooks.

extractAnnotation(Node, Node, boolean) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy

Extract an annotation from the XML node specified.

extractAnnotationArray(AAnnotationsAttributeInfo.Annotation.AMemberValue, HashSet<String>, HashSet<Long>, HashSet<String>, Ref<OnlyRunBy.EVENT_THREAD>) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Extract the data in the annotation's string array and put it in the set of strings.

extractLists(String, ArrayList<AAttributeInfo>, HashSet<String>, HashSet<Long>, HashSet<String>, Ref<OnlyRunBy.EVENT_THREAD>) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Extract the lists of thread names, ids and groups from a list of attributes.

extractLongArray(AAnnotationsAttributeInfo.Annotation.AMemberValue, HashSet<Long>) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Extract the data in the annotation's long array and put it in the set of longs.

extractMemberValue(Node, boolean) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy

Extract an annotation member value from the XML node specified.

extractPredicateSet(ArrayList<AAttributeInfo>, ArrayList<PredicateAnnotationRecord>, String) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Extract the list of predicate annotation records.

extractStringArray(AAnnotationsAttributeInfo.Annotation.AMemberValue, HashSet<String>) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Extract the data in the annotation's string array and put it in the set of strings.

extractXMLAnnotations(Node) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy

Extract annotations for the specified path from the XML file, if there is one.

extractXMLConcDef(XMLConfig) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy

Extract the concurrency definitions from the XML file.

extractXMLConcDef(XMLConfig, Node) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy

Extracts the concurrency definition from an XML concurrency definitions configuration at the given node.

F

F2D - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

F2I - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

F2L - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FADD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FALOAD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FASTORE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FCMPG - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FCMPL - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FCONST_0 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FCONST_1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FCONST_2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FDIV - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

fieldCase(FieldPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.ADefaultPoolInfoVisitor

Case for field info.

fieldCase(FieldPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.AValueReferencePoolInfoVisitor

Case for field info.

fieldCase(FieldPoolInfo, D) - Method in interface edu.rice.cs.cunit.classFile.constantPool.visitors.IPoolInfoVisitor

Case for field info.

FieldInfo - Class in edu.rice.cs.cunit.classFile

Represents a field in a class file.

FieldInfo(short, AUTFPoolInfo, AUTFPoolInfo, SourceFileAttributeInfo[]) - Constructor for class edu.rice.cs.cunit.classFile.FieldInfo

Constructor.

FieldInfo(DataInputStream, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.FieldInfo

Constructor.

FieldPoolInfo - Class in edu.rice.cs.cunit.classFile.constantPool

Represents a field in the constant pool.

FieldPoolInfo(ClassPoolInfo, NameAndTypePoolInfo, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.FieldPoolInfo

Constructor

FieldPoolInfo(DataInputStream, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.FieldPoolInfo

Constructor reading from a stream.

FileInstrumentor - Class in edu.rice.cs.cunit

FileInstrumentor(IInstrumentationStrategy[]) - Constructor for class edu.rice.cs.cunit.FileInstrumentor

Creates a new instrumenting class loader using specified instrumentors.

FileInstrumentor.Tool - Class in edu.rice.cs.cunit

Class to perform the command line utility tasks.

FileInstrumentor.Tool() - Constructor for class edu.rice.cs.cunit.FileInstrumentor.Tool

FileOps - Class in edu.rice.cs.cunit.util

File Operations.

FileOps() - Constructor for class edu.rice.cs.cunit.util.FileOps

FileOps.FileOpsTest - Class in edu.rice.cs.cunit.util

FileOps.FileOpsTest() - Constructor for class edu.rice.cs.cunit.util.FileOps.FileOpsTest

findClassFile(String, List<String>) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools

Find a class.

findClassInFiles(String, Set<String>) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools

Find a class in the files to consider and return its class file info.

findInstruction(AInstruction) - Method in class edu.rice.cs.cunit.classFile.code.InstructionList

Finds the next instruction that matches the specified instruction completely and moves the program counter there.

findInstruction(AInstruction[]) - Method in class edu.rice.cs.cunit.classFile.code.InstructionList

Finds the next instruction that matches one of the specified instructions completely and moves the program counter there.

findMethodInConstantPool(String, String, String) - Method in class edu.rice.cs.cunit.classFile.ClassFile

Find the method info in the constant pool for a method "methodName:methodDescriptor" in class "className".

findOpcode(byte) - Method in class edu.rice.cs.cunit.classFile.code.InstructionList

Finds the next instruction with the specified opcode and moves the program counter there.

findOpcode(byte[]) - Method in class edu.rice.cs.cunit.classFile.code.InstructionList

Finds the next instruction with one of the specified opcodes and moves the program counter there.

first() - Method in class edu.rice.cs.cunit.util.Pair

Accessor for the first value.

FLOAD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FLOAD_0 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FLOAD_1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FLOAD_2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FLOAD_3 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

floatCase(FloatPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.ADefaultPoolInfoVisitor

Case for float info.

floatCase(FloatPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.AValueReferencePoolInfoVisitor

Case for float info.

floatCase(FloatPoolInfo, D) - Method in interface edu.rice.cs.cunit.classFile.constantPool.visitors.IPoolInfoVisitor

Case for float info.

FloatPoolInfo - Class in edu.rice.cs.cunit.classFile.constantPool

Represents a float in the constant pool.

FloatPoolInfo(float, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.FloatPoolInfo

Constructor.

FloatPoolInfo(DataInputStream, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.FloatPoolInfo

Constructor reading from a stream.

FMUL - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FNEG - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

form(String, long) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Return the correct form, singular or plural, of the word, depending on the count.

format(String, Object...) - Method in class edu.rice.cs.cunit.util.Debug

format(Locale, String, Object...) - Method in class edu.rice.cs.cunit.util.Debug

format(String, String, Object...) - Method in class edu.rice.cs.cunit.util.Debug

found() - Method in interface edu.rice.cs.cunit.util.StringOps.MatchResult

found() - Method in class edu.rice.cs.cunit.util.StringOps.MatchResultDelegate

FREM - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FRETURN - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FS - Variable in class edu.rice.cs.cunit.threadCheck.tests.ThreadPredicateCheckTest

FSTORE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FSTORE_0 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FSTORE_1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FSTORE_2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FSTORE_3 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

FSUB - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

G

generateDependencyFixPoint(Set<String>, List<String>, Set<String>, ILambda<Object, ClassFileTools.ClassLocation>, ILambda<Object, String>) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools

Generate the class dependency fix point.

generatePredicateAnnotationRecord(PredicateAnnotationRecord, String) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AddPredicateThreadCheckStrategy

Generate the predicate annotation record for the @Combine-type annotation that contains all information except for the valueList.

GenericInstruction - Class in edu.rice.cs.cunit.classFile.code.instructions

Generic Java instruction.

GenericInstruction(byte...) - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.GenericInstruction

Constructor.

GenericInstruction(byte[], int, int, LineNumberTable) - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.GenericInstruction

Make a new generic instruction from the bytecode stating at pc, padded using paddingPC, and use the line number table for branches.

get() - Method in class edu.rice.cs.cunit.util.Ref

get(Object) - Method in class edu.rice.cs.cunit.util.SoftHashMap

Returns the value to which this map maps the specified key.

get(String) - Method in class edu.rice.cs.cunit.util.XMLConfig

Returns the value as specified by the DOM path.

get(String, String) - Method in class edu.rice.cs.cunit.util.XMLConfig

Returns the value as specified by the DOM path, or the default value if the value could not be found.

getAccessFlags() - Method in class edu.rice.cs.cunit.classFile.FieldInfo

Accessor for access flags.

getAccessFlags() - Method in class edu.rice.cs.cunit.classFile.MethodInfo

Accessor for access flags.

getAccessString(short) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools

Return a string that represents the access flags set.

getAnnotation() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AnnotationMemberValue

Accessor for the annotation.

getAnnotationClassFile(String, Ref<ClassFileTools.ClassLocation>, Ref<AAnnotationsAttributeInfo.Annotation>, Ref<AAnnotationsAttributeInfo.Annotation>) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Return the annotations class file, or null if it is not a Thread Checker annotation.

getAnnotationCount() - Method in class edu.rice.cs.cunit.classFile.attributes.ASingleAnnotationsAttributeInfo

Return the number of annotations.

getAnnotations() - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleNamedAnnotationsAttributeInfo.NamedAnnotationsRecord

getAnnotations() - Method in class edu.rice.cs.cunit.classFile.attributes.ASingleAnnotationsAttributeInfo

Return the annotations list.

getAttribute(String) - Method in class edu.rice.cs.cunit.classFile.ClassFile

Return the attribute with the specified name.

getAttribute(String) - Method in class edu.rice.cs.cunit.classFile.FieldInfo

Return the attribute with the specified name.

getAttribute(String) - Method in class edu.rice.cs.cunit.classFile.MethodInfo

Return the attribute with the specified name.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.AnnotationDefaultAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.ConstantValueAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.DeprecatedAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.EnclosingMethodAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.ExceptionsAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.InnerClassesAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.InstrumentationAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.LineNumberTableAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTableAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTypeTableAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.RuntimeInvisibleAnnotationsAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.RuntimeInvisibleLocalVariableAnnotationsAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.RuntimeInvisibleParameterAnnotationsAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.RuntimeVisibleAnnotationsAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.RuntimeVisibleLocalVariableAnnotationsAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.RuntimeVisibleParameterAnnotationsAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.SignatureAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.SourceFileAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.SyntheticAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributeName() - Static method in class edu.rice.cs.cunit.classFile.attributes.UnknownAttributeInfo

Returns the name of the attribute as it appears in the class file.

getAttributes() - Method in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo

Return a copy of the attributes.

getAttributes() - Method in class edu.rice.cs.cunit.classFile.ClassFile

Accessor for the attributes list.

getAttributes() - Method in class edu.rice.cs.cunit.classFile.FieldInfo

Accessor for attributes.

getAttributes() - Method in class edu.rice.cs.cunit.classFile.MethodInfo

Accessor for attributes.

getBranchTargets() - Method in class edu.rice.cs.cunit.classFile.code.instructions.AInstruction

Return an array of target indices.

getBranchTargets() - Method in class edu.rice.cs.cunit.classFile.code.instructions.BranchInstruction

Return an array of target indices.

getBranchTargets() - Method in class edu.rice.cs.cunit.classFile.code.instructions.GenericInstruction

Return an array of target indices.

getBranchTargets() - Method in class edu.rice.cs.cunit.classFile.code.instructions.LookupSwitchInstruction

Return an array of target indices.

getBranchTargets() - Method in class edu.rice.cs.cunit.classFile.code.instructions.TableSwitchInstruction

Return an array of target indices.

getBranchTargets() - Method in class edu.rice.cs.cunit.classFile.code.instructions.WideBranchInstruction

Return an array of target indices.

getBranchTargets(byte[], int, int) - Static method in class edu.rice.cs.cunit.classFile.code.Opcode

Returns an array of branch targets for the instruction.

getBytecode(int, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.code.instructions.AInstruction

Get the bytecode for this instruction, padded for the specified program counter value, with branch targets according to the specified line number table

getBytecode(int, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.code.instructions.BranchInstruction

Get the bytecode for this instruction, padded for the specified program counter value, with branch targets according to the specified line number table * @param pc PC for padding

getBytecode(int, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.code.instructions.GenericInstruction

Get the bytecode for this instruction, padded for the specified program counter value, with branch targets according to the specified line number table

getBytecode() - Method in class edu.rice.cs.cunit.classFile.code.instructions.GenericInstruction

Get the bytecode for this instruction.

getBytecode(int, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.code.instructions.LookupSwitchInstruction

Get the bytecode for this instruction, padded for the specified program counter value, with branch targets according to the specified line number table

getBytecode(int, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.code.instructions.TableSwitchInstruction

Get the bytecode for this instruction, padded for the specified program counter value, with branch targets according to the specified line number table

getBytecode(int, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.code.instructions.WideBranchInstruction

Get the bytecode for this instruction, padded for the specified program counter value, with branch targets according to the specified line number table

getBytecodeLength(int) - Method in class edu.rice.cs.cunit.classFile.code.instructions.AInstruction

Get the length bytecode for this instruction, padded for the specified program counter value.

getBytecodeLength(int) - Method in class edu.rice.cs.cunit.classFile.code.instructions.BranchInstruction

Get the length bytecode for this instruction, padded for the specified program counter value.

getBytecodeLength(int) - Method in class edu.rice.cs.cunit.classFile.code.instructions.GenericInstruction

Get the length bytecode for this instruction, padded for the specified program counter value.

getBytecodeLength(int) - Method in class edu.rice.cs.cunit.classFile.code.instructions.LookupSwitchInstruction

Get the length bytecode for this instruction, padded for the specified program counter value.

getBytecodeLength(int) - Method in class edu.rice.cs.cunit.classFile.code.instructions.TableSwitchInstruction

Get the length bytecode for this instruction, padded for the specified program counter value.

getBytecodeLength(int) - Method in class edu.rice.cs.cunit.classFile.code.instructions.WideBranchInstruction

Get the length bytecode for this instruction, padded for the specified program counter value.

getBytecodeLength(int) - Method in class edu.rice.cs.cunit.classFile.code.instructions.WideInstruction

Get the length bytecode for this instruction, padded for the specified program counter value.

getCacheInfo() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.SharedAddData

getClassAccessFlags() - Method in class edu.rice.cs.cunit.classFile.ClassFile

Accessor for the class access flags.

getClassAnnotations(ClassFile) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy

Get the annotations for the specified class file.

getClassAnnotations() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.SharedAddData

getClassAnnotations(Class) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Get the annotations for the specified class file.

getClassFile() - Method in class edu.rice.cs.cunit.classFile.ClassFileTools.ClassLocation

getClassFromType(String) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools

Get the Class instance for the given type.

getClassFromType(String, boolean, ClassLoader) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools

Get the Class instance for the given type.

getClassInfo() - Method in class edu.rice.cs.cunit.classFile.constantPool.AClassNameTypePoolInfo

Accessor for the class information.

getClassName() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ClassMemberValue

Accessor for the class name.

getClassName() - Method in class edu.rice.cs.cunit.classFile.ClassFileTools.ClassLocation

getClassName(String) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools

Return class name in Java form.

getClassNameFromType(String) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools

Get the class/primitive name for the given type.

getClassNamesUsed(String) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools

Return set of class names used in this mangled name.

getClassNamesUsed(ClassFile) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools

Returns a set of class names used in a class files.

getClassPath() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy.SharedData

Return the paths to consider when searching classes.

getCode() - Method in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo

Return a copy of the code bytes.

getCode() - Method in class edu.rice.cs.cunit.classFile.code.InstructionList

Accessor for the bytecode.

getCodeAttributeInfo() - Method in class edu.rice.cs.cunit.classFile.MethodInfo

Return this method's code attribute info.

getCodeIndex() - Method in class edu.rice.cs.cunit.record.graph.StackFrameInfo

Returns the index in the byte code

getCombined() - Method in class edu.rice.cs.cunit.instrumentors.util.CompoundStrategy

Returns the list of combined strategies.

getCombineMode(ArrayList<AAttributeInfo>) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Return the combine attribute, or null if not found

getConstantPool() - Method in class edu.rice.cs.cunit.classFile.ClassFile

Accessor for the constant pool.

getConstantPoolItem(int) - Method in class edu.rice.cs.cunit.classFile.ClassFile

Return a constant pool item from this class.

getConstantValue() - Method in class edu.rice.cs.cunit.classFile.attributes.ConstantValueAttributeInfo

Return the constant value information.

getConstValue() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ConstantMemberValue

Accessor for the constant value.

getConstValue() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.EnumMemberValue

Accessor for the constant value.

getContendedLockID() - Method in class edu.rice.cs.cunit.record.graph.ThreadInfo

Returns the id of the contended lock, or null if none.

getCorrespondingLoad(AInstruction) - Static method in class edu.rice.cs.cunit.classFile.code.instructions.AInstruction

Returns a load instruction that corresponds to the given store instruction.

getCorrespondingStore(AInstruction) - Static method in class edu.rice.cs.cunit.classFile.code.instructions.AInstruction

Returns a store instruction that corresponds to the given load instruction.

getCurrentClassName() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy.SharedData

Return the name of the class currently being instrumented.

getData() - Method in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo

Accessor for data.

getDefaultCunitRtJarName() - Static method in class edu.rice.cs.cunit.FileInstrumentor

getDefaultDestRtJarName() - Static method in class edu.rice.cs.cunit.FileInstrumentor

getDefaultInstrumentorName() - Method in class edu.rice.cs.cunit.ACUnitRun

Abstract method deciding what instrumentor to run by default.

getDefaultInstrumentorName() - Static method in class edu.rice.cs.cunit.FileInstrumentor

getDefaultInstrumentorName() - Method in class edu.rice.cs.cunit.TCRun

getDefaultSourceRtJarName() - Static method in class edu.rice.cs.cunit.FileInstrumentor

getDefaultSystemInstrumentorName() - Static method in class edu.rice.cs.cunit.FileInstrumentor

getDefaultValue() - Method in class edu.rice.cs.cunit.classFile.attributes.AnnotationDefaultAttributeInfo

Returns the default value stored in this attribute.

getDependencyFixPoint(Set<String>, List<String>) - Method in class edu.rice.cs.cunit.classFile.ClassFileTools

Return the class dependency fix point.

getDescription() - Method in class edu.rice.cs.cunit.record.graph.LockInfo

Returns the description.

getDescriptor() - Method in class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo

Accessor for the type descriptor information.

getDescriptor() - Method in class edu.rice.cs.cunit.classFile.FieldInfo

Accessor for descriptor.

getDescriptor() - Method in class edu.rice.cs.cunit.classFile.MethodInfo

Accessor for descriptor.

getDoubleValue() - Method in class edu.rice.cs.cunit.classFile.constantPool.DoublePoolInfo

Accessor for the data.

getDuration() - Method in class edu.rice.cs.cunit.record.syncPoints.thread.ThreadEnterSleepSyncPoint.Translated

Returns the duration of the sleep

getDuration() - Method in class edu.rice.cs.cunit.record.syncPoints.thread.ThreadLeaveSleepSyncPoint.Translated

Returns the duration of the sleep

getEnclosingClass() - Method in class edu.rice.cs.cunit.classFile.attributes.EnclosingMethodAttributeInfo

Return the enclosing class information.

getEnclosingMethod() - Method in class edu.rice.cs.cunit.classFile.attributes.EnclosingMethodAttributeInfo

Return the enclosing method information.

getEntityAnnotations() - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleAnnotationsAttributeInfo

Return the list of entity annotations arrays.

getEntityAnnotations() - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleNamedAnnotationsAttributeInfo

Return an array of entity annotations records.

getEntityCount() - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleAnnotationsAttributeInfo

Return the number of entities.

getEntityCount() - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleNamedAnnotationsAttributeInfo

Return the number of entities.

getEntityName() - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleAnnotationsAttributeInfo

Return the name of the entity, e.g.

getEntityName() - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleNamedAnnotationsAttributeInfo

Return the name of the entity, e.g.

getEntityName() - Method in class edu.rice.cs.cunit.classFile.attributes.RuntimeInvisibleLocalVariableAnnotationsAttributeInfo

Return the name of the entity, i.e.

getEntityName() - Method in class edu.rice.cs.cunit.classFile.attributes.RuntimeInvisibleParameterAnnotationsAttributeInfo

Return the name of the entity, i.e.

getEntityName() - Method in class edu.rice.cs.cunit.classFile.attributes.RuntimeVisibleLocalVariableAnnotationsAttributeInfo

Return the name of the entity, i.e.

getEntityName() - Method in class edu.rice.cs.cunit.classFile.attributes.RuntimeVisibleParameterAnnotationsAttributeInfo

Return the name of the entity, i.e.

getEntries() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ArrayMemberValue

Accessor for the entries.

getExceptionCount() - Method in class edu.rice.cs.cunit.classFile.attributes.ExceptionsAttributeInfo

Return the number of checked exceptions.

getExceptions() - Method in class edu.rice.cs.cunit.classFile.attributes.ExceptionsAttributeInfo

Return the checked exceptions list.

getExceptionTableEntries() - Method in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo

Return a copy of the exception table entries.

GETFIELD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

GETFIELD2_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

GETFIELD_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

GETFIELD_QUICK_W - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

getFields() - Method in class edu.rice.cs.cunit.classFile.ClassFile

Accessor for the fields list.

getFile() - Method in class edu.rice.cs.cunit.classFile.ClassFileTools.ClassLocation

getFloatValue() - Method in class edu.rice.cs.cunit.classFile.constantPool.FloatPoolInfo

Accessor for the data.

getGeneratedPredicate(ClassFile, PredicateAnnotationRecord, String) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AddPredicateThreadCheckStrategy

Return a generated predicate annotation record for a @Combine-type annotation.

getIncludePredicateMethodParameterOrder() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy.SharedData

Returns true if the method attribute of a @PredicateLink annotation should be updated to include the parameter order.

getIndex() - Method in class edu.rice.cs.cunit.classFile.code.InstructionList

Accessor for the program index.

getInnerClassCount() - Method in class edu.rice.cs.cunit.classFile.attributes.InnerClassesAttributeInfo

Return the number of inner class records.

getInnerClasses() - Method in class edu.rice.cs.cunit.classFile.attributes.InnerClassesAttributeInfo

Return a copy of the inner class records.

getInputStream() - Method in class edu.rice.cs.cunit.classFile.ClassFileTools.ClassLocation

getInstr() - Method in class edu.rice.cs.cunit.classFile.code.InstructionList

Return the instruction at the program index.

getInstrSize(byte[], int) - Static method in class edu.rice.cs.cunit.classFile.code.Opcode

Return the length of the instruction at the specified offset in the bytecode array.

getInstrSize(byte[], int, int) - Static method in class edu.rice.cs.cunit.classFile.code.Opcode

Return the length of the instruction at the specified offset in the bytecode array.

getInstrumentatorClassNames() - Method in class edu.rice.cs.cunit.classFile.attributes.InstrumentationAttributeInfo

Return an array of instrumentator class names.

getInstrumentatorClassNameString() - Method in class edu.rice.cs.cunit.classFile.attributes.InstrumentationAttributeInfo

Return the instrumentator class names as string.

getInstrumentors() - Method in class edu.rice.cs.cunit.FileInstrumentor

Returns a list of instrumentors.

getInterfaces() - Method in class edu.rice.cs.cunit.classFile.ClassFile

Accessor for the interface list.

getIntValue() - Method in class edu.rice.cs.cunit.classFile.constantPool.IntegerPoolInfo

Accessor for the data.

getInvariant() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckDefinitionRecord

Return the invariant of this definition.

getJarFile() - Method in class edu.rice.cs.cunit.classFile.ClassFileTools.ClassLocation

getLength() - Method in class edu.rice.cs.cunit.classFile.code.InstructionList

Get the length of the instruction list.

getLineNumber(int) - Method in class edu.rice.cs.cunit.classFile.code.instructions.LineNumberTable

Get the line number from the PC.

getLineNumber() - Method in class edu.rice.cs.cunit.record.graph.StackFrameInfo

Returns line number.

getLineNumberCount() - Method in class edu.rice.cs.cunit.classFile.attributes.LineNumberTableAttributeInfo

Return the number of line number records.

getLineNumbers() - Method in class edu.rice.cs.cunit.classFile.attributes.LineNumberTableAttributeInfo

Return a copy of the line number records.

getLocalVariableCount() - Method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTableAttributeInfo

Return the number of local variable records.

getLocalVariables() - Method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTableAttributeInfo

Return a copy of the local variable records.

getLocalVariableTypeCount() - Method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTypeTableAttributeInfo

Return the number of local variable type records.

getLocalVariableTypes() - Method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTypeTableAttributeInfo

Return a copy of the local variable type records.

getLockInfo() - Method in class edu.rice.cs.cunit.record.syncPoints.object.AObjectSyncPoint.Translated

Returns the info about the object.

getLockInfo() - Method in class edu.rice.cs.cunit.record.syncPoints.sync.ASynchronizedObjectSyncPoint.Translated

Returns the info about the object.

getLogTarget(String) - Method in class edu.rice.cs.cunit.util.Debug

Return the log target of the specified debug log.

getLongValue() - Method in class edu.rice.cs.cunit.classFile.constantPool.LongPoolInfo

Accessor for the data.

getMajorVersion() - Method in class edu.rice.cs.cunit.classFile.ClassFile

Accessor for the major version.

getMethodAnnotations(ClassFile, MethodInfo) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy

Get the annotations for the specified method in the specified class file.

getMethodAnnotations() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.SharedAddData

getMethodAnnotations(Class, Method) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Get the annotations for the specified method in the specified class file.

getMethodDescriptor(Method) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Return the method descriptor for the method.

getMethodName(PredicateAnnotationRecord) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AddPredicateThreadCheckStrategy

Return the name of the predicate method for a @Combine-type annotation, taking annotation array sizes into account.

getMethodNameHelper(PredicateAnnotationRecord, StringBuilder, String) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AddPredicateThreadCheckStrategy

Return part of the method name.

getMethods() - Method in class edu.rice.cs.cunit.classFile.ClassFile

Accessor for the methods list.

getMethodWithNameAndDescriptor(Class, String, String) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Return the method with the specified name and descriptor.

getMinorVersion() - Method in class edu.rice.cs.cunit.classFile.ClassFile

Accessor for the minor version.

getMultiple(String) - Method in class edu.rice.cs.cunit.util.XMLConfig

Returns the value as specified by the DOM path.

getMultiple(String, Node) - Method in class edu.rice.cs.cunit.util.XMLConfig

Returns the value as specified by the DOM path.

getMultipleAddAttributesHelper(String, Node, List<Node>) - Method in class edu.rice.cs.cunit.util.XMLConfig

getMultipleHelper(String, Node, List<Node>, boolean) - Method in class edu.rice.cs.cunit.util.XMLConfig

Returns the value as specified by the DOM path.

getName() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.NameValuePair

Accessor for the name.

getName() - Method in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo

Accessor for _name information.

getName() - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleNamedAnnotationsAttributeInfo.NamedAnnotationsRecord

getName() - Method in class edu.rice.cs.cunit.classFile.constantPool.ClassPoolInfo

Accessor for the name information.

getName() - Method in class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo

Accessor for the name information.

getName() - Method in class edu.rice.cs.cunit.classFile.FieldInfo

Accessor for field name.

getName() - Method in class edu.rice.cs.cunit.classFile.MethodInfo

Accessor for field name.

getName() - Method in class edu.rice.cs.cunit.record.graph.ThreadInfo

Returns the name of the thread.

getNameAndType() - Method in class edu.rice.cs.cunit.classFile.constantPool.AClassNameTypePoolInfo

Accessor for the NameAndType information.

getNewPriority() - Method in class edu.rice.cs.cunit.record.syncPoints.thread.ThreadSetPrioritySyncPoint.Translated

Returns the new priority that was set.

getNextSignature(String) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools

Return the next descriptor from a string of concatenated signatures.

getNodePath(Node) - Static method in class edu.rice.cs.cunit.util.XMLConfig

Return the path of a node as it is used in XMLConfig.

getNodes(String) - Method in class edu.rice.cs.cunit.util.XMLConfig

Returns the nodes as specified by the DOM path.

getNodes(String, Node) - Method in class edu.rice.cs.cunit.util.XMLConfig

Returns the nodes as specified by the DOM path.

getOpcode() - Method in class edu.rice.cs.cunit.classFile.code.InstructionList

Return the opcode at the program index.

getOpcode() - Method in class edu.rice.cs.cunit.classFile.code.instructions.AInstruction

Get the opcode of this instruction.

getOpcode() - Method in class edu.rice.cs.cunit.classFile.code.instructions.BranchInstruction

Get the opcode of this instruction.

getOpcode() - Method in class edu.rice.cs.cunit.classFile.code.instructions.GenericInstruction

Get the opcode of this instruction.

getOpcode() - Method in class edu.rice.cs.cunit.classFile.code.instructions.LookupSwitchInstruction

Get the opcode of this instruction.

getOpcode() - Method in class edu.rice.cs.cunit.classFile.code.instructions.TableSwitchInstruction

Get the opcode of this instruction.

getOpcode() - Method in class edu.rice.cs.cunit.classFile.code.instructions.WideBranchInstruction

Get the opcode of this instruction.

getOpcode() - Method in class edu.rice.cs.cunit.classFile.code.instructions.WideInstruction

Get the opcode of this instruction.

getOpcodeName(byte) - Static method in class edu.rice.cs.cunit.classFile.code.Opcode

Return a human-readable version of the code.

getOtherWarnings() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.SharedAddData

getOutput() - Method in class edu.rice.cs.cunit.util.Debug

getOwnedLockIDs() - Method in class edu.rice.cs.cunit.record.graph.ThreadInfo

Returns a set with the ids of the owned locks.

getOwningThreadId() - Method in class edu.rice.cs.cunit.record.graph.LockInfo

Returns the unique id of the owning thread, or null if not owned.

getPairs() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation

Returns a list of the pairs.

getPC(int) - Method in class edu.rice.cs.cunit.classFile.code.instructions.LineNumberTable

Get the PC from the line number.

getPCFromIndex(int) - Method in class edu.rice.cs.cunit.classFile.code.InstructionList

Calculate the PC for an index.

GetPoolInfoSizeVisitor - Class in edu.rice.cs.cunit.classFile.constantPool.visitors

Return the size of the info in the constant pool.

GetPoolInfoSizeVisitor() - Constructor for class edu.rice.cs.cunit.classFile.constantPool.visitors.GetPoolInfoSizeVisitor

Singleton constructor.

getPosition() - Method in class edu.rice.cs.cunit.util.PositionDataInputStream

Get the stream position.

getPosition() - Method in class edu.rice.cs.cunit.util.PositionInputStream

Get the stream position.

getPosition() - Method in interface edu.rice.cs.cunit.util.ProvidesInputStreamPosition

Get the stream position.

getPredicateAnnotationRecord(AAnnotationsAttributeInfo.Annotation, ClassFileTools.ClassLocation, ClassFile, String, Combine.Mode, boolean) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Return the method info for the predicate method, or null if not found.

getPredicateLink(ArrayList<AAttributeInfo>) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Return the predicate link, or null if not found

getPredicateSets(Annotation[]) - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Get the predicate sets from the array of annotations.

getPrimitiveTypeChar(String) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools

Returns the type character associated with a primitive type name, or 0 if there was an error.

getProperties() - Method in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo

Return a copy of the code properties.

getPropertyName() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.CacheInfo

Return the name of the property that was scanned for.

getPropertyName() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.OnlyAfterRealizedWarning

Return the name of the property that was scanned for.

getPropertyName() - Method in exception edu.rice.cs.cunit.instrumentors.threadCheck.BadPredicateAnnotationWarning

Return the name of the property that was scanned for.

getPropertyName() - Method in exception edu.rice.cs.cunit.instrumentors.threadCheck.ClassNotFoundWarning

Return the name of the property that was scanned for.

getPropertyName() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.SubtypingWarning

Return the name of the property that was scanned for.

getPropertyName() - Method in interface edu.rice.cs.cunit.instrumentors.util.IScannerStrategy.IScanResult

Return the name of the property that was scanned for.

getPropertyName() - Method in class edu.rice.cs.cunit.instrumentors.util.ScanForObjectCtorStrategy.Location

Return the name of the property that was scanned for.

getReference() - Method in class edu.rice.cs.cunit.classFile.code.instructions.ReferenceInstruction

Get the constant pool id.

getScanResults() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.SharedAddData

Return a list of scan results.

getScanResults() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy.SharedData

Return a list of scan results.

getScanResults() - Method in class edu.rice.cs.cunit.instrumentors.util.CompoundStrategy

Returns the combined list of all scan results.

getScanResults() - Method in interface edu.rice.cs.cunit.instrumentors.util.IScannerStrategy

Return a list of scan results.

getScanResults() - Method in class edu.rice.cs.cunit.instrumentors.util.ScanForObjectCtorStrategy

Returns the list of usage locations.

getShortestLoadStoreInstruction(byte, short) - Static method in class edu.rice.cs.cunit.classFile.code.Opcode

Return the shortest instruction possible that loads/stores local variable index onto the stack.

getSignature() - Method in class edu.rice.cs.cunit.classFile.attributes.SignatureAttributeInfo

Return the source file name information.

getSignatures(String) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools

Return a list of signatures.

getSize() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AMemberValue

Returns the size of this value.

getSize() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AnnotationMemberValue

Returns the size of this value.

getSize() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ArrayMemberValue

Returns the size of this value.

getSize() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ClassMemberValue

Returns the size of this value.

getSize() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ConstantMemberValue

Returns the size of this value.

getSize() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.EnumMemberValue

Returns the size of this value.

getSize() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation

Returns the size of this annotation.

getSize() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.NameValuePair

Returns the size of this name-value pair.

getSourceFileName() - Method in class edu.rice.cs.cunit.classFile.attributes.SourceFileAttributeInfo

Return the source file name information.

getSourcePath() - Method in class edu.rice.cs.cunit.record.graph.StackFrameInfo

Returns path to source.

getStackFrame() - Method in class edu.rice.cs.cunit.record.graph.ThreadInfo

Returns a list with state frame information.

GETSTATIC - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

GETSTATIC2_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

GETSTATIC_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

getStatus() - Method in class edu.rice.cs.cunit.record.graph.ThreadInfo

Returns the status of the thread.

getSubtypingWarnings() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.SharedAddData

getSuperClass() - Method in class edu.rice.cs.cunit.classFile.ClassFile

Accessor for the superclass.

getSuperClassName() - Method in class edu.rice.cs.cunit.classFile.ClassFile

Return the name of the super class or the empty string, if this class is java.lang.Object.

getTag() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AMemberValue

Returns the tag character of this value.

getThisClass() - Method in class edu.rice.cs.cunit.classFile.ClassFile

Accessor for this class.

getThisClassName() - Method in class edu.rice.cs.cunit.classFile.ClassFile

Return the name of this class.

getThisId() - Method in class edu.rice.cs.cunit.record.graph.StackFrameInfo

Returns ID of this, or null if static or native.

getThreadId() - Method in class edu.rice.cs.cunit.record.graph.StackFrameInfo

Returns the thread ID.

getThreadID() - Method in class edu.rice.cs.cunit.record.graph.ThreadInfo

Returns the unique id of this thread.

getThreadID() - Method in interface edu.rice.cs.cunit.record.IThreadInfo

Returns the thread ID of the thread ($$$threadID$$$ field).

getThreadInfo() - Method in class edu.rice.cs.cunit.record.syncPoints.object.AObjectSyncPoint.Translated

Returns the info about the current thread.

getThreadInfo() - Method in class edu.rice.cs.cunit.record.syncPoints.sync.ASynchronizedObjectSyncPoint.Translated

Returns the info about the thread.

getThreadInfo() - Method in class edu.rice.cs.cunit.record.syncPoints.thread.AThreadSyncPoint.Translated

Returns the info about the thread.

getTimeOut() - Method in class edu.rice.cs.cunit.record.syncPoints.object.ObjectEnterWaitSyncPoint.Translated

Returns the timeout duration.

getTimeOut() - Method in class edu.rice.cs.cunit.record.syncPoints.object.ObjectLeaveWaitSyncPoint.Translated

Returns the timeout duration.

getType() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation

Returns the type of the annotation.

getTypeName() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.EnumMemberValue

Accessor for the type name.

getTypeString(String, String) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools

Translate a type descriptor descriptor and a variable name into a Java declaration.

getUniqueId() - Method in class edu.rice.cs.cunit.record.graph.LockInfo

Returns the unique id.

getUtf() - Method in class edu.rice.cs.cunit.classFile.constantPool.StringPoolInfo

Accessor for the utf information.

getValue() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.NameValuePair

Accessor for the value.

getWaitingThreadIds() - Method in class edu.rice.cs.cunit.record.graph.LockInfo

Returns a list of unique ids of the threads waiting for this lock

getXmlAnnot() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.SharedAddData

getXmlFileName() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy.SharedData

Return the name of the XML annotations file.

GOTO - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

GOTO_W - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

group() - Method in class edu.rice.cs.cunit.util.StringOps.MatchResultDelegate

group(int) - Method in class edu.rice.cs.cunit.util.StringOps.MatchResultDelegate

groupCount() - Method in class edu.rice.cs.cunit.util.StringOps.MatchResultDelegate

H

handlerPC - Variable in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo.ExceptionTableEntry

hashCode() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AMemberValue

Returns a hash code value for the object.

hashCode() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AnnotationMemberValue

Returns a hash code value for the object.

hashCode() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ArrayMemberValue

Returns a hash code value for the object.

hashCode() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ClassMemberValue

Returns a hash code value for the object.

hashCode() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ConstantMemberValue

Returns a hash code value for the object.

hashCode() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.EnumMemberValue

Returns a hash code value for the object.

hashCode() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation

Returns a hash code value for the object.

hashCode() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.NameValuePair

Returns a hash code value for the object.

hashCode() - Method in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo

hashCode() - Method in class edu.rice.cs.cunit.classFile.code.InstructionList

Return hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.code.instructions.AInstruction

Return hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.code.instructions.BranchInstruction

Return hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.code.instructions.GenericInstruction

Return hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.code.instructions.LookupSwitchInstruction

Return hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.code.instructions.TableSwitchInstruction

Return hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.code.instructions.WideBranchInstruction

Return hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.code.instructions.WideInstruction

Return hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.constantPool.AClassNameTypePoolInfo

Return a hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo

Return a hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.constantPool.AUTFPoolInfo

Return a hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.constantPool.ClassPoolInfo

Return a hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.constantPool.DoublePoolInfo

Return a hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.constantPool.EmptyPoolInfo

Return a hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.constantPool.FloatPoolInfo

Return a hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.constantPool.IntegerPoolInfo

Return a hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.constantPool.LongPoolInfo

Return a hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo

Return a hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.constantPool.StringPoolInfo

Return a hash code.

hashCode() - Method in class edu.rice.cs.cunit.classFile.MethodInfo

Returns a hash code value for the object.

hashCode() - Method in exception edu.rice.cs.cunit.instrumentors.threadCheck.BadPredicateAnnotationWarning

Return a hash code for this object.

hashCode() - Method in exception edu.rice.cs.cunit.instrumentors.threadCheck.ClassNotFoundWarning

Return a hash code for this object.

hashCode() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.PredicateAnnotationRecord

hashCode() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.SubtypingWarning

Return a hash code for this object.

hashCode() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckAnnotationRecord

Returns a hashcode for this ThreadCheckAnnotationRecord.

hashCode() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckDefinitionRecord

Return a hashcode for this ThreadCheckDefinitionRecord.

hashCode() - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.ArgumentPredicateViolation

hashCode() - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.ExceptionInArgumentPredicateViolation

hashCode() - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.ExceptionInPredicateViolation

hashCode() - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.NotRunByIdViolation

hashCode() - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.NotRunByThreadGroupViolation

hashCode() - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.NotRunByThreadNameViolation

hashCode() - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.OnlyRunByViolation

hashCode() - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.PredicateViolation

hashCode() - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.ReflectionPredicateViolation

hashCode() - Method in class edu.rice.cs.cunit.threadCheck.ThreadCheck.Violation

hashCode() - Method in exception edu.rice.cs.cunit.threadCheck.ThreadCheckException

Returns a hash code value for the object..

hashCode() - Method in class edu.rice.cs.cunit.util.Pair

Return a hashcode for this pair.

hashCode() - Method in class edu.rice.cs.cunit.util.Ref

help(PrintStream) - Static method in class edu.rice.cs.cunit.ACUnitRun

Print a help message to the specified stream.

help(PrintStream) - Method in class edu.rice.cs.cunit.FileInstrumentor.Tool

Print out a help message.

help(PrintStream) - Method in class edu.rice.cs.cunit.TCFileInstrumentor.TCTool

Print out a help message.

help(PrintStream) - Static method in class edu.rice.cs.cunit.TCRun

Print a help message to the specified stream.

I

I2B - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

I2C - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

I2D - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

I2F - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

I2L - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

I2S - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IADD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IALOAD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IAND - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IASTORE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IAttributeVisitor<R,D> - Interface in edu.rice.cs.cunit.classFile.attributes.visitors

A visitor that operates on attributes.

ICONST_0 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ICONST_1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ICONST_2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ICONST_3 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ICONST_4 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ICONST_5 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ICONST_M1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IDIV - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IF_ACMPEQ - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IF_ACMPNE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IF_ICMPEQ - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IF_ICMPGE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IF_ICMPGT - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IF_ICMPLE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IF_ICMPLT - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IF_ICMPNE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IFEQ - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IFGE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IFGT - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IFLE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IFLT - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IFNE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IFNONNULL - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IFNULL - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IINC - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IInstrumentationStrategy - Interface in edu.rice.cs.cunit.instrumentors

Interface to instrument classes during loading.

ILambda<R,P> - Interface in edu.rice.cs.cunit.util

Unary lambda interface R <- P.

ILambda.Binary<R,P,Q> - Interface in edu.rice.cs.cunit.util

Binary lambda interface R <- P x Q.

ILambda.Binary.Bind1st<R,P,Q> - Class in edu.rice.cs.cunit.util

Unary decorator for a binary lambda that binds a constant to its first parameter.

ILambda.Binary.Bind1st(ILambda.Binary<R, P, Q>, P) - Constructor for class edu.rice.cs.cunit.util.ILambda.Binary.Bind1st

Create a new unary decorator for a binary lambda, binding a constant to its first parameter.

ILambda.Binary.Bind2nd<R,P,Q> - Class in edu.rice.cs.cunit.util

Unary decorator for a binary lambda that binds a constant to its second parameter.

ILambda.Binary.Bind2nd(ILambda.Binary<R, P, Q>, Q) - Constructor for class edu.rice.cs.cunit.util.ILambda.Binary.Bind2nd

Create a new unary decorator for a binary lambda, binding a constant to its second parameter.

ILambda.Binary.Max<T extends java.lang.Comparable<T>> - Class in edu.rice.cs.cunit.util

Binary maximum.

ILambda.Binary.Max() - Constructor for class edu.rice.cs.cunit.util.ILambda.Binary.Max

ILambda.Binary.Min<T extends java.lang.Comparable<T>> - Class in edu.rice.cs.cunit.util

Binary minimum.

ILambda.Binary.Min() - Constructor for class edu.rice.cs.cunit.util.ILambda.Binary.Min

ILambda.Binary.NaryAdaptor<R,P> - Class in edu.rice.cs.cunit.util

Adapter to turn an N-ary lambda into a binary lambda.

ILambda.Binary.NaryAdaptor(ILambda.Nary<R, P>) - Constructor for class edu.rice.cs.cunit.util.ILambda.Binary.NaryAdaptor

Creates a new binary lambda.

ILambda.Nary<R,P> - Interface in edu.rice.cs.cunit.util

N-ary lambda interface R <- P x P x ...

ILambda.Nary.BinaryAdaptor<R,P> - Class in edu.rice.cs.cunit.util

Adapter to turn a binary lambda into an N-ary lambda (with N=2).

ILambda.Nary.BinaryAdaptor(ILambda.Binary<R, P, P>) - Constructor for class edu.rice.cs.cunit.util.ILambda.Nary.BinaryAdaptor

Creates a new N-ary lambda (with N=2).

ILambda.Nary.Bind<R,P> - Class in edu.rice.cs.cunit.util

(N-1)-ary decorator for an N-ary lambda that binds a constant to one of its parameters.

ILambda.Nary.Bind(ILambda.Nary<R, P>, int, P) - Constructor for class edu.rice.cs.cunit.util.ILambda.Nary.Bind

Creates a new (N-1)-ary decorator for an N-ary lambda, binding a constant to one of its parameters.

ILambda.Nary.BindK<R,P> - Class in edu.rice.cs.cunit.util

(N-K)-ary decorator for an N-ary lambda that binds constants to K of its parameters.

ILambda.Nary.BindK(ILambda.Nary<R, P>, int[], P...) - Constructor for class edu.rice.cs.cunit.util.ILambda.Nary.BindK

Creates a new (N-K)-ary decorator for an N-ary lambda, binding constants to K of its parameters.

ILambda.Nary.Max<T extends java.lang.Comparable<T>> - Class in edu.rice.cs.cunit.util

N-ary maximum.

ILambda.Nary.Max() - Constructor for class edu.rice.cs.cunit.util.ILambda.Nary.Max

ILambda.Nary.Min<T extends java.lang.Comparable<T>> - Class in edu.rice.cs.cunit.util

N-ary minimum.

ILambda.Nary.Min() - Constructor for class edu.rice.cs.cunit.util.ILambda.Nary.Min

ILambda.Nary.TernaryAdaptor<R,P> - Class in edu.rice.cs.cunit.util

Adapter to turn a ternary lambda into an N-ary lambda (with N=3).

ILambda.Nary.TernaryAdaptor(ILambda.Ternary<R, P, P, P>) - Constructor for class edu.rice.cs.cunit.util.ILambda.Nary.TernaryAdaptor

Creates a new N-ary lambda (with N=3).

ILambda.Nary.UnaryAdaptor<R,P> - Class in edu.rice.cs.cunit.util

Adapter to turn a unary lambda into an N-ary lambda (with N=1).

ILambda.Nary.UnaryAdaptor(ILambda<R, P>) - Constructor for class edu.rice.cs.cunit.util.ILambda.Nary.UnaryAdaptor

Creates a new N-ary lambda (with N=1).

ILambda.NaryAdaptor<R,P> - Class in edu.rice.cs.cunit.util

Adapter to turn an N-ary lambda into a unary lambda.

ILambda.NaryAdaptor(ILambda.Nary<R, P>) - Constructor for class edu.rice.cs.cunit.util.ILambda.NaryAdaptor

Creates a new unary lambda.

ILambda.Ternary<R,P,Q,S> - Interface in edu.rice.cs.cunit.util

Ternary lambda interface R <- P x Q x S.

ILambda.Ternary.Bind1st<R,P,Q,S> - Class in edu.rice.cs.cunit.util

Binary decorator for a ternary lambda that binds a constant to its first parameter.

ILambda.Ternary.Bind1st(ILambda.Ternary<R, P, Q, S>, P) - Constructor for class edu.rice.cs.cunit.util.ILambda.Ternary.Bind1st

Create a new binary decorator for a ternary lambda, binding a constant to its first parameter.

ILambda.Ternary.Bind1st2nd<R,P,Q,S> - Class in edu.rice.cs.cunit.util

Unary decorator for a ternary lambda that binds constants to its first and second parameters.

ILambda.Ternary.Bind1st2nd(ILambda.Ternary<R, P, Q, S>, P, Q) - Constructor for class edu.rice.cs.cunit.util.ILambda.Ternary.Bind1st2nd

Creates a new unary decorator for a ternary lambda, binding constants to its first and second parameter.

ILambda.Ternary.Bind1st3rd<R,P,Q,S> - Class in edu.rice.cs.cunit.util

Unary decorator for a ternary lambda that binds constants to its first and third parameters.

ILambda.Ternary.Bind1st3rd(ILambda.Ternary<R, P, Q, S>, P, S) - Constructor for class edu.rice.cs.cunit.util.ILambda.Ternary.Bind1st3rd

Creates a new unary decorator for a ternary lambda, binding constants to its first and third parameter.

ILambda.Ternary.Bind2nd<R,P,Q,S> - Class in edu.rice.cs.cunit.util

Binary decorator for a ternary lambda that binds a constant to its second parameter.

ILambda.Ternary.Bind2nd(ILambda.Ternary<R, P, Q, S>, Q) - Constructor for class edu.rice.cs.cunit.util.ILambda.Ternary.Bind2nd

Create a new binary decorator for a ternary lambda, binding a constant to its second parameter.

ILambda.Ternary.Bind2nd3rd<R,P,Q,S> - Class in edu.rice.cs.cunit.util

Unary decorator for a ternary lambda that binds constants to its second and third parameters.

ILambda.Ternary.Bind2nd3rd(ILambda.Ternary<R, P, Q, S>, Q, S) - Constructor for class edu.rice.cs.cunit.util.ILambda.Ternary.Bind2nd3rd

Creates a new unary decorator for a ternary lambda, binding constants to its second and third parameter.

ILambda.Ternary.Bind3rd<R,P,Q,S> - Class in edu.rice.cs.cunit.util

Binary decorator for a ternary lambda that binds a constant to its third parameter.

ILambda.Ternary.Bind3rd(ILambda.Ternary<R, P, Q, S>, S) - Constructor for class edu.rice.cs.cunit.util.ILambda.Ternary.Bind3rd

Create a new binary decorator for a ternary lambda, binding a constant to its third parameter.

ILambda.Ternary.Max<T extends java.lang.Comparable<T>> - Class in edu.rice.cs.cunit.util

Ternary maximum.

ILambda.Ternary.Max() - Constructor for class edu.rice.cs.cunit.util.ILambda.Ternary.Max

ILambda.Ternary.Min<T extends java.lang.Comparable<T>> - Class in edu.rice.cs.cunit.util

Ternary minimum.

ILambda.Ternary.Min() - Constructor for class edu.rice.cs.cunit.util.ILambda.Ternary.Min

ILambda.Ternary.NaryAdaptor<R,P> - Class in edu.rice.cs.cunit.util

Adapter to turn an N-ary lambda into a ternary lambda.

ILambda.Ternary.NaryAdaptor(ILambda.Nary<R, P>) - Constructor for class edu.rice.cs.cunit.util.ILambda.Ternary.NaryAdaptor

Creates a new ternary lambda.

ILOAD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ILOAD_0 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ILOAD_1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ILOAD_2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

ILOAD_3 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IMPDEP1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IMPDEP2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

IMUL - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

in - Variable in class edu.rice.cs.cunit.util.StreamRedirectThread

incClassCacheHit() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.CacheInfo

incClassCacheMiss() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.CacheInfo

incCombinePredicateCacheHit() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.CacheInfo

incCombinePredicateCacheMiss() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.CacheInfo

includePredicateMethodParameterOrder(String, ArrayList<String>, ClassFileTools.ClassLocation) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy

Update the method attribute in the @PredicateLink to include the parameter order.

incMethodCacheHit() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.CacheInfo

incMethodCacheMiss() - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.CacheInfo

incPC(Debug.ProgressCounter) - Method in class edu.rice.cs.cunit.util.Debug

index - Variable in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTableAttributeInfo.LocalVariableRecord

index - Variable in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTypeTableAttributeInfo.LocalVariableTypeRecord

indexOf(APoolInfo) - Method in class edu.rice.cs.cunit.classFile.constantPool.ConstantPool

Return the index of the pool item in the pool.

INEG - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode

init(InputSource) - Method in class edu.rice.cs.cunit.util.XMLConfig

Initialize this XML configuration.

initLog() - Static method in class edu.rice.cs.cunit.threadCheck.ThreadCheck

Initialize the error log.

initPC(int) - Method in class edu.rice.cs.cunit.util.Debug

innerClass - Variable in class edu.rice.cs.cunit.classFile.attributes.InnerClassesAttributeInfo.InnerClassesRecord

InnerClassesAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes

Represents the InnerClasses attribute in a class file.

InnerClassesAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.InnerClassesAttributeInfo

Constructor.

InnerClassesAttributeInfo.InnerClassesRecord - Class in edu.rice.cs.cunit.classFile.attributes

Storage class for line number/program counter _pairs.

InnerClassesAttributeInfo.InnerClassesRecord(APoolInfo, APoolInfo, APoolInfo, short) - Constructor for class edu.rice.cs.cunit.classFile.attributes.InnerClassesAttributeInfo.InnerClassesRecord

innerClassesCase(InnerClassesAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor

Case for a InnerClasses attribute.

innerClassesCase(InnerClassesAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor

Case for a InnerClasses attribute.

innerFlags - Variable in class edu.rice.cs.cunit.classFile.attributes.InnerClassesAttributeInfo.InnerClassesRecord

innerName - Variable in class edu.rice.cs.cunit.classFile.attributes.InnerClassesAttributeInfo.InnerClassesRecord

inPool(ConstantPool) - Method in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo

Return the reference to the constant pool item that is already in pool, that matches this one.

insertBeforeInstr(AInstruction, CodeAttributeInfo) - Method in class edu.rice.cs.cunit.classFile.code.InstructionList

This method inserts the instruction before the program counter.

insertCtorCall(ClassFile, MethodInfo, InstructionList, String, String, AInstruction) - Method in class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy

Inserts a constructor call to the class specified for the value placed on the top of the stack.

insertEndOfMethod(ClassFile, MethodInfo, InstructionList, boolean, boolean) - Method in class edu.rice.cs.cunit.instrumentors.delay.CallOnObjectNotifyStrategy

Insert instructions at the end of the method.

insertEndOfMethod(ClassFile, MethodInfo, InstructionList, boolean, boolean) - Method in class edu.rice.cs.cunit.instrumentors.delay.CallOnObjectWaitStrategy

Insert instructions at the end of the method.