modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java

modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
2023-05-25 10:05:10 +02:00 · 2023-05-15 16:56:04 +02:00 · 2023-04-24 17:18:45 +02:00 · 2023-04-11 22:45:15 +02:00 · 2023-04-11 18:01:44 +02:00 · 2023-04-11 15:52:26 +02:00
506 changed files with 8519 additions and 12733 deletions
--- a/3
+++ b/3
@ -0,0 +1,3 @@
+NoOptParallel:
+	mvn -DskipTests package
+	cp target/JavaTXcompiler-0.1-jar-with-dependencies.jar target/JavaTXcompiler-0.1-jar-with-dependencies_NoOptParallel.jar
--- a/PlugInBau.txt
+++ b/PlugInBau.txt
@ -1,22 +0,0 @@
-Repositories: Branches: JavaCompilerCore: simplyRes
-                        JavaCompilerPlugin: copy_libs
-JavaCompilerCore > mvn install -Dskip.test=true
-
-[INFO] Installing /Users/pl/workspace_oxygen/JavaCompilerCore/target/JavaTXcompiler-0.2.jar to /Users/pl/.m2/repository/de/dhbwstuttgart/JavaTXcompiler/0.2/JavaTXcompiler-0.2.jar
-[INFO] Installing /Users/pl/workspace_oxygen/JavaCompilerCore/pom.xml to /Users/pl/.m2/repository/de/dhbwstuttgart/JavaTXcompiler/0.2/JavaTXcompiler-0.2.pom
-[INFO] Installing /Users/pl/workspace_oxygen/JavaCompilerCore/target/JavaTXcompiler-0.2-jar-with-dependencies.jar to /Users/pl/.m2/repository/de/dhbwstuttgart/JavaTXcompiler/0.2/JavaTXcompiler-0.2-jar-with-dependencies.jar
-[INFO] ------------------------------------------------------------------------
-[INFO] BUILD SUCCESS
-[INFO] ------------------------------------------------------------------------
-[INFO] Total time:  23.279 s
-[INFO] Finished at: 2019-09-17T09:31:30+02:00
-[INFO] -------------------------------------
-
-JavaCompilerCore > cd target
-
-JavaCompilerCore/target >  cp JavaTXcompiler-0.2.jar ../../Plugin_JCC/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/lib/JavaTXcompiler.jar
-
-Im Eclipse: Plugin_JCC/JavaCompilerPlugin>  mvn install
-
-Plugin_JCC/JavaCompilerPlugin/releng/JavaCompilerPlugin.Update/target >  cp JavaCompilerPlugin.Update-0.1.0-SNAPSHOT.zip ~/webdav/public_html/javatx/javatx_XXXXXX.zip
-
--- a/11
+++ b/11
@ -0,0 +1,11 @@
+Stand: 24.5.21
+  bigRefactoring: Master-Brach
+  targetBytecode: Neuer Codegenerator mit generated generics Daniel
+  bigRefactoringUnifyComment: Dokumentation Unify, Martin
+  bytecodeGenericsSecond: Generated Generics, Ali, Martin
+  inferWildcards, Wildcards, Till
+  master, derzeit nicht genutzt
+  plugin, eigemntlicher Branch fuer Plugin-Basis, derzeit nicht aktuelle (aktuelle Version in simplifyRes
+  simplifyRes, Basis fuer Plugin, sollte auf Plugin gemerged werden, noch keine Packages, Michael
+  strucTypesNew, Struturelle Typen, alte Basis, arbeite derzeit niemand
+
--- a/Website/JavaTXExamples.zip
+++ b/Website/JavaTXExamples.zip
--- a/Website/index.html
+++ b/Website/index.html
@ -1,88 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
-<html> <head>
-<title>Java-TX Plugin</title></head>
-<center>
-<h1>Java-TX Plugin</h1>
-</center>
-<h2>Content</h2>
-<ul>
-  <li><h4><a href="#introduction">Introduction</a></h4></li>
-  <li><h4><a href="newJavaTXProject/newJavaTXProject.html" >New Java-TX project</a></h4></li>
-  <li><h4><a href=" JavaTXExamples.zip" >Example project</a></h4></li>
-  <li><a href="usePlugin/usePlugin.html" >Using the plugin</a></li>
-  <li><h4><a href="install/install.html" >Installation</a></h4>
-</li>
-</ul>
-
-<br/>
-<h2 id="introduction">Introduction</h2>
-Java-TX (Java Type eXtended) is an extension of Java in which a global type inference algorithm and real function types are added. Since the end of the nineties features from functional program- ming languages have been transferred to Java. Parametric polymorphism extended by wildcards, called generics, were transfered to Java 5.0. Higher-order functions and lambda expression were introduced in Java 8. Java 8 uses functional interfaces as target types of lambda expressions in contrast to real function types as in functional programming languages.
-The powerful feature type inference from functional programming languages is incorporated into Java, as into other object-oriented
-languages, i.e. only in a restricted way called local type inference. Local type inference allows certain type annotations to be omitted. For instance, it is often not necessary to specify the type of a variable. Type parameters of classes in the new-statement can be left out. Return types of methods can often also be omitted. Local type inference is at its most pronounced in Scala. In Java 10 an extention of local type inference is introduced, where types of local variables can be replaced by the keyword var and inferred automatically during the compilation. In contrast to global type inference, local type inference allows types of recursive methods and lambda expressions not to be omitted.<br>
-The Java-TX project contributes to the design of object-oriented languages by developing global type inference algorithms for Java-like languages.
-
-<h3>First Example</h3>
-The class <tt>Id</tt> has the method <tt>id</tt>. The type annotations are omitted.
-<br/>
-
-<pre> <code class="language-java">
-  class Id {
-      id(x) {
-          return x;
-      }
-  } 
-</code> </pre>
-The type inference algorithm inferrs the types, such that <tt>Id</tt> can be applied:
-<pre>
-    new Id().id(1);
-
-    new Id().id("hallo");
-</pre>
-
-<h3>More complex example</h3>
-<pre>
-  import java.lang.Integer;
-  import java.lang.Double; 
-  import java.lang.String; 
-
-
-  class OL {
-     m(x) { return x + x; }
-	
-  }
-    
-         
-  class OLMain {
-     main(x) { 
-	var ol;
-	ol = new OL(); 
-	return ol.m(x); 
-     }  
-  }
-</pre>
-The type inference mechanism considers only imported types. Therefore  <tt>Integer</tt> <tt>Double</tt>, and <tt>String</tt> are imported.
-<br/>
-As the operator <tt>+</tt> is overloaded by all numeric types and String the methods  <tt>m</tt> in  the class <tt>OL</tt> and <tt>main</tt> in the class <tt>OLMain</tt>, respectively, gets all these types. The generated classfile demonstrates this:
-<pre>
-> javap OL.class 
-Compiled from "OL.jav"
-class OL {
-  public OL();
-  public java.lang.Integer m(java.lang.Integer);
-  public java.lang.Double m(java.lang.Double);
-}
-
-> javap OLMain.class 
-Compiled from "OLMain.jav"
-class OLMain {
-  public OLMain();
-  public java.lang.Integer main(java.lang.Integer);
-  public java.lang.Double main(java.lang.Double);
-}
-</pre>
-
-
-<hr>
-<address></address>
-<!-- hhmts start -->Last modified: Fri Jun  1 16:43:55 CEST 2018 <!-- hhmts end -->
-</body> </html>
--- a/Website/install/Restart.png
+++ b/Website/install/Restart.png
--- a/Website/install/availableSoftware1.png
+++ b/Website/install/availableSoftware1.png
--- a/Website/install/availableSoftware2.png
+++ b/Website/install/availableSoftware2.png
--- a/Website/install/instal.html
+++ b/Website/install/instal.html
@ -1,40 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
-<html> <head>
-<title>Install Java-TX Plugin</title>
-</head>
-
-<body>
-<h1>Install Java-TX Plugin</h1>
-<ol>
-  <li>Select "Install New Software ..."<br>
-  <img width= 400 src="newsoftware.png" >
-  
-  </li>
-  <li>Add ...<br>
-  <img width=550 src="availableSoftware1.png" >
-  </li>
-  <li>Insert address<br>
-  <img width=550 src="availableSoftware2.png" >
-  </li>
-  <li>Select installation<br>
-  <img width=550 src="selectInstallation.png" >
-  </li>
-  <li>Installation details<br>
-  <img width=550 src="installationDetails.png" >
-  </li>
-  <li>Accept license agreement<br>
-  <img width=550 src="licenseAgreement.png" >
-  </li>
-  <li>Install anyway<br>
-  <img width=450 src="installAnyway.png">
-  </li>
-  <li>Restart<br>
-  <img width=450 src="Restart.png">
-  </li>
-</ol>
-
-
-<hr>
-<address></address>
-<!-- hhmts start -->Last modified: Fri Jun  1 11:57:15 CEST 2018 <!-- hhmts end -->
-</body> </html>
--- a/Website/install/install.html
+++ b/Website/install/install.html
@ -1,40 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
-<html> <head>
-<title>Install Java-TX Plugin</title>
-</head>
-
-<body>
-<h2>Install Java-TX Plugin</h2>
-<ol>
-  <li>Select "Install New Software ..."<br>
-  <img width= 400 src="newsoftware.png" >
-  
-  </li>
-  <li>Add ...<br>
-  <img width=550 src="availableSoftware1.png" >
-  </li>
-  <li>Insert address<br>
-  <img width=550 src="availableSoftware2.png" >
-  </li>
-  <li>Select installation<br>
-  <img width=550 src="selectInstallation.png" >
-  </li>
-  <li>Installation details<br>
-  <img width=550 src="installationDetails.png" >
-  </li>
-  <li>Accept license agreement<br>
-  <img width=550 src="licenseAgreement.png" >
-  </li>
-  <li>Install anyway<br>
-  <img width=450 src="installAnyway.png">
-  </li>
-  <li>Restart<br>
-  <img width=450 src="Restart.png">
-  </li>
-</ol>
-
-
-<hr>
-<address></address>
-<!-- hhmts start -->Last modified: Fri Jun  1 12:05:43 CEST 2018 <!-- hhmts end -->
-</body> </html>
--- a/Website/install/installAnyway.png
+++ b/Website/install/installAnyway.png
--- a/Website/install/installationDetails.png
+++ b/Website/install/installationDetails.png
--- a/Website/install/licenseAgreement.png
+++ b/Website/install/licenseAgreement.png
--- a/Website/install/newsoftware.png
+++ b/Website/install/newsoftware.png
--- a/Website/install/selectInstallation.png
+++ b/Website/install/selectInstallation.png
--- a/Website/newJavaTXProject/addLibrary2.png
+++ b/Website/newJavaTXProject/addLibrary2.png
--- a/Website/newJavaTXProject/buildPath1.png
+++ b/Website/newJavaTXProject/buildPath1.png
--- a/Website/newJavaTXProject/buildPath2.png
+++ b/Website/newJavaTXProject/buildPath2.png
--- a/Website/newJavaTXProject/buildPath3.png
+++ b/Website/newJavaTXProject/buildPath3.png
--- a/Website/newJavaTXProject/buildPath4.png
+++ b/Website/newJavaTXProject/buildPath4.png
--- a/Website/newJavaTXProject/newJavFile.png
+++ b/Website/newJavaTXProject/newJavFile.png
--- a/Website/newJavaTXProject/newJavFolder1.png
+++ b/Website/newJavaTXProject/newJavFolder1.png
--- a/Website/newJavaTXProject/newJavFolder2.png
+++ b/Website/newJavaTXProject/newJavFolder2.png
--- a/Website/newJavaTXProject/newJavaTXProject.html
+++ b/Website/newJavaTXProject/newJavaTXProject.html
@ -1,34 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
-<html> <head>
-<title></title>
-</head>
-<h2>New Java-TX project in eclipse</h2>
-<ol>
-  <li>New -> Java Project<br/>
-  <img  width= 400 src="newJavaTXProject.png" >
-  </li>
-  <br/>
-  <li>Generate a jav-File folder<br/>
-  <img  width= 550 src="newJavFolder1.png" ><br/><br/>
-  <img  width= 550 src="newJavFolder2.png" >
-  </li>
-  <br/>
-  <li>Add jav-File folder as library<br/>
-  At the moment no package system is implemented, Therefore the compiled class files are in the jav-File folder. This has to be added as library:<br/>
-  <img  width= 550 src="buildPath1.png" ><br/><br/>
-  <img  width= 550 src="buildPath2.png" ><br/><br/>
-  <img  width= 400 src="buildPath3.png" ><br/><br/>
-  <img  width= 550 src="buildPath4.png" ><br/>
-  
-  
-  </li>
-</ol>
-<body>
-<h1></h1>
-
-
-
-<hr>
-<address></address>
-<!-- hhmts start -->Last modified: Fri Jun  1 16:50:02 CEST 2018 <!-- hhmts end -->
-</body> </html>
--- a/Website/newJavaTXProject/newJavaTXProject.png
+++ b/Website/newJavaTXProject/newJavaTXProject.png
--- a/Website/usePlugin/usePlugin.html
+++ b/Website/usePlugin/usePlugin.html
@ -1,24 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
-<html> <head>
-<title>Using the plugin</title>
-</head>
-<h2>Using the plugin</h2>
-<ol>
-  <li>Overview<br/>
-  <img  width=800 src="usePlugin1.png" >
-  </li>
-  <br/>
-  <li>Select types<br/>
-  If the method is overloaded the user can select types in the outline the right mouse button:<br/><br/>
-  <img src="usePlugin2.png" ><br/>
-  </li>
-</ol>
-<body>
-<h1></h1>
-
-
-
-<hr>
-<address></address>
-<!-- hhmts start -->Last modified: Fri Jun  1 16:51:28 CEST 2018 <!-- hhmts end -->
-</body> </html>
--- a/Website/usePlugin/usePlugin1.png
+++ b/Website/usePlugin/usePlugin1.png
--- a/Website/usePlugin/usePlugin2.png
+++ b/Website/usePlugin/usePlugin2.png
--- a/abgabeprotokoll.md
+++ b/abgabeprotokoll.md
@ -1,19 +0,0 @@
-# JavaTXCompiler Klasse
-* Konstruktor hat einen weiteren Parameter
-* contextPath
-	* Arrays aus URLs (file-urls)
-* Parameter ist Optional
-* wird er gesetzt, so werden Classfiles aus den übergebenen Pfaden geladen
-	* die übergebenen Pfade müssen dabei die Source-Roots sein
-	* Beispiel:
-	`import de.test.Klasse;`
-	* `Klasse.class` liegt in `output/de/test/Klasse.class`
-	* dann muss contextpath auf `output` gesetzt werden
-* wird der Parameter nicht übergeben, so wird der Sourceroot auf das Verzeichnis gesetzt, in dem der Compiler ausgeführt wird
-* dies ist das Verhalten vom javac Compiler
-
-* generateBytecode - Methode hat neuen Parameter: path
-* wird hier null übergeben, so wird die class-File in den gleichen Ordner wie die übergebene .jav File geschrieben
-* wird hier ein Pfad übergeben, so gilt dieser als output root.
-	* Klassen werden in outputRoot/package/name/KlassenName.class geschrieben
-
--- a/doc/Studienarbeiten/S2021_Etienne_Zink.pdf
+++ b/doc/Studienarbeiten/S2021_Etienne_Zink.pdf
--- a/pom.xml
+++ b/pom.xml
@ -7,7 +7,7 @@ http://maven.apache.org/maven-v4_0_0.xsd">
 	<artifactId>JavaTXcompiler</artifactId>
 	<packaging>jar</packaging>

-	<version>0.2</version>
+	<version>0.1</version>
 	<name>JavaTXcompiler</name>
 	<url>http://maven.apache.org</url>
 	<dependencies>
@ -17,10 +17,11 @@ http://maven.apache.org/maven-v4_0_0.xsd">
 			<version>4.11</version>
 			<scope>test</scope>
 		</dependency>
+		<!-- https://mvnrepository.com/artifact/org.antlr/antlr4 -->
 		<dependency>
 			<groupId>org.antlr</groupId>
 			<artifactId>antlr4</artifactId>
-			<version>4.7</version>
+			<version>4.11.1</version>
 		</dependency>
 		<dependency>
 			<groupId>commons-io</groupId>
@ -43,62 +44,44 @@ http://maven.apache.org/maven-v4_0_0.xsd">
 			<artifactId>asm</artifactId>
 			<version>7.0</version>
 		</dependency>
-		<!-- <dependency> <groupId>org.ow2.asm</groupId> <artifactId>asm-all</artifactId> 
-			<version>[4.0.0,)</version> </dependency> -->
-		<!-- <dependency> <groupId>org.bitbucket.mstrobel</groupId> <artifactId>procyon-reflection</artifactId> 
-			<version>[0.5.32,)</version> </dependency> -->
 	</dependencies>

 	<build>
-		<directory>target</directory>
-		<outputDirectory>target/classes</outputDirectory>
-		<finalName>${project.artifactId}-${project.version}</finalName>
-		<testOutputDirectory>target/test-classes</testOutputDirectory>
 		<plugins>
 			<plugin>
 				<groupId>org.apache.maven.plugins</groupId>
-				<artifactId>maven-surefire-plugin</artifactId>
-				<version>3.0.0-M3</version>
+				<artifactId>maven-compiler-plugin</artifactId>
+				<version>3.8.0</version>
 				<configuration>
-					<skipTests>true</skipTests>
-				</configuration>
+					<compilerArgs>--enable-preview</compilerArgs>
+                    <source>19</source>
+                    <target>19</target>
+                </configuration>
 			</plugin>
 			<plugin>
 				<groupId>org.antlr</groupId>
 				<artifactId>antlr4-maven-plugin</artifactId>
-				<version>4.7</version>
+				<version>4.11.1</version>
 				<executions>
 					<execution>
 						<id>antlr</id>
 						<goals>
 							<goal>antlr4</goal>
 						</goals>
-						<configuration>
-							<sourceDirectory>src/main/antlr4/java8</sourceDirectory>
-							<outputDirectory>${project.basedir}/src/main/java/de/dhbwstuttgart/parser/antlr</outputDirectory>
-							<arguments>
-								<argument>-package</argument>
-								<argument>de.dhbwstuttgart.parser.antlr</argument>
-							</arguments>
-						</configuration>
 					</execution>
-					<execution>
-						<id>aspParser</id>
-						<goals>
-							<goal>antlr4</goal>
-						</goals>
-						<configuration>
-							<sourceDirectory>src/main/antlr4/sat</sourceDirectory>
-							<outputDirectory>${project.basedir}/src/main/java/de/dhbwstuttgart/sat/asp/parser/antlr</outputDirectory>
-							<arguments>
-								<argument>-package</argument>
-								<argument>de.dhbwstuttgart.sat.asp.parser.antlr</argument>
-							</arguments>
-						</configuration>
-					</execution>
-
 				</executions>
 			</plugin>
+			<plugin>
+				<groupId>org.apache.maven.plugins</groupId>
+				<artifactId>maven-jar-plugin</artifactId>
+				<configuration>
+					<archive>
+						<manifest>
+							<mainClass>de.dhbwstuttgart.core.ConsoleInterface</mainClass>
+						</manifest>
+					</archive>
+				</configuration>
+			</plugin>
 			<plugin>
 				<artifactId>maven-assembly-plugin</artifactId>
 				<executions>
@ -120,45 +103,8 @@ http://maven.apache.org/maven-v4_0_0.xsd">
 					</descriptorRefs>
 				</configuration>
 			</plugin>
-			<plugin>
-				<groupId>org.reficio</groupId>
-				<artifactId>p2-maven-plugin</artifactId>
-				<version>1.1.2-SNAPSHOT</version>
-				<executions>
-					<execution>
-						<id>default-cli</id>
-						<configuration>
-							<artifacts>
-								<!-- specify your depencies here -->
-								<!-- groupId:artifactId:version -->
-								<artifact>
-									<id>de.dhbwstuttgart:JavaTXcompiler:0.2</id>
-								</artifact>
-								<artifact>
-									<id>org.reflections:reflections:0.9.11</id>
-								</artifact>
-								<artifact>
-									<id>com.google.guava:guava:22.0</id>
-								</artifact>
-								<artifact>
-									<id>javax.annotation:javax.annotation-api:1.3.1</id>
-								</artifact>
-								<artifact>
-									<id>org.glassfish:javax.annotation:3.1.1</id>
-								</artifact>
-							</artifacts>
-						</configuration>
-					</execution>
-				</executions>
-			</plugin>
 		</plugins>
 	</build>
-	<pluginRepositories>
-		<pluginRepository>
-			<id>reficio</id>
-			<url>http://repo.reficio.org/maven/</url>
-		</pluginRepository>
-	</pluginRepositories>
 	<repositories>
 		<repository>
 			<id>maven-repository</id>
@ -166,9 +112,8 @@ http://maven.apache.org/maven-v4_0_0.xsd">
 		</repository>
 	</repositories>
 	<properties>
-		<maven.compiler.source>1.8</maven.compiler.source>
-		<maven.compiler.target>1.8</maven.compiler.target>
-		<tycho.version>0.23.0</tycho.version>
+		<maven.compiler.source>19</maven.compiler.source>
+		<maven.compiler.target>19</maven.compiler.target>
 		<mainClass>de.dhbwstuttgart.core.ConsoleInterface</mainClass>
 	</properties>
 	<distributionManagement>
--- a/resources/AllgemeinTest/Assign.jav
+++ b/resources/AllgemeinTest/Assign.jav
@ -0,0 +1,10 @@
+class Assign {
+
+      assign(x, y) {
+          x = y;
+      }
+
+      assign2(x, y) {
+          assign(x,y);
+      }
+}
--- a/resources/AllgemeinTest/Box.jav
+++ b/resources/AllgemeinTest/Box.jav
@ -0,0 +1,13 @@
+class Box<A>{
+void m(A a){}
+}
+
+class B { }
+
+class Box_Main extends B {
+
+    m(b) {
+       b.m(new Box_Main());
+       b.m(new B());
+    }
+}
--- a/resources/AllgemeinTest/Box_Main.jav
+++ b/resources/AllgemeinTest/Box_Main.jav
@ -0,0 +1,13 @@
+class Box<A>{
+	A f;
+}
+
+class B { }
+
+class Box_Main extends B {//Fehler Bugzilla Bug 230
+
+    m(b) {
+    	b.f = new Box_Main();
+    	b.f = new B();
+    }
+}
--- a/resources/AllgemeinTest/CaptureConversion.jav
+++ b/resources/AllgemeinTest/CaptureConversion.jav
@ -0,0 +1,18 @@
+import java.lang.Object;
+import java.util.Vector;
+
+class CaptureConversion {
+
+    <X> void assign(Vector<X> v1, Vector<X> v2) {
+		v1 = v2;
+    }
+
+    void main() {
+		Vector<?> v1;
+		v1 = new Vector<Object>();
+		Vector<? extends Object> v2;
+		v2 = new Vector<Object>();
+		v1 = v2;
+		assign(v1, v2);
+    }
+}
--- a/src/test/resources/AllgemeinTest/FCTest1.jav
+++ b/src/test/resources/AllgemeinTest/FCTest1.jav
--- a/src/test/resources/AllgemeinTest/FCTest2.jav
+++ b/src/test/resources/AllgemeinTest/FCTest2.jav
--- a/src/test/resources/AllgemeinTest/FCTest3.jav
+++ b/src/test/resources/AllgemeinTest/FCTest3.jav
--- a/src/test/resources/AllgemeinTest/GenTest.jav
+++ b/src/test/resources/AllgemeinTest/GenTest.jav
--- a/src/test/resources/AllgemeinTest/Generics.jav
+++ b/src/test/resources/AllgemeinTest/Generics.jav
--- a/resources/AllgemeinTest/M.jav
+++ b/resources/AllgemeinTest/M.jav
@ -0,0 +1,7 @@
+import java.util.List;
+class M {
+void m(p, p2){
+
+  new addList().addLists(p, p2);
+}
+}
--- a/src/test/resources/AllgemeinTest/OverloadingMain.jav
+++ b/src/test/resources/AllgemeinTest/OverloadingMain.jav
--- a/src/test/resources/AllgemeinTest/Overloading_Generics.jav
+++ b/src/test/resources/AllgemeinTest/Overloading_Generics.jav
--- a/src/test/resources/AllgemeinTest/OverrideMain.jav
+++ b/src/test/resources/AllgemeinTest/OverrideMain.jav
--- a/src/test/resources/AllgemeinTest/OverrideMainRet.jav
+++ b/src/test/resources/AllgemeinTest/OverrideMainRet.jav
--- a/resources/AllgemeinTest/Pair.jav
+++ b/resources/AllgemeinTest/Pair.jav
@ -0,0 +1,36 @@
+import java.util.Vector;
+import java.lang.Boolean;
+import java.lang.Object;
+
+class Pair<U, T> {
+    U a;
+    T b;
+    
+    make(x) {
+		var ret = new Pair<>();
+		ret.a = x.elementAt(0);
+		ret.b = x.elementAt(1);
+		return ret;
+    }
+
+
+    eq(a, b) {
+    	b = a;
+    	return a == b;
+    }
+
+
+    compare( p) {
+		return  eq(p.a, p.b);
+		//return p.a == p.b;
+    }
+
+
+/*
+    void m(Pair<?, ?> p, Vector<?> b)
+    {
+	//this.compare(p); //1, type incorrect
+	this.compare(this.make(b)); //2, OK
+    }
+*/
+}
--- a/src/test/resources/AllgemeinTest/Pair.java
+++ b/src/test/resources/AllgemeinTest/Pair.java
@ -2,6 +2,12 @@ class Pair<T, U> {
 	T x;
 	U y;
 	
+	public Pair() { }
+	public Pair(T x, U y) {
+		this.x = x;
+		this.y = y;
+	}
+	
 	public T fst () {
 		return x;
 	}
--- a/resources/AllgemeinTest/Put.jav
+++ b/resources/AllgemeinTest/Put.jav
@ -0,0 +1,19 @@
+import java.util.Vector;
+import java.util.Stack;
+
+class Put {
+
+    putElement(ele, v) {
+	    v.addElement(ele);
+    }
+
+    putElement(ele, s) {
+	    s.push(ele);
+    }
+
+
+    main(ele, x) { 
+        putElement(ele, x);
+    }
+
+}
--- a/resources/AllgemeinTest/Test.jav
+++ b/resources/AllgemeinTest/Test.jav
@ -0,0 +1,4 @@
+class Test {
+	a;
+	Test b;
+}
--- a/resources/AllgemeinTest/TestSubTypless.jav
+++ b/resources/AllgemeinTest/TestSubTypless.jav
@ -0,0 +1,12 @@
+import java.util.ArrayList;
+
+class TestSubTypless {
+        m(a){
+                var l = new ArrayList<>();
+                l.add(a);
+                return m2(l).get(0);
+        }
+        m2(a){
+                return m(a);
+        }
+}
--- a/resources/AllgemeinTest/Twice.jav
+++ b/resources/AllgemeinTest/Twice.jav
@ -0,0 +1,3 @@
+class Twice {
+    twice = f -> x -> f.apply(f.apply(x));
+}
--- a/resources/AllgemeinTest/UseWildcardPair.jav
+++ b/resources/AllgemeinTest/UseWildcardPair.jav
@ -0,0 +1,12 @@
+import java.util.Vector;
+import java.lang.Boolean;
+
+class UseWildcardPair{
+
+    void m(Pair<?, ?> p, Vector<?> b)
+    {
+    	p.compare(p); //1, type incorrect
+		p.compare(p.make(b)); //2, OK
+    }
+
+}
--- a/resources/AllgemeinTest/Var.jav
+++ b/resources/AllgemeinTest/Var.jav
@ -0,0 +1,5 @@
+class Var {
+
+    var(x) { var y;  }
+      
+}
--- a/resources/AllgemeinTest/VectorConstAdd.jav
+++ b/resources/AllgemeinTest/VectorConstAdd.jav
@ -0,0 +1,15 @@
+import java.util.Vector;
+import java.lang.Integer;
+
+
+public class VectorConstAdd {
+	vectorAdd(v1) {
+		var i = 0;
+		var erg = new Vector<>();
+		while (i < v1.size()) {
+			erg.addElement(v1.elementAt(i) + 1);
+			i++;
+		} 
+		return erg; 
+	}
+}
--- a/resources/AllgemeinTest/VectorNotObject.jav
+++ b/resources/AllgemeinTest/VectorNotObject.jav
@ -0,0 +1,9 @@
+import java.util.Vector;
+
+class VectorNotObject {
+ 
+ vectorAddAll(v1, v2) {
+        v1.addAll(v2);
+ 	    return v1;
+ 	}
+ }
--- a/resources/AllgemeinTest/WildcardCaptureConversionTest.jav
+++ b/resources/AllgemeinTest/WildcardCaptureConversionTest.jav
@ -0,0 +1,16 @@
+import java.util.Vector;
+import java.lang.Integer;
+import java.lang.String;
+
+class WildcardCaptureConversionTest {
+
+	m(x, y ,z) {
+		x = new Vector<Integer>();
+		y = new Vector<String>();
+		x.add(1);
+		y.add("2");
+		//Integer i = x.elementAt(0);
+		//String s = y.elementAt(0);
+	    return 	z.vectorAddAll(x, y);
+	}
+} 
--- a/resources/AllgemeinTest/Wildcard_Andi.jav
+++ b/resources/AllgemeinTest/Wildcard_Andi.jav
@ -0,0 +1,8 @@
+class Wildcard_Andi {
+
+    Test<? extends A> ex = new Test<>();
+
+    Test<? super A> sup = new Test<>();
+}
+
+
--- a/resources/AllgemeinTest/addList.jav
+++ b/resources/AllgemeinTest/addList.jav
@ -0,0 +1,8 @@
+import java.util.List;
+
+class addList {
+ addLists(a, b){
+a.add(b.get(0));
+b.add(a.get(0));
+}
+}
--- a/resources/AllgemeinTest/wildcardPair.jav
+++ b/resources/AllgemeinTest/wildcardPair.jav
@ -0,0 +1,22 @@
+import java.util.List;
+import java.lang.Integer;
+import java.lang.Object;
+import java.lang.Boolean;
+
+class wildcardPair {
+
+	make(l) { 
+		var p = new Pair(l.get(0), l.get(1));
+		return p; 
+	}
+	//<X>Boolean compare(Pair<X, X> x) { return true; }
+	void m(l) {
+		Object o = l.get(0);
+		
+		//Pair<? extends Object, ? extends Object> p;
+		//List<?> b;
+		//this.compare(p);             //1, type incorrect
+		make(l);
+		//this.compare(this.make(b));  //2, OK
+	} 
+}
--- a/src/test/resources/bytecode/javFiles/AA.jav
+++ b/src/test/resources/bytecode/javFiles/AA.jav
--- a/src/test/resources/bytecode/javFiles/AssignToLit.jav
+++ b/src/test/resources/bytecode/javFiles/AssignToLit.jav
--- a/src/test/resources/bytecode/javFiles/BB.jav
+++ b/src/test/resources/bytecode/javFiles/BB.jav
--- a/src/test/resources/bytecode/javFiles/BinaryInMeth.jav
+++ b/src/test/resources/bytecode/javFiles/BinaryInMeth.jav
--- a/resources/bytecode/javFiles/Box.jav
+++ b/resources/bytecode/javFiles/Box.jav
@ -0,0 +1,7 @@
+class B { }
+class Box_Main extends B {
+    m(b) {
+       b.m(new Box_Main());
+       b.m(new B());
+    }
+}
--- a/resources/bytecode/javFiles/Box.java
+++ b/resources/bytecode/javFiles/Box.java
@ -0,0 +1,3 @@
+class Box<A> {
+    void m(A a) { }
+}
--- a/src/test/resources/bytecode/javFiles/CC.jav
+++ b/src/test/resources/bytecode/javFiles/CC.jav
--- a/src/test/resources/bytecode/javFiles/ClassGenLam.jav
+++ b/src/test/resources/bytecode/javFiles/ClassGenLam.jav
--- a/resources/bytecode/javFiles/Cycle.jav
+++ b/resources/bytecode/javFiles/Cycle.jav
@ -0,0 +1,6 @@
+class Cycle {
+    m(x, y) {
+        y = x;
+        x = y;
+    }
+}
--- a/src/test/resources/bytecode/javFiles/DD.jav
+++ b/src/test/resources/bytecode/javFiles/DD.jav
--- a/src/test/resources/bytecode/javFiles/DuMethod.jav
+++ b/src/test/resources/bytecode/javFiles/DuMethod.jav
--- a/src/test/resources/bytecode/javFiles/EmptyMethod.jav
+++ b/src/test/resources/bytecode/javFiles/EmptyMethod.jav
--- a/src/test/resources/bytecode/javFiles/Example.jav
+++ b/src/test/resources/bytecode/javFiles/Example.jav
--- a/src/test/resources/bytecode/javFiles/Exceptions.jav
+++ b/src/test/resources/bytecode/javFiles/Exceptions.jav
--- a/src/test/resources/bytecode/javFiles/Fac.jav
+++ b/src/test/resources/bytecode/javFiles/Fac.jav
--- a/src/test/resources/bytecode/javFiles/Faculty.jav
+++ b/src/test/resources/bytecode/javFiles/Faculty.jav
--- a/src/test/resources/bytecode/javFiles/Faculty2.jav
+++ b/src/test/resources/bytecode/javFiles/Faculty2.jav
--- a/src/test/resources/bytecode/javFiles/Field.jav
+++ b/src/test/resources/bytecode/javFiles/Field.jav
@ -1,7 +1,7 @@
 import java.lang.Integer;

 public class Field {
-	public Integer x = 5;
+	public x = 5;
 	
 	m(){
 		return x;
--- a/src/test/resources/bytecode/javFiles/FieldTph.jav
+++ b/src/test/resources/bytecode/javFiles/FieldTph.jav
--- a/src/test/resources/bytecode/javFiles/FieldTph2.jav
+++ b/src/test/resources/bytecode/javFiles/FieldTph2.jav
--- a/src/test/resources/bytecode/javFiles/FieldTphConsMeth.jav
+++ b/src/test/resources/bytecode/javFiles/FieldTphConsMeth.jav
@ -9,10 +9,10 @@ public class FieldTphConsMeth {
 		return b;
 	}

-	/*setA(x) {
+	setA(x) {
 	    a = x;
 	    return a;
-	}*/
+	}

 	m(x,y) {
 	    x = id(y);
--- a/src/test/resources/bytecode/javFiles/FieldTphMMeth.jav
+++ b/src/test/resources/bytecode/javFiles/FieldTphMMeth.jav
--- a/src/test/resources/bytecode/javFiles/For.jav
+++ b/src/test/resources/bytecode/javFiles/For.jav
--- a/src/test/resources/bytecode/javFiles/FunOL.jav
+++ b/src/test/resources/bytecode/javFiles/FunOL.jav
--- a/src/test/resources/bytecode/javFiles/Gen.jav
+++ b/src/test/resources/bytecode/javFiles/Gen.jav
--- a/src/test/resources/bytecode/javFiles/Generics.jav
+++ b/src/test/resources/bytecode/javFiles/Generics.jav
--- a/src/test/resources/bytecode/javFiles/Generics2.jav
+++ b/src/test/resources/bytecode/javFiles/Generics2.jav
@ -1,3 +1,6 @@
+import java.lang.String;
+import java.lang.Integer;
+
 class Generics2<B extends String>{
 	<B extends Integer> B m1(B b){
 		return b;
--- a/resources/bytecode/javFiles/Generics3.jav
+++ b/resources/bytecode/javFiles/Generics3.jav
@ -0,0 +1,7 @@
+import java.lang.String;
+import java.lang.Integer;
+import java.util.List;
+
+class Generics3<B extends String & List<Integer>> {
+
+}
--- a/resources/bytecode/javFiles/Generics4.jav
+++ b/resources/bytecode/javFiles/Generics4.jav
@ -0,0 +1,12 @@
+import java.lang.String;
+import java.lang.Integer;
+
+class Generics4<B extends String> {
+	<C extends Integer> C m1(C b){
+		return b;
+	}
+
+    m2(x) {
+        return m1(x);
+    }
+}
--- a/src/test/resources/bytecode/javFiles/GreaterEqual.jav
+++ b/src/test/resources/bytecode/javFiles/GreaterEqual.jav
--- a/src/test/resources/bytecode/javFiles/GreaterThan.jav
+++ b/src/test/resources/bytecode/javFiles/GreaterThan.jav
--- a/src/test/resources/bytecode/javFiles/Id.jav
+++ b/src/test/resources/bytecode/javFiles/Id.jav
--- a/src/test/resources/bytecode/javFiles/IfTest.jav
+++ b/src/test/resources/bytecode/javFiles/IfTest.jav
--- a/src/test/resources/bytecode/javFiles/Import.jav
+++ b/src/test/resources/bytecode/javFiles/Import.jav
--- a/resources/bytecode/javFiles/Inf.jav
+++ b/resources/bytecode/javFiles/Inf.jav
@ -0,0 +1,65 @@
+public class Inf {
+	m(x,y,a){
+		var z; 
+		var v;
+		var w;
+		var b;
+		y=x;
+		z=x;
+		v=y;
+		w=y;
+		y=a;
+		b=a;
+		var c;
+		var d;
+		c = v;
+		d = v;
+	}
+}
+
+/*
+TPH M m(TPH N x, TPH O y, TPH P a)({
+    TPH Q z;
+    TPH R v;
+    TPH S w;
+    TPH T b;
+    (y)::TPH O = (x)::TPH N;
+    (z)::TPH Q = (x)::TPH N;
+    (v)::TPH R = (y)::TPH O;
+    (w)::TPH S = (y)::TPH O;
+    (y)::TPH O = (a)::TPH P;
+    (b)::TPH T = (a)::TPH P;
+    TPH U c;
+    TPH V d;
+    (c)::TPH U = (v)::TPH R;
+    (d)::TPH V = (v)::TPH R;
+    return;
+})::TPH W
+
+  Inf()({
+    super(());
+  })::TPH Z
+
+}
+// c::U d::V
+//   \  /
+//   v::R    w::S
+//       \  /
+//  z::Q y::O  b::T
+//    \ /   \  /
+//   x::N  a::P
+
+RESULT Final: [[(TPH N < TPH O), (TPH R < TPH V), (TPH N < TPH Q), (TPH P < TPH O), (TPH R < TPH U), (TPH M = void), (TPH O < TPH S), (TPH O < TPH R), (TPH P < TPH T)]]
+Simplified constraints: [(TPH O < TPH S), (TPH P < TPH O), (TPH O < TPH R), (TPH P < TPH T), (TPH N < TPH O), (TPH N < TPH Q)]
+m: [(TPH DDV = java.lang.Object), (TPH DDX = java.lang.Object), (TPH DDX < TPH DDV), (TPH N < TPH DDX), (TPH P < TPH DDX)]
+Class Inf: []
+Inf: []
+
+Unify nach Oder-Constraints-Anpassung:
+UND:[(void =. M, , -1 WC: false, IT: false), (N <. O, 1 WC: false, IT: false, 1 WC: false, IT: false), (P <. O, 1 WC: false, IT: false, 1 WC: false, IT: false), (N <. Q, 1 WC: false, IT: false, 0 WC: true, IT: false), (O <. S, 1 WC: false, IT: false, 0 WC: true, IT: false), (O <. R, 1 WC: false, IT: false, 0 WC: true, IT: false), (P <. T, 1 WC: false, IT: false, 0 WC: true, IT: false)]
+isInherited = false
+isStatement = false
+
+ODER:
+*/
+
--- a/resources/bytecode/javFiles/Infimum.jav
+++ b/resources/bytecode/javFiles/Infimum.jav
@ -0,0 +1,6 @@
+class Infimum {
+    m(x, y, z) {
+        y = x;
+        z = x;
+    }
+}
--- a/src/test/resources/bytecode/javFiles/Inherit.jav
+++ b/src/test/resources/bytecode/javFiles/Inherit.jav
--- a/src/test/resources/bytecode/javFiles/Inherit2.jav
+++ b/src/test/resources/bytecode/javFiles/Inherit2.jav
--- a/src/test/resources/bytecode/javFiles/Interface1.jav
+++ b/src/test/resources/bytecode/javFiles/Interface1.jav
--- a/src/test/resources/bytecode/javFiles/KompTph.jav
+++ b/src/test/resources/bytecode/javFiles/KompTph.jav
--- a/src/test/resources/bytecode/javFiles/LamRunnable.jav
+++ b/src/test/resources/bytecode/javFiles/LamRunnable.jav
--- a/Show More
+++ b/Show More