ValueTypeKey.java

package edu.udel.cis.vsl.tass.dynamic.impl.type;

public class ValueTypeKey {

	private ValueType valueType;

	ValueTypeKey(ValueType valueType) {
		this.valueType = valueType;
	}

	public ValueType valueType() {
		return valueType;
	}

	public boolean equals(Object object) {
		if (object instanceof ValueTypeKey) {
			return valueType.isIsomorphicTo(((ValueTypeKey) object).valueType);
		}
		return false;
	}
	
	public int hashCode() {
		return valueType.isomorphismHashCode();
	}
	
	public String toString() {
		return valueType.toString();
	}

}