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.List<BlockAbstraction>	getBySignature(SignatureT signature) Returns the list of cache entries for a specified method.
java.util.Set<proguard.analysis.cpa.bam.BamCacheImpl.HashKey>	getKeySet() Returns the keys of the cache.
void	put(AbstractState stateKey, Precision precisionKey, SignatureT blockKey, BlockAbstraction blockAbstraction) Adds the block abstraction identified by the provided keys to 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.

getKeySet

public java.util.Set<proguard.analysis.cpa.bam.BamCacheImpl.HashKey> getKeySet()

Returns the keys of the cache.

getBySignature

public java.util.List<BlockAbstraction> getBySignature(SignatureT signature)

Returns the list of cache entries for a specified method.

Parameters:

signature - the signature of a method

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>