Package | Description |
---|---|
org.key_project.util.collection |
Modifier and Type | Method and Description |
---|---|
static <S,T> DefaultImmutableMap<S,T> |
DefaultImmutableMap.nilMap()
the empty map
|
DefaultImmutableMap<S,T> |
DefaultImmutableMap.remove(S key)
removes mapping (key,...) from map
|
Constructor and Description |
---|
DefaultImmutableMap(ImmutableMapEntry<S,T> entry,
DefaultImmutableMap<S,T> parent)
creates new map with mapping entry and parent map
|
Copyright © 2003-2019 The KeY-Project.