package unify;

import org.apache.commons.bcel6.generic.ReferenceType;
import org.junit.Test;

import de.dhbwstuttgart.bytecode.TypePlaceholderType;
import de.dhbwstuttgart.syntaxtree.type.RefType;
import de.dhbwstuttgart.syntaxtree.type.Type;
import de.dhbwstuttgart.syntaxtree.type.TypePlaceholder;
import de.dhbwstuttgart.typeinference.Pair;

public class UnifyTest {
	
	@Test
	public void unifyTestSimpleTypes() {
		Type tph1 = TypePlaceholder.backdoorCreate("b");
		Type tph2 = TypePlaceholder.backdoorCreate("a");
		//Type refT = new RefType()
		
		//Pair x = new Pair();
	}
	
	@Test
	public void unifyTestInheritance() {
		
	}
	
	@Test
	public void unifyTestWildcards() {
		
	}
}