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

code style in view, typos in translation_de

Browse Source
This commit is contained in:
Johanna Stuber 2021-03-07 13:44:07 +01:00
parent 43d1a80242
commit 69ab9b6050
3 changed files with 10 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/AssumptionGeneratorUtil.java
View File

@ -5,8 +5,10 @@ import edu.kit.typicalc.model.type.TypeAbstraction;
import java.util.Map; 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.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 * Util class for {@link LatexCreator} and {@link LatexCreatorConstraints} to generate LaTeX code from

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

@ -92,7 +92,7 @@ public class LatexCreatorConstraints implements StepVisitor {
}); });
typeInferer.getMGU().ifPresent(mgu -> { typeInferer.getMGU().ifPresent(mgu -> {
// avoid superfluous step if unification only has one step (that equals the 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)); result.add(generateMGU(constraintSets));
numberGenerator.push(); numberGenerator.push();
} }
@ -353,7 +353,7 @@ public class LatexCreatorConstraints implements StepVisitor {
latex.append(PAREN_LEFT); latex.append(PAREN_LEFT);
latex.append(new LatexCreatorType(typeInferer.getFirstInferenceStep().getConclusion().getType()).getLatex()); latex.append(new LatexCreatorType(typeInferer.getFirstInferenceStep().getConclusion().getType()).getLatex());
latex.append("" + PAREN_RIGHT + EQUALS); 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(); return latex.toString();
} }

8
src/main/resources/language/translation_de.properties
View File

@ -60,7 +60,7 @@ root.helpShortcuts=<kbd>Strg</kbd> + <kbd>\u2190</kbd> = Erster Schritt<br>\
<kbd>/</kbd> = Fokus auf Eingabefeld <kbd>/</kbd> = Fokus auf Eingabefeld
root.helpFirstStepButton=Je nach Stand der Algorithmusausführung ändert sich die Funktion des Knopfs. \ 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 \ 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" \ in den letzten Schritt des Baums. Der Knopf lässt sich außerdem durch die Tastenkombination "STRG + Linke Pfeiltaste" \
ansprechen. ansprechen.
root.helpPreviousStepButton=Durch Benutzen des Vorheriger-Schritt-Knopfs wird der vorherige Schritt des Algorithmus \ 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. 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. \ 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 \ 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 \ vor zur Anzeige des finalen Typs. Der Knopf lässt sich außerdem durch die Tastenkombination \
"STRG + Rechte Pfeiltaste" ansprechen. "STRG + Rechte Pfeiltaste" ansprechen.
root.helpShareButton=Durch Benutzen des Teilen-Knopfs öffnet sich ein Dialog, in dem der LaTeX-Code des finalen \ root.helpShareButton=Durch Benutzen des Teilen-Knopfs öffnet sich ein Dialog, in dem der LaTeX-Code des finalen \
@ -94,7 +94,7 @@ Typicalc wurde als PSE-Projekt am KIT im WS20/21 entwickelt von<br>\
root.TOO_FEW_TOKENS=Falsche Eingabe! Die Eingabe endet abrupt. 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.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_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! error.heading=Syntaktisch falsche Eingabe!
root.wrongCharacter=Falsches Zeichen: \u0020 root.wrongCharacter=Falsches Zeichen: \u0020
root.position=An Position: \u0020 root.position=An Position: \u0020
@ -114,7 +114,7 @@ root.text3=Eine Typannahme mit Variable "x" und Typ "int" wird hinzugefügt.
root.image4=/carousel/ClickTypeButton.png root.image4=/carousel/ClickTypeButton.png
root.text4=Der Typisieren-Knopf wird betätigt, um den Typinferenzalgorithmus zu starten. root.text4=Der Typisieren-Knopf wird betätigt, um den Typinferenzalgorithmus zu starten.
root.image5=/carousel/NavigateTree.png 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. zu wechseln.
root.image6=/carousel/EndOfTree.png root.image6=/carousel/EndOfTree.png
root.text6=Am Ende des Algorithmus sind der MGU, der finale Typ der Eingabe und der finale Herleitungsbaum \ root.text6=Am Ende des Algorithmus sind der MGU, der finale Typ der Eingabe und der finale Herleitungsbaum \