Merges a given updateType
value with the type of this update and returns a
new UpdateType
value.
Merges a given updateType
value with the type of this update and returns a
new UpdateType
value.
org.opalj.ai.UpdateType for further details.
The type of this update.
Creates a new Update
object of the same type with the given value.
The updated value; if available.
Indicates that the (given) structure was not updated.
The abstract interpretation framework itself does not distinguish between a
NoUpdate
and aMetaInformationUpdate
; the abstract interpretation will not be continued in both cases.