Packages

sealed trait EOptionPSet[E <: fpcf.Entity, P <: Property] extends Traversable[EOptionP[E, P]]

An semi-mutable set storing EPKs and interim properties.

The set is semi-mutable in the sense that the concrete property values associated with a specific entity can be updated, but as soon as dependencies to other E/PKs are added or removed a new set is created; this behavior is required by the property store since the list of dependees w.r.t. the entity/property kind must not change

The set never contains FinalEPs and can (should) therefore directly be used as the dependency set passed to InterimResults.

Source
EOptionPSet.scala
Linear Supertypes
Traversable[EOptionP[E, P]], GenTraversable[EOptionP[E, P]], GenericTraversableTemplate[EOptionP[E, P], Traversable], TraversableLike[EOptionP[E, P], Traversable[EOptionP[E, P]]], GenTraversableLike[EOptionP[E, P], Traversable[EOptionP[E, P]]], Parallelizable[EOptionP[E, P], ParIterable[EOptionP[E, P]]], TraversableOnce[EOptionP[E, P]], GenTraversableOnce[EOptionP[E, P]], FilterMonadic[EOptionP[E, P], Traversable[EOptionP[E, P]]], HasNewBuilder[EOptionP[E, P], Traversable[EOptionP[E, P]]], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. EOptionPSet
  2. Traversable
  3. GenTraversable
  4. GenericTraversableTemplate
  5. TraversableLike
  6. GenTraversableLike
  7. Parallelizable
  8. TraversableOnce
  9. GenTraversableOnce
  10. FilterMonadic
  11. HasNewBuilder
  12. AnyRef
  13. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Self = Traversable[EOptionP[E, P]]
    Attributes
    protected[this]
    Definition Classes
    TraversableLike
  2. class WithFilter extends FilterMonadic[A, Repr]
    Definition Classes
    TraversableLike

