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 interface eu.bandm.tools.umod.runtime.CoPair

serialVersionUID

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and 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 Detail

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 Detail

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>