DifferentialMapAbstractState (ProGuardCORE)

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 extends java.lang.Object,V extends java.lang.Object>

Field Summary
- Fields inherited from class proguard.analysis.cpa.defaults.DifferentialMap
  shouldCollapse

Constructor Summary

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

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type Method 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, notify, notifyAll, toString, wait, wait, wait
- Methods inherited from interface proguard.analysis.cpa.interfaces.AbstractState
  equals, getPrecision, getStateByName, hashCode
- Methods inherited from interface proguard.analysis.cpa.defaults.LatticeAbstractState
  isLess
- 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.MapAbstractState
  isLessOrEqual, join

- 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 AbstractState
    
    Specified by:
    
    copy in interface MapAbstractState<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>