Package eu.bandm.tools.umod.runtime

Class CheckedCoPair_R<L,R>

java.lang.Object

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

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

All Implemented Interfaces:

CoPair<L,R>, CoPair_checkedRight<L,R>, Serializable

public class CheckedCoPair_R<L,R>
extends UncheckedCoPair<L,R>
implements CoPair_checkedRight<L,R>

Facade to "CoPair" operations and guarantees strictness of right variant, by overwriting "set_right()"

See Also:

• Serialized Form

Field Summary

Fields inherited from class eu.bandm.tools.umod.runtime.UncheckedCoPair

isLeft, left, right

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

serialVersionUID

Constructor Summary

Constructors

Constructor	Description
CheckedCoPair_R(boolean b, R right)
CheckedCoPair_R(CoPair<L,R> p)
CheckedCoPair_R(L left)

Method Summary

Modifier and Type	Method	Description
void	set_right(R r)

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

get_left, get_right, isLeft, set_left, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

get_left, get_right, isLeft, set_left

Constructor Details

CheckedCoPair_R

public CheckedCoPair_R(L left)

CheckedCoPair_R

public CheckedCoPair_R(boolean b,
 R right)

CheckedCoPair_R

public CheckedCoPair_R(CoPair<L,R> p)

Method Details

set_right

public void set_right(R r)

Specified by:

set_right in interface CoPair<L,R>

Overrides:

set_right in class UncheckedCoPair<L,R>