PhiVariable.java

package xsched.analysis.wala.schedule_extraction;

public class PhiVariable {

	final LoopContext loopContext;
	final int ssaVariable;
		
	PhiVariable(LoopContext loopContext, int ssaVariable) {
		this.loopContext = loopContext;
		this.ssaVariable = ssaVariable;
	}
		
	@Override
	public int hashCode() {
		return ssaVariable * 9973 + loopContext.hashCode();
	}
	
	@Override
	public boolean equals(Object otherObject) {
		if (otherObject == this) {
			return true;
		} else if (otherObject instanceof PhiVariable) {
			PhiVariable other = (PhiVariable)otherObject;
			return other.ssaVariable == ssaVariable && other.loopContext.equals(loopContext);			
		} else {
			return false;
		}
	}
	
	@Override
	public String toString() {
		return "phi" + loopContext + "<" + ssaVariable + ">";
	}
}