Package eu.bandm.tools.umod.runtime

Class CheckedCoPair_LR<L,R>

java.lang.Object

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

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

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

All Implemented Interfaces:

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

public class CheckedCoPair_LR<L,R>
extends CheckedCoPair_L<L,R>
implements CoPair_checkedRight<L,R>

Implements "CoPair" operations and guarantees strictness of both variants.

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_LR(boolean b, R right)
CheckedCoPair_LR(CoPair<L,R> p)
CheckedCoPair_LR(L left)

Method Summary

Modifier and Type	Method	Description
void	set_right(R r)

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

set_left

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

get_left, get_right, isLeft, 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_LR

public CheckedCoPair_LR(L left)

CheckedCoPair_LR

public CheckedCoPair_LR(boolean b,
 R right)

CheckedCoPair_LR

public CheckedCoPair_LR(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>