rwth.i2.ltlrv.data
Class WeakValuesMap.Util

java.lang.Object
  rwth.i2.ltlrv.data.WeakValuesMap.Util

Enclosing interface:

WeakValuesMap<K,V>

public static class WeakValuesMap.Util
extends Object

Provides access to an empty map. Used by the Backend.

Author:

bodden

Field Summary

private static WeakValuesMap

EMPTY_MAP

Constructor Summary

WeakValuesMap.Util()

Method Summary

static <K,V> WeakValuesMap<K,V>

emptyMap()

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY_MAP

private static final WeakValuesMap EMPTY_MAP

Constructor Detail

WeakValuesMap.Util

public WeakValuesMap.Util()

Method Detail

emptyMap

public static final <K,V> WeakValuesMap<K,V> emptyMap()

Type Parameters:

K - type parameter for key type

V - type parameter for value type

Returns:

an unmodifyable, empty map