net.automatalib.commons.util.mappings

Class ArrayMapping<K extends NumericID,V>

java.lang.Object

net.automatalib.commons.util.mappings.ArrayMapping<K,V>

All Implemented Interfaces:

Mapping<K,V>, MutableMapping<K,V>, IDChangeListener<K>

public final class ArrayMapping<K extends NumericID,V>
extends Object
implements MutableMapping<K,V>, IDChangeListener<K>

Constructor Summary

Constructors

Constructor and Description
ArrayMapping()
ArrayMapping(int initialSize)

Method Summary

Modifier and Type	Method and Description
V	get(K elem) Get the range object elem maps to.
void	idChanged(K obj, int newId, int oldId)
V	put(K key, V value)

Methods inherited from class java.lang.Object

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

Constructor Detail

ArrayMapping

public ArrayMapping()

ArrayMapping

public ArrayMapping(int initialSize)

Method Detail

get

public V get(K elem)

Description copied from interface: Mapping

Get the range object elem maps to.

Specified by:

get in interface Mapping<K extends NumericID,V>

Parameters:

elem - object from the domain.

Returns:

the object from the range corresponding to elem.

put

public V put(K key,
             V value)

Specified by:

put in interface MutableMapping<K extends NumericID,V>

idChanged

public void idChanged(K obj,
                      int newId,
                      int oldId)

Specified by:

idChanged in interface IDChangeListener<K extends NumericID>