JavaScript is disabled on your browser.
Overview
Package
Class
Tree
Deprecated
Index
Help
KeY 2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method
org.key_project.util.collection
Interface ImmutableMapEntry<S,T>
All Superinterfaces:
Serializable
All Known Implementing Classes:
DefaultImmutableMap.MapEntry
public interface
ImmutableMapEntry<S,T>
extends
Serializable
This interface declares a tupel of two values. The first one is of type
and named key, the second one is of type
and named value
Method Summary
Methods
Modifier and Type
Method and Description
S
key
()
T
value
()
Method Detail
key
S
key()
Returns:
the first part of the tupel
value
T
value()
Returns:
the second part of the tupel
Overview
Package
Class
Tree
Deprecated
Index
Help
KeY 2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method