ValueAnalyzer.ValueAnalysisResult (ProGuardCORE)

java.lang.Object
- proguard.analysis.cpa.util.ValueAnalyzer.ValueAnalysisResult

Enclosing class:

ValueAnalyzer
```
public static class ValueAnalyzer.ValueAnalysisResult
extends java.lang.Object
```
Provides results for the analysis.
The results are not intended as just for the last execution of ValueAnalyzer.analyze(MethodSignature), but as a view on the full analysis' cache.
Since the cache at the moment has no capability to remember the last execution, the result will change as the cache changes (i.e., after calling ValueAnalyzer.analyze(MethodSignature) on a new method, old instances of ValueAnalyzer.ValueAnalysisResult will also be updated).

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`ProgramLocationDependentReachedSet<JvmAbstractState<ValueAbstractState>>`	`getMainMethodReachedSet()`	Returns the reached states for the entry method of the analysis.
`BamCache<ValueAbstractState>`	`getResultCache()`	Returns the cache of the analysis.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - getResultCache
```
public BamCache<ValueAbstractState> getResultCache()
```
    Returns the cache of the analysis. NB: the returned cache is updated every time ValueAnalyzer.analyze(MethodSignature) is called.
    While initially this is the only way to access the results, direct access to the cache is discouraged as soon as more fine-grained access to the result is available.
  - getMainMethodReachedSet
```
public ProgramLocationDependentReachedSet<JvmAbstractState<ValueAbstractState>> getMainMethodReachedSet()
```
    Returns the reached states for the entry method of the analysis.