Package eu.bandm.tools.umod.runtime

Class CheckedPair_R<L,R>

java.lang.Object

eu.bandm.tools.umod.runtime.UncheckedPair<L,R>

eu.bandm.tools.umod.runtime.CheckedPair_R<L,R>

All Implemented Interfaces:

Pair<L,R>, Pair_checkedRight<L,R>, Serializable

public class CheckedPair_R<L,R>
extends UncheckedPair<L,R>
implements Pair_checkedRight<L,R>

Implements "Pair" operations and guarantees stricness of right side component.

See Also:

• Serialized Form

Field Summary

Fields inherited from interface eu.bandm.tools.umod.runtime.Pair

serialVersionUID

Constructor Summary

Constructors

Constructor	Description
CheckedPair_R(L left, R right)

Method Summary

Modifier and Type	Method	Description
static <A, B> List<CheckedPair_R<A,B>>	fromIterables(Iterable left, Iterable right, Class<A> lclass, Class<B> rclass)
void	set_right(R r)	ALL constructors and setters reach this (or the complementing) method!

Methods inherited from class eu.bandm.tools.umod.runtime.UncheckedPair

equals, fromIterables_unchecked, get_left, get_right, hashCode, set_left, toString, with_left, with_right

Methods inherited from class java.lang.Object

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

Methods inherited from interface eu.bandm.tools.umod.runtime.Pair

get_left, get_right, set_left, with_left, with_right

Constructor Details

CheckedPair_R

public CheckedPair_R(L left,
 R right)

Method Details

set_right

public void set_right(R r)

Description copied from class: UncheckedPair

ALL constructors and setters reach this (or the complementing) method!

Specified by:

set_right in interface Pair<L,R>

Overrides:

set_right in class UncheckedPair<L,R>

fromIterables

public static <A,
B> List<CheckedPair_R<A,B>> fromIterables(Iterable left,
 Iterable right,
 Class<A> lclass,
 Class<B> rclass)