AbstractValue (checker-framework 3.39.0-eisop1 API)

All Known Implementing Classes:

AccumulationValue, CFAbstractValue, CFValue, Constant, KeyForValue, NullnessNoInitValue, UnusedAbstractValue
```
public interface AbstractValue<V extends AbstractValue<V>>
```
An abstract value used in the org.checkerframework.dataflow analysis.

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  V leastUpperBound(V other)
  Compute the least upper bound of two values.

- Method Detail
  - leastUpperBound
```
V leastUpperBound(V other)
```
    Compute the least upper bound of two values.
    Important: This method must fulfill the following contract:
    
    Does not change this.
    Does not change other.
    Returns a fresh object which is not aliased yet.
    Returns an object of the same (dynamic) type as this, even if the signature is more permissive.
    Is commutative.