org.mutabilitydetector
Class ThreadUnsafeAnalysisSession

java.lang.Object
  org.mutabilitydetector.ThreadUnsafeAnalysisSession

All Implemented Interfaces:

AnalysisErrorReporter, AnalysisSession

public final class ThreadUnsafeAnalysisSession
extends Object
implements AnalysisSession, AnalysisErrorReporter

Nested Class Summary

Nested classes/interfaces inherited from interface org.mutabilitydetector.AnalysisErrorReporter

AnalysisErrorReporter.AnalysisError

Method Summary

void	addAnalysisError(AnalysisErrorReporter.AnalysisError error)
static AnalysisSession	createWithCurrentClassPath(Configuration configuration) Creates an analysis session based suitable for runtime analysis.
static AnalysisSession	createWithGivenClassPath(com.google.classpath.ClassPath classpath, CheckerRunnerFactory checkerRunnerFactory, MutabilityCheckerFactory checkerFactory, AsmVerifierFactory verifierFactory, Configuration configuration)
AnalysisErrorReporter	errorReporter()
Collection<AnalysisErrorReporter.AnalysisError>	getErrors()
Collection<AnalysisResult>	getResults()
AnalysisResult	resultFor(Dotted className)
Map<Dotted,AnalysisResult>	resultsByClass()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

createWithGivenClassPath

public static AnalysisSession createWithGivenClassPath(com.google.classpath.ClassPath classpath,
                                                       CheckerRunnerFactory checkerRunnerFactory,
                                                       MutabilityCheckerFactory checkerFactory,
                                                       AsmVerifierFactory verifierFactory,
                                                       Configuration configuration)

createWithCurrentClassPath

public static AnalysisSession createWithCurrentClassPath(Configuration configuration)

Creates an analysis session based suitable for runtime analysis.

For analysis, classes will be accessed through the runtime classpath.

Parameters:

configuration - custom configuration for analysis.

Returns:

AnalysisSession for runtime analysis.

See Also:

ConfigurationBuilder

resultFor

public AnalysisResult resultFor(Dotted className)

Specified by:

resultFor in interface AnalysisSession

addAnalysisError

public void addAnalysisError(AnalysisErrorReporter.AnalysisError error)

Specified by:

addAnalysisError in interface AnalysisErrorReporter

getResults

public Collection<AnalysisResult> getResults()

Specified by:

getResults in interface AnalysisSession

resultsByClass

public Map<Dotted,AnalysisResult> resultsByClass()

Specified by:

resultsByClass in interface AnalysisSession

getErrors

public Collection<AnalysisErrorReporter.AnalysisError> getErrors()

Specified by:

getErrors in interface AnalysisSession

errorReporter

public AnalysisErrorReporter errorReporter()

Specified by:

errorReporter in interface AnalysisSession