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 5c5d4ff272
commit 211721e09f
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

@ -547,6 +547,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<>();
@ -740,11 +741,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);
@ -754,11 +757,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);
@ -1475,6 +1480,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);