de.uka.ilkd.key.util

Class Pair<T1,T2>

java.lang.Object

de.uka.ilkd.key.util.Pair<T1,T2>

Direct Known Subclasses:

SymbolicExecutionState, SymbolicExecutionTreeBuilder.JavaPair

public class Pair<T1,T2>
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
T1	first
T2	second

Constructor Summary

Constructors

Constructor and Description
Pair(T1 first, T2 second)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
static <S,T> java.util.Set<S>	getFirstSet(java.util.Collection<Pair<S,T>> pairs) Returns the set of first entries from a collection of pairs.
static <S,T> java.util.Set<T>	getSecondSet(java.util.Collection<Pair<S,T>> pairs) Returns the set of second entries from a collection of pairs.
int	hashCode()
static <S,T> java.util.Map<S,T>	toMap(java.util.Collection<Pair<S,T>> pairs) Convert a collection of pairs into a map.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

first

public final T1 first

second

public final T2 second

Constructor Detail

Pair

public Pair(T1 first,
            T2 second)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toMap

public static <S,T> java.util.Map<S,T> toMap(java.util.Collection<Pair<S,T>> pairs)

Convert a collection of pairs into a map.

Throws:

java.lang.IllegalArgumentException - if it contains duplicate first entries

getFirstSet

public static <S,T> java.util.Set<S> getFirstSet(java.util.Collection<Pair<S,T>> pairs)

Returns the set of first entries from a collection of pairs.

getSecondSet

public static <S,T> java.util.Set<T> getSecondSet(java.util.Collection<Pair<S,T>> pairs)

Returns the set of second entries from a collection of pairs.