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

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

Type Parameters:

A - The type of the first value.

B - The type of the second value.

C - The type of the third value.

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

A simple Triple which holds to independent values which all can be accessed.

Author:

dw

Constructor Summary

Triple(A a, B b, C c)
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
C	getThird() Get the second element of the pair
Triple<A,B,C>	setFirst(A a) Set the value of the first element
Triple<A,B,C>	setSecond(B b) Set the value of the second element
Triple<A,B,C>	setThird(C c) 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

Triple

public Triple(A a,
              B b,
              C c)

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

getThird

public final C getThird()

Get the second element of the pair

Returns:

the second element

setFirst

public final Triple<A,B,C> setFirst(A a)

Set the value of the first element

Parameters:

a - the value

Returns:

this

setSecond

public final Triple<A,B,C> setSecond(B b)

Set the value of the second element

Parameters:

b - the value

Returns:

this

setThird

public final Triple<A,B,C> setThird(C c)

Set the value of the second element

Parameters:

b - the value

Returns:

this