arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 18:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add assertion for constraints in TreeTest::VisitAbs()

Browse Source
This commit is contained in:
Johanna Stuber 2021-01-31 00:24:33 +01:00
parent e6becf6b04
commit 83b7815a47
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/test/java/edu/kit/typicalc/model/TreeTest.java
View File

@ -63,16 +63,24 @@ class TreeTest {
TypeVariable variable3 = new TypeVariable(TypeVariableKind.TREE, 3);
Tree tree = new Tree(TYPE_ASSUMPTIONS, ABS);
Map<VarTerm, TypeAbstraction> varTypeAss = new HashMap<>(TYPE_ASSUMPTIONS);
varTypeAss.put(VAR, new TypeAbstraction(variable2));
Conclusion varConclusion = new Conclusion(varTypeAss, VAR, variable3);
Constraint varConstraint = new Constraint(variable2, variable3);
InferenceStep varStep = new VarStepDefault(new TypeAbstraction(variable2), variable2, varConclusion,
new Constraint(variable2, variable3));
varConstraint);
Conclusion conclusion = new Conclusion(TYPE_ASSUMPTIONS, ABS, tree.getFirstTypeVariable());
InferenceStep expectedStep = new AbsStepDefault(varStep, conclusion,
new Constraint(tree.getFirstTypeVariable(), new FunctionType(variable2, variable3)));
Constraint absConstraint = new Constraint(tree.getFirstTypeVariable(), new FunctionType(variable2, variable3));
InferenceStep expectedStep = new AbsStepDefault(varStep, conclusion, absConstraint);
assertEquals(expectedStep, tree.getFirstInferenceStep());
List<Constraint> constraints = new ArrayList<>();
constraints.add(varConstraint);
constraints.add(absConstraint);
assertEquals(constraints, tree.getConstraints());
}
@Test