From 427da2bcd8c64df9a65f45f64e74802610649570 Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@student.kit.edu>
Date: Wed, 27 Jan 2021 10:36:04 +0100
Subject: [PATCH] Mehr Platzhalter-Klassen

---
 .../java/edu/kit/typicalc/model/step/AbsStepDefault.java  | 4 ++++
 .../java/edu/kit/typicalc/model/step/AbsStepWithLet.java  | 4 ++++
 .../java/edu/kit/typicalc/model/step/AppStepDefault.java  | 4 ++++
 .../edu/kit/typicalc/model/step/ConstStepDefault.java     | 4 ++++
 .../java/edu/kit/typicalc/model/step/LetStepDefault.java  | 4 ++++
 .../java/edu/kit/typicalc/model/step/VarStepDefault.java  | 4 ++++
 .../java/edu/kit/typicalc/model/type/TypeVisitor.java     | 4 ++++
 .../view/content/typeinferencecontent/LatexCreator.java   | 8 ++++++++
 .../view/content/typeinferencecontent/ShareDialog.java    | 2 +-
 9 files changed, 37 insertions(+), 1 deletion(-)
 create mode 100644 src/main/java/edu/kit/typicalc/model/step/AbsStepDefault.java
 create mode 100644 src/main/java/edu/kit/typicalc/model/step/AbsStepWithLet.java
 create mode 100644 src/main/java/edu/kit/typicalc/model/step/AppStepDefault.java
 create mode 100644 src/main/java/edu/kit/typicalc/model/step/ConstStepDefault.java
 create mode 100644 src/main/java/edu/kit/typicalc/model/step/LetStepDefault.java
 create mode 100644 src/main/java/edu/kit/typicalc/model/step/VarStepDefault.java
 create mode 100644 src/main/java/edu/kit/typicalc/model/type/TypeVisitor.java

diff --git a/src/main/java/edu/kit/typicalc/model/step/AbsStepDefault.java b/src/main/java/edu/kit/typicalc/model/step/AbsStepDefault.java
new file mode 100644
index 0000000..a260062
--- /dev/null
+++ b/src/main/java/edu/kit/typicalc/model/step/AbsStepDefault.java
@@ -0,0 +1,4 @@
+package edu.kit.typicalc.model.step;
+
+public class AbsStepDefault {
+}
diff --git a/src/main/java/edu/kit/typicalc/model/step/AbsStepWithLet.java b/src/main/java/edu/kit/typicalc/model/step/AbsStepWithLet.java
new file mode 100644
index 0000000..55ce5ea
--- /dev/null
+++ b/src/main/java/edu/kit/typicalc/model/step/AbsStepWithLet.java
@@ -0,0 +1,4 @@
+package edu.kit.typicalc.model.step;
+
+public class AbsStepWithLet {
+}
diff --git a/src/main/java/edu/kit/typicalc/model/step/AppStepDefault.java b/src/main/java/edu/kit/typicalc/model/step/AppStepDefault.java
new file mode 100644
index 0000000..036d94b
--- /dev/null
+++ b/src/main/java/edu/kit/typicalc/model/step/AppStepDefault.java
@@ -0,0 +1,4 @@
+package edu.kit.typicalc.model.step;
+
+public class AppStepDefault {
+}
diff --git a/src/main/java/edu/kit/typicalc/model/step/ConstStepDefault.java b/src/main/java/edu/kit/typicalc/model/step/ConstStepDefault.java
new file mode 100644
index 0000000..5768d76
--- /dev/null
+++ b/src/main/java/edu/kit/typicalc/model/step/ConstStepDefault.java
@@ -0,0 +1,4 @@
+package edu.kit.typicalc.model.step;
+
+public class ConstStepDefault {
+}
diff --git a/src/main/java/edu/kit/typicalc/model/step/LetStepDefault.java b/src/main/java/edu/kit/typicalc/model/step/LetStepDefault.java
new file mode 100644
index 0000000..c07affe
--- /dev/null
+++ b/src/main/java/edu/kit/typicalc/model/step/LetStepDefault.java
@@ -0,0 +1,4 @@
+package edu.kit.typicalc.model.step;
+
+public class LetStepDefault {
+}
diff --git a/src/main/java/edu/kit/typicalc/model/step/VarStepDefault.java b/src/main/java/edu/kit/typicalc/model/step/VarStepDefault.java
new file mode 100644
index 0000000..a171b9a
--- /dev/null
+++ b/src/main/java/edu/kit/typicalc/model/step/VarStepDefault.java
@@ -0,0 +1,4 @@
+package edu.kit.typicalc.model.step;
+
+public class VarStepDefault {
+}
diff --git a/src/main/java/edu/kit/typicalc/model/type/TypeVisitor.java b/src/main/java/edu/kit/typicalc/model/type/TypeVisitor.java
new file mode 100644
index 0000000..74e7eb1
--- /dev/null
+++ b/src/main/java/edu/kit/typicalc/model/type/TypeVisitor.java
@@ -0,0 +1,4 @@
+package edu.kit.typicalc.model.type;
+
+public interface TypeVisitor {
+}
diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/LatexCreator.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/LatexCreator.java
index a5eeca6..dd974e0 100644
--- a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/LatexCreator.java
+++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/LatexCreator.java
@@ -2,7 +2,15 @@ package edu.kit.typicalc.view.content.typeinferencecontent;
 
 
 import edu.kit.typicalc.model.TypeInfererInterface;
+import edu.kit.typicalc.model.step.AbsStepDefault;
+import edu.kit.typicalc.model.step.AbsStepWithLet;
+import edu.kit.typicalc.model.step.AppStepDefault;
+import edu.kit.typicalc.model.step.ConstStepDefault;
+import edu.kit.typicalc.model.step.LetStepDefault;
 import edu.kit.typicalc.model.step.StepVisitor;
+import edu.kit.typicalc.model.step.VarStepDefault;
+import edu.kit.typicalc.model.term.TermVisitor;
+import edu.kit.typicalc.model.type.TypeVisitor;
 
 /**
  * Generates LaTeX-code from a TypeInfererInterface object. Two mostly independent pie-
diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/ShareDialog.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/ShareDialog.java
index b1a05f7..7b12349 100644
--- a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/ShareDialog.java
+++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/ShareDialog.java
@@ -14,7 +14,7 @@ public class ShareDialog extends Dialog implements LocaleChangeObserver {
      * to the String that is passed as corresponding parameter.
      * @param url a permalink to share with other users
      * @param latexPackages the needed LaTeX-packages to use the displayed mathmatics
-     * in other LaTeX documents. Should be in the form „\usepackage<package>“
+     * in other LaTeX documents. Should be in the form „\\usepackage<package>“
      * @param latexCode LaTeX code for users to copy into their own LaTeX document(s)
      */
     protected ShareDialog(String url, String latexPackages, String latexCode) {