de.unisaarland.cs.st.jerify.verifier.helpers
Class Pair<A,B>

java.lang.Object
  de.unisaarland.cs.st.jerify.verifier.helpers.Pair<A,B>

Type Parameters:

A - The type of the first value.

B - The type of the second value.

public class Pair<A,B>
extends java.lang.Object

A simple Pair which holds to independent values which both can be accessed.

Author:

dw

Constructor Summary

Pair(A a, B b)
Creates a new Pair wich is initialized with the first element a and the second element b

Method Summary

A	getFirst() Get the first element of the pair.
B	getSecond() Get the second element of the pair
Pair<A,B>	setFirst(A a) Set the value of the first element
Pair<A,B>	setSecond(B b) Set the value of the second element

Methods inherited from class java.lang.Object

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

Constructor Detail

Pair

public Pair(A a,
            B b)

Creates a new Pair wich is initialized with the first element a and the second element b

Parameters:

a -

b -

Method Detail

getFirst

public final A getFirst()

Get the first element of the pair.

Returns:

the first element

getSecond

public final B getSecond()

Get the second element of the pair

Returns:

the second element

setFirst

public final Pair<A,B> setFirst(A a)

Set the value of the first element

Parameters:

a - the value

Returns:

this

setSecond

public final Pair<A,B> setSecond(B b)

Set the value of the second element

Parameters:

b - the value

Returns:

this