TypeContainer.java

package org.overture.codegen.vdm2cpp.typesorter;

public class TypeContainer {
	
	private String name;
	private String enclosing_class;
	
	TypeContainer(String typename, String typeClass)
	{
		name = typename;
		enclosing_class = typeClass;
	}
	
	
	@Override
	public boolean equals(Object obj) {
		if(obj instanceof TypeContainer)
		{
			TypeContainer t_other = (TypeContainer) obj;
			if(t_other.enclosing_class.equals(this.enclosing_class) 
					&& t_other.name.equals(this.name) )
			{
				return true;
			}
		}
		return false;			
	}
	
	@Override
	public int hashCode() {
		
		int hashcode = 0;
		
		if(name != null)
			hashcode += name.hashCode();
		
		if(enclosing_class != null)
			hashcode += enclosing_class.hashCode();
		
		return hashcode;
	}
}