proguard.analysis.cpa.bam

Class BamCacheImpl<SignatureT extends Signature>

java.lang.Object

proguard.analysis.cpa.bam.BamCacheImpl<SignatureT>

All Implemented Interfaces:

BamCache<SignatureT>

public class BamCacheImpl<SignatureT extends Signature>
extends java.lang.Object
implements BamCache<SignatureT>

A simple implementation of BamCache where the cache is implemented as a HashMap.

Constructor Summary

Constructors

Constructor and Description
BamCacheImpl()

Method Summary

Modifier and Type	Method and Description
BlockAbstraction	get(AbstractState stateKey, Precision precisionKey, SignatureT blockKey) Gets the block abstraction identified by the provided keys from the cache.
java.util.Collection<BlockAbstraction>	get(Precision precision, SignatureT blockKey) Returns a collection of all the cache entries for a specified method with a certain precision, empty in case there are not such entries.
java.util.Collection<BlockAbstraction>	get(SignatureT blockKey) Returns a collection of all the cache entries for a specified method, empty in case there are not such entries.
java.util.Set<SignatureT>	getAllMethods() Returns a set of all the methods that have an entry in the cache.
void	put(AbstractState stateKey, Precision precisionKey, SignatureT blockKey, BlockAbstraction blockAbstraction) Adds the block abstraction identified by the provided keys to the cache.
int	size() Returns the size of the cache.
java.util.Collection<BlockAbstraction>	values() Returns block abstractions stored in the cache.

Methods inherited from class java.lang.Object

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

Constructor Detail

BamCacheImpl

public BamCacheImpl()

Method Detail

put

public void put(AbstractState stateKey,
                Precision precisionKey,
                SignatureT blockKey,
                BlockAbstraction blockAbstraction)

Description copied from interface: BamCache

Adds the block abstraction identified by the provided keys to the cache.

Specified by:

put in interface BamCache<SignatureT extends Signature>

get

public BlockAbstraction get(AbstractState stateKey,
                            Precision precisionKey,
                            SignatureT blockKey)

Description copied from interface: BamCache

Gets the block abstraction identified by the provided keys from the cache.

Specified by:

get in interface BamCache<SignatureT extends Signature>

Returns:

The requested block abstraction, null in case of cache-miss.

get

public java.util.Collection<BlockAbstraction> get(SignatureT blockKey)

Description copied from interface: BamCache

Returns a collection of all the cache entries for a specified method, empty in case there are not such entries.

Specified by:

get in interface BamCache<SignatureT extends Signature>

get

public java.util.Collection<BlockAbstraction> get(Precision precision,
                                                  SignatureT blockKey)

Description copied from interface: BamCache

Returns a collection of all the cache entries for a specified method with a certain precision, empty in case there are not such entries.

Specified by:

get in interface BamCache<SignatureT extends Signature>

values

public java.util.Collection<BlockAbstraction> values()

Description copied from interface: BamCache

Returns block abstractions stored in the cache.

Specified by:

values in interface BamCache<SignatureT extends Signature>

size

public int size()

Description copied from interface: BamCache

Returns the size of the cache.

Specified by:

size in interface BamCache<SignatureT extends Signature>

getAllMethods

public java.util.Set<SignatureT> getAllMethods()

Description copied from interface: BamCache

Returns a set of all the methods that have an entry in the cache.

Specified by:

getAllMethods in interface BamCache<SignatureT extends Signature>