This commit is contained in:
Johanna Stuber 2021-01-27 10:55:27 +01:00
commit c21242e3e1
9 changed files with 37 additions and 1 deletions

View File

@ -0,0 +1,4 @@
package edu.kit.typicalc.model.step;
public class AbsStepDefault {
}

View File

@ -0,0 +1,4 @@
package edu.kit.typicalc.model.step;
public class AbsStepWithLet {
}

View File

@ -0,0 +1,4 @@
package edu.kit.typicalc.model.step;
public class AppStepDefault {
}

View File

@ -0,0 +1,4 @@
package edu.kit.typicalc.model.step;
public class ConstStepDefault {
}

View File

@ -0,0 +1,4 @@
package edu.kit.typicalc.model.step;
public class LetStepDefault {
}

View File

@ -0,0 +1,4 @@
package edu.kit.typicalc.model.step;
public class VarStepDefault {
}

View File

@ -0,0 +1,4 @@
package edu.kit.typicalc.model.type;
public interface TypeVisitor {
}

View File

@ -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-

View File

@ -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) {