CheckedCoPair_LR (BandM metatools API doc)

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:

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>