soot.jimple.infoflow.collections.context.ValueBasedContext Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of soot-infoflow Show documentation

Soot extending data flow tracking components for Java

The newest version!

package soot.jimple.infoflow.collections.context;

import soot.jimple.infoflow.collections.util.Tristate;
import soot.jimple.infoflow.data.ContainerContext;

/**
 * Interface for all value-based contexts
 * Immutable by default.
 *
 * @param  concrete value-based context type
 */
public interface ValueBasedContext> extends ContainerContext {
    /**
     * Check whether this and other intersects
     *
     * @param other value-based context
     * @return true on perfect match, maybe on part match and otherwise false
     */
    Tristate intersect(T other);
}