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

fix checkstyle

Browse Source
This commit is contained in:
Johanna Stuber 2021-02-11 15:17:51 +01:00
parent 8351a21f78
commit ad99cc09b8
3 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/main/java/edu/kit/typicalc/model/TypeInferer.java
View File

@ -97,7 +97,8 @@ public class TypeInferer implements TypeInfererInterface {
return false;
}
TypeInferer that = (TypeInferer) o;
return tree.equals(that.tree) && unification.equals(that.unification) && typeInfResult.equals(that.typeInfResult);
return tree.equals(that.tree) && unification.equals(that.unification)
&& typeInfResult.equals(that.typeInfResult);
}
@Override

3
src/main/java/edu/kit/typicalc/model/TypeInfererLet.java
View File

@ -98,7 +98,8 @@ public class TypeInfererLet implements TypeInfererInterface {
return false;
}
TypeInfererLet that = (TypeInfererLet) o;
return tree.equals(that.tree) && unification.equals(that.unification) && typeInfResult.equals(that.typeInfResult);
return tree.equals(that.tree) && unification.equals(that.unification)
&& typeInfResult.equals(that.typeInfResult);
}
@Override

3
src/test/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorTypeTest.java
View File

@ -25,7 +25,8 @@ class LatexCreatorTypeTest {
@Test
void generatedTypeTest() {
typeInferer = model.getTypeInferer("x", new HashMap<>()).unwrap();
assertEquals(GENERATED_ASSUMPTION_VARIABLE + "_{1}", new LatexCreatorType(typeInferer.getType().get()).getLatex());
assertEquals(GENERATED_ASSUMPTION_VARIABLE + "_{1}",
new LatexCreatorType(typeInferer.getType().get()).getLatex());
}
@Test