dafny

Class DafnyMap<K,V>

java.lang.Object

dafny.DafnyMap<K,V>

public class DafnyMap<K,V>
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DafnyMap()
DafnyMap(java.util.Map<K,V> m)

Method Summary

Modifier and Type	Method and Description
static <K,V> TypeDescriptor<DafnyMap<? extends K,? extends V>>	_typeDescriptor(TypeDescriptor<K> keyType, TypeDescriptor<V> valueType)
int	cardinalityInt()
boolean	contains(java.lang.Object t)
static <K,V> DafnyMap<K,V>	empty()
<KK,VV> DafnySet<? extends Tuple2<KK,VV>>	entrySet()
boolean	equals(java.lang.Object obj)
void	forEach(java.util.function.BiConsumer<? super K,? super V> action)
static <K,V> DafnyMap<K,V>	fromElements(Tuple2<K,V>... pairs)
V	get(java.lang.Object key)
int	hashCode()
boolean	isEmpty()
DafnySet<K>	keySet()
static <K,V> DafnyMap<? extends K,? extends V>	merge(DafnyMap<? extends K,? extends V> th, DafnyMap<? extends K,? extends V> other)
int	size()
static <K,V> DafnyMap<? extends K,? extends V>	subtract(DafnyMap<? extends K,? extends V> th, DafnySet<? extends K> keys)
java.lang.String	toString()
static <K,V> DafnyMap<K,V>	update(DafnyMap<? extends K,? extends V> th, K k, V v)
DafnySet<V>	valueSet()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

DafnyMap

public DafnyMap()

DafnyMap

public DafnyMap(java.util.Map<K,V> m)

Method Detail

empty

public static <K,V> DafnyMap<K,V> empty()

fromElements

public static <K,V> DafnyMap<K,V> fromElements(Tuple2<K,V>... pairs)

_typeDescriptor

public static <K,V> TypeDescriptor<DafnyMap<? extends K,? extends V>> _typeDescriptor(TypeDescriptor<K> keyType,
                                                                                      TypeDescriptor<V> valueType)

contains

public boolean contains(java.lang.Object t)

update

public static <K,V> DafnyMap<K,V> update(DafnyMap<? extends K,? extends V> th,
                                         K k,
                                         V v)

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

forEach

public void forEach(java.util.function.BiConsumer<? super K,? super V> action)

merge

public static <K,V> DafnyMap<? extends K,? extends V> merge(DafnyMap<? extends K,? extends V> th,
                                                            DafnyMap<? extends K,? extends V> other)

subtract

public static <K,V> DafnyMap<? extends K,? extends V> subtract(DafnyMap<? extends K,? extends V> th,
                                                               DafnySet<? extends K> keys)

size

public int size()

cardinalityInt

public int cardinalityInt()

isEmpty

public boolean isEmpty()

get

public V get(java.lang.Object key)

keySet

public DafnySet<K> keySet()

valueSet

public DafnySet<V> valueSet()

entrySet

public <KK,VV> DafnySet<? extends Tuple2<KK,VV>> entrySet()