case class PartialResult[E >: Null <: Entity, P >: Null <: Property](e: E, pk: PropertyKey[P], u: UpdateComputation[E, P]) extends PropertyComputationResult with ProperPropertyComputationResult with Product with Serializable
PartialResults are used for properties of entities which are computed collaboratively/in
a piecewise fashion.
For example, let's assume that we have an entity Project which has the property to store
the types which are instantiated and which is updated whenever an analysis of a method
detects the instantiation of a type. In this case, the analysis of the method could return
a Results object which contains the (Intermediate)Result for the analysis of the method as
such and a PartialResult which will update the information about the overall set of
instantiated types.
- P
The type of the property.
- e
The entity for which we have a partial result.
- pk
The kind of the property for which we have a partial result.
- u
The function which is given the current property (if any) and which computes the new property.
uhas to returnNoneif the update does not change the property andSome(NewProperty)otherwise.
- Alphabetic
- By Inheritance
- PartialResult
- Serializable
- Serializable
- Product
- Equals
- ProperPropertyComputationResult
- PropertyComputationResult
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
-
new
PartialResult(e: E, pk: PropertyKey[P], u: UpdateComputation[E, P])
- e
The entity for which we have a partial result.
- pk
The kind of the property for which we have a partial result.
- u
The function which is given the current property (if any) and which computes the new property.
uhas to returnNoneif the update does not change the property andSome(NewProperty)otherwise.
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
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @IntrinsicCandidate()
- val e: E
- final def epk: EPK[E, P]
-
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()
- val pk: PropertyKey[P]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- val u: UpdateComputation[E, P]
-
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