Uses of Class
edu.rice.cs.cunit.classFile.ClassFileTools.ClassLocation

Packages that use ClassFileTools.ClassLocation

edu.rice.cs.cunit.classFile
edu.rice.cs.cunit.instrumentors.threadCheck

Uses of ClassFileTools.ClassLocation in edu.rice.cs.cunit.classFile

Methods in edu.rice.cs.cunit.classFile that return ClassFileTools.ClassLocation

static ClassFileTools.ClassLocation

ClassFileTools.findClassFile(java.lang.String className, java.util.List<java.lang.String> classPath) Find a class.

Method parameters in edu.rice.cs.cunit.classFile with type arguments of type ClassFileTools.ClassLocation

static void

ClassFileTools.generateDependencyFixPoint(java.util.Set<java.lang.String> classNames, java.util.List<java.lang.String> classPath, java.util.Set<java.lang.String> classesUsed, ILambda<java.lang.Object,ClassFileTools.ClassLocation> processClassNameLambda, ILambda<java.lang.Object,java.lang.String> processNotFoundLambda) Generate the class dependency fix point.

Uses of ClassFileTools.ClassLocation in edu.rice.cs.cunit.instrumentors.threadCheck

Methods in edu.rice.cs.cunit.instrumentors.threadCheck with parameters of type ClassFileTools.ClassLocation

protected PredicateAnnotationRecord	AThreadCheckStrategy.getPredicateAnnotationRecord(AAnnotationsAttributeInfo.Annotation annot, ClassFileTools.ClassLocation annotCL, ClassFile predicateCF, java.lang.String predicateMethod, Combine.Mode combineMode, boolean passArguments) Return the method info for the predicate method, or null if not found.
protected void	AThreadCheckStrategy.includePredicateMethodParameterOrder(java.lang.String predicateMethod, java.util.ArrayList<java.lang.String> paramNames, ClassFileTools.ClassLocation annotCL) Update the method attribute in the @PredicateLink to include the parameter order.

Method parameters in edu.rice.cs.cunit.instrumentors.threadCheck with type arguments of type ClassFileTools.ClassLocation

protected boolean

AThreadCheckStrategy.getAnnotationClassFile(java.lang.String annotType, Ref<ClassFileTools.ClassLocation> refCL, Ref<AAnnotationsAttributeInfo.Annotation> predicateLink, Ref<AAnnotationsAttributeInfo.Annotation> combineAnnot) Return the annotations class file, or null if it is not a Thread Checker annotation.