soot.jimple.infoflow.collections.context.UnknownContext 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.data.ContainerContext;

/**
 * Representing an unknown context (e.g. non-constant key) using a singleton
 *
 * @author Tim Lange
 */
public class UnknownContext implements ContainerContext {
    private static final UnknownContext INSTANCE = new UnknownContext();

    public static UnknownContext v() {
        return INSTANCE;
    }

    private UnknownContext() {}

    @Override
    public String toString() {
        return "";
    }

    @Override
    public boolean containsInformation() {
        return false;
    }

    @Override
    public boolean isImprecise() {
        return false;
    }

    @Override
    public boolean entails(ContainerContext other) {
        // The unknown context entails all other contexts
        return true;
    }
}