From 69ab9b6050b7e405aa021391e0df28e973a07e2f Mon Sep 17 00:00:00 2001 From: Johanna Stuber Date: Sun, 7 Mar 2021 13:44:07 +0100 Subject: [PATCH] code style in view, typos in translation_de --- .../latexcreator/AssumptionGeneratorUtil.java | 4 +++- .../latexcreator/LatexCreatorConstraints.java | 4 ++-- src/main/resources/language/translation_de.properties | 10 +++++----- 3 files changed, 10 insertions(+), 8 deletions(-) diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/AssumptionGeneratorUtil.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/AssumptionGeneratorUtil.java index 16f5de8..4bd3a4e 100644 --- a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/AssumptionGeneratorUtil.java +++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/AssumptionGeneratorUtil.java @@ -5,8 +5,10 @@ import edu.kit.typicalc.model.type.TypeAbstraction; import java.util.Map; -import static edu.kit.typicalc.view.content.typeinferencecontent.latexcreator.LatexCreatorConstants.*; +import static edu.kit.typicalc.view.content.typeinferencecontent.latexcreator.LatexCreatorConstants.COLON; +import static edu.kit.typicalc.view.content.typeinferencecontent.latexcreator.LatexCreatorConstants.COMMA; import static edu.kit.typicalc.view.content.typeinferencecontent.latexcreator.LatexCreatorConstants.DOT_SIGN; +import static edu.kit.typicalc.view.content.typeinferencecontent.latexcreator.LatexCreatorConstants.FOR_ALL; /** * Util class for {@link LatexCreator} and {@link LatexCreatorConstraints} to generate LaTeX code from diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java index 237430f..701d257 100644 --- a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java +++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java @@ -92,7 +92,7 @@ public class LatexCreatorConstraints implements StepVisitor { }); typeInferer.getMGU().ifPresent(mgu -> { // avoid superfluous step if unification only has one step (that equals the mgu) - if (typeInferer.getUnificationSteps().get().size() > 2) { + if (typeInferer.getUnificationSteps().orElseThrow(IllegalStateException::new).size() > 2) { result.add(generateMGU(constraintSets)); numberGenerator.push(); } @@ -353,7 +353,7 @@ public class LatexCreatorConstraints implements StepVisitor { latex.append(PAREN_LEFT); latex.append(new LatexCreatorType(typeInferer.getFirstInferenceStep().getConclusion().getType()).getLatex()); latex.append("" + PAREN_RIGHT + EQUALS); - latex.append(new LatexCreatorType(typeInferer.getType().get()).getLatex()); + latex.append(new LatexCreatorType(typeInferer.getType().orElseThrow(IllegalStateException::new)).getLatex()); return latex.toString(); } diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties index 3f6a201..30df950 100644 --- a/src/main/resources/language/translation_de.properties +++ b/src/main/resources/language/translation_de.properties @@ -60,7 +60,7 @@ root.helpShortcuts=Strg + \u2190 = Erster Schritt
\ / = Fokus auf Eingabefeld root.helpFirstStepButton=Je nach Stand der Algorithmusausführung ändert sich die Funktion des Knopfs. \ Wenn aktuell der Baum aufgebaut wird, springt die Anzeige nach Benutzen des Knopfs zurück zum ersten Schritt des \ -Typherleitungsbaums. Wenn bereits die Unifikation druchgeführt wird, sprigt die Anzeige nach Benutzen des Knopfs \ +Typherleitungsbaums. Wenn bereits die Unifikation durchgeführt wird, springt die Anzeige nach Benutzen des Knopfs \ in den letzten Schritt des Baums. Der Knopf lässt sich außerdem durch die Tastenkombination "STRG + Linke Pfeiltaste" \ ansprechen. root.helpPreviousStepButton=Durch Benutzen des Vorheriger-Schritt-Knopfs wird der vorherige Schritt des Algorithmus \ @@ -69,7 +69,7 @@ root.helpNextStepButton=Durch Benutzen des Nächster-Schritt-Knopfs wird der nä Der Knopf lässt sich außerdem durch auf der Tastatur durch die Taste "Rechte Pfeiltaste" ansprechen. root.helpLastStepButton=Je nach Stand der Algorithmusausführung ändert sich die Funktion des Knopfs. \ Wenn aktuell der Baum aufgebaut wird, springt die Anzeige nach Klicken des Knopfs vor zum letzten Schritt des \ -Typherleitungsbaums. Wenn bereits die Unifikation druchgeführt wird, springt die Anzeige nach Klicken des Knopfs \ +Typherleitungsbaums. Wenn bereits die Unifikation durchgeführt wird, springt die Anzeige nach Klicken des Knopfs \ vor zur Anzeige des finalen Typs. Der Knopf lässt sich außerdem durch die Tastenkombination \ "STRG + Rechte Pfeiltaste" ansprechen. root.helpShareButton=Durch Benutzen des Teilen-Knopfs öffnet sich ein Dialog, in dem der LaTeX-Code des finalen \ @@ -94,10 +94,10 @@ Typicalc wurde als PSE-Projekt am KIT im WS20/21 entwickelt von
\ root.TOO_FEW_TOKENS=Falsche Eingabe! Die Eingabe endet abrupt. root.tooFewTokensHelp=Überprüfe, ob alle Let-, Abs- und App-Terme über die nötigen Argumente verfügen. root.UNEXPECTED_TOKEN=Die Eingabe entspricht nicht der im Info-Dialog spezifizierten Syntax! -root.UNEXPECTED_CHARACTER=Die Eingabe enhält ein Zeichen, welches an dieser Stelle nicht erlaubt ist! +root.UNEXPECTED_CHARACTER=Die Eingabe enthält ein Zeichen, welches an dieser Stelle nicht erlaubt ist! error.heading=Syntaktisch falsche Eingabe! root.wrongCharacter=Falsches Zeichen: \u0020 -root.position=An Position: \u0020 +root.position=An Position: \u0020 root.slideExp=Typicalc ist eine Anwendung zur Visualisierung von Typinferenz. In der folgenden Slideshow wird ein \ Beispielszenario mit den wichtigsten Funktionen der Website vorgeführt. Das relevante Bedienelement ist jeweils mit \ einem roten Rahmen hervorgehoben. Zwischen einzelnen Slides kann mithilfe der Knöpfe am unteren Ende der Seite \ @@ -114,7 +114,7 @@ root.text3=Eine Typannahme mit Variable "x" und Typ "int" wird hinzugefügt. root.image4=/carousel/ClickTypeButton.png root.text4=Der Typisieren-Knopf wird betätigt, um den Typinferenzalgorithmus zu starten. root.image5=/carousel/NavigateTree.png -root.text5=Die Knöpfe am unteren Ende der Seite werden verwendet, um zwischen einzelenen Schritten des Algorithmus \ +root.text5=Die Knöpfe am unteren Ende der Seite werden verwendet, um zwischen einzelnen Schritten des Algorithmus \ zu wechseln. root.image6=/carousel/EndOfTree.png root.text6=Am Ende des Algorithmus sind der MGU, der finale Typ der Eingabe und der finale Herleitungsbaum \