Class

de.fosd.typechef.conditional

Choice

Related Doc: package conditional

Permalink

case class Choice[+T](condition: FeatureExpr, thenBranch: Conditional[T], elseBranch: Conditional[T]) extends Conditional[T] with Product with Serializable

Linear Supertypes
Serializable, Serializable, Conditional[T], Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Choice
  2. Serializable
  3. Serializable
  4. Conditional
  5. Product
  6. Equals
  7. AnyRef
  8. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Choice(condition: FeatureExpr, thenBranch: Conditional[T], elseBranch: Conditional[T])

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. def _simplify(ctx: FeatureExpr, fm: FeatureModel): Conditional[T]

    Permalink
    Attributes
    protected[de.fosd.typechef.conditional]
    Definition Classes
    ChoiceConditional
  5. def _toList(ctx: FeatureExpr): List[(FeatureExpr, T)]

    Permalink
    Attributes
    protected[de.fosd.typechef.conditional]
    Definition Classes
    ChoiceConditional
  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. val condition: FeatureExpr

    Permalink
  9. val elseBranch: Conditional[T]

    Permalink
  10. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  11. def equals(x: Any): Boolean

    Permalink
    Definition Classes
    Choice → Equals → AnyRef → Any
  12. def exists(f: (T) ⇒ Boolean): Boolean

    Permalink
    Definition Classes
    Conditional
  13. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  14. def flatMap[U](f: (T) ⇒ Conditional[U]): Conditional[U]

    Permalink

    apply a function to every alternative value of a Conditional data structure; may introduce new choices, results are merged into a new conditional

    apply a function to every alternative value of a Conditional data structure; may introduce new choices, results are merged into a new conditional

    Definition Classes
    ChoiceConditional
  15. def flatten[U >: T](f: (FeatureExpr, U, U) ⇒ U): U

    Permalink

    flattens datastructure from a Conditional[T] to a single T with the provided merge function

    flattens datastructure from a Conditional[T] to a single T with the provided merge function

    f

    flatten function

    Definition Classes
    ChoiceConditional
  16. def forall(f: (T) ⇒ Boolean): Boolean

    Permalink
    Definition Classes
    ChoiceConditional
  17. def foreach[U](f: (T) ⇒ U): Unit

    Permalink
    Definition Classes
    ChoiceConditional
  18. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  19. def hashCode(): Int

    Permalink
    Definition Classes
    Choice → AnyRef → Any
  20. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  21. def map[U](f: (T) ⇒ U): Conditional[U]

    Permalink

    apply a function to every alternative value of a Conditional data structure

    apply a function to every alternative value of a Conditional data structure

    Definition Classes
    Conditional
  22. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  23. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  24. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  25. def select(selectedFeatures: Set[String]): T

    Permalink

    given a configuration, returns the corresponding value for that configuration

    given a configuration, returns the corresponding value for that configuration

    evaluates the conditions in choices for a given feature selection (all features not provided are assumed deselected) selectedFeatures provided as a list of names (how they would be created with createDefinedExternal)

    Definition Classes
    ChoiceConditional
    See also

    FeatureExpr.evaluate

  26. def simplify(fm: FeatureModel): Conditional[T]

    Permalink
    Definition Classes
    Conditional
  27. def simplify(ctx: FeatureExpr): Conditional[T]

    Permalink
    Definition Classes
    Conditional
  28. def simplify: Conditional[T]

    Permalink

    simplify rewrites choices, removing infeasible paths and possibly equal entries.

    simplify rewrites choices, removing infeasible paths and possibly equal entries. this is an expensive operation reasoning about variability

    a simplified data structure should not contain infeasible entries, but may still contain duplicate entries under different conditions.

    Definition Classes
    Conditional
  29. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  30. val thenBranch: Conditional[T]

    Permalink
  31. def toList: List[(FeatureExpr, T)]

    Permalink

    Function toList returns a list with all conditional values of this data structure, each value with a corresponding condition

    Function toList returns a list with all conditional values of this data structure, each value with a corresponding condition

    Definition Classes
    Conditional
  32. def toOptList: List[Opt[T]]

    Permalink
    Definition Classes
    Conditional
  33. def vflatMap[U](ctx: FeatureExpr, f: (FeatureExpr, T) ⇒ Conditional[U]): Conditional[U]

    Permalink

    apply a function to every alternative value of a Conditional data structure, propagating the current variability context in the process; may introduce new choices, results are merged into a new conditional

    apply a function to every alternative value of a Conditional data structure, propagating the current variability context in the process; may introduce new choices, results are merged into a new conditional

    Definition Classes
    ChoiceConditional
  34. def vmap[U](ctx: FeatureExpr, f: (FeatureExpr, T) ⇒ U): Conditional[U]

    Permalink

    apply a function to every alternative value of a Conditional data structure, propagating the current variability context in the process

    apply a function to every alternative value of a Conditional data structure, propagating the current variability context in the process

    Definition Classes
    Conditional
  35. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. def when(f: (T) ⇒ Boolean): FeatureExpr

    Permalink

    returns the condition when predicate f is true

    returns the condition when predicate f is true

    Definition Classes
    ChoiceConditional

Deprecated Value Members

  1. def feature: FeatureExpr

    Permalink
    Annotations
    @deprecated
    Deprecated

    (Since version 0.4.0) feature is a misleading name, use .condition instead

  2. def mapf: (FeatureExpr, (FeatureExpr, T) ⇒ Nothing) ⇒ Conditional[Nothing]

    Permalink
    Definition Classes
    Conditional
    Annotations
    @deprecated
    Deprecated

    (Since version 0.4.0) mapf is misnamed and should be replaced by vmap

  3. def mapfr: (FeatureExpr, (FeatureExpr, T) ⇒ Conditional[Nothing]) ⇒ Conditional[Nothing]

    Permalink
    Definition Classes
    Conditional
    Annotations
    @deprecated
    Deprecated

    (Since version 0.4.0) mapfr is misnamed and should be replaced by vflatMap

  4. def mapr: ((T) ⇒ Conditional[Nothing]) ⇒ Conditional[Nothing]

    Permalink
    Definition Classes
    Conditional
    Annotations
    @deprecated
    Deprecated

    (Since version 0.4.0) mapr is misnamed and should be replaced by flatMap

Inherited from Serializable

Inherited from Serializable

Inherited from Conditional[T]

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped