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

remove old todos

Browse Source
This commit is contained in:
ucrhh 2021-03-07 10:33:34 +01:00
parent 907f766166
commit 05885a4e6e
3 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/TypeInferenceView.java
View File

@ -55,8 +55,6 @@ public class TypeInferenceView extends VerticalLayout
public TypeInferenceView(TypeInfererInterface typeInferer) {
setId(ID);
addAttachListener(this);
// TODO: document new translation function
// TODO: is Function<UnificationError, String> too limiting?
lc = new LatexCreator(typeInferer,
error -> getTranslation("root." + error.toString().toLowerCase(Locale.ENGLISH)));
content = new Div();
@ -73,7 +71,6 @@ public class TypeInferenceView extends VerticalLayout
}
private void setContent() {
// todo maybe swap
unification = new MathjaxUnification(lc.getUnification());
tree = new MathjaxProofTree(lc.getTree());
content.add(unification, tree);

2
src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java
View File

@ -246,7 +246,7 @@ public class LatexCreatorConstraints implements StepVisitor {
if (subs.isError()) {
error = Optional.of(subs.unwrapError());
step = unificationSteps.get(unificationSteps.size() - 2);
subs = step.getSubstitutions(); // TODO: what if first step fails?
subs = step.getSubstitutions();
}
List<Substitution> substitutions = subs.unwrap();
StringBuilder latex = new StringBuilder();

2
src/main/java/edu/kit/typicalc/view/main/NotFoundView.java
View File

@ -26,7 +26,7 @@ public class NotFoundView extends VerticalLayout implements LocaleChangeObserver
setId(ID);
error404 = new H1();
suggestion = new H2();
add(error404, suggestion); // todo make beautiful
add(error404, suggestion);
}
@Override