From bd8a62cda79691625ecc06ccda36da8e01a2cbe6 Mon Sep 17 00:00:00 2001 From: Florian Steurer Date: Sat, 17 Oct 2015 19:04:32 +0200 Subject: [PATCH] created unit test class --- test/unify/UnifyTest.java | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 test/unify/UnifyTest.java 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() { + + } +}