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

Go to download

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);
}