stan/JavaTypeUnifyASP
1
0
Fork 0
forked from i21017/JavaTypeUnify
Code Pull Requests Activity

fixed missing oderConstraints

Browse Source
This commit is contained in:
NoName11234 2024-05-23 10:16:02 +02:00
parent 4dec73cada
commit 7818722c96
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/test/java/UnifyTest.java
View File

@ -546,6 +546,7 @@ public class UnifyTest {
//java.lang.Integer =. X
type1 = new ReferenceType("java.lang.Integer");
type2 = new PlaceholderType("X");
constraint.add(new UnifyPair(type1, type2, PairOperator.EQUALSDOT));
constraints.add(constraint);
//java.lang.Float =. X
constraint = new Constraint<>();
@ -739,11 +740,13 @@ public class UnifyTest {
constraint = new Constraint<>();
type1 = new PlaceholderType("D");
type2 = new ReferenceType("java.lang.Integer");
constraint.add(new UnifyPair(type1, type2, PairOperator.EQUALSDOT));
constraints.add(constraint);
//D =. java.lang.Float
constraint = new Constraint<>();
type1 = new PlaceholderType("D");
type2 = new ReferenceType("java.lang.Float");
constraint.add(new UnifyPair(type1, type2, PairOperator.EQUALSDOT));
constraints.add(constraint);
oderConstraints.add(constraints);
@ -753,11 +756,13 @@ public class UnifyTest {
constraint = new Constraint<>();
type1 = new PlaceholderType("F");
type2 = new ReferenceType("java.lang.Float");
constraint.add(new UnifyPair(type1, type2, PairOperator.EQUALSDOT));
constraints.add(constraint);
//F =. java.lang.Integer
constraint = new Constraint<>();
type1 = new PlaceholderType("F");
type2 = new ReferenceType("java.lang.Integer");
constraint.add(new UnifyPair(type1, type2, PairOperator.EQUALSDOT));
constraints.add(constraint);
oderConstraints.add(constraints);
@ -1474,6 +1479,7 @@ public class UnifyTest {
constraint = new Constraint<>();
type1 = new ReferenceType("Vector", new TypeParams(new PlaceholderType("ALD")));
type2 = new ReferenceType("Vector", new TypeParams(new ReferenceType("java.lang.Integer")));
constraint.add(new UnifyPair(type1, type2, PairOperator.SMALLERDOT));
constraints.add(constraint);
oderConstraints.add(constraints);