Package eu.bandm.tools.ramus.runtime2

Class MapChange<K,V,M>

java.lang.Object

eu.bandm.tools.ramus.runtime2.MapChange<K,V,M>

public class MapChange<K,V,M>
extends Object

Constructor Summary

Constructors

Constructor	Description
MapChange(K key, V oldValue, V newValue, M newMap)

Method Summary

Modifier and Type	Method	Description
M	getNewMap()
V	getNewValue()
(package private) MapChange<K,V,M>	setNewMap(M newMap)
<N> MapChange<K,V,N>	withNewMap(Function<? super M,? extends N> fun)

Methods inherited from class java.lang.Object

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

Constructor Details

MapChange

MapChange(K key,
 V oldValue,
 V newValue,
 M newMap)

Method Details

getNewValue

public V getNewValue()

getNewMap

public M getNewMap()

withNewMap

public <N> MapChange<K,V,N> withNewMap(Function<? super M,? extends N> fun)

setNewMap

MapChange<K,V,M> setNewMap(M newMap)