case class InterimPartialResult[SE >: Null <: Property](us: Traversable[SomePartialResult], dependees: Set[SomeEOptionP], c: OnUpdateContinuation) extends PropertyComputationResult with ProperPropertyComputationResult with Product with Serializable
InterimPartialResults are used for properties of entities which are computed
collaboratively where the individual contribution to the final result depends on the
given dependees. For example an analysis which analyzes a method to determine the set
of all instantiated types will use an InterimPartialResult to commit those results.
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- InterimPartialResult
- Serializable
- Serializable
- Product
- Equals
- ProperPropertyComputationResult
- PropertyComputationResult
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new InterimPartialResult(us: Traversable[SomePartialResult], dependees: Set[SomeEOptionP], c: OnUpdateContinuation)
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- val c: OnUpdateContinuation
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @IntrinsicCandidate()
- val dependees: Set[SomeEOptionP]
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- val us: Traversable[SomePartialResult]
-
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( ... )
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated