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 Show documentation

Dataflow is a dataflow framework based on the javac compiler.

There is a newer version: 3.48.4

package org.checkerframework.dataflow.analysis;

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

    /**
     * Compute the least upper bound of two stores.
     *
     * 
     *
     * 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.
     * 
     */
    V leastUpperBound(V other);
}