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.
The type of this update.
Creates a new Update
object of the same type with the given value.
Creates a new Update
object of the same type with the given value.
The updated value; if available.
The updated value; if available.
Characterizes an update that did not affect the abstract state but instead just updated some meta information.
In general, the abstract interpretation framework handles
NoUpdate
s andMetaInformationUpdate
s in the same way.Example
If two values are merged that are seen on two different paths, but which represent the same abstract value, we may want to update the meta-information about the origin of the current value, but this information may not be part of the abstract state and hence, is not relevant for the abstract interpreter. In this case the interpreter will not reschedule subsequent instructions. However, whether or not the information about the origin of a value is considered to be part of the abstract state is a decision of the domain.