Uses of Interface
edu.rice.cs.cunit.instrumentors.util.IScannerStrategy.IScanResult

Packages that use IScannerStrategy.IScanResult

edu.rice.cs.cunit.instrumentors.threadCheck
edu.rice.cs.cunit.instrumentors.util

Uses of IScannerStrategy.IScanResult in edu.rice.cs.cunit.instrumentors.threadCheck

Classes in edu.rice.cs.cunit.instrumentors.threadCheck that implement IScannerStrategy.IScanResult

static class	AAddThreadCheckStrategy.CacheInfo Cache hit/miss message.
static class	AAddThreadCheckStrategy.OnlyAfterRealizedWarning ONLY_AFTER_REALIZED warning
class	BadPredicateAnnotationWarning Storage class for bad predicate annotation warnings.
class	ClassNotFoundWarning Storage class for class not found warnings.
class	SubtypingWarning Storage class for subtyping warnings.

Fields in edu.rice.cs.cunit.instrumentors.threadCheck with type parameters of type IScannerStrategy.IScanResult

protected java.util.HashSet<IScannerStrategy.IScanResult>

AAddThreadCheckStrategy.SharedAddData.otherWarnings Warnings.

Methods in edu.rice.cs.cunit.instrumentors.threadCheck that return types with arguments of type IScannerStrategy.IScanResult

java.util.HashSet<IScannerStrategy.IScanResult>	AAddThreadCheckStrategy.SharedAddData.getOtherWarnings()
java.util.List<? extends IScannerStrategy.IScanResult>	AAddThreadCheckStrategy.SharedAddData.getScanResults() Return a list of scan results.
java.util.List<? extends IScannerStrategy.IScanResult>	AThreadCheckStrategy.SharedData.getScanResults() Return a list of scan results.

Uses of IScannerStrategy.IScanResult in edu.rice.cs.cunit.instrumentors.util

Classes in edu.rice.cs.cunit.instrumentors.util that implement IScannerStrategy.IScanResult

static class

ScanForObjectCtorStrategy.Location Storage class for locations that used "new Object()".

Methods in edu.rice.cs.cunit.instrumentors.util that return types with arguments of type IScannerStrategy.IScanResult

java.util.List<IScannerStrategy.IScanResult>	CompoundStrategy.getScanResults() Returns the combined list of all scan results.
java.util.List<? extends IScannerStrategy.IScanResult>	IScannerStrategy.getScanResults() Return a list of scan results.