diff --git a/test/plugindevelopment/TypeInsertTests/.LambdaTest2_3.jav.log.swp b/test/plugindevelopment/TypeInsertTests/.LambdaTest2_3.jav.log.swp new file mode 100644 index 00000000..457a3641 Binary files /dev/null and b/test/plugindevelopment/TypeInsertTests/.LambdaTest2_3.jav.log.swp differ diff --git a/test/plugindevelopment/TypeInsertTests/LambdaTest2_3.jav b/test/plugindevelopment/TypeInsertTests/LambdaTest2_3.jav new file mode 100644 index 00000000..fdb3d7b0 --- /dev/null +++ b/test/plugindevelopment/TypeInsertTests/LambdaTest2_3.jav @@ -0,0 +1,5 @@ +class LambdaTest{ + +op = (m) -> (f) -> {f.apply(this,m); return this;}; + +} diff --git a/test/plugindevelopment/TypeInsertTests/LambdaTest2_3.java b/test/plugindevelopment/TypeInsertTests/LambdaTest2_3.java new file mode 100644 index 00000000..e7cfc2ca --- /dev/null +++ b/test/plugindevelopment/TypeInsertTests/LambdaTest2_3.java @@ -0,0 +1,23 @@ +package plugindevelopment.TypeInsertTests; + +import de.dhbwstuttgart.typeinference.Menge; + +import org.junit.Test; + +import de.dhbwstuttgart.logger.Logger; +import de.dhbwstuttgart.logger.LoggerConfiguration; +import de.dhbwstuttgart.logger.Section; + +public class LambdaTest2_3 { + + private static final String TEST_FILE = "LambdaTest2_3.jav"; + + @Test + public void run(){ + Menge mustContain = new Menge(); + //mustContain.add("S m"); + MultipleTypesInsertTester.test(this.TEST_FILE, mustContain, + new LoggerConfiguration().setOutput(Section.ASSUMPTIONS, System.out)); + } + +}