JavaScript is disabled on your browser.
Overview
Package
Class
Tree
Deprecated
Index
Help
KeY 2.6.2_00c1abfd22b738afe24e89fecc2ee4eec2c38f4a
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.2_00c1abfd22b738afe24e89fecc2ee4eec2c38f4a
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method