MapRepresentation (lisa-sdk 0.1b5 API)

java.lang.Object
- it.unive.lisa.analysis.representation.DomainRepresentation
- - it.unive.lisa.analysis.representation.MapRepresentation

All Implemented Interfaces:

java.lang.Comparable<DomainRepresentation>
```
public class MapRepresentation
extends DomainRepresentation
```
A DomainRepresentation in the form of a key-value mapping.

Constructor Summary

Constructors
Constructor	Description
`MapRepresentation(java.util.Map<DomainRepresentation,DomainRepresentation> map)`	Builds a new representation containing the given map.
`MapRepresentation(java.util.Map<K,V> map, java.util.function.Function<K,DomainRepresentation> keyMapper, java.util.function.Function<V,DomainRepresentation> valueMapper)`	Builds a new representation starting from the given map.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type Method Description

boolean equals(java.lang.Object obj)

int hashCode()

java.lang.String toString()
- Methods inherited from class it.unive.lisa.analysis.representation.DomainRepresentation
  compareTo
- Methods inherited from class java.lang.Object
  clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - MapRepresentation
```
public MapRepresentation(java.util.Map<K,V> map,
                         java.util.function.Function<K,DomainRepresentation> keyMapper,
                         java.util.function.Function<V,DomainRepresentation> valueMapper)
```
    Builds a new representation starting from the given map. keyMapper and valueMapper are used for transforming each key and value in the map to their individual representation.
    
    Type Parameters:
    
    K - the type of keys in the map
    
    V - the type of values in the map
    
    Parameters:
    
    map - the map to represent
    
    keyMapper - the function that knows how to convert keys to their representation
    
    valueMapper - the function that knows how to convert values to their representation
  - MapRepresentation
```
public MapRepresentation(java.util.Map<DomainRepresentation,DomainRepresentation> map)
```
    Builds a new representation containing the given map.
    
    Parameters:
    
    map - the map
- Method Detail
  - toString
```
public java.lang.String toString()
```
    Specified by:
    
    toString in class DomainRepresentation
  - hashCode
```
public int hashCode()
```
    Specified by:
    
    hashCode in class DomainRepresentation
  - equals
```
public boolean equals(java.lang.Object obj)
```
    Specified by:
    
    equals in class DomainRepresentation