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

A

AALOAD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
AAnnotatedElementEx - Class in edu.rice.cs.cunit.subAnnot
Abstract class for annotated elements supporting annotations with subtyping.
AAnnotatedElementEx() - Constructor for class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Constructor leaving the _classLoader field empty.
AAnnotatedElementEx(ClassLoader) - Constructor for class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Constructor setting the _classLoader field.
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
 
add(SubAnnotThreadCheck.ThreadCheckAnnotationRecord) - Method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.ThreadCheckAnnotationRecord
 
addAttribute(AAttributeInfo) - Method in class edu.rice.cs.cunit.classFile.ClassFile
Add an attribute to the class.
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.
addInstrumentationAttributeInfo(ClassFile, Collection<String>) - 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.
addLongToConstantPool(long) - Method in class edu.rice.cs.cunit.classFile.ClassFile
Add a long constant value to the constant pool.
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".
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.
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
 
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
 
And - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
This annotation combines other invariant annotations using Boolean and.
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
 
AnnotatedElementEx - Interface in edu.rice.cs.cunit.subAnnot
Interface for annotated elements supporting annotations with subtyping.
annotation - Variable in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AnnotationMemberValue
Annotation value.
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.
AnnotationDynamicProxyHandler - Class in edu.rice.cs.cunit.subAnnot
Proxy handler for annotations.
AnnotationDynamicProxyHandler(Class<? extends Annotation>, AAnnotationsAttributeInfo.Annotation) - Constructor for class edu.rice.cs.cunit.subAnnot.AnnotationDynamicProxyHandler
Constructor for the proxy handler.
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.
annotations - Variable in class edu.rice.cs.cunit.classFile.attributes.AMultipleNamedAnnotationsAttributeInfo.NamedAnnotationsRecord
 
AnySynchronizedField - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run when the monitor of the field specified by class and field name is owned by some thread, regardless which it is.
anySynchronizedField - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
AnySynchronizedField.All - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run when all of the monitors of the fields specified are owned by some thread, regardless which it is, i.e.
AnySynchronizedField.Any - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run when one or more of the monitors of the fields specified are owned by some thread, regardless which it is, i.e.
AnySynchronizedField.ByName - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run when the monitor of the field specified by class name and field name is owned by some thread, regardless which it is.
AnySynchronizedField.ByName.All - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run when all of the monitors of the fields specified are owned by some thread, regardless which it is, i.e.
AnySynchronizedField.ByName.Any - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run when one or more of the monitors of the fields specified are owned by some thread, regardless which it is, i.e.
AnySynchronizedThis - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run when the monitor of "this" is owned by some thread, regardless which it is.
anySynchronizedThis - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
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
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.
ARETURN - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
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.
asSubclass(ClassEx<U>) - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Casts this Class object to represent a subclass of the class represented by the specified class object.
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
 
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

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
 
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

CALOAD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
cast(Object) - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Casts an object to the class or interface represented by this Class object.
CASTORE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
catchType - Variable in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo.ExceptionTableEntry
 
checkAnd(Object, Object[], InvariantAnnotation[]) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return false if one or more of the annotations in the array returned false.
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.
checkCount - Variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.Violation
 
