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>
Type Parameters:
L - the type of the left alternatives
R - the type of the right alternatives
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:

  • Constructor Details

    • CheckedCoPair_L

      public CheckedCoPair_L(L left)
      Create a copair of the "left" alternative.
      Parameters:
      left - the value stored in this copair.
      Throws:
      NullPointerException - if the argument is null.

    • CheckedCoPair_L

      public CheckedCoPair_L(boolean b, @Opt 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.

    • CheckedCoPair_L

      public CheckedCoPair_L(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 left variant and has the null value.

  • Method Details