renamed unify tests

This commit is contained in:
NoName11234 2024-02-05 19:25:08 +01:00
parent 41d97dfa80
commit 598fe8ebe9

View File

@ -35,7 +35,7 @@ public class UnifyTest {
public static final String rootDirectory = System.getProperty("user.dir")+"/resources/javFiles/"; public static final String rootDirectory = System.getProperty("user.dir")+"/resources/javFiles/";
@Test @Test
public void unifyTest(){ public void smallUnifyTest(){
UnifyType type1 = new PlaceholderType("a"); UnifyType type1 = new PlaceholderType("a");
UnifyType type2 = new ReferenceType("List", new TypeParams(new PlaceholderType("b"))); UnifyType type2 = new ReferenceType("List", new TypeParams(new PlaceholderType("b")));
UnifyPair pair1 = new UnifyPair(type1, type2, PairOperator.SMALLERDOT); UnifyPair pair1 = new UnifyPair(type1, type2, PairOperator.SMALLERDOT);
@ -111,7 +111,7 @@ public class UnifyTest {
return pair1; return pair1;
} }
@Test @Test
public void smallUnifyTest(){ public void unifyTest(){
UnifyType type1 = new PlaceholderType("a"); UnifyType type1 = new PlaceholderType("a");
UnifyType type2 = new ReferenceType("List", new TypeParams(new ReferenceType("Integer"))); UnifyType type2 = new ReferenceType("List", new TypeParams(new ReferenceType("Integer")));
UnifyPair pair1 = new UnifyPair(type1, type2, PairOperator.SMALLERDOT); UnifyPair pair1 = new UnifyPair(type1, type2, PairOperator.SMALLERDOT);