checkCurrentThreadReflection(Class, String, String, Object, Object[]) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
Checks if the current thread may execute the method from where this method was called purely using reflection.
checkDistinctArguments(Object, Object[], int[]) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
Return true if the object with the specified indices are all distinct.
checkDistinctArguments(Object, Object[], int[]) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if the object with the specified indices are all distinct.
checkEventThread(Object) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.NotThreadCheckPredicates
Return false if the current thread is the event thread.
checkEventThread(Object) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
Return true if the current thread is the event thread.
checkEventThread(Object) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if the current thread is the event thread.
checkEventThreadAfterRealized(Object) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
Return true if the current thread is the event thread, or if thisObject is an instance of a subclass of java.awt.Component and that component has not been realized yet.
checkEventThreadAfterRealized(Object) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if the current thread is the event thread, or if thisObject is an instance of a subclass of java.awt.Component and that component has not been realized yet.
checkForSubtypingClassWarnings(ClassEx, MethodEx, ClassEx, SubAnnotThreadCheck.ThreadCheckAnnotationRecord, SubAnnotThreadCheck.ThreadCheckAnnotationRecord) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
Check for subtyping warnings.
checkGroup(Object, Class, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.NotReflectionThreadCheckPredicates
Return false if the current thread's group name is equal to the string in the specified field.
checkGroup(Object, String, boolean) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.NotThreadCheckPredicates
Return false if the current thread's group equals the specified string
checkGroup(Object, Class, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ReflectionThreadCheckPredicates
Return true if the current thread's group name is equal to the string in the specified field.
checkGroup(Object, String, boolean) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
Return true if the current thread's group equals the specified string
checkGroup(Object, String, boolean) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if the current thread's group equals the specified string
checkGroupByName(Object, String, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.NotReflectionThreadCheckPredicates
Return true if the current thread's group name is equal to the string in the specified field.
checkGroupByName(Object, String, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ReflectionThreadCheckPredicates
Return true if the current thread's group name is equal to the string in the specified field.
checkImplies(Object, Object[], InvariantAnnotation[]) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if A -> B is true, where A is the first annotation and B is the second.
checkInvariantAnnotation(InvariantAnnotation, Object, Object[]) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
Convenience method to get the result of an invariant annotation check.
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.
checkMonitorNotOwned(Object) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
Return true if the current thread does not own the monitor of the object.
checkMonitorNotOwnedArgument(Object, Object[], int) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
Return true if the current thread does not own the monitor of the object with index value in the array of method arguments
checkMonitorNotOwnedArgumentByAnyThread(Object, Object[], int) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
Return true if the current thread does not own the monitor of the object with index value in the array of method arguments
checkMonitorNotOwnedByAnyThread(Object) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
Return true if the no thread owns the monitor of the object.
checkMonitorOwned(Object) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
Return true if the current thread owns the monitor of the object.
checkMonitorOwned(Object) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if the any thread owns the monitor of the object.
checkMonitorOwnedArgument(Object, Object[], int) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
Return true if the current thread owns the monitor of the object with index value in the array of method arguments
checkMonitorOwnedArgumentByAnyThread(Object, Object[], int) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
Return true if the any thread owns the monitor of the object with index value in the array of method arguments
checkMonitorOwnedByAnyThread(Object) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
Return true if the any thread owns the monitor of the object.
checkName(Object, Class, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.NotReflectionThreadCheckPredicates
Return false if the current thread's name is equal to the string in the specified field.
checkName(Object, String, boolean) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.NotThreadCheckPredicates
Return false if the current thread's name equals the specified string
checkName(Object, Class, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ReflectionThreadCheckPredicates
Return true if the current thread's name is equal to the string in the specified field.
checkName(Object, String, boolean) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
Return true if the current thread's name equals the specified string
checkName(Object, String, boolean) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if the current thread's name equals the specified string
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.
checkNameByName(Object, String, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.NotReflectionThreadCheckPredicates
Return true if the current thread's name is equal to the string in the specified field.
checkNameByName(Object, String, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ReflectionThreadCheckPredicates
Return true if the current thread's name is equal to the string in the specified field.
checkNot(Object, Object[], InvariantAnnotation) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if the annotations in the array returned false, and vice versa.
checkNotNullArgument(Object, Object[], int) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
Return true if the object with index value in the array of method arguments is not null.
checkNullArgument(Object, Object[], int) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
Return true if the object with index value in the array of method arguments is null.
checkNullArgument(Object, Object[], int) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if the object with index value in the array of method arguments is null.
checkNumberBoundedArgument(Object, Object[], NumberBoundedArgument.Mode, int, double, double) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
Return true if the object with the specified index is a Number and meeds the bounds.
checkNumberBoundedArgument(Object, Object[], NumberBoundedArgument.Mode, int, double, double) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if the object with the specified index is a Number and meeds the bounds.
checkOpcode(byte) - Method in class edu.rice.cs.cunit.classFile.code.instructions.ReferenceInstruction
Check the opcode to make sure it is a reference instruction.
checkOr(Object, Object[], InvariantAnnotation[]) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if one or more of the annotations in the array returned true.
checkPredicateLinkAnnotation(Annotation, PredicateLink, Object, Object[]) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
Handle a @PredicateLink-style annotation.
checkSameArguments(Object, Object[], int[]) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
Return true if the object with the specified indices are all the same.
checkSameArguments(Object, Object[], int[]) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if the object with the specified indices are all the same.
checkSynchronizedArgument(Object, Object[], int) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if the any thread owns the monitor of the object with index value in the array of method arguments
checkSynchronizedField(Object, Class, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.NotReflectionThreadCheckPredicates
Return false if the current thread owns the monitor of the specified field.
checkSynchronizedField(Object, Class, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ReflectionThreadCheckPredicates
Return true if the current thread owns the monitor of the specified field.
checkSynchronizedField(Object, Class, String) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if the any thread owns the monitor of the specified field.
checkSynchronizedFieldByAnyThread(Object, Class, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.NotReflectionThreadCheckPredicates
Return false if any thread owns the monitor of the specified field.
checkSynchronizedFieldByAnyThread(Object, Class, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ReflectionThreadCheckPredicates
Return true if the any thread owns the monitor of the specified field.
checkSynchronizedFieldByAnyThreadByName(Object, String, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.NotReflectionThreadCheckPredicates
Return false if any thread owns the monitor of the specified field.
checkSynchronizedFieldByAnyThreadByName(Object, String, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ReflectionThreadCheckPredicates
Return true if any thread owns the monitor of the specified field.
checkSynchronizedFieldByName(Object, String, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.NotReflectionThreadCheckPredicates
Return false if the current thread owns the monitor of the specified field.
checkSynchronizedFieldByName(Object, String, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ReflectionThreadCheckPredicates
Return true if the current thread owns the monitor of the specified field.
checkSynchronizedFieldByName(Object, String, String) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if any thread owns the monitor of the specified field.
checkThread(Object, Class, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.NotReflectionThreadCheckPredicates
Return false if the current thread is equal to the thread in the specified field.
checkThread(Object, Class, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ReflectionThreadCheckPredicates
Return true if the current thread is equal to the thread in the specified field.
checkThread(Object, Class, String) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if the current thread is equal to the thread in the specified field.
checkThreadByName(Object, String, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.NotReflectionThreadCheckPredicates
Return false if the current thread is equal to the thread in the specified field.
checkThreadByName(Object, String, String) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.ReflectionThreadCheckPredicates
Return true if the current thread is equal to the thread in the specified field.
checkThreadByName(Object, String, String) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if the current thread is equal to the thread in the specified field.
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.
checkXOr(Object, Object[], InvariantAnnotation[]) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
Return true if exactly one of the annotations in the array returned true.
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.
ClassEx<T> - Class in edu.rice.cs.cunit.subAnnot
Extended Class class to support annotations with subclassing.
ClassEx(Class<T>) - Constructor for class edu.rice.cs.cunit.subAnnot.ClassEx
Create an extended Class instance for the specified class.
ClassEx(Class<T>, ClassLoader) - Constructor for class edu.rice.cs.cunit.subAnnot.ClassEx
Create an extended Class instance for the specified class.
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.
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.
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.
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 - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
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
 
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
 
combinePredicateTemplate - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
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.
ConstructorEx<T> - Class in edu.rice.cs.cunit.subAnnot
Extended Constructor class to support annotations with subclassing.
ConstructorEx(Constructor<T>) - Constructor for class edu.rice.cs.cunit.subAnnot.ConstructorEx
Create an extended Constructor instance for the specified c.
ConstructorEx(Constructor<T>, ClassLoader) - Constructor for class edu.rice.cs.cunit.subAnnot.ConstructorEx
Create an extended Constructor instance for the specified c.
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.

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
 
DEFAULT_DAT_SUFFIX - Static variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
Default filename for the data log, if none specified by Java property.
DEFAULT_LOG_FILENAME - Static variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
Default filename for the log, if none specified by Java property.
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.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.
deleteInstr(CodeAttributeInfo) - Method in class edu.rice.cs.cunit.classFile.code.InstructionList
This method deletes the instruction at the program index.
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.
descriptor - Variable in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTableAttributeInfo.LocalVariableRecord
 
desiredAssertionStatus() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns the assertion status that would be assigned to this class if it were to be initialized at the time this method is invoked.
DistinctArguments - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run when the method argument indexed are distinct.
DistinctArguments - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
An annotation used to designate methods that are only allowed to be run when the method argument indexed are distinct.
distinctArguments - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
DistinctArguments.All - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run if all of the arguments are distinct, i.e.
DistinctArguments.Any - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run if one or more of the arguments are distinct, i.e.
DistinctArguments.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run if none of the arguments are distinct, i.e.
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 interface edu.rice.cs.cunit.instrumentors.IInstrumentationStrategy
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.
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.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.subAnnot - package edu.rice.cs.cunit.subAnnot
 
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.subAnnot - package edu.rice.cs.cunit.threadCheck.subAnnot
 
edu.rice.cs.cunit.threadCheck.subAnnot.predicates - package edu.rice.cs.cunit.threadCheck.subAnnot.predicates
 
edu.rice.cs.cunit.util - package edu.rice.cs.cunit.util
 
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.
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.
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 class edu.rice.cs.cunit.subAnnot.ClassEx
Compares this Constructor against the specified object.
equals(Object) - Method in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Compares this Constructor against the specified object.
equals(Object) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Compares this Field against the specified object.
equals(Object) - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Compares this Method against the specified object.
equals(Object) - Method in class edu.rice.cs.cunit.subAnnot.PackageEx
Compares this Constructor against the specified object.
equals(Object) - Method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.PredicateViolation
 
equals(Object) - Method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.ReflectionPredicateViolation
 
equals(Object) - Method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.Violation
 
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.
EventThread - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
An annotation used to designate methods that are only allowed to be run by the event thread.
EventThread.AfterRealized - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
An annotation used to designate methods that are only allowed to be run by the event thread after the component has been realized.
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
 
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.

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.
FieldEx - Class in edu.rice.cs.cunit.subAnnot
Extended Field class to support annotations with subclassing.
FieldEx(Field) - Constructor for class edu.rice.cs.cunit.subAnnot.FieldEx
Create an extended Field instance for the specified field.
FieldEx(Field, ClassLoader) - Constructor for class edu.rice.cs.cunit.subAnnot.FieldEx
Create an extended Field instance for the specified field.
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.
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.
findFieldAnnotationsAttributeInfo(Field) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Find the annotations attribute and assign it to the _ai field.
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.
findMethodAnnotationsAttributeInfo(Member, String, Class<?>[]) - Method in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Find the annotations attribute and assign it to the _ai field.
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.
flushLog() - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
Flush the log.
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.subAnnot.SubAnnotThreadCheck
Return the correct form, singular or plural, of the word, depending on the count.
forName(String) - Static method in class edu.rice.cs.cunit.subAnnot.ClassEx
Return an extended Class instance for the class with the specified class name.
forName(String, boolean, ClassLoader) - Static method in class edu.rice.cs.cunit.subAnnot.ClassEx
Return an extended Class instance for the class with the specified class name.
FREM - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
FRETURN - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
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.
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(Object) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Returns the value of the field represented by this Field, on the specified object.
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.
getAnnotatedElement() - Method in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Return the annotated element.
getAnnotatedElement() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Return the annotated element.
getAnnotatedElement() - Method in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Return the annotated element.
getAnnotatedElement() - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Return the annotated element.
getAnnotatedElement() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Return the annotated element.
getAnnotatedElement() - Method in class edu.rice.cs.cunit.subAnnot.PackageEx
Return the annotated element.
getAnnotation() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AnnotationMemberValue
Accessor for the 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.
getAnnotations(ClassEx<A>) - Method in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Return an array of the annotations attached to the element that are subclasses of the specified class.
getAnnotations(Class<A>) - Method in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Return an array of the annotations attached to the element that are subclasses of the specified class.
getAnnotations() - Method in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Return an array of all annotations attached to the element.
getAnnotations(ClassEx<A>) - Method in interface edu.rice.cs.cunit.subAnnot.AnnotatedElementEx
Return an array of the annotations attached to the element that are subclasses of the specified class.
getAnnotations(Class<A>) - Method in interface edu.rice.cs.cunit.subAnnot.AnnotatedElementEx
Return an array of the annotations attached to the element that are subclasses of the specified class.
getAnnotations() - Method in interface edu.rice.cs.cunit.subAnnot.AnnotatedElementEx
Return an array of all annotations attached to the element.
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.
getBoolean(Object) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Gets the value of a static or instance boolean field.
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.
getByte(Object) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Gets the value of a static or instance byte field.
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.
getCanonicalName() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns the canonical name of the the underlying class as defined by the Java Language Specification.
getChar(Object) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Gets the value of a static or instance field of type char or of another primitive type convertible to type char via a widening conversion.
getClassAccessFlags() - Method in class edu.rice.cs.cunit.classFile.ClassFile
Accessor for the class access flags.
getClassAnnotations(ClassEx) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
Get the annotations for the specified class file.
getClasses() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns a array containing extended Class objects representing all the public classes and interfaces that are members of the class represented by this extended Class object.
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.
getClassLoader() - Method in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Returns the class loader used.
getClassLoader() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns the class loader for the class.
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.
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.
getComponentType() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns the extended Class representing the component type of an array.
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.
getConstructor(Class...) - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an extended Constructor object that reflects the specified public constructor of the class represented by this extended Class object.
getConstructor(ClassEx...) - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an extended Constructor object that reflects the specified public constructor of the class represented by this extended Class object.
getConstructors() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an array containing extended Constructor objects reflecting all the public constructors of the class represented by this extended Class object.
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.
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.
getData() - Method in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo
Accessor for data.
getDeclaredAnnotations(ClassEx<A>) - Method in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Return an array of the annotations attached to the element that are subclasses of the specified class.
getDeclaredAnnotations(Class<A>) - Method in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Return an array of the annotations attached to the element that are subclasses of the specified class.
getDeclaredAnnotations() - Method in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Return an array of all annotations attached directly to the element.
getDeclaredAnnotations(ClassEx<A>) - Method in interface edu.rice.cs.cunit.subAnnot.AnnotatedElementEx
Return an array of the annotations attached to the element that are subclasses of the specified class.
getDeclaredAnnotations(Class<A>) - Method in interface edu.rice.cs.cunit.subAnnot.AnnotatedElementEx
Return an array of the annotations attached to the element that are subclasses of the specified class.
getDeclaredAnnotations() - Method in interface edu.rice.cs.cunit.subAnnot.AnnotatedElementEx
Return an array of all annotations attached directly to the element.
getDeclaredClasses() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an array of extended Class objects reflecting all the classes and interfaces declared as members of the class represented by this extended Class object.
getDeclaredConstructor(Class...) - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an extended Constructor object that reflects the specified constructor of the class or interface represented by this extended Class object.
getDeclaredConstructor(ClassEx...) - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an extended Constructor object that reflects the specified constructor of the class or interface represented by this extended Class object.
getDeclaredConstructors() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an array of extended Constructor objects reflecting all the constructors declared by the class represented by this extended Class object.
getDeclaredField(String) - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an extended Field object that reflects the specified declared field of the class or interface represented by this extended Class object.
getDeclaredFields() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an array of extended Field objects reflecting all the fields declared by the class represented by this extended Class object.
getDeclaredMethod(String, Class...) - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an extended Method object that reflects the specified declared method of the class or interface represented by this extended Class object.
getDeclaredMethod(String, ClassEx...) - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an extended Method object that reflects the specified declared method of the class or interface represented by this extended Class object.
getDeclaredMethods() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an array of extended Method objects reflecting all the methods declared by the class represented by this extended Class object.
getDeclaringClass() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
If the class or interface represented by this extended Class object is a member of another class, returns the extended Class object representing the class in which it was declared.
getDefaultValue() - Method in class edu.rice.cs.cunit.classFile.attributes.AnnotationDefaultAttributeInfo
Returns the default value stored in this attribute.
getDefaultValue() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns the default value for the annotation member represented by this Method instance.
getDefaultValues() - Method in class edu.rice.cs.cunit.subAnnot.AnnotationDynamicProxyHandler
Load default values for members not specified.
getDependencyFixPoint(Set<String>, List<String>) - Method in class edu.rice.cs.cunit.classFile.ClassFileTools
Return the class dependency fix point.
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.
getDouble(Object) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Gets the value of a static or instance field of type double or of another primitive type convertible to type double via a widening conversion.
getDoubleValue() - Method in class edu.rice.cs.cunit.classFile.constantPool.DoublePoolInfo
Accessor for the data.
getEnclosingClass() - Method in class edu.rice.cs.cunit.classFile.attributes.EnclosingMethodAttributeInfo
Return the enclosing class information.
getEnclosingClass() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns the immediately enclosing class of the underlying class.
getEnclosingConstructor() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
If this extended Class object represents a local or anonymous class within a constructor, returns an extended Constructor object representing the immediately enclosing constructor of the underlying class.
getEnclosingMethod() - Method in class edu.rice.cs.cunit.classFile.attributes.EnclosingMethodAttributeInfo
Return the enclosing method information.
getEnclosingMethod() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
If this extended Class object represents a local or anonymous class within a method, returns an extended Method object representing the immediately enclosing method of the underlying class.
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.
getEnumConstants() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns the elements of this enum class or null if this Class object does not represent an enum type.
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.
getExceptionTypes() - Method in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Returns an array of Class objects that represent the types of exceptions declared to be thrown by the underlying constructor represented by this Constructor object.
getExceptionTypes() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns an array of Class objects that represent the types of the exceptions declared to be thrown by the underlying method represented by this Method object.
GETFIELD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
getField(String) - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an extended Field object that reflects the specified field of the class or interface represented by this extended Class object.
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.
getFields() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an array containing extended Field objects reflecting all the accessible public fields of the class or interface represented by this extended Class object.
getFile() - Method in class edu.rice.cs.cunit.classFile.ClassFileTools.ClassLocation
 
getFloat(Object) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Gets the value of a static or instance field of type float or of another primitive type convertible to type float via a widening conversion.
getFloatValue() - Method in class edu.rice.cs.cunit.classFile.constantPool.FloatPoolInfo
Accessor for the data.
getGenericExceptionTypes() - Method in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Returns an array of Type objects that represent the exceptions declared to be thrown by this Constructor object.
getGenericExceptionTypes() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns an array of Type objects that represent the exceptions declared to be thrown by this Method object.
getGenericInterfaces() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns the Types representing the interfaces directly implemented by the class or interface represented by this object.
getGenericParameterTypes() - Method in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Returns an array of Type objects that represent the formal parameter types, in declaration order, of the method represented by this Constructor object.
getGenericParameterTypes() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns an array of Type objects that represent the formal parameter types, in declaration order, of the method represented by this Method object.
getGenericReturnType() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns a Type object that represents the formal return type of the method represented by this Method object.
getGenericSuperclass() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns the Type representing the direct superclass of the entity (class, interface, primitive type or void) represented by this Class.
getGenericType() - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Returns a Type object that represents the declared type for the field represented by this Field object.
getImplementationTitle() - Method in class edu.rice.cs.cunit.subAnnot.PackageEx
Return the title of this package.
getImplementationVendor() - Method in class edu.rice.cs.cunit.subAnnot.PackageEx
Returns the name of the organization, vendor or company that provided this implementation.
getImplementationVersion() - Method in class edu.rice.cs.cunit.subAnnot.PackageEx
Return the version of this implementation.
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.
getInt(Object) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Gets the value of a static or instance field of type int or of another primitive type convertible to type int via a widening conversion.
getInterfaces() - Method in class edu.rice.cs.cunit.classFile.ClassFile
Accessor for the interface list.
getInterfaces() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Determines the interfaces implemented by the class or interface represented by this object.
getIntValue() - Method in class edu.rice.cs.cunit.classFile.constantPool.IntegerPoolInfo
Accessor for the data.
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.
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.
getLocalVarAnnotationsAttributeInfo(Member, String, Class<?>[]) - Method in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Return the local variable annotations attribute.
getLocalVariableAnnotations() - Method in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Returns a map from local variable names to arrays of annotations associated with them.
getLocalVariableAnnotations() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns a map from local variable names to arrays of annotations associated with them.
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.
getLong(Object) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Gets the value of a static or instance field of type long or of another primitive type convertible to type long via a widening conversion.
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.
getMemberValue(AAnnotationsAttributeInfo.Annotation.NameValuePair, Class<? extends Annotation>) - Method in class edu.rice.cs.cunit.subAnnot.AnnotationDynamicProxyHandler
Return the value specified in the
getMethod(String, Class...) - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an extended Method object that reflects the specified method of the class or interface represented by this extended Class object.
getMethod(String, ClassEx...) - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an array containing extended Method objects reflecting all the public member methods of the class or interface represented by this extended Class object, including those declared by the class or interface and those inherited from superclasses and superinterfaces.
getMethodAnnotations(ClassEx, MethodEx) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
Get the annotations for the specified method in the specified class file.
getMethodDescriptor(MethodEx) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
Return the method descriptor for the method.
getMethods() - Method in class edu.rice.cs.cunit.classFile.ClassFile
Accessor for the methods list.
getMethods() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an array containing extended Method objects reflecting all the public member methods of the class or interface represented by this extended Class object, including those declared by the class or interface and those inherited from superclasses and superinterfaces.
getMethodWithNameAndDescriptor(ClassEx, String, String) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
Return the method with the specified name and descriptor.
getMinorVersion() - Method in class edu.rice.cs.cunit.classFile.ClassFile
Accessor for the minor version.
getModifiers() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns the Java language modifiers for this class or interface, encoded in an integer.
getModifiers() - Method in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Returns the Java language modifiers for the constructor represented by this Constructor object, as an integer.
getModifiers() - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Returns the Java language modifiers for the field represented by this Field object, as an integer.
getModifiers() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns the Java language modifiers for the method represented by this Method object, as an integer.
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.subAnnot.ClassEx
Returns the name of the entity (class, interface, array class, primitive type, or void) represented by this Class object, as a String.
getName() - Method in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Returns the name of this constructor, as a string.
getName() - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Returns the name of the field represented by this Field object.
getName() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns the name of the method represented by this Method object, as a String.
getName() - Method in class edu.rice.cs.cunit.subAnnot.PackageEx
Return the name of this package.
getNameAndType() - Method in class edu.rice.cs.cunit.classFile.constantPool.AClassNameTypePoolInfo
Accessor for the NameAndType information.
getNextSignature(String) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools
Return the next descriptor from a string of concatenated signatures.
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.
getPackage() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Gets the package for this class.
getPackage(String) - Static method in class edu.rice.cs.cunit.subAnnot.PackageEx
Return an extended Package instance for the class with the specified package name.
getPackages() - Static method in class edu.rice.cs.cunit.subAnnot.PackageEx
Return an array of all extended Package instances known to the caller's ClassLoader instance.
getPairs() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation
Returns a list of the pairs.
getParameterAnnotations() - Method in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Returns an array of arrays that represent the annotations on the formal parameters, in declaration order, of the method represented by this Method object.
getParameterAnnotations() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns an array of arrays that represent the annotations on the formal parameters, in declaration order, of the method represented by this Method object.
getParameterAnnotationsAttributeInfo(Member, String, Class<?>[]) - Method in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Return the parameter annotations attribute.
getParameterTypes() - Method in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Returns an array of Class objects that represent the formal parameter types, in declaration order, of the constructor represented by this Constructor object.
getParameterTypes() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns an array of Class objects that represent the formal parameter types, in declaration order, of the method represented by this Method object.
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.
getPredicateSets(Annotation[]) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
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.
getProtectionDomain() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns the ProtectionDomain of this class.
getReference() - Method in class edu.rice.cs.cunit.classFile.code.instructions.ReferenceInstruction
Get the constant pool id.
getResource(String) - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Finds a resource with a given name.
getResourceAsStream(String) - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Finds a resource with a given name.
getReturnType() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns a Class object that represents the formal return type of the method represented by this Method object.
getShort(Object) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Gets the value of a static or instance field of type short or of another primitive type convertible to type short via a widening conversion.
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.
getSignature() - Method in class edu.rice.cs.cunit.classFile.MethodInfo
Return the method's signature, i.e.
getSignatures(String) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools
Return a list of signatures.
getSigners() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Gets the signers of this class.
getSimpleName() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns the simple name of the underlying class as given in the source code.
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.
getSpecificationTitle() - Method in class edu.rice.cs.cunit.subAnnot.PackageEx
Return the title of the specification that this package implements.
getSpecificationVendor() - Method in class edu.rice.cs.cunit.subAnnot.PackageEx
Return the name of the organization, vendor, or company that owns and maintains the specification of the classes that implement this package.
getSpecificationVersion() - Method in class edu.rice.cs.cunit.subAnnot.PackageEx
Returns the version number of the specification that this package implements.
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
 
getSuperClass() - Method in class edu.rice.cs.cunit.classFile.ClassFile
Accessor for the superclass.
getSuperclass() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns the extended Class representing the superclass of the entity (class, interface, primitive type or void) represented by this extended Class.
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.
getType() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation
Returns the type of the annotation.
getType() - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Returns a Class object that identifies the declared type for the field represented by this Field object.
getTypeName() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.EnumMemberValue
Accessor for the type name.
getTypeParameters() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns an array of TypeVariable objects that represent the type variables declared by the generic declaration represented by this GenericDeclaration object, in declaration order.
getTypeParameters() - Method in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Returns an array of TypeVariable objects that represent the type variables declared by the generic declaration represented by this GenericDeclaration object, in declaration order.
getTypeParameters() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns an array of TypeVariable objects that represent the type variables declared by the generic declaration represented by this GenericDeclaration object, in declaration order.
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.
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.
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
 

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 class edu.rice.cs.cunit.subAnnot.ClassEx
Returns a hashcode for this Constructor.
hashCode() - Method in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Returns a hashcode for this Constructor.
hashCode() - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Returns a hashcode for this Field.
hashCode() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns a hashcode for this Method.
hashCode() - Method in class edu.rice.cs.cunit.subAnnot.PackageEx
Return the hash code computed from the package name.
hashCode() - Method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.PredicateViolation
 
hashCode() - Method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.ReflectionPredicateViolation
 
hashCode() - Method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.Violation
 
hashCode() - Method in class edu.rice.cs.cunit.util.Pair
Return a hashcode for this pair.

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
 
Implies - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
This annotation combines other invariant annotations using Boolean implication.
IMUL - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
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
 
initLog() - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
Initialize the error log.
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.
insertInstr(AInstruction, CodeAttributeInfo) - Method in class edu.rice.cs.cunit.classFile.code.InstructionList
This method inserts the instruction at the program counter.
INSTANCEOF - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
INSTANCEOF_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
InstructionList - Class in edu.rice.cs.cunit.classFile.code
Represents a list of Java instructions.
InstructionList(byte[]) - Constructor for class edu.rice.cs.cunit.classFile.code.InstructionList
Constructor.
InstructionList(InstructionList) - Constructor for class edu.rice.cs.cunit.classFile.code.InstructionList
Copy constructor.
InstructionList(byte[], int) - Constructor for class edu.rice.cs.cunit.classFile.code.InstructionList
Constructor.
instrument(ClassFile) - Method in interface edu.rice.cs.cunit.instrumentors.IInstrumentationStrategy
Instrument the class.
InstrumentationAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes
Represents the Instrumentation attribute in a class file.
InstrumentationAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.InstrumentationAttributeInfo
Constructor.
instrumentationCase(InstrumentationAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor
Case for a Instrumentation attribute.
instrumentationCase(InstrumentationAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor
Case for a Instrumentation attribute.
intCase(IntegerPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.ADefaultPoolInfoVisitor
Case for int info.
intCase(IntegerPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.AValueReferencePoolInfoVisitor
Case for int info.
intCase(IntegerPoolInfo, D) - Method in interface edu.rice.cs.cunit.classFile.constantPool.visitors.IPoolInfoVisitor
Case for int info.
IntegerPoolInfo - Class in edu.rice.cs.cunit.classFile.constantPool
Represents an integer in the constant pool.
IntegerPoolInfo(int, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.IntegerPoolInfo
Constructor.
IntegerPoolInfo(DataInputStream, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.IntegerPoolInfo
Constructor reading from a stream.
interfaceMethodCase(InterfaceMethodPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.ADefaultPoolInfoVisitor
Case for interface method info.
interfaceMethodCase(InterfaceMethodPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.AValueReferencePoolInfoVisitor
Case for interface method info.
interfaceMethodCase(InterfaceMethodPoolInfo, D) - Method in interface edu.rice.cs.cunit.classFile.constantPool.visitors.IPoolInfoVisitor
Case for interface method info.
InterfaceMethodPoolInfo - Class in edu.rice.cs.cunit.classFile.constantPool
Represents a method in the constant pool.
InterfaceMethodPoolInfo(ClassPoolInfo, NameAndTypePoolInfo, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.InterfaceMethodPoolInfo
Constructor
InterfaceMethodPoolInfo(DataInputStream, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.InterfaceMethodPoolInfo
Constructor reading from a stream.
intFromBytes(byte[], int) - Static method in class edu.rice.cs.cunit.util.Types
Construct an int from four bytes in a byte array.
InvariantAnnotation - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot
This is the base annotation for all invariant annotations.
invoke(Object, Method, Object[]) - Method in class edu.rice.cs.cunit.subAnnot.AnnotationDynamicProxyHandler
Processes a method invocation on a proxy instance and returns the result.
invoke(Object, Object...) - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Invokes the underlying method represented by this Method object, on the specified object with the specified parameters.
INVOKEINTERFACE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
INVOKEINTERFACE_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
INVOKENONVIRTUAL_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
INVOKESPECIAL - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
INVOKESTATIC - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
INVOKESTATIC_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
INVOKESUPER_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
INVOKEVIRTUAL - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
INVOKEVIRTUAL_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
INVOKEVIRTUAL_QUICK_W - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
INVOKEVIRTUALOBJECT_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
IOR - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
IPoolInfoVisitor<R,D> - Interface in edu.rice.cs.cunit.classFile.constantPool.visitors
Visitor on constant pool info objects.
IREM - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
IRETURN - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
isAnnotation() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns true if this Class object represents an annotation type.
isAnnotationPresent(ClassEx<? extends Annotation>) - Method in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Returns true if an annotation for the specified type or one of its subtypes is present on this element, else false.
isAnnotationPresent(Class<? extends Annotation>) - Method in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Returns true if an annotation for the specified type or one of its subtypes is present on this element, else false.
isAnnotationPresent(ClassEx<? extends Annotation>) - Method in interface edu.rice.cs.cunit.subAnnot.AnnotatedElementEx
Returns true if an annotation for the specified type or one of its subtypes is present on this element, else false.
isAnnotationPresent(Class<? extends Annotation>) - Method in interface edu.rice.cs.cunit.subAnnot.AnnotatedElementEx
Returns true if an annotation for the specified type or one of its subtypes is present on this element, else false.
isAnonymousClass() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns true if and only if the underlying class is an anonymous class.
isArray() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Determines if this Class object represents an array class.
isAssignableFrom(Class) - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Determines if the class or interface represented by this Class object is either the same as, or is a superclass or superinterface of, the class or interface represented by the specified Class parameter.
isAvailable() - Method in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Returns true if the class file was found and additional information is available beyond what Java's Class class might return.
isAvailable() - Method in interface edu.rice.cs.cunit.subAnnot.AnnotatedElementEx
Returns true if the class file was found and additional information is available beyond what Java's Class class might return.
isBranch - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
Table determining if an code is a branch instruction.
isBranch(byte) - Static method in class edu.rice.cs.cunit.classFile.code.Opcode
Return true if the specified code is a branch instruction.
isBridge() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns true if this method is a bridge method; returns false otherwise.
isCompatibleWith(String) - Method in class edu.rice.cs.cunit.subAnnot.PackageEx
Compare this package's specification version with a desired version.
isDeclaredAnnotationPresent(ClassEx<? extends Annotation>) - Method in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Returns true if an annotation for the specified type or one of its subtypes is present on this element, else false.
isDeclaredAnnotationPresent(Class<? extends Annotation>) - Method in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Returns true if an annotation for the specified type or one of its subtypes is present on this element, else false.
isDeclaredAnnotationPresent(ClassEx<? extends Annotation>) - Method in interface edu.rice.cs.cunit.subAnnot.AnnotatedElementEx
Returns true if an annotation for the specified type or one of its subtypes is present on this element, else false.
isDeclaredAnnotationPresent(Class<? extends Annotation>) - Method in interface edu.rice.cs.cunit.subAnnot.AnnotatedElementEx
Returns true if an annotation for the specified type or one of its subtypes is present on this element, else false.
isEnum() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns true if and only if this class was declared as an enum in the source code.
isEnumConstant() - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Returns true if this field represents an element of an enumerated type; returns false otherwise.
ISHL - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
ISHR - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
isInstance(Object) - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Determines if the specified Object is assignment-compatible with the object represented by this Class.
isInterface() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Determines if the specified Class object represents an interface type.
isJSR(byte) - Static method in class edu.rice.cs.cunit.classFile.code.Opcode
Return true if the specified code is a subroutine call.
isLocalClass() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns true if and only if the underlying class is a local class.
isMemberClass() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns true if and only if the underlying class is a member class.
isPrimitive(String) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools
Return true if this is a primitive type or an array of primitive types.
isPrimitive() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Determines if the specified Class object represents a primitive type.
isReturn(byte) - Static method in class edu.rice.cs.cunit.classFile.code.Opcode
Return true if the specified code is a return instruction.
isSealed() - Method in class edu.rice.cs.cunit.subAnnot.PackageEx
Returns true if this package is sealed.
isSealed(URL) - Method in class edu.rice.cs.cunit.subAnnot.PackageEx
Returns true if this package is sealed with respect to the specified code source url.
isSynthetic() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Returns true if this class is a synthetic class; returns false otherwise.
isSynthetic() - Method in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Returns true if this constructor is a synthetic constructor; returns false otherwise.
isSynthetic() - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Returns true if this field is a synthetic field; returns false otherwise.
isSynthetic() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns true if this method is a synthetic method; returns false otherwise.
ISTORE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
ISTORE_0 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
ISTORE_1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
ISTORE_2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
ISTORE_3 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
ISUB - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
isUnconditionalBranch(byte) - Static method in class edu.rice.cs.cunit.classFile.code.Opcode
Return true if the specified code is an unconditional branch instruction.
isVarArgs() - Method in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Returns true if this constructor was declared to take a variable number of arguments; returns false otherwise.
isVarArgs() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns true if this method was declared to take a variable number of arguments; returns false otherwise.
IUSHR - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
IXOR - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 

J

java - Variable in class edu.rice.cs.cunit.subAnnot.ClassEx
The java.lang.Class object that represents the class.
java - Variable in class edu.rice.cs.cunit.subAnnot.ConstructorEx
The java.lang.reflect.Constructor object that represents the constructor.
java - Variable in class edu.rice.cs.cunit.subAnnot.FieldEx
The java.lang.reflect.Field object that represents the field.
java - Variable in class edu.rice.cs.cunit.subAnnot.MethodEx
The java.lang.reflect.Method object that represents the method.
java - Variable in class edu.rice.cs.cunit.subAnnot.PackageEx
The java.lang.reflect.Package object that represents the package.
JAVA_FILE_MAGIC - Static variable in class edu.rice.cs.cunit.classFile.ClassFile
Java file magic, 0xCAFEBABE.
JSR - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
JSR_W - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 

L

L2D - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
L2F - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
L2I - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LADD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LALOAD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LAND - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LASTORE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LCMP - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LCONST_0 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LCONST_1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LDC - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LDC2_W - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LDC2_W_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LDC_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LDC_W - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LDC_W_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LDIV - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
length - Variable in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTableAttributeInfo.LocalVariableRecord
 
length - Variable in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTypeTableAttributeInfo.LocalVariableTypeRecord
 
LF - Static variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.Violation
 
lineNo - Variable in class edu.rice.cs.cunit.classFile.attributes.LineNumberTableAttributeInfo.LineNumberRecord
 
LineNumberTable - Class in edu.rice.cs.cunit.classFile.code.instructions
A table that relates PC values to line numbers.
LineNumberTable(byte[]) - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.LineNumberTable
Create the line number table from bytecode.
LineNumberTable(LinkedList<AInstruction>) - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.LineNumberTable
Create a line number table from a list of instructions.
LineNumberTable(InstructionList) - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.LineNumberTable
Create a line number table from a list of instructions.
LineNumberTableAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes
Represents the LineNumberTable attribute in a class file.
LineNumberTableAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.LineNumberTableAttributeInfo
Constructor.
LineNumberTableAttributeInfo.LineNumberRecord - Class in edu.rice.cs.cunit.classFile.attributes
Storage class for line number/program counter _pairs.
LineNumberTableAttributeInfo.LineNumberRecord(int, int) - Constructor for class edu.rice.cs.cunit.classFile.attributes.LineNumberTableAttributeInfo.LineNumberRecord
 
lineNumberTableCase(LineNumberTableAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor
Case for LineNumberTable attribute.
lineNumberTableCase(LineNumberTableAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor
Case for LineNumberTable attribute.
LLOAD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LLOAD_0 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LLOAD_1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LLOAD_2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LLOAD_3 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LMUL - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LNEG - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
loadClassFromStream(InputStream) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools
Load class file info from the stream.
LocalVariableTableAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes
Represents the LocalVariableTable attribute in a class file.
LocalVariableTableAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.LocalVariableTableAttributeInfo
Constructor.
LocalVariableTableAttributeInfo.LocalVariableRecord - Class in edu.rice.cs.cunit.classFile.attributes
Storage class for line number/program counter _pairs.
LocalVariableTableAttributeInfo.LocalVariableRecord(int, int, AUTFPoolInfo, AUTFPoolInfo, int) - Constructor for class edu.rice.cs.cunit.classFile.attributes.LocalVariableTableAttributeInfo.LocalVariableRecord
 
localVariableTableCase(LocalVariableTableAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor
Case for LocalVariableTable attribute.
localVariableTableCase(LocalVariableTableAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor
Case for LocalVariableTable attribute.
LocalVariableTypeTableAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes
Represents the LocalVariableTyoeTable attribute in a class file.
LocalVariableTypeTableAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.LocalVariableTypeTableAttributeInfo
Constructor.
LocalVariableTypeTableAttributeInfo.LocalVariableTypeRecord - Class in edu.rice.cs.cunit.classFile.attributes
Storage class for line number/program counter _pairs.
LocalVariableTypeTableAttributeInfo.LocalVariableTypeRecord(int, int, AUTFPoolInfo, AUTFPoolInfo, int) - Constructor for class edu.rice.cs.cunit.classFile.attributes.LocalVariableTypeTableAttributeInfo.LocalVariableTypeRecord
 
localVariableTypeTableCase(LocalVariableTypeTableAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor
Case for LocalVariableTypeTable attribute.
localVariableTypeTableCase(LocalVariableTypeTableAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor
Case for LocalVariableTypeTable attribute.
log(String) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
Log to the log file.
LOG_FILENAME_PROPERTY - Static variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
Name of the Java property that determines the log filename.
longCase(LongPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.ADefaultPoolInfoVisitor
Case for long info.
longCase(LongPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.AValueReferencePoolInfoVisitor
Case for long info.
longCase(LongPoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckLongVisitor
Return host.
longCase(LongPoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.GetPoolInfoSizeVisitor
Returns 2
longCase(LongPoolInfo, D) - Method in interface edu.rice.cs.cunit.classFile.constantPool.visitors.IPoolInfoVisitor
Case for long info.
LongPoolInfo - Class in edu.rice.cs.cunit.classFile.constantPool
Represents a long in the constant pool.
LongPoolInfo(long, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.LongPoolInfo
Constructor.
LongPoolInfo(DataInputStream, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.LongPoolInfo
Constructor reading from a stream.
LOOKUPSWITCH - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LookupSwitchInstruction - Class in edu.rice.cs.cunit.classFile.code.instructions
LOOKUPSWITCH Java instruction.
LookupSwitchInstruction(int, int[], int[]) - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.LookupSwitchInstruction
Constructor.
LookupSwitchInstruction(byte[], int, int, LineNumberTable) - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.LookupSwitchInstruction
Make a new LOOKUPSWITCH instruction from the bytecode stating at pc, padded using paddingPC, and use the line number table for branches.
LOR - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LREM - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LRETURN - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LSHL - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LSHR - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LSTORE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LSTORE_0 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LSTORE_1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LSTORE_2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LSTORE_3 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LSUB - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LUSHR - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
LXOR - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 

M

makeInstruction(byte[], int, int, LineNumberTable) - Static method in class edu.rice.cs.cunit.classFile.code.instructions.AInstruction
Make an instruction from the bytecode starting at pc, using the specified padding PC and the line number table.
mark - Variable in class edu.rice.cs.cunit.util.PositionInputStream
Mark.
mark(int) - Method in class edu.rice.cs.cunit.util.PositionInputStream
 
maxLocals - Variable in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo.CodeProperties
 
maxStack - Variable in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo.CodeProperties
 
methodArgs - Variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.ReflectionPredicateViolation
 
methodCase(MethodPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.ADefaultPoolInfoVisitor
Case for method info.
methodCase(MethodPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.AValueReferencePoolInfoVisitor
Case for method info.
methodCase(MethodPoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckMethodVisitor
Case for method info.
methodCase(MethodPoolInfo, D) - Method in interface edu.rice.cs.cunit.classFile.constantPool.visitors.IPoolInfoVisitor
Case for method info.
MethodEx - Class in edu.rice.cs.cunit.subAnnot
Extended Method class to support annotations with subclassing.
MethodEx(Method) - Constructor for class edu.rice.cs.cunit.subAnnot.MethodEx
Create an extended Method instance for the specified method.
MethodEx(Method, ClassLoader) - Constructor for class edu.rice.cs.cunit.subAnnot.MethodEx
Create an extended Method instance for the specified method.
MethodInfo - Class in edu.rice.cs.cunit.classFile
Represents a method in a class file.
MethodInfo(short, AUTFPoolInfo, AUTFPoolInfo, AAttributeInfo[]) - Constructor for class edu.rice.cs.cunit.classFile.MethodInfo
Constructor
MethodInfo(DataInputStream, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.MethodInfo
Constructor
MethodPoolInfo - Class in edu.rice.cs.cunit.classFile.constantPool
Represents a method in the constant pool.
MethodPoolInfo(ClassPoolInfo, NameAndTypePoolInfo, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.MethodPoolInfo
Constructor
MethodPoolInfo(DataInputStream, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.MethodPoolInfo
Constructor reading from a stream.
MONITORENTER - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
MONITOREXIT - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
MULTIANEWARRAY - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
MULTIANEWARRAY_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 

N

name - Variable in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.NameValuePair
Name.
name - Variable in class edu.rice.cs.cunit.classFile.attributes.AMultipleNamedAnnotationsAttributeInfo.NamedAnnotationsRecord
 
NAME - Static variable in class edu.rice.cs.cunit.classFile.attributes.InstrumentationAttributeInfo
Name of this attribute.
name - Variable in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTableAttributeInfo.LocalVariableRecord
 
name - Variable in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTypeTableAttributeInfo.LocalVariableTypeRecord
 
nameAndTypeCase(NameAndTypePoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.ADefaultPoolInfoVisitor
Case for name and type info.
nameAndTypeCase(NameAndTypePoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.AValueReferencePoolInfoVisitor
Case for name and type info.
nameAndTypeCase(NameAndTypePoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckNameAndTypeVisitor
Case for name and type info.
nameAndTypeCase(NameAndTypePoolInfo, D) - Method in interface edu.rice.cs.cunit.classFile.constantPool.visitors.IPoolInfoVisitor
Case for name and type info.
NameAndTypePoolInfo - Class in edu.rice.cs.cunit.classFile.constantPool
Represents a name-and-type object in the constant pool.
NameAndTypePoolInfo(AUTFPoolInfo, AUTFPoolInfo, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo
Constructor.
NameAndTypePoolInfo(DataInputStream, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo
Constructor reading from a stream.
NAMES - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
Table of mnemonics.
NEW - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
NEW_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
NEWARRAY - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
newInstance() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Creates a new instance of the class represented by this Class object.
newInstance(Object[]) - Method in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Uses the constructor represented by this Constructor object to create and initialize a new instance of the constructor's declaring class, with the specified initialization parameters.
NoneSynchronizedField - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are not allowed to run if the monitor of the field specified by class and field name is owned by any thread.
noneSynchronizedField - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
NoneSynchronizedField.ByName - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are not allowed to run if the monitor of the field specified by class name and field name is owned by any thread.
NoneSynchronizedField.ByName.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run when none of the monitors of the fields specified are owned by any thread, i.e.
NoneSynchronizedField.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run when none of the monitors of the fields specified are owned by any thread, i.e.
NoneSynchronizedThis - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are not allowed to be run when the monitor of "this" is owned by any thread.
noneSynchronizedThis - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
NoOpPoolInfoVisitor<R,D> - Class in edu.rice.cs.cunit.classFile.constantPool.visitors
Abstract visitor in which all cases call a default method.
NoOpPoolInfoVisitor() - Constructor for class edu.rice.cs.cunit.classFile.constantPool.visitors.NoOpPoolInfoVisitor
 
NOP - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
Not - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
This annotation inverts the other invariant annotation using Boolean not.
NotEventThread - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are not allowed to be run by the event thread.
notEventThread - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
NotNullArgument - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is not not null.
notNullArgument - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
NotNullArgument.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are not allowed to to have any of the method arguments be null i.e.
NotReflectionThreadCheckPredicates - Class in edu.rice.cs.cunit.threadCheck.predicates
Class containing several common predicates for the @Not* annotations that use reflection.
NotReflectionThreadCheckPredicates() - Constructor for class edu.rice.cs.cunit.threadCheck.predicates.NotReflectionThreadCheckPredicates
 
notReflectionThreadCheckPredicates - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
NotRunBy - Annotation Type in edu.rice.cs.cunit.threadCheck
Annotation for a class or method signaling that it should not be run by the designated threads.
notRunBy - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
NotSynchronizedArgument - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run when the monitor of the method argument indexed by value is not owned.
notSynchronizedArgument - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
NotSynchronizedArgument.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are not allowed to be own any of the monitors of the fields specified, i.e.
NotSynchronizedField - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are not allowed to own the monitor of the field specified by class and field name.
notSynchronizedField - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
NotSynchronizedField.ByName - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are not allowed to own the monitor of the field specified by class name and field name.
NotSynchronizedField.ByName.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are not allowed to be own any of the monitors of the fields specified, i.e.
NotSynchronizedField.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are not allowed to be own any of the monitors of the fields specified, i.e.
NotSynchronizedThis - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are not allowed to be run when the monitor of "this" is owned.
notSynchronizedThis - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
NotThreadCheckPredicates - Class in edu.rice.cs.cunit.threadCheck.predicates
Class containing several common predicates used by the @Not* annotations.
NotThreadCheckPredicates() - Constructor for class edu.rice.cs.cunit.threadCheck.predicates.NotThreadCheckPredicates
 
notThreadCheckPredicates - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
NotThreadInField - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are not allowed to be run by the thread in the field specified by class and field name.
notThreadInField - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
NotThreadInField.ByName - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are not allowed to be run by the thread in the field specified by class name and field name.
NotThreadInField.ByName.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are not allowed to be run by any of the threads specified in the fields, i.e.
NotThreadInField.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are not allowed to be run by any of the threads specified in the fields, i.e.
NotThreadWithGroupName - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are not allowed to be run by a thread with the specified thread group name.
notThreadWithGroupName - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
NotThreadWithGroupName.InField - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are not allowed to be run by a thread whose thread group name is equal to the string in the field specified by class and field name.
NotThreadWithGroupName.InField.ByName - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are not allowed to be run by a thread whose thread group name is equal to the string in the field specified by class name and field name.
NotThreadWithGroupName.InField.ByName.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are not allowed to be run by a thread whose thread group name matches the string in any of the fields provided, i.e.
NotThreadWithGroupName.InField.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are not allowed to be run by a thread whose thread group name matches the string in any of the fields provided, i.e.
NotThreadWithGroupName.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are not allowed to be run by a thread whose thread group name matches any of the names provided, i.e.
NotThreadWithName - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are not allowed to be run by a thread with the specified name.
notThreadWithName - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
NotThreadWithName.InField - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are not allowed to be run by a thread whose name is equal to the string in the field specified by class and field name.
NotThreadWithName.InField.ByName - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are not allowed to be run by a thread whose name is equal to the string in the field specified by class name and field name.
NotThreadWithName.InField.ByName.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are not allowed to be run by a thread whose name matches the string in any of the fields provided, i.e.
NotThreadWithName.InField.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are not allowed to be run by a thread whose name matches the string in any of the fields provided, i.e.
NotThreadWithName.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are not allowed to be run by a thread whose name matches any of the names provided, i.e.
NullArgument - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is null.
NumberBoundedArgument - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is null.
NumberBoundedArgument - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is null.
numberBoundedArgument - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
NumberBoundedArgument.All - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run if all of the bounds are met, i.e.
NumberBoundedArgument.Any - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run if one or more of the bounds are met, i.e.
NumberBoundedArgument.Mode - Enum in edu.rice.cs.cunit.threadCheck.predicates
Mode of bounding.
NumberBoundedArgument.Mode() - Constructor for enum edu.rice.cs.cunit.threadCheck.predicates.NumberBoundedArgument.Mode
 
NumberBoundedArgument.Mode - Enum in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
Mode of bounding.
NumberBoundedArgument.Mode() - Constructor for enum edu.rice.cs.cunit.threadCheck.subAnnot.predicates.NumberBoundedArgument.Mode
 
NumberBoundedArgument.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run if none of the bounds are met, i.e.
numEntries - Variable in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ArrayMemberValue
Number of entries in array.

O

OFFSET - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
Table with code offsets.
OnlyEventThread - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run by the event thread.
onlyEventThread - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
OnlyEventThread.AfterRealized - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run by the event thread after the component has been realized.
OnlyNullArgument - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is null.
onlyNullArgument - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
OnlyNullArgument.All - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run if all of the method arguments are null, i.e.
OnlyNullArgument.Any - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run if one or more of the method arguments are null, i.e.
OnlyRunBy - Annotation Type in edu.rice.cs.cunit.threadCheck
Annotation for a class or method signaling that it should only be run by the designated threads.
onlyRunBy - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
OnlyRunBy.EVENT_THREAD - Enum in edu.rice.cs.cunit.threadCheck
Describes selection of the event thread.
OnlyRunBy.EVENT_THREAD() - Constructor for enum edu.rice.cs.cunit.threadCheck.OnlyRunBy.EVENT_THREAD
 
OnlySynchronizedArgument - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run when the monitor of the method argument indexed by value is owned.
onlySynchronizedArgument - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
OnlySynchronizedArgument.All - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run if they own all of the monitors specified in the method arguments, i.e.
OnlySynchronizedArgument.Any - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run if they own one or more of the monitors specified in the method arguments, i.e.
OnlySynchronizedField - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to run if they own the monitor of the field specified by class and field name.
onlySynchronizedField - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
OnlySynchronizedField.All - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run if they own all of the monitors specified in the fields, i.e.
OnlySynchronizedField.Any - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run if they own one or more of the monitors specified in the fields, i.e.
OnlySynchronizedField.ByName - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run by the thread in the field specified by class name and field name.
OnlySynchronizedField.ByName.All - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run if they own one or more of the monitors specified in the fields, i.e.
OnlySynchronizedField.ByName.Any - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run if they own one or more of the monitors specified in the fields, i.e.
OnlySynchronizedThis - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run when the monitor of "this" is owned.
onlySynchronizedThis - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
OnlyThreadInField - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run by the thread in the field specified by class and field name.
onlyThreadInField - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
OnlyThreadInField.Any - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run by one of the threads specified in the fields, i.e.
OnlyThreadInField.ByName - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run by the thread in the field specified by class name and field name.
OnlyThreadInField.ByName.Any - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run by one of the threads specified in the fields, i.e.
OnlyThreadWithGroupName - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run by a thread with the specified group name.
onlyThreadWithGroupName - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
OnlyThreadWithGroupName.Any - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run by a thread whose thread group name is equal to one of the names provided, i.e.
OnlyThreadWithGroupName.InField - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run by a thread whose group name is equal to the string in the field specified by class and field name.
OnlyThreadWithGroupName.InField.Any - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run by a thread whose name is equal to the string in one of the fields provided, i.e.
OnlyThreadWithGroupName.InField.ByName - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run by a thread whose group name is equal to the string in the field specified by class name and field name.
OnlyThreadWithGroupName.InField.ByName.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run by a thread whose name is equal to the string in one of the fields provided, i.e.
OnlyThreadWithName - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run by a thread with the specified name.
onlyThreadWithName - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
OnlyThreadWithName.Any - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run by a thread whose name is equal to one of the names provided, i.e.
OnlyThreadWithName.InField - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run by a thread whose name is equal to the string in the field specified by class and field name.
OnlyThreadWithName.InField.Any - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run by a thread whose name is equal to the string in one of the fields provided, i.e.
OnlyThreadWithName.InField.ByName - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run by a thread whose name is equal to the string in the field specified by class name and field name.
OnlyThreadWithName.InField.ByName.Any - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run by a thread whose name is equal to the string in one of the fields provided, i.e.
Opcode - Class in edu.rice.cs.cunit.classFile.code
Java opcode class.
Opcode() - Constructor for class edu.rice.cs.cunit.classFile.code.Opcode
 
Or - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
This annotation combines other invariant annotations using Boolean or.
outerClass - Variable in class edu.rice.cs.cunit.classFile.attributes.InnerClassesAttributeInfo.InnerClassesRecord
 

P

PackageEx - Class in edu.rice.cs.cunit.subAnnot
Extended Package class to support annotations with subclassing.
PackageEx(Package) - Constructor for class edu.rice.cs.cunit.subAnnot.PackageEx
Create an extended Package instance for the specified package.
PackageEx(Package, ClassLoader) - Constructor for class edu.rice.cs.cunit.subAnnot.PackageEx
Create an extended Package instance for the specified package.
Pair<FIRST,SECOND> - Class in edu.rice.cs.cunit.util
Generic pair container.
Pair(FIRST, SECOND) - Constructor for class edu.rice.cs.cunit.util.Pair
Create a new pair of the specified values.
POP - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
POP2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
pos - Variable in class edu.rice.cs.cunit.util.PositionInputStream
Position.
PositionDataInputStream - Class in edu.rice.cs.cunit.util
A DataInputStream that makes the position in the stream available.
PositionDataInputStream(PositionInputStream) - Constructor for class edu.rice.cs.cunit.util.PositionDataInputStream
Create a new PositionInputStream based on the stream given.
PositionInputStream - Class in edu.rice.cs.cunit.util
A stream that makes the position in the stream available.
PositionInputStream(InputStream) - Constructor for class edu.rice.cs.cunit.util.PositionInputStream
Create a new PositionInputStream based on the stream given.
prediateLink - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
predicateClass - Variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.PredicateViolation
 
PredicateLink - Annotation Type in edu.rice.cs.cunit.threadCheck
Meta-annotation that provides a link to a class and method that serve as predicate.
PredicateLink - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot
Meta-annotation that provides a link to a class and method that serve as predicate.
predicateLinkAnnotations - Variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.ThreadCheckAnnotationRecord
 
Predicates - Class in edu.rice.cs.cunit.threadCheck.subAnnot
Class containing several common predicates.
Predicates() - Constructor for class edu.rice.cs.cunit.threadCheck.subAnnot.Predicates
 
predicateString - Variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.ReflectionPredicateViolation
 
processAnnotation(AAnnotationsAttributeInfo.Annotation, HashSet<String>) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools
Helper for getClassNamesUsed that processes an annotation.
processMemberValue(AAnnotationsAttributeInfo.Annotation.AMemberValue, HashSet<String>) - Static method in class edu.rice.cs.cunit.classFile.ClassFileTools
Helper for processAnnotation that processes an annotation member value.
ProvidesInputStreamPosition - Interface in edu.rice.cs.cunit.util
Can provide the position of an input stream.
put(int, int) - Method in class edu.rice.cs.cunit.classFile.code.instructions.LineNumberTable
Put this PC-line number pair into the hash tables.
PUTFIELD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
PUTFIELD2_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
PUTFIELD_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
PUTFIELD_QUICK_W - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
PUTSTATIC - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
PUTSTATIC2_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
PUTSTATIC_QUICK - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 

R

read(ConstantPool, byte[], int) - Static method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AMemberValue
Parses member value data and returns a member value.
read(DataInputStream, ConstantPool) - Static method in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo
Read from stream and return unresolved constant pool object.
read(PositionDataInputStream, ConstantPool) - Static method in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo
Read from stream and return unresolved constant pool object.
read() - Method in class edu.rice.cs.cunit.util.PositionInputStream
 
read(byte[], int, int) - Method in class edu.rice.cs.cunit.util.PositionInputStream
 
readAttributes(PositionDataInputStream) - Method in class edu.rice.cs.cunit.classFile.ClassFile
Read class file attributes.
readClassInfo(PositionDataInputStream) - Method in class edu.rice.cs.cunit.classFile.ClassFile
Read class information.
readConstantPool(PositionDataInputStream) - Method in class edu.rice.cs.cunit.classFile.ClassFile
Read constant pool.
readFields(PositionDataInputStream) - Method in class edu.rice.cs.cunit.classFile.ClassFile
Read class file fields.
readHeader(PositionDataInputStream) - Method in class edu.rice.cs.cunit.classFile.ClassFile
Read a class file header
readInterfaces(PositionDataInputStream) - Method in class edu.rice.cs.cunit.classFile.ClassFile
Read class file interfaces.
readMethods(PositionDataInputStream) - Method in class edu.rice.cs.cunit.classFile.ClassFile
Read class file methods.
refCase(APoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.AValueReferencePoolInfoVisitor
Abstract default reference case.
ReferenceInstruction - Class in edu.rice.cs.cunit.classFile.code.instructions
Instruction containing a reference to the constant pool.
ReferenceInstruction(byte, int) - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.ReferenceInstruction
Constructor.
ReferenceInstruction(byte[], int, int, LineNumberTable) - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.ReferenceInstruction
Make a new generic instruction from the bytecode stating at pc, padded using paddingPC, and use the line number table for branches.
ReflectionThreadCheckPredicates - Class in edu.rice.cs.cunit.threadCheck.predicates
Class containing several common predicates that use reflection.
ReflectionThreadCheckPredicates() - Constructor for class edu.rice.cs.cunit.threadCheck.predicates.ReflectionThreadCheckPredicates
 
reflectionThreadCheckPredicates - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
reindex() - Method in class edu.rice.cs.cunit.classFile.constantPool.AClassNameTypePoolInfo
Reindex constant pool indices.
reindex() - Method in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo
Reindex constant pool indices.
reindex() - Method in class edu.rice.cs.cunit.classFile.constantPool.AUTFPoolInfo
Reindex constant pool indices.
reindex() - Method in class edu.rice.cs.cunit.classFile.constantPool.ClassPoolInfo
Reindex constant pool indices.
reindex() - Method in class edu.rice.cs.cunit.classFile.constantPool.DoublePoolInfo
Reindex constant pool indices.
reindex() - Method in class edu.rice.cs.cunit.classFile.constantPool.EmptyPoolInfo
Reindex constant pool indices.
reindex() - Method in class edu.rice.cs.cunit.classFile.constantPool.FloatPoolInfo
Reindex constant pool indices.
reindex() - Method in class edu.rice.cs.cunit.classFile.constantPool.IntegerPoolInfo
Reindex constant pool indices.
reindex() - Method in class edu.rice.cs.cunit.classFile.constantPool.LongPoolInfo
Reindex constant pool indices.
reindex() - Method in class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo
Reindex constant pool indices.
reindex() - Method in class edu.rice.cs.cunit.classFile.constantPool.StringPoolInfo
Reindex constant pool indices.
relocateBranches(AInstruction, int) - Method in class edu.rice.cs.cunit.classFile.code.InstructionList
Relocate branches in the instruction.
repadInstr(byte[], int, int, int) - Static method in class edu.rice.cs.cunit.classFile.code.Opcode
Change the padding on the inside of the instruction found at pc, so that it is padded for a PC=newPC, not for a PC=paddingPC.
reset() - Method in class edu.rice.cs.cunit.util.PositionInputStream
 
resolve() - Method in class edu.rice.cs.cunit.classFile.constantPool.AClassNameTypePoolInfo
Resolve constant pool objects.
resolve() - Method in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo
Resolve constant pool objects.
resolve() - Method in class edu.rice.cs.cunit.classFile.constantPool.AUTFPoolInfo
Resolve constant pool objects.
resolve() - Method in class edu.rice.cs.cunit.classFile.constantPool.ClassPoolInfo
Resolve constant pool objects.
resolve() - Method in class edu.rice.cs.cunit.classFile.constantPool.DoublePoolInfo
Resolve constant pool objects.
resolve() - Method in class edu.rice.cs.cunit.classFile.constantPool.EmptyPoolInfo
Resolve constant pool objects.
resolve() - Method in class edu.rice.cs.cunit.classFile.constantPool.FloatPoolInfo
Resolve constant pool objects.
resolve() - Method in class edu.rice.cs.cunit.classFile.constantPool.IntegerPoolInfo
Resolve constant pool objects.
resolve() - Method in class edu.rice.cs.cunit.classFile.constantPool.LongPoolInfo
Resolve constant pool objects.
resolve() - Method in class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo
Resolve constant pool objects.
resolve() - Method in class edu.rice.cs.cunit.classFile.constantPool.StringPoolInfo
Resolve constant pool objects.
RET - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
RETURN - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
rewindIndex(int) - Method in class edu.rice.cs.cunit.classFile.code.InstructionList
Rewind the program index by multiple instructions.
rewindIndex() - Method in class edu.rice.cs.cunit.classFile.code.InstructionList
Rewind the program index to the previous instruction.
RuntimeInvisibleAnnotationsAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes
Represents the RuntimeVisibleAnnotations attribute in a class file.
RuntimeInvisibleAnnotationsAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.RuntimeInvisibleAnnotationsAttributeInfo
Constructor.
runtimeInvisibleAnnotationsCase(RuntimeInvisibleAnnotationsAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor
Case for a RuntimeInvisibleAnnotations attribute.
runtimeInvisibleAnnotationsCase(RuntimeInvisibleAnnotationsAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor
Case for a RuntimeInvisibleParameterAnnotations attribute.
RuntimeInvisibleLocalVariableAnnotationsAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes
Represents the (non-standard) RuntimeInvisibleLocalVariableAnnotations attribute in a class file.
RuntimeInvisibleLocalVariableAnnotationsAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.RuntimeInvisibleLocalVariableAnnotationsAttributeInfo
Constructor.
runtimeInvisibleLocalVariableAnnotationsCase(RuntimeInvisibleLocalVariableAnnotationsAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor
Case for a (non-standard) RuntimeInvisibleLocalVariableAnnotations attribute.
runtimeInvisibleLocalVariableAnnotationsCase(RuntimeInvisibleLocalVariableAnnotationsAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor
Case for a (non-standard) RuntimeInvisibleLocalVariableAnnotations attribute.
RuntimeInvisibleParameterAnnotationsAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes
Represents the RuntimeInvisibleParameterAnnotations attribute in a class file.
RuntimeInvisibleParameterAnnotationsAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.RuntimeInvisibleParameterAnnotationsAttributeInfo
Constructor.
runtimeInvisibleParameterAnnotationsCase(RuntimeInvisibleParameterAnnotationsAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor
Case for a RuntimeInvisibleParameterAnnotations attribute.
runtimeInvisibleParameterAnnotationsCase(RuntimeInvisibleParameterAnnotationsAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor
Case for a RuntimeInvisibleParameterAnnotations attribute.
RuntimeVisibleAnnotationsAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes
Represents the RuntimeVisibleAnnotations attribute in a class file.
RuntimeVisibleAnnotationsAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.RuntimeVisibleAnnotationsAttributeInfo
Constructor.
runtimeVisibleAnnotationsCase(RuntimeVisibleAnnotationsAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor
Case for a RuntimeVisibleAnnotations attribute.
runtimeVisibleAnnotationsCase(RuntimeVisibleAnnotationsAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor
Case for a RuntimeVisibleAnnotations attribute.
RuntimeVisibleLocalVariableAnnotationsAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes
Represents the (non-standard) RuntimeInvisibleLocalVariableAnnotations attribute in a class file.
RuntimeVisibleLocalVariableAnnotationsAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.RuntimeVisibleLocalVariableAnnotationsAttributeInfo
Constructor.
runtimeVisibleLocalVariableAnnotationsCase(RuntimeVisibleLocalVariableAnnotationsAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor
Case for a (non-standard) RuntimeVisibleLocalVariableAnnotations attribute.
runtimeVisibleLocalVariableAnnotationsCase(RuntimeVisibleLocalVariableAnnotationsAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor
Case for a (non-standard) RuntimeVisibleLocalVariableAnnotations attribute.
RuntimeVisibleParameterAnnotationsAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes
Represents the RuntimeVisibleParameterAnnotations attribute in a class file.
RuntimeVisibleParameterAnnotationsAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.RuntimeVisibleParameterAnnotationsAttributeInfo
Constructor.
runtimeVisibleParameterAnnotationsCase(RuntimeVisibleParameterAnnotationsAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor
Case for a RuntimeVisibleParameterAnnotations attribute.
runtimeVisibleParameterAnnotationsCase(RuntimeVisibleParameterAnnotationsAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor
Case for a RuntimeVisibleParameterAnnotations attribute.

S

SALOAD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
SameArguments - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
An annotation used to designate methods that are only allowed to be run when the method argument indexed are the same.
SameArguments - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
An annotation used to designate methods that are only allowed to be run when the method argument indexed are the same.
sameArguments - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
SameArguments.All - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run if all of the arguments are the same, i.e.
SameArguments.Any - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run if one or more of the arguments are the same, i.e.
SameArguments.None - Annotation Type in edu.rice.cs.cunit.threadCheck.predicates
Annotation used to designate methods that are only allowed to be run if none of the arguments are the same, i.e.
SASTORE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
second() - Method in class edu.rice.cs.cunit.util.Pair
Accessor for the second value.
set(Object, Object) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Sets the field represented by this Field object on the specified object argument to the specified new value.
setAccessFlags(short) - Method in class edu.rice.cs.cunit.classFile.FieldInfo
Mutator for access flags.
setAccessFlags(short) - Method in class edu.rice.cs.cunit.classFile.MethodInfo
Mutator for access flags.
setAnnotations(AAnnotationsAttributeInfo.Annotation[]) - Method in class edu.rice.cs.cunit.classFile.attributes.ASingleAnnotationsAttributeInfo
Set the annotations list.
setAttributes(AAttributeInfo[]) - Method in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo
Sets the attribute list.
setAttributes(ArrayList<AAttributeInfo>) - Method in class edu.rice.cs.cunit.classFile.FieldInfo
Mutator for attributes.
setBoolean(Object, boolean) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Sets the value of a field as a boolean on the specified object.
setBranchTargets(int[]) - Method in class edu.rice.cs.cunit.classFile.code.instructions.AInstruction
Set the branch target indices.
setBranchTargets(int[]) - Method in class edu.rice.cs.cunit.classFile.code.instructions.BranchInstruction
Set the branch target indices.
setBranchTargets(int[]) - Method in class edu.rice.cs.cunit.classFile.code.instructions.GenericInstruction
Set the branch target indices.
setBranchTargets(int[]) - Method in class edu.rice.cs.cunit.classFile.code.instructions.LookupSwitchInstruction
Set the branch target indices.
setBranchTargets(int[]) - Method in class edu.rice.cs.cunit.classFile.code.instructions.TableSwitchInstruction
Set the branch target indices.
setBranchTargets(int[]) - Method in class edu.rice.cs.cunit.classFile.code.instructions.WideBranchInstruction
Set the branch target indices.
setBranchTargets(int[]) - Method in class edu.rice.cs.cunit.classFile.code.instructions.WideInstruction
Set the branch target indices.
setBranchTargets(byte[], int, int[]) - Static method in class edu.rice.cs.cunit.classFile.code.Opcode
Sets the branch targets for an instruction.
setByte(Object, byte) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Sets the value of a field as a byte on the specified object.
setChar(Object, char) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Sets the value of a field as a char on the specified object.
setClassAccessFlags(short) - Method in class edu.rice.cs.cunit.classFile.ClassFile
Mutator for the class access flags.
setClassFileNotFound(boolean) - Method in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Set the state of the _classFileNotFound flag.
setClassInfo(ClassPoolInfo) - Method in class edu.rice.cs.cunit.classFile.constantPool.AClassNameTypePoolInfo
Mutator for the class information.
setCode(byte[]) - Method in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo
Set the code bytes.
setCode(byte[]) - Method in class edu.rice.cs.cunit.classFile.code.InstructionList
Mutator for the bytecode.
setConstantValue(APoolInfo) - Method in class edu.rice.cs.cunit.classFile.attributes.ConstantValueAttributeInfo
Set the constant value information.
setData(byte[]) - Method in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo
Mutator for data.
setData(byte[]) - Method in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo
Mutator for data.
setDefaultValue(AAnnotationsAttributeInfo.Annotation.AMemberValue) - Method in class edu.rice.cs.cunit.classFile.attributes.AnnotationDefaultAttributeInfo
Set the default value stored in this attribute.
setDescriptor(AUTFPoolInfo) - Method in class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo
Mutator for the type descriptor information.
setDescriptor(AUTFPoolInfo) - Method in class edu.rice.cs.cunit.classFile.FieldInfo
Mutator for descriptor.
setDescriptor(AUTFPoolInfo) - Method in class edu.rice.cs.cunit.classFile.MethodInfo
Mutator for descriptor.
setDouble(Object, double) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Sets the value of a field as a double on the specified object.
setDoubleValue(double) - Method in class edu.rice.cs.cunit.classFile.constantPool.DoublePoolInfo
Mutator for the data.
setEnclosinMethod(ClassPoolInfo) - Method in class edu.rice.cs.cunit.classFile.attributes.EnclosingMethodAttributeInfo
Set the enclosing method information.
setEntityAnnotations(List<AAnnotationsAttributeInfo.Annotation[]>) - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleAnnotationsAttributeInfo
Set the entity annotations list.
setExceptions(ClassPoolInfo[]) - Method in class edu.rice.cs.cunit.classFile.attributes.ExceptionsAttributeInfo
Set the checked exceptions list.
setExceptionTableEntries(CodeAttributeInfo.ExceptionTableEntry[]) - Method in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo
Set the exception table entries.
setFirst(FIRST) - Method in class edu.rice.cs.cunit.util.Pair
Mutator for the first value.
setFloat(Object, float) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Sets the value of a field as a float on the specified object.
setFloatValue(float) - Method in class edu.rice.cs.cunit.classFile.constantPool.FloatPoolInfo
Mutator for the data.
setIndex(int) - Method in class edu.rice.cs.cunit.classFile.code.InstructionList
Mutator for the program index.
setInstrumentatorClassNames(String[]) - Method in class edu.rice.cs.cunit.classFile.attributes.InstrumentationAttributeInfo
Set the source file name information.
setInt(Object, int) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Sets the value of a field as an int on the specified object.
setIntValue(int) - Method in class edu.rice.cs.cunit.classFile.constantPool.IntegerPoolInfo
Mutator for the data.
setLineNumbers(LineNumberTableAttributeInfo.LineNumberRecord[]) - Method in class edu.rice.cs.cunit.classFile.attributes.LineNumberTableAttributeInfo
Set the line number records.
setLocalVariableAnnotations(AMultipleNamedAnnotationsAttributeInfo.NamedAnnotationsRecord[]) - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleNamedAnnotationsAttributeInfo
Set the array of entity annotations records.
setLocalVariables(InnerClassesAttributeInfo.InnerClassesRecord[]) - Method in class edu.rice.cs.cunit.classFile.attributes.InnerClassesAttributeInfo
Set the inner class records.
setLocalVariables(LocalVariableTableAttributeInfo.LocalVariableRecord[]) - Method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTableAttributeInfo
Set the local variable records.
setLocalVariableTypes(LocalVariableTypeTableAttributeInfo.LocalVariableTypeRecord[]) - Method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTypeTableAttributeInfo
Set the local variable type records.
setLong(Object, long) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Sets the value of a field as a long on the specified object.
setLongValue(long) - Method in class edu.rice.cs.cunit.classFile.constantPool.LongPoolInfo
Mutator for the data
setMajorVersion(short) - Method in class edu.rice.cs.cunit.classFile.ClassFile
Mutator for the major version
setMinorVersion(short) - Method in class edu.rice.cs.cunit.classFile.ClassFile
Mutator for the minor version
setName(AUTFPoolInfo) - Method in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo
Mutator for _name information.
setName(AUTFPoolInfo) - Method in class edu.rice.cs.cunit.classFile.constantPool.ClassPoolInfo
Mutator for the name information.
setName(AUTFPoolInfo) - Method in class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo
Mutator for the name information.
setName(AUTFPoolInfo) - Method in class edu.rice.cs.cunit.classFile.FieldInfo
Mutator for field name.
setName(AUTFPoolInfo) - Method in class edu.rice.cs.cunit.classFile.MethodInfo
Mutator for field name.
setNameAndType(NameAndTypePoolInfo) - Method in class edu.rice.cs.cunit.classFile.constantPool.AClassNameTypePoolInfo
Mutator for the NameAndType information.
setProperties(int, int) - Method in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo
Set the code properties.
setReference(int) - Method in class edu.rice.cs.cunit.classFile.code.instructions.ReferenceInstruction
Set the constant pool id.
setSecond(SECOND) - Method in class edu.rice.cs.cunit.util.Pair
Mutator for the second value.
setShort(Object, short) - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Sets the value of a field as a short on the specified object.
setSignature(AUTFPoolInfo) - Method in class edu.rice.cs.cunit.classFile.attributes.SignatureAttributeInfo
Set the source file name information.
setSourceFileName(ClassPoolInfo) - Method in class edu.rice.cs.cunit.classFile.attributes.EnclosingMethodAttributeInfo
Set the enclosing class information.
setSourceFileName(AUTFPoolInfo) - Method in class edu.rice.cs.cunit.classFile.attributes.SourceFileAttributeInfo
Set the source file name information.
setStrValue(String) - Method in class edu.rice.cs.cunit.classFile.constantPool.AUTFPoolInfo
Mutator for the data.
setSuperClass(ClassPoolInfo) - Method in class edu.rice.cs.cunit.classFile.ClassFile
Mutator for the superclass.
setThisClass(ClassPoolInfo) - Method in class edu.rice.cs.cunit.classFile.ClassFile
Mutator for the this class.
setUtf(AUTFPoolInfo) - Method in class edu.rice.cs.cunit.classFile.constantPool.StringPoolInfo
Mutator for the utf information.
shortFromBytes(byte[], int) - Static method in class edu.rice.cs.cunit.util.Types
Construct a short from two bytes in a byte array.
signature - Variable in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTypeTableAttributeInfo.LocalVariableTypeRecord
 
SignatureAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes
Represents the Signature attribute in a class file.
SignatureAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.SignatureAttributeInfo
Constructor.
signatureCase(SignatureAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor
Case for Signature attribute.
signatureCase(SignatureAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor
Case for Signature attribute.
singleton() - Static method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.CheckConstantMemberVisitor
Singleton accessor.
singleton() - Static method in class edu.rice.cs.cunit.classFile.constantPool.EmptyPoolInfo
Singleton accessor.
singleton() - Static method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckClassOrEmptyVisitor
Singleton accessor.
singleton() - Static method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckClassVisitor
Singleton accessor.
singleton() - Static method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckLongVisitor
Singleton accessor.
singleton() - Static method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckMethodVisitor
Singleton accessor.
singleton() - Static method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckNameAndTypeVisitor
Singleton accessor.
singleton() - Static method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckUTFOrEmptyVisitor
Singleton accessor.
singleton() - Static method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckUTFVisitor
Singleton accessor.
singleton() - Static method in class edu.rice.cs.cunit.classFile.constantPool.visitors.GetPoolInfoSizeVisitor
Singleton accessor.
SIPUSH - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
skip(long) - Method in class edu.rice.cs.cunit.util.PositionInputStream
 
SourceFileAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes
Represents the SourceFile attribute in a class file.
SourceFileAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.SourceFileAttributeInfo
Constructor.
sourceFileCase(SourceFileAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor
Case for SourceFile attribute.
sourceFileCase(SourceFileAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor
Case for SourceFile attribute.
stackTrace - Variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.Violation
 
startPC - Variable in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo.ExceptionTableEntry
 
startPC - Variable in class edu.rice.cs.cunit.classFile.attributes.LineNumberTableAttributeInfo.LineNumberRecord
 
startPC - Variable in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTableAttributeInfo.LocalVariableRecord
 
startPC - Variable in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTypeTableAttributeInfo.LocalVariableTypeRecord
 
stringCase(StringPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.ADefaultPoolInfoVisitor
Case for string info.
stringCase(StringPoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.AValueReferencePoolInfoVisitor
Case for string info.
stringCase(StringPoolInfo, D) - Method in interface edu.rice.cs.cunit.classFile.constantPool.visitors.IPoolInfoVisitor
Case for string info.
StringPoolInfo - Class in edu.rice.cs.cunit.classFile.constantPool
Represents a string in the constant pool.
StringPoolInfo(AUTFPoolInfo, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.StringPoolInfo
Constructor.
StringPoolInfo(DataInputStream, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.StringPoolInfo
Constructor reading from a stream.
subAnnotInvariantAnnotation - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotPredicateLink - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotPredicates - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotpredicates - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotpredicatesAnd - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotpredicatesEventThread - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotpredicatesImplies - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotpredicatesNot - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotpredicatesNullArgument - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotpredicatesNumberBoundedArgument - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotpredicatesOr - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotpredicatesSameArguments - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotpredicatesSynchronizedArgument - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotpredicatesSynchronizedField - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotpredicatesSynchronizedThis - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotpredicatesThreadInField - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotpredicatesThreadWithGroupName - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotpredicatesThreadWithName - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotpredicatesXor - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
subAnnotSubAnnotThreadCheck - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
SubAnnotThreadCheck - Class in edu.rice.cs.cunit.threadCheck.subAnnot
Class that checks whether threads may execute certain classes at runtime.
SubAnnotThreadCheck() - Constructor for class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
 
SubAnnotThreadCheck.PredicateViolation - Class in edu.rice.cs.cunit.threadCheck.subAnnot
 
SubAnnotThreadCheck.PredicateViolation(String, String, long, StackTraceElement[], String) - Constructor for class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.PredicateViolation
 
SubAnnotThreadCheck.ReflectionPredicateViolation - Class in edu.rice.cs.cunit.threadCheck.subAnnot
 
SubAnnotThreadCheck.ReflectionPredicateViolation(String, String, long, StackTraceElement[], String, Object[]) - Constructor for class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.ReflectionPredicateViolation
 
SubAnnotThreadCheck.ThreadCheckAnnotationRecord - Class in edu.rice.cs.cunit.threadCheck.subAnnot
Storage class for predicate annotations.
SubAnnotThreadCheck.ThreadCheckAnnotationRecord() - Constructor for class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.ThreadCheckAnnotationRecord
 
SubAnnotThreadCheck.Violation - Class in edu.rice.cs.cunit.threadCheck.subAnnot
 
SubAnnotThreadCheck.Violation(SubAnnotThreadCheck.Violation.TYPE, String, String, long, StackTraceElement[]) - Constructor for class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.Violation
 
SubAnnotThreadCheck.Violation.TYPE - Enum in edu.rice.cs.cunit.threadCheck.subAnnot
 
SubAnnotThreadCheck.Violation.TYPE() - Constructor for enum edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.Violation.TYPE
 
suppressSubtypingWarning - Variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.ThreadCheckAnnotationRecord
 
SuppressSubtypingWarning - Annotation Type in edu.rice.cs.cunit.threadCheck
Tells the Thread Checker to ignore subtyping warnings that may arise because this class or method has a certain annotation, but the superclass or method in the superclass does not.
suppressSubtypingWarning - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
SWAP - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
SynchronizedArgument - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
An annotation used to designate methods that are only allowed to be run when the monitor of the method argument indexed by value is owned by any thread.
SynchronizedField - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
An annotation used to designate methods that are only allowed to be run when the monitor of the field specified by class and field name is owned by some thread, regardless which it is.
SynchronizedField.ByName - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
An annotation used to designate methods that are only allowed to be run when the monitor of the field specified by class name and field name is owned by some thread, regardless which it is.
SynchronizedThis - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
An annotation used to designate methods that are only allowed to be run when the monitor of "this" is owned by some thread, regardless which it is.
SyntheticAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes
Represents the Synthetic attribute in a class file.
SyntheticAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.SyntheticAttributeInfo
Constructor.
syntheticCase(SyntheticAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor
Case for a Synthetic attribute.
syntheticCase(SyntheticAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor
Case for a Synthetic attribute.

T

TABLESWITCH - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
TableSwitchInstruction - Class in edu.rice.cs.cunit.classFile.code.instructions
TABLESWITCH Java instruction.
TableSwitchInstruction(int, long, long, int[]) - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.TableSwitchInstruction
Constructor.
TableSwitchInstruction(byte[], int, int, LineNumberTable) - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.TableSwitchInstruction
Make a new TABLESWITCH instruction from the bytecode stating at pc, padded using paddingPC, and use the line number table for branches.
tag - Variable in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AMemberValue
Type tag.
TCLibDummy - Class in edu.rice.cs.cunit.threadCheck
 
TCLibDummy() - Constructor for class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
template(Object) - Static method in class edu.rice.cs.cunit.threadCheck.predicates.CombinePredicateTemplate
Template predicate method.
testClassNameMatches() - Method in class edu.rice.cs.cunit.classFile.ClassFileTools.ClassFileToolsTest
 
ThreadCheckPredicates - Class in edu.rice.cs.cunit.threadCheck.predicates
Class containing several common predicates.
ThreadCheckPredicates() - Constructor for class edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates
 
threadCheckPredicates - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
threadDesc - Variable in class edu.rice.cs.cunit.threadCheck.TCLibDummy
 
ThreadDesc - Annotation Type in edu.rice.cs.cunit.threadCheck
Describes a thread.
threadGroupName - Variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.Violation
 
threadId - Variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.Violation
 
ThreadInField - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
An annotation used to designate methods that are only allowed to be run by the thread in the field specified by class and field name.
ThreadInField.ByName - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
An annotation used to designate methods that are only allowed to be run by the thread in the field specified by class name and field name.
threadName - Variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.Violation
 
ThreadWithGroupName - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
An annotation used to designate methods that are only allowed to be run by a thread with the specified group name.
ThreadWithName - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
An annotation used to designate methods that are only allowed to be run by a thread with the specified name.
toGenericString() - Method in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Returns a string describing this Constructor, including type parameters.
toGenericString() - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Returns a string describing this Field, including its generic type.
toGenericString() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns a string describing this Method, including type parameters.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AnnotationMemberValue
Returns a string representation of the object.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ArrayMemberValue
Returns a string representation of the object.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ClassMemberValue
Returns a string representation of the object.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ConstantMemberValue
Returns a string representation of the object.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.EnumMemberValue
Returns a string representation of the object.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.NameValuePair
Returns a string representation of the object.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation
Returns a string representation of the object.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo
Return a human-readable version of this attribute.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleAnnotationsAttributeInfo
Return a human-readable version of this attribute.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleNamedAnnotationsAttributeInfo
Return a human-readable version of this attribute.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.AnnotationDefaultAttributeInfo
Return a human-readable version of this attribute.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.ASingleAnnotationsAttributeInfo
Return a human-readable version of this attribute.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo
Return a human-readable version of this attribute.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.DeprecatedAttributeInfo
Return a human-readable version of this attribute.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.EnclosingMethodAttributeInfo
Return a human-readable version of this attribute.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.ExceptionsAttributeInfo
Return a human-readable version of this attribute.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.InnerClassesAttributeInfo
Return a human-readable version of this attribute.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.InstrumentationAttributeInfo
Return a human-readable version of this attribute.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.LineNumberTableAttributeInfo
Return a human-readable version of this attribute.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTableAttributeInfo
Return a human-readable version of this attribute.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTypeTableAttributeInfo
Return a human-readable version of this attribute.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.SignatureAttributeInfo
Return a human-readable version of this attribute.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.SourceFileAttributeInfo
Return a human-readable version of this attribute.
toString() - Method in class edu.rice.cs.cunit.classFile.attributes.SyntheticAttributeInfo
Return a human-readable version of this attribute.
toString() - Method in class edu.rice.cs.cunit.classFile.ClassFile
Return a human-readable version of this class.
toString() - Method in class edu.rice.cs.cunit.classFile.code.InstructionList
Return a human-readable version of the code.
toString(ConstantPool) - Method in class edu.rice.cs.cunit.classFile.code.InstructionList
Return a human-readable version of the code.
toString(boolean, boolean, ConstantPool) - Method in class edu.rice.cs.cunit.classFile.code.InstructionList
Return a human-readable version of the code.
toString() - Method in class edu.rice.cs.cunit.classFile.code.instructions.BranchInstruction
Return instruction in human-readable form.
toString() - Method in class edu.rice.cs.cunit.classFile.code.instructions.GenericInstruction
Return instruction in human-readable form.
toString() - Method in class edu.rice.cs.cunit.classFile.code.instructions.LookupSwitchInstruction
Return instruction in human-readable form.
toString() - Method in class edu.rice.cs.cunit.classFile.code.instructions.TableSwitchInstruction
Return instruction in human-readable form.
toString() - Method in class edu.rice.cs.cunit.classFile.code.instructions.WideBranchInstruction
Return instruction in human-readable form.
toString() - Method in class edu.rice.cs.cunit.classFile.code.instructions.WideInstruction
Return instruction in human-readable form.
toString() - Method in class edu.rice.cs.cunit.classFile.constantPool.AClassNameTypePoolInfo
Return a human-readable version of this constant pool object.
toString() - Method in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo
Return a human-readable version of this constant pool object.
toString() - Method in class edu.rice.cs.cunit.classFile.constantPool.AUTFPoolInfo
Return a human-readable version of this constant pool object.
toString() - Method in class edu.rice.cs.cunit.classFile.constantPool.ClassPoolInfo
Return a human-readable version of this constant pool object.
toString() - Method in class edu.rice.cs.cunit.classFile.constantPool.DoublePoolInfo
Return a human-readable version of this constant pool object.
toString() - Method in class edu.rice.cs.cunit.classFile.constantPool.EmptyPoolInfo
Return a human-readable version of this constant pool object.
toString() - Method in class edu.rice.cs.cunit.classFile.constantPool.FloatPoolInfo
Return a human-readable version of this constant pool object.
toString() - Method in class edu.rice.cs.cunit.classFile.constantPool.IntegerPoolInfo
Return a human-readable version of this constant pool object.
toString() - Method in class edu.rice.cs.cunit.classFile.constantPool.LongPoolInfo
Return a human-readable version of this constant pool object.
toString() - Method in class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo
Return a human-readable version of this constant pool object.
toString() - Method in class edu.rice.cs.cunit.classFile.constantPool.StringPoolInfo
Return a human-readable version of this constant pool object.
toString() - Method in class edu.rice.cs.cunit.classFile.FieldInfo
Return a human-readable version of this field.
toString(ConstantPool) - Method in class edu.rice.cs.cunit.classFile.FieldInfo
Return a human-readable version of this field and correctly handle booleans and strings.
toString() - Method in class edu.rice.cs.cunit.classFile.MethodInfo
Return a human-readable version of this method.
toString(ConstantPool) - Method in class edu.rice.cs.cunit.classFile.MethodInfo
Return a human-readable version of this method.
toString(ConstantPool, boolean, boolean) - Method in class edu.rice.cs.cunit.classFile.MethodInfo
Return a human-readable version of this method.
toString() - Method in class edu.rice.cs.cunit.subAnnot.ClassEx
Converts the object to a string.
toString() - Method in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Returns a string describing this Constructor.
toString() - Method in class edu.rice.cs.cunit.subAnnot.FieldEx
Returns a string describing this Field.
toString() - Method in class edu.rice.cs.cunit.subAnnot.MethodEx
Returns a string describing this Method.
toString() - Method in class edu.rice.cs.cunit.subAnnot.PackageEx
Returns the string representation of this Package.
toString() - Method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.PredicateViolation
Returns a string representation of the object.
toString() - Method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.ReflectionPredicateViolation
Returns a string representation of the object.
toStringJava() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AMemberValue
Returns a string representation of the object like it would be seen in a Java listing.
toStringJava() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AnnotationMemberValue
Returns a string representation of the object like it would be seen in a Java listing.
toStringJava() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ArrayMemberValue
Returns a string representation of the object like it would be seen in a Java listing.
toStringJava() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ClassMemberValue
Returns a string representation of the object like it would be seen in a Java listing.
toStringJava() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ConstantMemberValue
Returns a string representation of the object like it would be seen in a Java listing.
toStringJava() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.EnumMemberValue
Returns a string representation of the object like it would be seen in a Java listing.
toStringJava() - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation
Returns a string representation of the object like it would be seen in a Java listing.
toStringVerbose() - Method in class edu.rice.cs.cunit.classFile.ClassFile
Return a verbose human-readable version of this class.
toStringVerbose(boolean, boolean) - Method in class edu.rice.cs.cunit.classFile.ClassFile
Return a verbose human-readable version of this class.
toStringVerbose(ConstantPool) - Method in class edu.rice.cs.cunit.classFile.code.instructions.AInstruction
Return a verbose string representation.
toStringVerbose(ConstantPool) - Method in class edu.rice.cs.cunit.classFile.code.instructions.ReferenceInstruction
Return a verbose string representation.
toStringVerbose() - Method in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo
Return a human-readable version of this constant pool object.
toStringVerbose() - Method in class edu.rice.cs.cunit.classFile.constantPool.ASCIIPoolInfo
Return a human-readable version of this constant pool object.
toStringVerbose() - Method in class edu.rice.cs.cunit.classFile.constantPool.AUTFPoolInfo
Return a human-readable version of this constant pool object.
toStringVerbose() - Method in class edu.rice.cs.cunit.classFile.constantPool.ClassPoolInfo
Return a human-readable version of this constant pool object.
toStringVerbose() - Method in class edu.rice.cs.cunit.classFile.constantPool.DoublePoolInfo
Return a human-readable version of this constant pool object.
toStringVerbose() - Method in class edu.rice.cs.cunit.classFile.constantPool.EmptyPoolInfo
Return a human-readable version of this constant pool object.
toStringVerbose() - Method in class edu.rice.cs.cunit.classFile.constantPool.FieldPoolInfo
Return a human-readable version of this constant pool object.
toStringVerbose() - Method in class edu.rice.cs.cunit.classFile.constantPool.FloatPoolInfo
Return a human-readable version of this constant pool object.
toStringVerbose() - Method in class edu.rice.cs.cunit.classFile.constantPool.IntegerPoolInfo
Return a human-readable version of this constant pool object.
toStringVerbose() - Method in class edu.rice.cs.cunit.classFile.constantPool.InterfaceMethodPoolInfo
Return a human-readable version of this constant pool object.
toStringVerbose() - Method in class edu.rice.cs.cunit.classFile.constantPool.LongPoolInfo
Return a human-readable version of this constant pool object.
toStringVerbose() - Method in class edu.rice.cs.cunit.classFile.constantPool.MethodPoolInfo
Return a human-readable version of this constant pool object.
toStringVerbose() - Method in class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo
Return a human-readable version of this constant pool object.
toStringVerbose() - Method in class edu.rice.cs.cunit.classFile.constantPool.StringPoolInfo
Return a human-readable version of this constant pool object.
toStringVerbose() - Method in class edu.rice.cs.cunit.classFile.constantPool.UnicodePoolInfo
Return a human-readable version of this constant pool object.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleAnnotationsAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.AMultipleNamedAnnotationsAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.AnnotationDefaultAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.ConstantValueAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.DeprecatedAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.EnclosingMethodAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.ExceptionsAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.InnerClassesAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.InstrumentationAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.LineNumberTableAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTableAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.LocalVariableTypeTableAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.SignatureAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.SourceFileAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.SyntheticAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
translatePC(int, int, LineNumberTable, LineNumberTable) - Method in class edu.rice.cs.cunit.classFile.attributes.UnknownAttributeInfo
Translate the program counter values contained in this attribute from an old line number table to a new one.
type - Variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.Violation
 
typeName - Variable in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.EnumMemberValue
Name of the enum class.
Types - Class in edu.rice.cs.cunit.util
Type conversions.
Types() - Constructor for class edu.rice.cs.cunit.util.Types
 

U

uintFromBytes(byte[], int) - Static method in class edu.rice.cs.cunit.util.Types
Construct an int from four bytes in a byte array.
unicodeCase(UnicodePoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.ADefaultPoolInfoVisitor
Case for unicode info.
unicodeCase(UnicodePoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.AValueReferencePoolInfoVisitor
Case for unicode info.
unicodeCase(UnicodePoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckUTFOrEmptyVisitor
Return host.
unicodeCase(UnicodePoolInfo, Object) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckUTFVisitor
Return host.
unicodeCase(UnicodePoolInfo, D) - Method in interface edu.rice.cs.cunit.classFile.constantPool.visitors.IPoolInfoVisitor
Case for unicode info.
UnicodePoolInfo - Class in edu.rice.cs.cunit.classFile.constantPool
Represents Unicode data in the constant pool.
UnicodePoolInfo(String, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.UnicodePoolInfo
Constructor.
UnicodePoolInfo(DataInputStream, ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.constantPool.UnicodePoolInfo
Constructor reading from a stream.
UNKNOWN_DC - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_E5 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_E6 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_E7 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_E8 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_E9 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_EA - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_EB - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_EC - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_ED - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_EE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_EF - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_F0 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_F1 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_F2 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_F3 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_F4 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_F5 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_F6 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_F7 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_F8 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_F9 - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_FA - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_FB - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_FC - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UNKNOWN_FD - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
UnknownAttributeInfo - Class in edu.rice.cs.cunit.classFile.attributes
Represents an unknown attribute in a class file.
UnknownAttributeInfo(AUTFPoolInfo, byte[], ConstantPool) - Constructor for class edu.rice.cs.cunit.classFile.attributes.UnknownAttributeInfo
Constructor.
unknownCase(UnknownAttributeInfo, D) - Method in class edu.rice.cs.cunit.classFile.attributes.visitors.ADefaultAttributeVisitor
Case for an unknown attribute.
unknownCase(UnknownAttributeInfo, D) - Method in interface edu.rice.cs.cunit.classFile.attributes.visitors.IAttributeVisitor
Case for an unknown attribute.
unsigned(int) - Static method in class edu.rice.cs.cunit.util.Types
Convert a signed int into an unsigned integer.
unsigned(short) - Static method in class edu.rice.cs.cunit.util.Types
Convert a signed short into an unsigned short.
unsigned(byte) - Static method in class edu.rice.cs.cunit.util.Types
Convert a signed byte into an unsigned byte.
ushortFromBytes(byte[], int) - Static method in class edu.rice.cs.cunit.util.Types
Construct a short from two bytes in a byte array.

V

value - Variable in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.NameValuePair
Value.
valueCase(APoolInfo, D) - Method in class edu.rice.cs.cunit.classFile.constantPool.visitors.AValueReferencePoolInfoVisitor
Abstract default value case.
valueOf(String) - Static method in enum edu.rice.cs.cunit.threadCheck.Combine.Mode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum edu.rice.cs.cunit.threadCheck.OnlyRunBy.EVENT_THREAD
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum edu.rice.cs.cunit.threadCheck.predicates.NumberBoundedArgument.Mode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum edu.rice.cs.cunit.threadCheck.subAnnot.predicates.NumberBoundedArgument.Mode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.Violation.TYPE
Returns the enum constant of this type with the specified name.
values() - Static method in enum edu.rice.cs.cunit.threadCheck.Combine.Mode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum edu.rice.cs.cunit.threadCheck.OnlyRunBy.EVENT_THREAD
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum edu.rice.cs.cunit.threadCheck.predicates.NumberBoundedArgument.Mode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum edu.rice.cs.cunit.threadCheck.subAnnot.predicates.NumberBoundedArgument.Mode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.Violation.TYPE
Returns an array containing the constants of this enum type, in the order they are declared.
violationCount - Variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.Violation
 

W

WIDE - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 
WideBranchInstruction - Class in edu.rice.cs.cunit.classFile.code.instructions
Wide branch Java instruction.
WideBranchInstruction(byte, int) - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.WideBranchInstruction
Constructor.
WideBranchInstruction(byte[], int, int, LineNumberTable) - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.WideBranchInstruction
Make a new wide branch instruction from the bytecode stating at pc, padded using paddingPC, and use the line number table for branches.
WideInstruction - Class in edu.rice.cs.cunit.classFile.code.instructions
Wide Java instruction.
WideInstruction(byte[]) - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.WideInstruction
Constructor.
WideInstruction(byte[], int, int, LineNumberTable) - Constructor for class edu.rice.cs.cunit.classFile.code.instructions.WideInstruction
Make a new generic instruction from the bytecode stating at pc, padded using paddingPC, and use the line number table for branches.
write(DataOutputStream) - Method in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo
Write this attribute into a stream
write(OutputStream) - Method in class edu.rice.cs.cunit.classFile.ClassFile
Write class file into stream.
write(DataOutputStream) - Method in class edu.rice.cs.cunit.classFile.constantPool.AClassNameTypePoolInfo
Write this constant pool object into the stream, including the type byte.
write(DataOutputStream) - Method in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo
Write this constant pool object into the stream, including the type byte.
write(DataOutputStream) - Method in class edu.rice.cs.cunit.classFile.constantPool.AUTFPoolInfo
Write this constant pool object into the stream, including the type byte.
write(DataOutputStream) - Method in class edu.rice.cs.cunit.classFile.constantPool.ClassPoolInfo
Write this constant pool object into the stream, including the type byte.
write(DataOutputStream) - Method in class edu.rice.cs.cunit.classFile.constantPool.DoublePoolInfo
Write this constant pool object into the stream, including the type byte.
write(DataOutputStream) - Method in class edu.rice.cs.cunit.classFile.constantPool.EmptyPoolInfo
Write this constant pool object into the stream, including the type byte.
write(DataOutputStream) - Method in class edu.rice.cs.cunit.classFile.constantPool.FloatPoolInfo
Write this constant pool object into the stream, including the type byte.
write(DataOutputStream) - Method in class edu.rice.cs.cunit.classFile.constantPool.IntegerPoolInfo
Write this constant pool object into the stream, including the type byte.
write(DataOutputStream) - Method in class edu.rice.cs.cunit.classFile.constantPool.LongPoolInfo
Write this constant pool object into the stream, including the type byte.
write(DataOutputStream) - Method in class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo
Write this constant pool object into the stream, including the type byte.
write(DataOutputStream) - Method in class edu.rice.cs.cunit.classFile.constantPool.StringPoolInfo
Write this constant pool object into the stream, including the type byte.
write(DataOutputStream, ConstantPool) - Method in class edu.rice.cs.cunit.classFile.FieldInfo
Write this field into a stream.
write(DataOutputStream, ConstantPool) - Method in class edu.rice.cs.cunit.classFile.MethodInfo
Write this method into the stream.
writeLog(SubAnnotThreadCheck.Violation) - Static method in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
Write to the error log, and potentially initialize it first.
writeToByteArrayOutputStream(ConstantPool, ByteArrayOutputStream) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AMemberValue
Writes this value into the stream.
writeToByteArrayOutputStream(ConstantPool, ByteArrayOutputStream) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.AnnotationMemberValue
Writes this value into the stream.
writeToByteArrayOutputStream(ConstantPool, ByteArrayOutputStream) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ArrayMemberValue
Writes this value into the stream.
writeToByteArrayOutputStream(ConstantPool, ByteArrayOutputStream) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ClassMemberValue
Writes this value into the stream.
writeToByteArrayOutputStream(ConstantPool, ByteArrayOutputStream) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.ConstantMemberValue
Writes this value into the stream.
writeToByteArrayOutputStream(ConstantPool, ByteArrayOutputStream) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.EnumMemberValue
Writes this value into the stream.
writeToByteArrayOutputStream(ConstantPool, ByteArrayOutputStream) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.NameValuePair
Writes this name-value pair into the stream.
writeToByteArrayOutputStream(ConstantPool, ByteArrayOutputStream) - Method in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation
Writes this annotation into the stream.

X

Xor - Annotation Type in edu.rice.cs.cunit.threadCheck.subAnnot.predicates
This annotation combines other invariant annotations using Boolean xor.
XXXUNUSEDXXX - Static variable in class edu.rice.cs.cunit.classFile.code.Opcode
 

_

_accessFlags - Variable in class edu.rice.cs.cunit.classFile.FieldInfo
Field access flags
_accessFlags - Variable in class edu.rice.cs.cunit.classFile.MethodInfo
Method access flags.
_ai - Variable in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Annotations attribute.
_annotClass - Variable in class edu.rice.cs.cunit.subAnnot.AnnotationDynamicProxyHandler
Annotation.
_attributes - Variable in class edu.rice.cs.cunit.classFile.ClassFile
Attributes of the class.
_attributes - Variable in class edu.rice.cs.cunit.classFile.FieldInfo
Attributes.
_attributes - Variable in class edu.rice.cs.cunit.classFile.MethodInfo
Attributes.
_cf - Variable in class edu.rice.cs.cunit.classFile.ClassFileTools.ClassLocation
 
_checkCount - Static variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
Number of checks performed.
_classAccessFlags - Variable in class edu.rice.cs.cunit.classFile.ClassFile
Class access flags.
_classFileNotFound - Variable in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
True if the class file was not found and only the information given by Java's Class class is available.
_classInfo - Variable in class edu.rice.cs.cunit.classFile.constantPool.AClassNameTypePoolInfo
Class information.
_classInfoIndex - Variable in class edu.rice.cs.cunit.classFile.constantPool.AClassNameTypePoolInfo
Class index.
_classLoader - Variable in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
Class loader to use, or null to use the bootstrap class loader.
_className - Variable in class edu.rice.cs.cunit.classFile.ClassFileTools.ClassLocation
 
_classPath - Static variable in class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
List of class path entries.
_classPath - Static variable in class edu.rice.cs.cunit.subAnnot.AnnotationDynamicProxyHandler
List of class path entries.
_code - Variable in class edu.rice.cs.cunit.classFile.code.instructions.GenericInstruction
Bytecode.
_constant - Variable in class edu.rice.cs.cunit.util.ILambda.Binary.Bind1st
The constant first argument.
_constant - Variable in class edu.rice.cs.cunit.util.ILambda.Binary.Bind2nd
The constant second argument.
_constant - Variable in class edu.rice.cs.cunit.util.ILambda.Nary.Bind
The constant argument.
_constant - Variable in class edu.rice.cs.cunit.util.ILambda.Ternary.Bind1st
The constant first argument.
_constant - Variable in class edu.rice.cs.cunit.util.ILambda.Ternary.Bind2nd
The constant second argument.
_constant - Variable in class edu.rice.cs.cunit.util.ILambda.Ternary.Bind3rd
The constant third argument.
_constantPool - Variable in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo
Constant pool.
_constantPool - Variable in class edu.rice.cs.cunit.classFile.ClassFile
Constant pool.
_constantPool - Variable in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo
Reference to the constant pool.
_constants - Variable in class edu.rice.cs.cunit.util.ILambda.Nary.BindK
Array with constant arguments.
_data - Variable in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo
Attribute _data.
_decoree - Variable in class edu.rice.cs.cunit.util.ILambda.Binary.Bind1st
The binary lambda that is decorated.
_decoree - Variable in class edu.rice.cs.cunit.util.ILambda.Binary.Bind2nd
The binary lambda that is decorated.
_decoree - Variable in class edu.rice.cs.cunit.util.ILambda.Binary.NaryAdaptor
The N-ary lambda.
_decoree - Variable in class edu.rice.cs.cunit.util.ILambda.Nary.BinaryAdaptor
The binary lambda.
_decoree - Variable in class edu.rice.cs.cunit.util.ILambda.Nary.Bind
The N-ary lambda.
_decoree - Variable in class edu.rice.cs.cunit.util.ILambda.Nary.BindK
The N-ary lambda.
_decoree - Variable in class edu.rice.cs.cunit.util.ILambda.Nary.TernaryAdaptor
The ternary lambda.
_decoree - Variable in class edu.rice.cs.cunit.util.ILambda.Nary.UnaryAdaptor
The unary lambda.
_decoree - Variable in class edu.rice.cs.cunit.util.ILambda.NaryAdaptor
The N-ary lambda.
_decoree - Variable in class edu.rice.cs.cunit.util.ILambda.Ternary.Bind1st
The ternary lambda that is decorated.
_decoree - Variable in class edu.rice.cs.cunit.util.ILambda.Ternary.Bind2nd
The ternary lambda that is decorated.
_decoree - Variable in class edu.rice.cs.cunit.util.ILambda.Ternary.Bind3rd
The ternary lambda that is decorated.
_decoree - Variable in class edu.rice.cs.cunit.util.ILambda.Ternary.NaryAdaptor
The N-ary lambda.
_defaultTarget - Variable in class edu.rice.cs.cunit.classFile.code.instructions.LookupSwitchInstruction
Default target.
_descriptor - Variable in class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo
Type descriptor information.
_descriptor - Variable in class edu.rice.cs.cunit.classFile.FieldInfo
Type descriptor information.
_descriptor - Variable in class edu.rice.cs.cunit.classFile.MethodInfo
Type descriptor information.
_descriptorIndex - Variable in class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo
Type descriptor index.
_doubleValue - Variable in class edu.rice.cs.cunit.classFile.constantPool.DoublePoolInfo
Data.
_fields - Variable in class edu.rice.cs.cunit.classFile.ClassFile
Fields in the class.
_file - Variable in class edu.rice.cs.cunit.classFile.ClassFileTools.ClassLocation
 
_first - Variable in class edu.rice.cs.cunit.util.Pair
First value of the pair.
_floatValue - Variable in class edu.rice.cs.cunit.classFile.constantPool.FloatPoolInfo
Data.
_high - Variable in class edu.rice.cs.cunit.classFile.code.instructions.TableSwitchInstruction
Upper bound.
_in - Variable in class edu.rice.cs.cunit.util.PositionDataInputStream
Delegee.
_inCheckCode - Static variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
True if the code currently executing is due to thread checking; used to avoid infinite recursions.
_index - Variable in class edu.rice.cs.cunit.classFile.code.InstructionList
 
_index - Variable in class edu.rice.cs.cunit.util.ILambda.Nary.Bind
The index of the constant parameter.
_indices - Variable in class edu.rice.cs.cunit.util.ILambda.Nary.BindK
Array with indices of the constant parameters.
_inputStream - Variable in class edu.rice.cs.cunit.classFile.ClassFileTools.ClassLocation
 
_instance - Static variable in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation.CheckConstantMemberVisitor
Singleton instance.
_instance - Static variable in class edu.rice.cs.cunit.classFile.constantPool.EmptyPoolInfo
Singleton instance.
_instance - Static variable in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckClassOrEmptyVisitor
Singleton instance.
_instance - Static variable in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckClassVisitor
Singleton instance.
_instance - Static variable in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckLongVisitor
Singleton instance.
_instance - Static variable in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckMethodVisitor
Singleton instance.
_instance - Static variable in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckNameAndTypeVisitor
Singleton instance.
_instance - Static variable in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckUTFOrEmptyVisitor
Singleton instance.
_instance - Static variable in class edu.rice.cs.cunit.classFile.constantPool.visitors.CheckUTFVisitor
Singleton instance.
_instance - Static variable in class edu.rice.cs.cunit.classFile.constantPool.visitors.GetPoolInfoSizeVisitor
Singleton instance.
_instructionList - Variable in class edu.rice.cs.cunit.classFile.code.InstructionList
 
_interfaces - Variable in class edu.rice.cs.cunit.classFile.ClassFile
Class information about implemented interfaces.
_intValue - Variable in class edu.rice.cs.cunit.classFile.constantPool.IntegerPoolInfo
Data.
_jarFile - Variable in class edu.rice.cs.cunit.classFile.ClassFileTools.ClassLocation
 
_keys - Variable in class edu.rice.cs.cunit.classFile.code.instructions.LookupSwitchInstruction
Branch keys.
_knownAttributes - Static variable in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo
Array with registered attributes.
_lineNumberToPC - Variable in class edu.rice.cs.cunit.classFile.code.instructions.LineNumberTable
Hash table to convert from line numbers to PCs.
_lnt - Variable in class edu.rice.cs.cunit.classFile.code.InstructionList
 
_log - Static variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
PrintWriter with the warning log.
_logData - Static variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
ObjectOutputStream with the warning log as data.
_longValue - Variable in class edu.rice.cs.cunit.classFile.constantPool.LongPoolInfo
Data.
_low - Variable in class edu.rice.cs.cunit.classFile.code.instructions.TableSwitchInstruction
Lower bound.
_lvai - Variable in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Local variable annotation attribute.
_lvai - Variable in class edu.rice.cs.cunit.subAnnot.MethodEx
Local variable annotation attribute.
_majorVersion - Variable in class edu.rice.cs.cunit.classFile.ClassFile
Major version.
_maxLineNo - Variable in class edu.rice.cs.cunit.classFile.code.instructions.LineNumberTable
Line number value just after the last instruction.
_maxPC - Variable in class edu.rice.cs.cunit.classFile.code.instructions.LineNumberTable
PC value just after the last instruction.
_methods - Variable in class edu.rice.cs.cunit.classFile.ClassFile
Methods in the class.
_minorVersion - Variable in class edu.rice.cs.cunit.classFile.ClassFile
Minor version.
_name - Variable in class edu.rice.cs.cunit.classFile.attributes.AAttributeInfo
Attribute _name information.
_name - Variable in class edu.rice.cs.cunit.classFile.constantPool.ClassPoolInfo
Class name information.
_name - Variable in class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo
Name information.
_name - Variable in class edu.rice.cs.cunit.classFile.FieldInfo
Name information.
_name - Variable in class edu.rice.cs.cunit.classFile.MethodInfo
Name information.
_nameAndType - Variable in class edu.rice.cs.cunit.classFile.constantPool.AClassNameTypePoolInfo
NameAndType information.
_nameAndTypeIndex - Variable in class edu.rice.cs.cunit.classFile.constantPool.AClassNameTypePoolInfo
NameAndType index.
_nameIndex - Variable in class edu.rice.cs.cunit.classFile.constantPool.ClassPoolInfo
Class name index.
_nameIndex - Variable in class edu.rice.cs.cunit.classFile.constantPool.NameAndTypePoolInfo
Name index.
_opcode - Variable in class edu.rice.cs.cunit.classFile.code.instructions.BranchInstruction
Opcode.
_opcode - Variable in class edu.rice.cs.cunit.classFile.code.instructions.WideBranchInstruction
Opcode.
_pai - Variable in class edu.rice.cs.cunit.subAnnot.ConstructorEx
Parameter annotation attribute.
_pai - Variable in class edu.rice.cs.cunit.subAnnot.MethodEx
Parameter annotation attribute.
_pairCount - Variable in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation
Number of stored name-value _pairs.
_pairs - Variable in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation
Name-value _pairs.
_pcToLineNumber - Variable in class edu.rice.cs.cunit.classFile.code.instructions.LineNumberTable
Hash table to convert from PC to line numbers.
_props - Variable in class edu.rice.cs.cunit.classFile.attributes.CodeAttributeInfo
Properties read out from _data field.
_refSize - Variable in class edu.rice.cs.cunit.classFile.code.instructions.ReferenceInstruction
Size of the reference in bytes.
_second - Variable in class edu.rice.cs.cunit.util.Pair
Second value of the pair.
_strValue - Variable in class edu.rice.cs.cunit.classFile.constantPool.AUTFPoolInfo
Data.
_superClass - Variable in class edu.rice.cs.cunit.classFile.ClassFile
Class information about the superclass.
_target - Variable in class edu.rice.cs.cunit.classFile.code.instructions.BranchInstruction
Branch target.
_target - Variable in class edu.rice.cs.cunit.classFile.code.instructions.WideBranchInstruction
Branch target.
_targets - Variable in class edu.rice.cs.cunit.classFile.code.instructions.LookupSwitchInstruction
Branch targets.
_targets - Variable in class edu.rice.cs.cunit.classFile.code.instructions.TableSwitchInstruction
Branch targets.
_thisClass - Variable in class edu.rice.cs.cunit.classFile.ClassFile
Class information about this class.
_type - Variable in class edu.rice.cs.cunit.classFile.attributes.AAnnotationsAttributeInfo.Annotation
Type name of annotation.
_type - Variable in class edu.rice.cs.cunit.classFile.constantPool.APoolInfo
Object type.
_utf - Variable in class edu.rice.cs.cunit.classFile.constantPool.StringPoolInfo
Utf information.
_utfIndex - Variable in class edu.rice.cs.cunit.classFile.constantPool.StringPoolInfo
Utf index.
_values - Variable in class edu.rice.cs.cunit.subAnnot.AnnotationDynamicProxyHandler
Map with key-value pairs.
_violationCount - Static variable in class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck
Number of violationms found.

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