proguard.analysis.cpa.defaults

Class DifferentialMapAbstractState<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>

java.lang.Object

proguard.analysis.cpa.defaults.DifferentialMap<KeyT,AbstractSpaceT>

proguard.analysis.cpa.defaults.DifferentialMapAbstractState<KeyT,AbstractSpaceT>

All Implemented Interfaces:

java.util.Map<KeyT,AbstractSpaceT>, LatticeAbstractState<MapAbstractState<KeyT,AbstractSpaceT>>, MapAbstractState<KeyT,AbstractSpaceT>, AbstractState

public class DifferentialMapAbstractState<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>
extends DifferentialMap<KeyT,AbstractSpaceT>
implements MapAbstractState<KeyT,AbstractSpaceT>

This DifferentialMapAbstractState represents a map to LatticeAbstractStates with the semilattice operators lifted to the map.

Nested Class Summary

Nested classes/interfaces inherited from interface java.util.Map

java.util.Map.Entry<K,V>

Field Summary

Fields inherited from class proguard.analysis.cpa.defaults.DifferentialMap

shouldCollapse

Constructor Summary

Constructors

Constructor and Description
DifferentialMapAbstractState()
DifferentialMapAbstractState(java.util.Map<KeyT,AbstractSpaceT> m)
DifferentialMapAbstractState(java.util.function.Predicate<DifferentialMap<KeyT,AbstractSpaceT>> shouldCollapse)

Method Summary

Modifier and Type	Method and Description
DifferentialMapAbstractState<KeyT,AbstractSpaceT>	copy() Creates a copy of itself.

Methods inherited from class proguard.analysis.cpa.defaults.DifferentialMap

clear, collapse, containsKey, containsValue, entrySet, equals, get, getDepth, hashCode, isEmpty, keySet, put, putAll, remove, size, values

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.defaults.MapAbstractState

isLessOrEqual, join

Methods inherited from interface java.util.Map

clear, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, equals, forEach, get, getOrDefault, hashCode, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values

Methods inherited from interface proguard.analysis.cpa.defaults.LatticeAbstractState

isLess

Methods inherited from interface proguard.analysis.cpa.interfaces.AbstractState

equals, getPrecision, getStateByName, hashCode

Constructor Detail

DifferentialMapAbstractState

public DifferentialMapAbstractState()

DifferentialMapAbstractState

public DifferentialMapAbstractState(java.util.Map<KeyT,AbstractSpaceT> m)

DifferentialMapAbstractState

public DifferentialMapAbstractState(java.util.function.Predicate<DifferentialMap<KeyT,AbstractSpaceT>> shouldCollapse)

Method Detail

copy

public DifferentialMapAbstractState<KeyT,AbstractSpaceT> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface MapAbstractState<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>

Specified by:

copy in interface AbstractState