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>

Type Parameters:

L - the type of the left alternatives

R - the type of the right alternatives

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

Constructor Summary

Constructors

Constructor	Description
CheckedCoPair_R(boolean b, R right)	Create a copair of the "right" alternative.
CheckedCoPair_R(CoPair<L,R> p)	Create a copair with the same values as the prototype.
CheckedCoPair_R(L left)	Create a copair of the "left" alternative.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
void	set_right(R r)	Set this instance to realizes the right variant and set its value.

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

get_left, get_right, hashCode, isLeft, set_left, toString, xEquals

Methods inherited from class java.lang.Object

clone, finalize, getClass, 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(@Opt
 L left)

Create a copair of the "left" alternative.

Parameters:

left - the value stored in this copair.

CheckedCoPair_R

public CheckedCoPair_R(boolean b,
 R right)

Create a copair of the "right" alternative.

Parameters:

b - a marker parameter which chooses the right alternative. Can have arbitrary value.

right - the value stored in this copair.

Throws:

NullPointerException - if the argument is null.

CheckedCoPair_R

public CheckedCoPair_R(CoPair<L,R> p)

Create a copair with the same values as the prototype.

Parameters:

p - the prototype

Throws:

NullPointerException - if the argument realizes the right variant and has the null value.

Method Details

set_right

public void set_right(R r)

Set this instance to realizes the right variant and set its value.

Specified by:

set_right in interface CoPair<L,R>

Overrides:

set_right in class UncheckedCoPair<L,R>

Parameters:

r - the value to be stored.

Throws:

NullPointerException - if the value is null

equals

public boolean equals(Object o)

Overrides:

equals in class UncheckedCoPair<L,R>