diff --git a/test/unify/UnifyTest.java b/test/unify/UnifyTest.java new file mode 100644 index 00000000..400b0c5a --- /dev/null +++ b/test/unify/UnifyTest.java @@ -0,0 +1,32 @@ +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() { + + } +}