sealed trait EOptionPSet[E <: 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.
- Alphabetic
- By Inheritance
- EOptionPSet
- Traversable
- GenTraversable
- GenericTraversableTemplate
- TraversableLike
- GenTraversableLike
- Parallelizable
- TraversableOnce
- GenTraversableOnce
- FilterMonadic
- HasNewBuilder
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
Abstract Value Members
-
abstract
def
foreach[U](f: (EOptionP[E, P]) ⇒ U): Unit
- Definition Classes
- EOptionPSet → GenericTraversableTemplate → TraversableLike → GenTraversableLike → TraversableOnce → GenTraversableOnce → FilterMonadic
-
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.
-
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!
-
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
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
++[B >: EOptionP[E, P], That](that: GenTraversableOnce[B])(implicit bf: CanBuildFrom[Traversable[EOptionP[E, P]], B, That]): That
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
++:[B >: EOptionP[E, P], That](that: Traversable[B])(implicit bf: CanBuildFrom[Traversable[EOptionP[E, P]], B, That]): That
- Definition Classes
- TraversableLike
-
def
++:[B >: EOptionP[E, P], That](that: TraversableOnce[B])(implicit bf: CanBuildFrom[Traversable[EOptionP[E, P]], B, That]): That
- Definition Classes
- TraversableLike
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
addString(b: StringBuilder): StringBuilder
- Definition Classes
- TraversableOnce
-
def
addString(b: StringBuilder, sep: String): StringBuilder
- Definition Classes
- TraversableOnce
-
def
addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder
- Definition Classes
- TraversableOnce
-
def
aggregate[B](z: ⇒ B)(seqop: (B, EOptionP[E, P]) ⇒ B, combop: (B, B) ⇒ B): B
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
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
-
def
collect[B, That](pf: PartialFunction[EOptionP[E, P], B])(implicit bf: CanBuildFrom[Traversable[EOptionP[E, P]], B, That]): That
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
collectFirst[B](pf: PartialFunction[EOptionP[E, P], B]): Option[B]
- Definition Classes
- TraversableOnce
-
def
companion: GenericCompanion[Traversable]
- Definition Classes
- Traversable → GenTraversable → GenericTraversableTemplate
-
def
copyToArray[B >: EOptionP[E, P]](xs: Array[B], start: Int, len: Int): Unit
- Definition Classes
- TraversableLike → TraversableOnce → GenTraversableOnce
-
def
copyToArray[B >: EOptionP[E, P]](xs: Array[B]): Unit
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
copyToArray[B >: EOptionP[E, P]](xs: Array[B], start: Int): Unit
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
copyToBuffer[B >: EOptionP[E, P]](dest: Buffer[B]): Unit
- Definition Classes
- TraversableOnce
-
def
count(p: (EOptionP[E, P]) ⇒ Boolean): Int
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
drop(n: Int): Traversable[EOptionP[E, P]]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
dropWhile(p: (EOptionP[E, P]) ⇒ Boolean): Traversable[EOptionP[E, P]]
- Definition Classes
- TraversableLike → GenTraversableLike
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
exists(p: (EOptionP[E, P]) ⇒ Boolean): Boolean
- Definition Classes
- TraversableLike → TraversableOnce → GenTraversableOnce
-
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
-
def
filterNot(p: (EOptionP[E, P]) ⇒ Boolean): Traversable[EOptionP[E, P]]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
find(p: (EOptionP[E, P]) ⇒ Boolean): Option[EOptionP[E, P]]
- Definition Classes
- TraversableLike → TraversableOnce → GenTraversableOnce
-
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
-
def
flatten[B](implicit asTraversable: (EOptionP[E, P]) ⇒ GenTraversableOnce[B]): Traversable[B]
- Definition Classes
- GenericTraversableTemplate
-
def
fold[A1 >: EOptionP[E, P]](z: A1)(op: (A1, A1) ⇒ A1): A1
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
foldLeft[B](z: B)(op: (B, EOptionP[E, P]) ⇒ B): B
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
foldRight[B](z: B)(op: (EOptionP[E, P], B) ⇒ B): B
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
forall(p: (EOptionP[E, P]) ⇒ Boolean): Boolean
- Definition Classes
- TraversableLike → TraversableOnce → GenTraversableOnce
-
def
genericBuilder[B]: Builder[B, Traversable[B]]
- Definition Classes
- GenericTraversableTemplate
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
def
groupBy[K](f: (EOptionP[E, P]) ⇒ K): Map[K, Traversable[EOptionP[E, P]]]
- Definition Classes
- TraversableLike → GenTraversableLike
-
final
def
hasDefiniteSize: Boolean
- Definition Classes
- EOptionPSet → TraversableLike → TraversableOnce → GenTraversableOnce
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
def
head: EOptionP[E, P]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
headOption: Option[EOptionP[E, P]]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
init: Traversable[EOptionP[E, P]]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
inits: Iterator[Traversable[EOptionP[E, P]]]
- Definition Classes
- TraversableLike
-
def
isEmpty: Boolean
- Definition Classes
- TraversableLike → TraversableOnce → GenTraversableOnce
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
isTraversableAgain: Boolean
- Definition Classes
- TraversableLike → GenTraversableLike → GenTraversableOnce
-
def
last: EOptionP[E, P]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
lastOption: Option[EOptionP[E, P]]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
map[B, That](f: (EOptionP[E, P]) ⇒ B)(implicit bf: CanBuildFrom[Traversable[EOptionP[E, P]], B, That]): That
- Definition Classes
- TraversableLike → GenTraversableLike → FilterMonadic
-
def
max[B >: EOptionP[E, P]](implicit cmp: Ordering[B]): EOptionP[E, P]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
maxBy[B](f: (EOptionP[E, P]) ⇒ B)(implicit cmp: Ordering[B]): EOptionP[E, P]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
min[B >: EOptionP[E, P]](implicit cmp: Ordering[B]): EOptionP[E, P]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
minBy[B](f: (EOptionP[E, P]) ⇒ B)(implicit cmp: Ordering[B]): EOptionP[E, P]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
mkString: String
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
mkString(sep: String): String
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
mkString(start: String, sep: String, end: String): String
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
newBuilder: Builder[EOptionP[E, P], Traversable[EOptionP[E, P]]]
- Attributes
- protected[this]
- Definition Classes
- GenericTraversableTemplate → HasNewBuilder
-
def
nonEmpty: Boolean
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
def
par: ParIterable[EOptionP[E, P]]
- Definition Classes
- Parallelizable
-
def
parCombiner: Combiner[EOptionP[E, P], ParIterable[EOptionP[E, P]]]
- Attributes
- protected[this]
- Definition Classes
- TraversableLike → Parallelizable
-
def
partition(p: (EOptionP[E, P]) ⇒ Boolean): (Traversable[EOptionP[E, P]], Traversable[EOptionP[E, P]])
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
product[B >: EOptionP[E, P]](implicit num: Numeric[B]): B
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
reduce[A1 >: EOptionP[E, P]](op: (A1, A1) ⇒ A1): A1
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
reduceLeft[B >: EOptionP[E, P]](op: (B, EOptionP[E, P]) ⇒ B): B
- Definition Classes
- TraversableOnce
-
def
reduceLeftOption[B >: EOptionP[E, P]](op: (B, EOptionP[E, P]) ⇒ B): Option[B]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
reduceOption[A1 >: EOptionP[E, P]](op: (A1, A1) ⇒ A1): Option[A1]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
reduceRight[B >: EOptionP[E, P]](op: (EOptionP[E, P], B) ⇒ B): B
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
reduceRightOption[B >: EOptionP[E, P]](op: (EOptionP[E, P], B) ⇒ B): Option[B]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
repr: Traversable[EOptionP[E, P]]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
reversed: List[EOptionP[E, P]]
- Attributes
- protected[this]
- Definition Classes
- TraversableOnce
-
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
-
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
-
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
scanRighthas changed. The previous behavior can be reproduced with scanRight.reverse.
-
def
seq: Traversable[EOptionP[E, P]]
- Definition Classes
- Traversable → GenTraversable → Parallelizable → TraversableOnce → GenTraversableOnce
-
def
size: Int
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
sizeHintIfCheap: Int
- Attributes
- protected[scala.collection]
- Definition Classes
- GenTraversableOnce
-
def
slice(from: Int, until: Int): Traversable[EOptionP[E, P]]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
span(p: (EOptionP[E, P]) ⇒ Boolean): (Traversable[EOptionP[E, P]], Traversable[EOptionP[E, P]])
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
splitAt(n: Int): (Traversable[EOptionP[E, P]], Traversable[EOptionP[E, P]])
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
stringPrefix: String
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
sum[B >: EOptionP[E, P]](implicit num: Numeric[B]): B
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
tail: Traversable[EOptionP[E, P]]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
tails: Iterator[Traversable[EOptionP[E, P]]]
- Definition Classes
- TraversableLike
-
def
take(n: Int): Traversable[EOptionP[E, P]]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
takeWhile(p: (EOptionP[E, P]) ⇒ Boolean): Traversable[EOptionP[E, P]]
- Definition Classes
- TraversableLike → GenTraversableLike
-
def
thisCollection: Traversable[EOptionP[E, P]]
- Attributes
- protected[this]
- Definition Classes
- TraversableLike
-
def
to[Col[_]](implicit cbf: CanBuildFrom[Nothing, EOptionP[E, P], Col[EOptionP[E, P]]]): Col[EOptionP[E, P]]
- Definition Classes
- TraversableLike → TraversableOnce → GenTraversableOnce
-
def
toArray[B >: EOptionP[E, P]](implicit arg0: ClassTag[B]): Array[B]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
toBuffer[B >: EOptionP[E, P]]: Buffer[B]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
toCollection(repr: Traversable[EOptionP[E, P]]): Traversable[EOptionP[E, P]]
- Attributes
- protected[this]
- Definition Classes
- TraversableLike
-
def
toIndexedSeq: IndexedSeq[EOptionP[E, P]]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
toIterable: Iterable[EOptionP[E, P]]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
toIterator: Iterator[EOptionP[E, P]]
- Definition Classes
- TraversableLike → GenTraversableOnce
-
def
toList: List[EOptionP[E, P]]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
toMap[T, U](implicit ev: <:<[EOptionP[E, P], (T, U)]): Map[T, U]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
toSeq: Seq[EOptionP[E, P]]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
toSet[B >: EOptionP[E, P]]: Set[B]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
def
toStream: Stream[EOptionP[E, P]]
- Definition Classes
- TraversableLike → GenTraversableOnce
-
def
toString(): String
- Definition Classes
- TraversableLike → Any
-
def
toTraversable: Traversable[EOptionP[E, P]]
- Definition Classes
- TraversableLike → TraversableOnce → GenTraversableOnce
- Annotations
- @deprecatedOverriding( ... , "2.11.0" )
-
def
toVector: Vector[EOptionP[E, P]]
- Definition Classes
- TraversableOnce → GenTraversableOnce
-
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)
transposethrows anIllegalArgumentExceptionif collections are not uniformly sized.
-
def
unzip[A1, A2](implicit asPair: (EOptionP[E, P]) ⇒ (A1, A2)): (Traversable[A1], Traversable[A2])
- Definition Classes
- GenericTraversableTemplate
-
def
unzip3[A1, A2, A3](implicit asTriple: (EOptionP[E, P]) ⇒ (A1, A2, A3)): (Traversable[A1], Traversable[A2], Traversable[A3])
- Definition Classes
- GenericTraversableTemplate
-
def
view(from: Int, until: Int): TraversableView[EOptionP[E, P], Traversable[EOptionP[E, P]]]
- Definition Classes
- TraversableLike
-
def
view: TraversableView[EOptionP[E, P], Traversable[EOptionP[E, P]]]
- Definition Classes
- TraversableLike
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
withFilter(p: (EOptionP[E, P]) ⇒ Boolean): FilterMonadic[EOptionP[E, P], Traversable[EOptionP[E, P]]]
- Definition Classes
- TraversableLike → FilterMonadic
Deprecated Value Members
-
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 /:
-
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 :\
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated