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.
Encapsulates an updated value and qualifies the type of the update.
In general OPAL distinguishes between updates to a value that are relevant w.r.t. the abstract interpretation and those updates that just update some meta-information and which do not affect the abstract interpretation and – in particular – do not force the framework to continue the abstract interpretation.