soot.jimple.infoflow.solver.Propagator Maven / Gradle / Ivy

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

There is a newer version: 2.9.0

package soot.jimple.infoflow.solver;

/**
 * Container class for abstractions to be propagated
 * 
 * @author Steven Arzt
 *
 */
public class Propagator {

	private final D abstraction;

	public Propagator(D abstraction) {
		this.abstraction = abstraction;
	}

	public D getAbstraction() {
		return abstraction;
	}

	@Override
	public int hashCode() {
		final int prime = 31;
		int result = 1;
		result = prime * result + ((abstraction == null) ? 0 : abstraction.hashCode());
		return result;
	}

	@Override
	public boolean equals(Object obj) {
		if (this == obj)
			return true;
		if (obj == null)
			return false;
		if (getClass() != obj.getClass())
			return false;
		Propagator other = (Propagator) obj;
		if (abstraction == null) {
			if (other.abstraction != null)
				return false;
		} else if (!abstraction.equals(other.abstraction))
			return false;
		return true;
	}

}