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“ + * in other LaTeX documents. Should be in the form „\\usepackage“ * @param latexCode LaTeX code for users to copy into their own LaTeX document(s) */ protected ShareDialog(String url, String latexPackages, String latexCode) {