Abstract Value Members

  1. abstract def foreach[U](f: (EOptionP[E, P]) ⇒ U): Unit
    Definition Classes
    EOptionPSet → GenericTraversableTemplate → TraversableLike → GenTraversableLike → TraversableOnce → GenTraversableOnce → FilterMonadic
  2. abstract def getOrQueryAndUpdate[NewE <: E, NewP <: P](e: NewE, pk: PropertyKey[NewP])(implicit ps: PropertyStore): EOptionP[NewE, NewP]

    Returns the last queried value or queries the property store and stores the value unless the value is final.

    Returns the last queried value or queries the property store and stores the value unless the value is final.

    The value is stored to ensure that a client gets a consistent view of the same EPK if it is queried multiple times during an analysis.

    If the queried eOptionP is final then it is not added to the list of dependees.

  3. abstract def update(eps: SomeEPS): Unit

    Updates this set's EOptionP that has the same entity and PropertyKey with the given one.

    Updates this set's EOptionP that has the same entity and PropertyKey with the given one. Here, update means that the value is replaced, unless the new value is final. In that case the value is removed because it is no longer required as a dependency!

  4. abstract def updateAll()(implicit ps: PropertyStore): Unit

    Updates all dependent values.

    Updates all dependent values. Similar to the update method final values will be removed.

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def ++[B >: EOptionP[E, P], That](that: GenTraversableOnce[B])(implicit bf: CanBuildFrom[Traversable[EOptionP[E, P]], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  4. def ++:[B >: EOptionP[E, P], That](that: Traversable[B])(implicit bf: CanBuildFrom[Traversable[EOptionP[E, P]], B, That]): That
    Definition Classes
    TraversableLike
  5. def ++:[B >: EOptionP[E, P], That](that: TraversableOnce[B])(implicit bf: CanBuildFrom[Traversable[EOptionP[E, P]], B, That]): That
    Definition Classes
    TraversableLike
  6. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  7. def addString(b: StringBuilder): StringBuilder
    Definition Classes
    TraversableOnce
  8. def addString(b: StringBuilder, sep: String): StringBuilder
    Definition Classes
    TraversableOnce
  9. def addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder
    Definition Classes
    TraversableOnce
  10. def aggregate[B](z: ⇒ B)(seqop: (B, EOptionP[E, P]) ⇒ B, combop: (B, B) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  11. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  12. def clone(): EOptionPSet[E, P]

    Creates new successor instance which can be manipulated independently from this instance.

    Creates new successor instance which can be manipulated independently from this instance.

    Definition Classes
    EOptionPSet → AnyRef
  13. def collect[B, That](pf: PartialFunction[EOptionP[E, P], B])(implicit bf: CanBuildFrom[Traversable[EOptionP[E, P]], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  14. def collectFirst[B](pf: PartialFunction[EOptionP[E, P], B]): Option[B]
    Definition Classes
    TraversableOnce
  15. def companion: GenericCompanion[Traversable]
    Definition Classes
    Traversable → GenTraversable → GenericTraversableTemplate
  16. def copyToArray[B >: EOptionP[E, P]](xs: Array[B], start: Int, len: Int): Unit
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  17. def copyToArray[B >: EOptionP[E, P]](xs: Array[B]): Unit
    Definition Classes
    TraversableOnce → GenTraversableOnce
  18. def copyToArray[B >: EOptionP[E, P]](xs: Array[B], start: Int): Unit
    Definition Classes
    TraversableOnce → GenTraversableOnce
  19. def copyToBuffer[B >: EOptionP[E, P]](dest: Buffer[B]): Unit
    Definition Classes
    TraversableOnce
  20. def count(p: (EOptionP[E, P]) ⇒ Boolean): Int
    Definition Classes
    TraversableOnce → GenTraversableOnce
  21. def drop(n: Int): Traversable[EOptionP[E, P]]
    Definition Classes
    TraversableLike → GenTraversableLike
  22. def dropWhile(p: (EOptionP[E, P]) ⇒ Boolean): Traversable[EOptionP[E, P]]
    Definition Classes
    TraversableLike → GenTraversableLike
  23. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  24. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  25. def exists(p: (EOptionP[E, P]) ⇒ Boolean): Boolean
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  26. def filter(p: (EOptionP[E, P]) ⇒ Boolean): EOptionPSet[E, P]

    Filters the respective EOptionP values and returns a new EOptionPSet.

    Filters the respective EOptionP values and returns a new EOptionPSet.

    Definition Classes
    EOptionPSet → TraversableLike → GenTraversableLike
  27. def filterNot(p: (EOptionP[E, P]) ⇒ Boolean): Traversable[EOptionP[E, P]]
    Definition Classes
    TraversableLike → GenTraversableLike
  28. def find(p: (EOptionP[E, P]) ⇒ Boolean): Option[EOptionP[E, P]]
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  29. def flatMap[B, That](f: (EOptionP[E, P]) ⇒ GenTraversableOnce[B])(implicit bf: CanBuildFrom[Traversable[EOptionP[E, P]], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  30. def flatten[B](implicit asTraversable: (EOptionP[E, P]) ⇒ GenTraversableOnce[B]): Traversable[B]
    Definition Classes
    GenericTraversableTemplate
  31. def fold[A1 >: EOptionP[E, P]](z: A1)(op: (A1, A1) ⇒ A1): A1
    Definition Classes
    TraversableOnce → GenTraversableOnce
  32. def foldLeft[B](z: B)(op: (B, EOptionP[E, P]) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  33. def foldRight[B](z: B)(op: (EOptionP[E, P], B) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  34. def forall(p: (EOptionP[E, P]) ⇒ Boolean): Boolean
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  35. def genericBuilder[B]: Builder[B, Traversable[B]]
    Definition Classes
    GenericTraversableTemplate
  36. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  37. def groupBy[K](f: (EOptionP[E, P]) ⇒ K): Map[K, Traversable[EOptionP[E, P]]]
    Definition Classes
    TraversableLike → GenTraversableLike
  38. final def hasDefiniteSize: Boolean
    Definition Classes
    EOptionPSet → TraversableLike → TraversableOnce → GenTraversableOnce
  39. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  40. def head: EOptionP[E, P]
    Definition Classes
    TraversableLike → GenTraversableLike
  41. def headOption: Option[EOptionP[E, P]]
    Definition Classes
    TraversableLike → GenTraversableLike
  42. def init: Traversable[EOptionP[E, P]]
    Definition Classes
    TraversableLike → GenTraversableLike
  43. def inits: Iterator[Traversable[EOptionP[E, P]]]
    Definition Classes
    TraversableLike
  44. def isEmpty: Boolean
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  45. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  46. final def isTraversableAgain: Boolean
    Definition Classes
    TraversableLike → GenTraversableLike → GenTraversableOnce
  47. def last: EOptionP[E, P]
    Definition Classes
    TraversableLike → GenTraversableLike
  48. def lastOption: Option[EOptionP[E, P]]
    Definition Classes
    TraversableLike → GenTraversableLike
  49. def map[B, That](f: (EOptionP[E, P]) ⇒ B)(implicit bf: CanBuildFrom[Traversable[EOptionP[E, P]], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  50. def max[B >: EOptionP[E, P]](implicit cmp: Ordering[B]): EOptionP[E, P]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  51. def maxBy[B](f: (EOptionP[E, P]) ⇒ B)(implicit cmp: Ordering[B]): EOptionP[E, P]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  52. def min[B >: EOptionP[E, P]](implicit cmp: Ordering[B]): EOptionP[E, P]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  53. def minBy[B](f: (EOptionP[E, P]) ⇒ B)(implicit cmp: Ordering[B]): EOptionP[E, P]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  54. def mkString: String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  55. def mkString(sep: String): String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  56. def mkString(start: String, sep: String, end: String): String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  57. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  58. def newBuilder: Builder[EOptionP[E, P], Traversable[EOptionP[E, P]]]
    Attributes
    protected[this]
    Definition Classes
    GenericTraversableTemplate → HasNewBuilder
  59. def nonEmpty: Boolean
    Definition Classes
    TraversableOnce → GenTraversableOnce
  60. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  61. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  62. def par: ParIterable[EOptionP[E, P]]
    Definition Classes
    Parallelizable
  63. def parCombiner: Combiner[EOptionP[E, P], ParIterable[EOptionP[E, P]]]
    Attributes
    protected[this]
    Definition Classes
    TraversableLike → Parallelizable
  64. def partition(p: (EOptionP[E, P]) ⇒ Boolean): (Traversable[EOptionP[E, P]], Traversable[EOptionP[E, P]])
    Definition Classes
    TraversableLike → GenTraversableLike
  65. def product[B >: EOptionP[E, P]](implicit num: Numeric[B]): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  66. def reduce[A1 >: EOptionP[E, P]](op: (A1, A1) ⇒ A1): A1
    Definition Classes
    TraversableOnce → GenTraversableOnce
  67. def reduceLeft[B >: EOptionP[E, P]](op: (B, EOptionP[E, P]) ⇒ B): B
    Definition Classes
    TraversableOnce
  68. def reduceLeftOption[B >: EOptionP[E, P]](op: (B, EOptionP[E, P]) ⇒ B): Option[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  69. def reduceOption[A1 >: EOptionP[E, P]](op: (A1, A1) ⇒ A1): Option[A1]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  70. def reduceRight[B >: EOptionP[E, P]](op: (EOptionP[E, P], B) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  71. def reduceRightOption[B >: EOptionP[E, P]](op: (EOptionP[E, P], B) ⇒ B): Option[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  72. def repr: Traversable[EOptionP[E, P]]
    Definition Classes
    TraversableLike → GenTraversableLike
  73. def reversed: List[EOptionP[E, P]]
    Attributes
    protected[this]
    Definition Classes
    TraversableOnce
  74. def scan[B >: EOptionP[E, P], That](z: B)(op: (B, B) ⇒ B)(implicit cbf: CanBuildFrom[Traversable[EOptionP[E, P]], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  75. def scanLeft[B, That](z: B)(op: (B, EOptionP[E, P]) ⇒ B)(implicit bf: CanBuildFrom[Traversable[EOptionP[E, P]], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  76. def scanRight[B, That](z: B)(op: (EOptionP[E, P], B) ⇒ B)(implicit bf: CanBuildFrom[Traversable[EOptionP[E, P]], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
    Annotations
    @migration
    Migration

    (Changed in version 2.9.0) The behavior of scanRight has changed. The previous behavior can be reproduced with scanRight.reverse.

  77. def seq: Traversable[EOptionP[E, P]]
    Definition Classes
    Traversable → GenTraversable → Parallelizable → TraversableOnce → GenTraversableOnce
  78. def size: Int
    Definition Classes
    TraversableOnce → GenTraversableOnce
  79. def sizeHintIfCheap: Int
    Attributes
    protected[scala.collection]
    Definition Classes
    GenTraversableOnce
  80. def slice(from: Int, until: Int): Traversable[EOptionP[E, P]]
    Definition Classes
    TraversableLike → GenTraversableLike
  81. def span(p: (EOptionP[E, P]) ⇒ Boolean): (Traversable[EOptionP[E, P]], Traversable[EOptionP[E, P]])
    Definition Classes
    TraversableLike → GenTraversableLike
  82. def splitAt(n: Int): (Traversable[EOptionP[E, P]], Traversable[EOptionP[E, P]])
    Definition Classes
    TraversableLike → GenTraversableLike
  83. def stringPrefix: String
    Definition Classes
    TraversableLike → GenTraversableLike
  84. def sum[B >: EOptionP[E, P]](implicit num: Numeric[B]): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  85. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  86. def tail: Traversable[EOptionP[E, P]]
    Definition Classes
    TraversableLike → GenTraversableLike
  87. def tails: Iterator[Traversable[EOptionP[E, P]]]
    Definition Classes
    TraversableLike
  88. def take(n: Int): Traversable[EOptionP[E, P]]
    Definition Classes
    TraversableLike → GenTraversableLike
  89. def takeWhile(p: (EOptionP[E, P]) ⇒ Boolean): Traversable[EOptionP[E, P]]
    Definition Classes
    TraversableLike → GenTraversableLike
  90. def thisCollection: Traversable[EOptionP[E, P]]
    Attributes
    protected[this]
    Definition Classes
    TraversableLike
  91. def to[Col[_]](implicit cbf: CanBuildFrom[Nothing, EOptionP[E, P], Col[EOptionP[E, P]]]): Col[EOptionP[E, P]]
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  92. def toArray[B >: EOptionP[E, P]](implicit arg0: ClassTag[B]): Array[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  93. def toBuffer[B >: EOptionP[E, P]]: Buffer[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  94. def toCollection(repr: Traversable[EOptionP[E, P]]): Traversable[EOptionP[E, P]]
    Attributes
    protected[this]
    Definition Classes
    TraversableLike
  95. def toIndexedSeq: IndexedSeq[EOptionP[E, P]]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  96. def toIterable: Iterable[EOptionP[E, P]]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  97. def toIterator: Iterator[EOptionP[E, P]]
    Definition Classes
    TraversableLike → GenTraversableOnce
  98. def toList: List[EOptionP[E, P]]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  99. def toMap[T, U](implicit ev: <:<[EOptionP[E, P], (T, U)]): Map[T, U]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  100. def toSeq: Seq[EOptionP[E, P]]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  101. def toSet[B >: EOptionP[E, P]]: Set[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  102. def toStream: Stream[EOptionP[E, P]]
    Definition Classes
    TraversableLike → GenTraversableOnce
  103. def toString(): String
    Definition Classes
    TraversableLike → Any
  104. def toTraversable: Traversable[EOptionP[E, P]]
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
    Annotations
    @deprecatedOverriding( ... , "2.11.0" )
  105. def toVector: Vector[EOptionP[E, P]]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  106. def transpose[B](implicit asTraversable: (EOptionP[E, P]) ⇒ GenTraversableOnce[B]): Traversable[Traversable[B]]
    Definition Classes
    GenericTraversableTemplate
    Annotations
    @migration
    Migration

    (Changed in version 2.9.0) transpose throws an IllegalArgumentException if collections are not uniformly sized.

  107. def unzip[A1, A2](implicit asPair: (EOptionP[E, P]) ⇒ (A1, A2)): (Traversable[A1], Traversable[A2])
    Definition Classes
    GenericTraversableTemplate
  108. def unzip3[A1, A2, A3](implicit asTriple: (EOptionP[E, P]) ⇒ (A1, A2, A3)): (Traversable[A1], Traversable[A2], Traversable[A3])
    Definition Classes
    GenericTraversableTemplate
  109. def view(from: Int, until: Int): TraversableView[EOptionP[E, P], Traversable[EOptionP[E, P]]]
    Definition Classes
    TraversableLike
  110. def view: TraversableView[EOptionP[E, P], Traversable[EOptionP[E, P]]]
    Definition Classes
    TraversableLike
  111. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  112. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  113. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  114. def withFilter(p: (EOptionP[E, P]) ⇒ Boolean): FilterMonadic[EOptionP[E, P], Traversable[EOptionP[E, P]]]
    Definition Classes
    TraversableLike → FilterMonadic

Deprecated Value Members

  1. def /:[B](z: B)(op: (B, EOptionP[E, P]) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
    Annotations
    @deprecated
    Deprecated

    (Since version 2.12.10) Use foldLeft instead of /:

  2. def :\[B](z: B)(op: (EOptionP[E, P], B) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
    Annotations
    @deprecated
    Deprecated

    (Since version 2.12.10) Use foldRight instead of :\

  3. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from Traversable[EOptionP[E, P]]

Inherited from GenTraversable[EOptionP[E, P]]

Inherited from GenericTraversableTemplate[EOptionP[E, P], Traversable]

Inherited from TraversableLike[EOptionP[E, P], Traversable[EOptionP[E, P]]]

Inherited from GenTraversableLike[EOptionP[E, P], Traversable[EOptionP[E, P]]]

Inherited from Parallelizable[EOptionP[E, P], ParIterable[EOptionP[E, P]]]

Inherited from TraversableOnce[EOptionP[E, P]]

Inherited from GenTraversableOnce[EOptionP[E, P]]

Inherited from FilterMonadic[EOptionP[E, P], Traversable[EOptionP[E, P]]]

Inherited from HasNewBuilder[EOptionP[E, P], Traversable[EOptionP[E, P]]]

Inherited from AnyRef

Inherited from Any

Ungrouped