org.checkerframework.dataflow.analysis

Interface AbstractValue<V extends AbstractValue<V>>

All Known Implementing Classes:

CFAbstractValue, CFValue, Constant, NullnessValue, QualValue

public interface AbstractValue<V extends AbstractValue<V>>

An abstract value used in the org.checkerframework.dataflow analysis.

Author:

Stefan Heule

Method Summary

Modifier and Type	Method and Description
V	leastUpperBound(V other) Compute the least upper bound of two stores.

Method Detail

leastUpperBound

V leastUpperBound(V other)

Compute the least upper bound of two stores.

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.