Package eu.bandm.tools.umod.runtime

Class CheckedCoPair_L<L,R>

java.lang.Object

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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

CheckedCoPair_LR

public class CheckedCoPair_L<L,R>
extends UncheckedCoPair<L,R>
implements CoPair_checkedLeft<L,R>

Implements "CoPair" operations and guarantees strictness of left variant.

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

Method Summary

Modifier and Type	Method	Description
void	set_left(L l)

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

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

Constructor Details

CheckedCoPair_L

public CheckedCoPair_L(L left)

CheckedCoPair_L

public CheckedCoPair_L(boolean b,
 R right)

CheckedCoPair_L

public CheckedCoPair_L(CoPair<L,R> p)

Method Details

set_left

public void set_left(L l)

Specified by:

set_left in interface CoPair<L,R>

Overrides:

set_left in class UncheckedCoPair<L,R>