Misc. adjustments

Properties file was encoded using latin1 again!

The JaCoCo agent should not execute when running the server,
use mvn jacoco:prepare-agent test jacoco:report
when generating test coverage.

.vscode/extensions.json

@@ -1,8 +0,0 @@
-{
-  "recommendations": [
-    "runem.lit-plugin",
-    "vscjava.vscode-java-pack",
-    "pivotal.vscode-spring-boot",
-  ],
-  "unwantedRecommendations": []
-}

pom.xml

@@ -206,21 +206,6 @@
                 <groupId>org.jacoco</groupId>
                 <artifactId>jacoco-maven-plugin</artifactId>
                 <version>0.8.6</version>
-                <executions>
-                    <execution>
-                        <goals>
-                            <goal>prepare-agent</goal>
-                        </goals>
-                    </execution>
-                    <!-- attached to Maven test phase -->
-                    <execution>
-                        <id>report</id>
-                        <phase>test</phase>
-                        <goals>
-                            <goal>report</goal>
-                        </goals>
-                    </execution>
-                </executions>
             </plugin>
 
             <plugin>

src/main/java/edu/kit/typicalc/model/type/UnificationUtil.java

@@ -10,7 +10,7 @@ import java.util.List;
 import java.util.Optional;
 
 /**
- * Utility class to avoid unification logic duplication in type methods.
+ * Utility class to avoid unification logic duplication in type methods (constrainEqualTo*).
  *
  * @see Type
  */
@@ -50,7 +50,7 @@ final class UnificationUtil {
     }
 
     static Result<UnificationActions, UnificationError> namedNamed(NamedType a, NamedType b) {
-        if (a != b) {
+        if (!a.equals(b)) {
             return new Result<>(null, UnificationError.DIFFERENT_TYPES);
         } else {
             return new Result<>(new UnificationActions());

src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/LatexCreatorConstants.java

@@ -9,7 +9,7 @@ public final class LatexCreatorConstants {
     protected static final String IN = "in";
     protected static final String CONSTRAINT_SET = "C";
 
-    protected static final String NEW_LINE = System.lineSeparator();
+    protected static final String NEW_LINE = "\n";
     protected static final String SPACE = " ";
     protected static final String DOLLAR_SIGN = "$";
     protected static final String EQUALS = "=";

src/main/java/edu/kit/typicalc/view/main/InputBar.java

@@ -57,7 +57,6 @@ public class InputBar extends HorizontalLayout implements LocaleChangeObserver {
         inputField.setId(INPUT_FIELD_ID);
         inputField.setClearButtonVisible(true);
         inputField.setMaxLength(1000); // TODO: perhaps remove the error message? more than 1000 can't be entered now
-        inputField.setValueChangeMode(ValueChangeMode.EAGER); // TODO: this causes a lot of network traffic
         // attach a listener that replaces \ with λ
         // JavaScript is used because Vaadin does not have APIs for selectionStart/selectionEnd
         // and this will be much faster than a bunch of network round trips per character entered!
@@ -95,8 +94,7 @@ public class InputBar extends HorizontalLayout implements LocaleChangeObserver {
      */
     protected void inferTerm(String term) {
         inputField.setValue(term);
-        UI.getCurrent().getPage().executeJs(
-                String.format("document.getElementById('%s').click()", INFER_BUTTON_ID));
+        UI.getCurrent().getPage().executeJs("document.getElementById($0).click()", INFER_BUTTON_ID);
     }
 
     private void onTypeInferButtonClick(Consumer<Pair<String, Map<String, String>>> callback) {

src/main/java/edu/kit/typicalc/view/main/TypeAssumptionField.java

@@ -25,18 +25,17 @@ public class TypeAssumptionField extends HorizontalLayout implements LocaleChang
     private static final String ASS_DELETE_BUTTON_ID = "assDeleteButton";
     private static final String ASSUMPTIONS_FIELD_ID = "typeAssumptionField";
 
-    private final Button deleteButton;
     private final TextField variableInputField;
     private final TextField typeInputField;
 
-    protected TypeAssumptionField(final Consumer<TypeAssumptionField> deleteSelf) {
+    protected TypeAssumptionField(Consumer<TypeAssumptionField> deleteSelf) {
         variableInputField = new TextField();
         variableInputField.setLabel(getTranslation("root.variable"));
         typeInputField = new TextField();
         typeInputField.setLabel(getTranslation("root.type"));
         Icon minusIcon = new Icon(VaadinIcon.MINUS_CIRCLE);
         minusIcon.setId(MINUS_ICON_ID);
-        deleteButton = new Button(minusIcon, event -> deleteSelf.accept(this));
+        Button deleteButton = new Button(minusIcon, event -> deleteSelf.accept(this));
         deleteButton.setId(ASS_DELETE_BUTTON_ID);
         add(variableInputField, typeInputField, deleteButton);
         setId(ASSUMPTIONS_FIELD_ID);

src/main/resources/language/general.properties

@@ -1,6 +1,5 @@
 root.domain=http://localhost:8080/
 root.lambda=\u03BB
-root.home=home
 root.typicalc=Typicalc
 root.examplebutton=\uD83D\uDCC2
 root.termGrammar=\u2329Term\u232A ::= \u2329App\u232A | \u2329Abs\u232A | (\u2329Term\u232A) | \

src/main/resources/language/translation_de.properties

@@ -19,8 +19,8 @@ root.selectLanguage=Sprache
 root.termExplanation=Die folgende Grammatik beschreibt den Aufbau eines gültigen Terms:
 root.assExplanation=Die folgende Grammatik beschreibt die Syntax eines gültigen Typs:
 root.typeAssumptions=Typannahmen
-root.addAssumption=Typannahme hinzufügen
-root.deleteAll=Alle löschen
+root.addAssumption=Typannahme hinzufügen
+root.deleteAll=Alle löschen
 root.variable=Variable
 root.type=Typ