Package proguard.analysis.cpa.bam

Class BamCacheImpl<ContentT extends AbstractState<ContentT>>

java.lang.Object

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

Type Parameters:

ContentT - The content of the jvm states. For example, this can be a SetAbstractState of taints for taint analysis or a ValueAbstractState for value analysis.

All Implemented Interfaces:

BamCache<ContentT>

public class BamCacheImpl<ContentT extends AbstractState<ContentT>>
extends Object
implements BamCache<ContentT>

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

Constructor Summary

Constructors

Constructor	Description
BamCacheImpl()

Method Summary

Modifier and Type	Method	Description
Collection<BlockAbstraction<ContentT>>	get(Precision precision, MethodSignature 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.
BlockAbstraction<ContentT>	get(JvmAbstractState<ContentT> stateKey, Precision precisionKey, MethodSignature blockKey)	Gets the block abstraction identified by the provided keys from the cache.
Collection<BlockAbstraction<ContentT>>	get(MethodSignature blockKey)	Returns a collection of all the cache entries for a specified method, empty in case there are not such entries.
Set<MethodSignature>	getAllMethods()	Returns a set of all the methods that have an entry in the cache.
void	put(JvmAbstractState<ContentT> stateKey, Precision precisionKey, MethodSignature blockKey, BlockAbstraction<ContentT> blockAbstraction)	Adds the block abstraction identified by the provided keys to the cache.
int	size()	Returns the size of the cache.
Collection<BlockAbstraction<ContentT>>	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 Details

BamCacheImpl

public BamCacheImpl()

Method Details

put

public void put(JvmAbstractState<ContentT> stateKey,
 Precision precisionKey,
 MethodSignature blockKey,
 BlockAbstraction<ContentT> blockAbstraction)

Description copied from interface: BamCache

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

Specified by:

put in interface BamCache<ContentT extends AbstractState<ContentT>>

get

public BlockAbstraction<ContentT> get(JvmAbstractState<ContentT> stateKey,
 Precision precisionKey,
 MethodSignature blockKey)

Description copied from interface: BamCache

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

Specified by:

get in interface BamCache<ContentT extends AbstractState<ContentT>>

Returns:

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

get

public Collection<BlockAbstraction<ContentT>> get(MethodSignature 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<ContentT extends AbstractState<ContentT>>

get

public Collection<BlockAbstraction<ContentT>> get(Precision precision,
 MethodSignature 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<ContentT extends AbstractState<ContentT>>

values

public Collection<BlockAbstraction<ContentT>> values()

Description copied from interface: BamCache

Returns block abstractions stored in the cache.

Specified by:

values in interface BamCache<ContentT extends AbstractState<ContentT>>

size

public int size()

Description copied from interface: BamCache

Returns the size of the cache.

Specified by:

size in interface BamCache<ContentT extends AbstractState<ContentT>>

getAllMethods

public Set<MethodSignature> 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<ContentT extends AbstractState<ContentT>>