Add OrCOnsTest

README.md

@@ -1,4 +1,9 @@
 Prototype
 
 run with:
+
 mvn test -Dtest="TestComplete#matrixTest"
+
+mvn test -Dtest="typeinference.JavaTXCompilerTest#importTest"
+
+then the output is in: /tmp/output

pom.xml

@@ -53,8 +53,8 @@ http://maven.apache.org/maven-v4_0_0.xsd">
 				<artifactId>maven-compiler-plugin</artifactId>
 				<version>3.11.0</version>
 				<configuration>
-                    <source>21</source>
+                    <source>22</source>
-                    <target>21</target>
+                    <target>22</target>
                 </configuration>
 			</plugin>
 			<plugin>

src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java

@@ -36,7 +36,7 @@ public class TYPE {
             ret.addAll(getConstraintsClass(cl, new TypeInferenceInformation(allClasses)));
         }
         writeASP(ret);
-        System.exit(0);
+        //System.exit(0);
         return ret;
     }
 

src/test/java/typeinference/JavaTXCompilerTest.java

@@ -34,7 +34,7 @@ public class JavaTXCompilerTest {
 
     @Test
     public void importTest() throws IOException, ClassNotFoundException {
-        execute(new File(rootDirectory + "Import.jav"));
+        execute(new File(rootDirectory + "OrConsTest.jav"));
     }
 
     @Test

src/test/resources/javFiles/OrConsTest.jav

@@ -0,0 +1,52 @@
+
+import java.lang.Integer;
+import java.lang.String;
+
+
+public class OrConsTest {
+
+    ol(var1) {
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        var1.equals(var1);
+        return new OrConsTest();
+    }
+
+}