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

Checkstyle Violations

Browse Source
This commit is contained in:
uogau 2021-01-28 14:06:42 +01:00
parent 2e3728eaef
commit 136a8d74c3
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/java/edu/kit/typicalc/view/main/MainView.java
View File

@ -25,8 +25,8 @@ public interface MainView {
*/ */
void displayError(ParseError error); void displayError(ParseError error);
public interface MainViewListener { interface MainViewListener {
public void typeInferLambdaString(String lambdaTerm, Map<String, String> typeAssumptions); void typeInferLambdaString(String lambdaTerm, Map<String, String> typeAssumptions);
} }
} }

4
src/test/java/edu/kit/typicalc/model/parser/LambdaParserTest.java
View File

@ -5,12 +5,12 @@ import static org.junit.jupiter.api.Assertions.assertEquals;
import edu.kit.typicalc.model.term.AbsTerm; import edu.kit.typicalc.model.term.AbsTerm;
import edu.kit.typicalc.model.term.AppTerm; import edu.kit.typicalc.model.term.AppTerm;
import edu.kit.typicalc.model.term.BooleanTerm; import edu.kit.typicalc.model.term.BooleanTerm;
import edu.kit.typicalc.model.term.ConstTerm; //import edu.kit.typicalc.model.term.ConstTerm;
import edu.kit.typicalc.model.term.IntegerTerm; import edu.kit.typicalc.model.term.IntegerTerm;
import edu.kit.typicalc.model.term.LambdaTerm; import edu.kit.typicalc.model.term.LambdaTerm;
import edu.kit.typicalc.model.term.LetTerm; import edu.kit.typicalc.model.term.LetTerm;
import edu.kit.typicalc.model.term.VarTerm; import edu.kit.typicalc.model.term.VarTerm;
import edu.kit.typicalc.model.type.NamedType; //import edu.kit.typicalc.model.type.NamedType;
import edu.kit.typicalc.util.Result; import edu.kit.typicalc.util.Result;
import org.junit.jupiter.api.Test; import org.junit.jupiter.api.Test;