org.checkerframework.dataflow.analysis.AbstractValue Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of dataflow-shaded Show documentation

dataflow-shaded is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.shaded.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.

There is a newer version: 3.48.3

Show newest version

package org.checkerframework.dataflow.analysis;

/** An abstract value used in the org.checkerframework.dataflow analysis. */
public interface AbstractValue> {

  /**
   * Compute the least upper bound of two values.
   *
   * Important: This method must fulfill the following contract:
   *
   * 

   *   Does not change {@code this}.
   *   
Does not change {@code other}.
   *   
Returns a fresh object which is not aliased yet.
   *   
Returns an object of the same (dynamic) type as {@code this}, even if the signature is
   *       more permissive.
   *   
Is commutative.
   * 
   *
   * @param other the other value
   * @return the least upper bound of the two values
   */
  V leastUpperBound(V other);
}