Kleiner Bug beseitigt

*

.gitattributes

@@ -1,9 +0,0 @@
-#
-# https://help.github.com/articles/dealing-with-line-endings/
-#
-# Linux start script should use lf
-/gradlew        text eol=lf
-
-# These are Windows script files and should use crlf
-*.bat           text eol=crlf
-

.gitignore

@@ -20,21 +20,3 @@ bin
 .project
 .settings/
 /target/
-
-#
-manually/
-
-logFiles/**
-!logFiles/.gitkeep
-
-src/main/java/de/dhbwstuttgart/parser/antlr/
-src/main/java/de/dhbwstuttgart/sat/asp/parser/antlr/
-
-#GRADLE
-# Ignore Gradle project-specific cache directory
-.gradle
-
-# Ignore Gradle build output directory
-build
-
-

app/build.gradle.kts

@@ -1,53 +0,0 @@
-/*
- * This file was generated by the Gradle 'init' task.
- *
- * This generated file contains a sample Java application project to get you started.
- * For more details take a look at the 'Building Java & JVM projects' chapter in the Gradle
- * User Manual available at https://docs.gradle.org/7.6/userguide/building_java_projects.html
- */
-
-plugins {
-    // Apply the application plugin to add support for building a CLI application in Java.
-    antlr
-    application
-}
-
-java {
-    toolchain {
-        languageVersion.set(JavaLanguageVersion.of(19))
-    }
-}
-
-repositories {
-    // Use Maven Central for resolving dependencies.
-    mavenCentral()
-}
-
-dependencies {
-    // Use JUnit test framework.
-    testImplementation("junit:junit:4.13.2")
-
-    // This dependency is used by the application.
-    implementation("com.google.guava:guava:31.1-jre")
-    implementation("commons-io:commons-io:2.6")
-    implementation("org.reflections:reflections:0.9.11")
-    implementation("org.ow2.asm:asm:7.0")
-    //implementation("org.antlr:antlr4:4.11.1")
-    antlr("org.antlr:antlr4:4.8-1")
-}
-
-
-tasks.withType<JavaCompile> {
-    options.compilerArgs.add("--enable-preview")
-}
-tasks.withType<Test> {
-    jvmArgs("--enable-preview")
-}
-tasks.withType<JavaExec> {
-    jvmArgs("--enable-preview")
-}
-
-application {
-    // Define the main class for the application.
-    mainClass.set("de.dhbwstuttgart.App")
-}

app/resources/AllgemeinTest/Box.jav

@@ -1,13 +0,0 @@
-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());
-    }
-}

app/resources/AllgemeinTest/Box_Main.jav

@@ -1,13 +0,0 @@
-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();
-    }
-}

app/resources/AllgemeinTest/FCTest1.jav

@@ -1,12 +0,0 @@
-import java.util.Vector;
-import java.util.List;
-import java.lang.Integer;
-
-class FCTest1 extends Vector<Vector<Integer>> {
-	fc1() {
-		var y;
-		var z;
-		y.add(z);
-		return y;
-	}
-}

app/resources/AllgemeinTest/FCTest2.jav

@@ -1,11 +0,0 @@
-import java.util.Vector;
-import java.util.List;
-import java.lang.Integer;
-
-class FCTest2 extends Vector<Vector<Integer>> {
-	fc2(y) {
-		var z;
-		y.add(z);
-		return y;
-	}
-}

app/resources/AllgemeinTest/FCTest3.jav

@@ -1,19 +0,0 @@
-import java.util.Vector;
-import java.lang.Integer;
-
-class FCTest3 extends Pair<Vector<Integer>, Vector<Integer>> {
-
-	
-	fc2(x) {
-		x.snd().addElement(2);
-	}
-	
-	
-	
-	fc2a() {
-		var y;
-		y.snd().addElement(2);
-		return y;
-	}
-	
-}

app/resources/AllgemeinTest/GenTest.jav

@@ -1,10 +0,0 @@
-import java.lang.Integer;
-import java.util.Vector;
-
-public class GenTest {
-
-    main(x) {
-		var v = new Vector();
-		return 1 + v.elementAt(0);
-    }
-}

app/resources/AllgemeinTest/Generics.jav

@@ -1,9 +0,0 @@
-class Generics {
-    a;
-    id(b) { return b; }
-    setA(x) {
-        a = x;
-        return a;
-    }
-    m(x,y) { x = id(y); }
-}

app/resources/AllgemeinTest/M.jav

@@ -1,7 +0,0 @@
-import java.util.List;
-class M {
-void m(p, p2){
-
-  new addList().addLists(p, p2);
-}
-}

app/resources/AllgemeinTest/OverloadingMain.jav

@@ -1,9 +0,0 @@
-import java.util.Stack;
-import java.util.Vector;
-
-class OverloadingMain {
-
-    mmMain(x) { var y; return new O1().mm(y); }
-      
-}
-	   

app/resources/AllgemeinTest/Overloading_Generics.jav

@@ -1,20 +0,0 @@
-import java.lang.Integer;
-
-
-public class Overloading_Generics {
-
-    id1 (x) { return x; }
-
-    //Integer id (Integer x) { return x; }
-}
-
-
-class Overloading_Generics1 {
-    main(x) {
-		var olg = new Overloading_Generics();
-		return olg.id1(1);
-    }
-}
-
-
-

app/resources/AllgemeinTest/OverrideMain.jav

@@ -1,25 +0,0 @@
-import java.util.Vector;
-import java.util.Stack;
-
-class OverrideMain {
-    ovrMain(x) {
-	var overide;
-	overide.ovr(x);
-    }
-}
-
-/*
- [
-  [(TPH L = java.util.Stack<TPH FTM>), (TPH N = java.lang.String), (TPH M = ? extends Override2), (TPH FTN, TPH FTM), (TPH K = void)], 
-[(TPH FTO, TPH FTP), (TPH M = ? extends Override2), (TPH N = java.lang.String), (TPH L = java.util.Stack<TPH FTP>), (TPH K = void)], 
-[(TPH M = ? extends Override2), (TPH N = java.lang.String), (TPH K = void), (TPH FTR, TPH FTQ), (TPH L = java.util.Vector<TPH FTQ>)], 
-[(TPH FTT, TPH FTS), (TPH M = ? extends Override2), (TPH L = java.util.Vector<TPH FTS>), (TPH K = void), (TPH N = java.lang.String)], 
-[(TPH L = java.util.Vector<TPH FTV>), (TPH M = ? extends Override2), (TPH N = java.lang.String), (TPH FTU, TPH FTV), (TPH K = void)], 
-[(TPH FTX, TPH FTW), (TPH M = ? extends Override2), (TPH L = java.util.Vector<TPH FTW>), (TPH K = void), (TPH N = java.lang.String)], 
-[(TPH M = ? extends Override2), (TPH L = java.util.Stack<TPH FTZ>), (TPH K = void), (TPH FTY, TPH FTZ), (TPH N = java.lang.String)], 
-[(TPH FUB, TPH FUA), (TPH K = void), (TPH M = ? extends Override2), (TPH N = java.lang.String), (TPH L = java.util.Vector<TPH FUA>)], 
-[(TPH N = java.lang.String), (TPH L = java.util.Vector<TPH FUC>), (TPH FUD, TPH FUC), (TPH M = ? extends Override2), (TPH K = void)], 
-[(TPH N = java.lang.String), (TPH FUF, TPH FUE), (TPH M = ? extends Override2), (TPH K = void), (TPH L = java.util.Vector<TPH FUE>)]]
-
- [[(TPH M = ? extends Override2), (TPH MNX, TPH MNY), (TPH N = java.lang.String), (TPH K = void), (TPH L = java.util.Stack<TPH MNY>)], [(TPH L = java.util.Stack<TPH MOC>), (TPH N = java.lang.String), (TPH M = ? extends Override2), (TPH K = void), (TPH MOB, TPH MOC)], [(TPH M = ? extends Override2), (TPH N = java.lang.String), (TPH MNZ, TPH MOA), (TPH L = java.util.Vector<TPH MOA>), (TPH K = void)], [(TPH L = java.util.Vector<TPH MOE>), (TPH K = void), (TPH M = ? extends Override2), (TPH MOD, TPH MOE), (TPH N = java.lang.String)], [(TPH M = ? extends Override2), (TPH K = void), (TPH N = java.lang.String), (TPH MOF, TPH MOG), (TPH L = java.util.Stack<TPH MOG>)], [(TPH L = java.util.Vector<TPH MOI>), (TPH K = void), (TPH MOH, TPH MOI), (TPH M = ? extends Override2), (TPH N = java.lang.String)], [(TPH L = java.util.Vector<TPH MOK>), (TPH MOJ, TPH MOK), (TPH K = void), (TPH M = ? extends Override2), (TPH N = java.lang.String)], [(TPH MOL, TPH MOM), (TPH L = java.util.Stack<TPH MOM>), (TPH M = ? extends Override2), (TPH K = void), (TPH N = java.lang.String)], [(TPH L = java.util.Vector<TPH MOO>), (TPH MON, TPH MOO), (TPH N = java.lang.String), (TPH K = void), (TPH M = ? extends Override2)], [(TPH L = java.util.Stack<TPH MOP>), (TPH N = java.lang.String), (TPH M = ? extends Override2), (TPH MOQ, TPH MOP), (TPH K = void)]]
-*/

app/resources/AllgemeinTest/OverrideMainRet.jav

@@ -1,11 +0,0 @@
-import java.util.Vector;
-import java.util.Stack;
-
-class OverrideMainRet {
-    ovrMain() {
-	var overide;
-	var x;
-	overide.ovr(x);
-	return x;
-    }
-}

app/resources/AllgemeinTest/Pair.java

@@ -1,18 +0,0 @@
-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;
-	}
-	
-	public U snd () { 
-		return y;
-    }
-}

app/resources/AllgemeinTest/Put.jav

@@ -1,19 +0,0 @@
-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);
-    }
-
-}

app/resources/AllgemeinTest/Test.jav

@@ -1,4 +0,0 @@
-class Test {
-	a;
-	Test b;
-}

app/resources/AllgemeinTest/TestSubTypless.jav

@@ -1,12 +0,0 @@
-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);
-        }
-}

app/resources/AllgemeinTest/Twice.jav

@@ -1,3 +0,0 @@
-class Twice {
-    twice = f -> x -> f.apply(f.apply(x));
-}

app/resources/AllgemeinTest/Var.jav

@@ -1,5 +0,0 @@
-class Var {
-
-    var(x) { var y;  }
-      
-}

app/resources/AllgemeinTest/VectorConstAdd.jav

@@ -1,15 +0,0 @@
-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; 
-	}
-}

app/resources/AllgemeinTest/Wildcard_Andi.jav

@@ -1,8 +0,0 @@
-class Wildcard_Andi {
-
-    Test<? extends A> ex = new Test<>();
-
-    Test<? super A> sup = new Test<>();
-}
-
-

app/resources/AllgemeinTest/addList.jav

@@ -1,8 +0,0 @@
-import java.util.List;
-
-class addList {
- addLists(a, b){
-a.add(b.get(0));
-b.add(a.get(0));
-}
-}

app/resources/AllgemeinTest/wildcardPair.jav

@@ -1,22 +0,0 @@
-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
-	} 
-}

app/resources/bytecode/javFiles/AA.jav

@@ -1,8 +0,0 @@
-import java.lang.Integer;
-import java.lang.String;
-
-public class AA {
-	m(Integer i) { return "AA"; }
-	
-	m2(AA x) { return "AA"; }
-}

app/resources/bytecode/javFiles/BB.jav

@@ -1,3 +0,0 @@
-import java.lang.Integer;
-
-public class BB extends AA { }

app/resources/bytecode/javFiles/BinaryInMeth.jav

@@ -1,17 +0,0 @@
-import java.lang.Integer;
-import java.lang.Double;
-
-public class BinaryInMeth {
-	
-	m(a){
-		return ++a;
-	}
-	
-	m2(a,b){
-		return m(a+b);
-	}
-	
-	m3(a) {
-		return m(++a);
-	}
-}

app/resources/bytecode/javFiles/CC.jav

@@ -1,11 +0,0 @@
-import java.lang.Integer;
-import java.lang.String;
-
-
-public class CC extends BB {
-	m(Integer i) { 
-	   return "CC"; 
-	}
-	
-	m2(CC x) { return "CC"; }
-}	

app/resources/bytecode/javFiles/ClassGenLam.jav

@@ -1,8 +0,0 @@
-import java.lang.Integer;
-
-public class ClassGenLam {
-	lam = x-> x;
-//	public ClassGenLam() {
-//		lam = x->x; 
-//	}
-}

app/resources/bytecode/javFiles/Cycle.jav

@@ -1,6 +0,0 @@
-class Cycle {
-    m(x, y) {
-        y = x;
-        x = y;
-    }
-}

app/resources/bytecode/javFiles/DD.jav

@@ -1,4 +0,0 @@
-import java.lang.Integer;
-
-public class DD extends CC { }
-

app/resources/bytecode/javFiles/Fac.jav

@@ -1,15 +0,0 @@
-import java.lang.Integer;
-//import java.lang.Double;
-
-public class Fac  {
-	
-	getFac(n){
-		var res = 1;
-		var i = 1;
-		while(i<=n) {
-			res = res * i;
-			i++;
-		}
-		return res;
-	}
-}

app/resources/bytecode/javFiles/Faculty.jav

@@ -1,52 +0,0 @@
-import java.lang.Integer;
-//import java.lang.Long;
-//import java.lang.Short;
-
-public class Faculty {
-    public fact;
-    Faculty() {
-        fact = (x) -> {
-            if (x == 1) {
-                return 1;
-            }
-            else {
-              return x * (fact.apply(x-1));
-            }
-        };
-    }
-    
-    
-    
-    public getFact(x) {
-        return fact.apply(x);
-    }
-}
-//  m (x) {
-//	  
-////   var fact = (x) -> {
-////   	  if (x == 1) {
-////        return x;
-////      }
-////      else {
-////        return x * (fact.apply(x-1));
-////      }
-////   };
-////   return fact;
-////	  var x = 13;
-////	  if(x>22) {
-////			return 0;
-////		}else if(x <1){
-////			return x;
-////		}else {
-////			return 1;
-////		}
-//	  
-//	  if (x < 0) {
-//	        return 0;
-//	  }else if(x<2) {
-//		  return x;
-//	  } else {
-//		  return x * m(x-1);
-//	  }
-//  }
-//}

app/resources/bytecode/javFiles/Field.jav

@@ -1,9 +0,0 @@
-import java.lang.Integer;
-
-public class Field {
-	public x = 5;
-	
-	m(){
-		return x;
-	}
-}

app/resources/bytecode/javFiles/FieldTph.jav

@@ -1,4 +0,0 @@
-public class FieldTph {
-	a;
-	
-}

app/resources/bytecode/javFiles/FieldTph2.jav

@@ -1,12 +0,0 @@
-public class FieldTph2 {
-	a;
-	
-	m(b){
-		b = a;
-		return b;
-	}
-	
-	m2(c){
-		a = c;
-	}
-}

app/resources/bytecode/javFiles/FieldTphConsMeth.jav

@@ -1,26 +0,0 @@
-public class FieldTphConsMeth {
-	
-	a;
-	public FieldTphConsMeth(c) {
-		a = id(c);
-	}
-	
-	id(b) {
-		return b;
-	}
-
-	setA(x) {
-	    a = x;
-	    return a;
-	}
-
-	m(x,y) {
-	    x = id(y);
-	}
-
-	/*m2(x,y) {
-    	    x = setA(y);
-    	    return x;
-    	}*/
-
-}

app/resources/bytecode/javFiles/FieldTphMMeth.jav

@@ -1,27 +0,0 @@
-import java.lang.Boolean;
-
-public class FieldTphMMeth {
-	a;
-	
-	public FieldTphMMeth(c,d,e) {
-		a = m(c,d,e);
-	}
-	
-	m(b,d,e) {
-		if(e) {
-			return m3(b);
-		} else{
-			return m3(d);
-		}
-		
-	}
-	
-	m2(b) {
-		a = m3(b);
-	}
-	
-	m3(b){
-		return b;
-	}
-	
-}

app/resources/bytecode/javFiles/FunOL.jav

@@ -1,12 +0,0 @@
-import java.util.Vector;
-import java.lang.Integer;
-import java.lang.String;
-//import java.lang.Byte;
-//import java.lang.Boolean;
-
-public class FunOL   {
-
-	add(f, y) {
-        return f.apply() + y;
-    }
-}

app/resources/bytecode/javFiles/GreaterEqual.jav

@@ -1,57 +0,0 @@
-import java.lang.Integer;
-import java.lang.Long;
-import java.lang.Float;
-import java.lang.Double;
-
-public class GreaterEqual {
-	
-	gE(Integer a, Integer b){
-		var c = a>=b;
-		return c;
-	}
-	
-	gE(Long a, Long b){
-		var c = a>=b;
-		return c;
-	}
-	
-	gE(Float a, Float b){
-		var c = a>=b;
-		return c;
-	}
-	
-	gE(Double a, Double b){
-		var c = a>=b;
-		return c;
-	}
-	
-	gE(Long a, Integer b){
-		var c = a>=b;
-		return c;
-	}
-	
-	gE(Float a, Integer b){
-		var c = a>=b;
-		return c;
-	}
-	
-	gE(Double a, Integer b){
-		var c = a>=b;
-		return c;
-	}
-	
-	gE(Float a, Long b){
-		var c = a>=b;
-		return c;
-	}
-	
-	gE(Double a, Long b){
-		var c = a>=b;
-		return c;
-	}
-	
-	gE(Double a, Float b){
-		var c = a>=b;
-		return c;
-	}
-}

app/resources/bytecode/javFiles/GreaterThan.jav

@@ -1,56 +0,0 @@
-import java.lang.Integer;
-import java.lang.Long;
-import java.lang.Float;
-import java.lang.Double;
-
-public class GreaterThan {
-	gT(Integer a, Integer b){
-		var c = a>b;
-		return c;
-	}
-	
-	gT(Long a, Long b){
-		var c = a>b;
-		return c;
-	}
-	
-	gT(Float a, Float b){
-		var c = a>b;
-		return c;
-	}
-	
-	gT(Double a, Double b){
-		var c = a>b;
-		return c;
-	}
-	
-	gT(Long a, Integer b){
-		var c = a>b;
-		return c;
-	}
-	
-	gT(Float a, Integer b){
-		var c = a>b;
-		return c;
-	}
-	
-	gT(Double a, Integer b){
-		var c = a>b;
-		return c;
-	}
-	
-	gT(Float a, Long b){
-		var c = a>b;
-		return c;
-	}
-	
-	gT(Double a, Long b){
-		var c = a>b;
-		return c;
-	}
-	
-	gT(Double a, Float b){
-		var c = a>b;
-		return c;
-	}
-}

app/resources/bytecode/javFiles/Id.jav

@@ -1,20 +0,0 @@
-public class Id {
-//	a;
-//	id(b){
-//		return b;
-//	}
-	id2 = x -> x;
-//	id2 = () -> {
-//		var x = m(a);
-//		var y = x;
-//		var z = y;
-//	};
-//	
-//	m(a){
-//		return a;
-//	}
-	id3 (x) {
-	   	return id2.apply(x);
-	}
-}
-

app/resources/bytecode/javFiles/IfTest.jav

@@ -1,15 +0,0 @@
-import java.lang.Integer;
-import java.lang.Boolean;
-import java.lang.String;
-
-public class IfTest{
-	Integer m1(Boolean b) {
-		Integer i;
-		String b;
-		if(b) {
-			return i; 
-		}else{
-		    return b;
-		}
-	}
-}

app/resources/bytecode/javFiles/Inf.jav

@@ -1,55 +0,0 @@
-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;
-	}
-}
-
-/*
-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;
-    return;
-  })::TPH U
-
-  Inf()({
-    super(());
-  })::TPH X
-
-}
-//    v::R w::S
-//       \  /
-//  z::Q y::O  b::T
-//    \ /   \  /
-//   x::N  a::P
-
-RESULT Final: [[(TPH O < TPH S), (TPH P < TPH O), (TPH O < TPH R), (TPH P < TPH T), (TPH M = void), (TPH N < TPH O), (TPH N < TPH Q)]]
-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:
-*/
-

app/resources/bytecode/javFiles/Infimum.jav

@@ -1,6 +0,0 @@
-class Infimum {
-    m(x, y, z) {
-        y = x;
-        z = x;
-    }
-}

app/resources/bytecode/javFiles/Inherit.jav

@@ -1,18 +0,0 @@
-import java.util.Vector;
-
-import java.lang.Integer;
-import java.lang.String;
-
-
-public class Inherit {
-	
-	main(d, i) {
-	  return d.m(i);
-	}
-
-	main(v, i) {
-		var aa = v.elementAt(0);
-		return aa.m(i);
-	}
-
-}

app/resources/bytecode/javFiles/Inherit2.jav

@@ -1,17 +0,0 @@
-import java.util.Vector;
-
-import java.lang.Integer;
-import java.lang.String;
-
-
-public class Inherit2 {
-	
-	main(d) {
-	  return d.m2(d);
-	}
-	
-	main(v) {
-		var aa = v.elementAt(0);
-		return aa.m2(aa);
-	}
-}

app/resources/bytecode/javFiles/KompTph.jav

@@ -1,13 +0,0 @@
-public class KompTph {
-	public m(a, b, c) {
-		var d = a;
-		var e = a;
-		a = b;
-		c = b;
-		m2(a,c);
-	}
-
-	public m2(a,b){
-		m(a,a,b);
-	}
-}

app/resources/bytecode/javFiles/Lambda.jav

@@ -1,11 +0,0 @@
-import java.lang.Integer;
-
-public class Lambda {
-
-  m () {
-   var lam1 = (x) -> {
-        return x;
-   };
-   return lam1;
-  }
-}

app/resources/bytecode/javFiles/LambdaCapture.jav

@@ -1,12 +0,0 @@
-import java.lang.Integer;
-public class LambdaCapture {
-	Integer i = 8;
-	f;
-	public LambdaCapture(){
-		Integer w = 7;
-		f = j ->{
-			return w+i;};
-
-	}
-
-}

app/resources/bytecode/javFiles/LambdaVoid.jav

@@ -1,9 +0,0 @@
-import java.lang.Integer;
-
-public class Lambda {
-
-  m () {
-   var lam1 = (x) -> { };
-   return lam1;
-  }
-}

app/resources/bytecode/javFiles/LessEqual.jav

@@ -1,56 +0,0 @@
-import java.lang.Integer;
-import java.lang.Long;
-import java.lang.Float;
-import java.lang.Double;
-
-public class LessEqual {
-	lessEqual(Integer a, Integer b){
-		var c = a<=b;
-		return c;
-	}
-	
-	lessEqual(Long a, Long b){
-		var c = a<=b;
-		return c;
-	}
-	
-	lessEqual(Float a, Float b){
-		var c = a<=b;
-		return c;
-	}
-	
-	lessEqual(Double a, Double b){
-		var c = a<=b;
-		return c;
-	}
-	
-	lessEqual(Long a, Integer b){
-		var c = a<=b;
-		return c;
-	}
-	
-	lessEqual(Float a, Integer b){
-		var c = a<=b;
-		return c;
-	}
-	
-	lessEqual(Double a, Integer b){
-		var c = a<=b;
-		return c;
-	}
-	
-	lessEqual(Float a, Long b){
-		var c = a<=b;
-		return c;
-	}
-	
-	lessEqual(Double a, Long b){
-		var c = a<=b;
-		return c;
-	}
-	
-	lessEqual(Double a, Float b){
-		var c = a<=b;
-		return c;
-	}
-}

app/resources/bytecode/javFiles/LessThan.jav

@@ -1,57 +0,0 @@
-import java.lang.Integer;
-import java.lang.Long;
-import java.lang.Float;
-import java.lang.Double;
-
-public class LessThan {
-	
-	lessThan(Integer a, Integer b){
-		var c = a<b;
-		return c;
-	}
-	
-	lessThan(Long a, Long b){
-		var c = a<b;
-		return c;
-	}
-	
-	lessThan(Float a, Float b){
-		var c = a<b;
-		return c;
-	}
-	
-	lessThan(Double a, Double b){
-		var c = a<b;
-		return c;
-	}
-	
-	lessThan(Long a, Integer b){
-		var c = a<b;
-		return c;
-	}
-	
-	lessThan(Float a, Integer b){
-		var c = a<b;
-		return c;
-	}
-	
-	lessThan(Double a, Integer b){
-		var c = a<b;
-		return c;
-	}
-	
-	lessThan(Float a, Long b){
-		var c = a<b;
-		return c;
-	}
-	
-	lessThan(Double a, Long b){
-		var c = a<b;
-		return c;
-	}
-	
-	lessThan(Double a, Float b){
-		var c = a<b;
-		return c;
-	}
-}

app/resources/bytecode/javFiles/Matrix.jav

@@ -1,44 +0,0 @@
-import java.util.Vector;
-import java.lang.Integer;
-import java.lang.Float;
-//import java.lang.Byte;
-//import java.lang.Boolean;
-
-public class Matrix    extends Vector<Vector<Integer>> {
-   
-	Matrix () {
-    }
-
-	Matrix(vv) {
-    	Integer i;
-    	i = 0;
-	  while(i < vv.size()) {
-//	    	Boolean a = this.add(vv.elementAt(i));
-		  this.add(vv.elementAt(i));
-		  i=i+1;
-	  } 
-    }
-
-    mul(m) {
-        var ret = new Matrix();
-        var i = 0;
-        while(i < size()) {
-            var v1 = this.elementAt(i);
-            var v2 = new Vector<Integer>();
-            var j = 0;
-            while(j < v1.size()) {
-                var erg = 0;
-                var k = 0;
-                while(k < v1.size()) {
-                    erg = erg + v1.elementAt(k)
-                             * m.elementAt(k).elementAt(j);
-                    k++; }
-//                v2.addElement(new Integer(erg));
-                v2.addElement(erg);
-                j++; }
-            ret.addElement(v2);
-            i++; 
-         }
-        return ret;
-    }
-}

app/resources/bytecode/javFiles/MatrixOP.jav

@@ -1,43 +0,0 @@
-import java.util.Vector;
-import java.lang.Integer;
-//import java.lang.Byte;
-import java.lang.Boolean;
-
-public class MatrixOP    extends Vector<Vector<Integer>> {
-   
-	MatrixOP () {
-    }
-
-	MatrixOP(vv) {
-    	Integer i;
-    	i = 0;
-	  while(i < vv.size()) {
-//	    	Boolean a = this.add(vv.elementAt(i));
-		  this.add(vv.elementAt(i));
-		  i=i+1;
-	  }
-    }
-
-	public mul = (m1, m2) -> {
-        var ret = new MatrixOP();
-        var i = 0;
-        while(i < m1.size()) {
-            var v1 = m1.elementAt(i);
-            var v2 = new Vector<Integer>();
-            var j = 0;
-            while(j < v1.size()) {
-                var erg = 0;
-                var k = 0;
-                while(k < v1.size()) {
-                    erg = erg + v1.elementAt(k)
-                             * m2.elementAt(k).elementAt(j);
-                    k++; }
-//                v2.addElement(new Integer(erg));
-                v2.addElement(erg);
-                j++; }
-            ret.addElement(v2);
-            i++; 
-         }
-        return ret;
-    };
-}

app/resources/bytecode/javFiles/Merge.jav

@@ -1,20 +0,0 @@
-import java.util.List;
-import java.lang.Integer;
-//import java.util.Collection;
-
-class Merge  {
-
-	merge(a, b) {
-     	a.addAll(b);
-		return a;
-	}
-
-
-
-  	sort(in){
-		var firstHalf = in.subList(1,2);
-    	var secondHalf = in.subList(1,2);
-    	return merge(sort(firstHalf), sort(secondHalf));
-    }
-    
-}

app/resources/bytecode/javFiles/OL.jav

@@ -1,32 +0,0 @@
-import java.lang.String;
-import java.lang.Integer;
-import java.lang.Double; 
-import java.lang.Boolean;
-//import java.util.Vector;
-
-
-public class OL     {
-
-     java.lang.Double m(java.lang.Double x) { return x + x; }
-     java.lang.Integer m(java.lang.Integer x) { return x + x; }
-     java.lang.String m(java.lang.String x) { return x + x; }
-     java.lang.Boolean m(Boolean x) { return x; } 
-     
-// if the class contains just this method, then correct BC will be generated.
-// But if another methods are contained then the generated BC is not correct
-//	m(x) {
-//		//x.add(1);
-//		x.addAll(x);
-//		return x;
-// 	}
-	
-}
-
-public class OLMain   {
-
-	main(x) { 
-		var ol;
-		ol = new OL(); 
-		return ol.m(x); 
-	}  
-}

app/resources/bytecode/javFiles/OLFun.jav

@@ -1,13 +0,0 @@
-import java.lang.String;
-import java.lang.Integer;
-import java.lang.Double;
-import java.util.Vector;
-import java.lang.Boolean; 
-
-public class OLFun    {
-
-	//f = x -> {return x + x;};
-	m(f, x) {
-	    x = f.apply(x+x);
-	}
-}

app/resources/bytecode/javFiles/OLFun2.jav

@@ -1,13 +0,0 @@
-import java.lang.String;
-import java.lang.Integer;
-import java.lang.Double;
-import java.util.Vector;
-import java.lang.Boolean;
-
-public class OLFun2 {
-
-    x;
-	m(f){
-	    x = f.apply(x + x)
-	}
-}

app/resources/bytecode/javFiles/Op.jav

@@ -1,16 +0,0 @@
-import java.lang.Integer;
-import java.lang.String;
-import java.lang.Long;
-import java.lang.Float;
-import java.lang.Double;
-import java.lang.Boolean;
-import java.lang.Short;
-import java.lang.Byte;
-
-public class Op {
-	
-	m(a, b) {
-		//var c = a+b;		
-		return a+b;
-	}
-}

app/resources/bytecode/javFiles/Op2.jav

@@ -1,11 +0,0 @@
-import java.lang.Integer;
-import java.lang.String;
-
-public class Op2 {
-	m(){
-		var x = "";
-		var a = 5+x;
-		
-		return a;
-	}
-}

app/resources/bytecode/javFiles/Overloading.jav

@@ -1,18 +0,0 @@
-import java.lang.String;
-
-public class Overloading{
-
-	test(x){
-		return x.methode();
-	}
-
-	methode(){
-		return "Overloading";
-	}
-}
-
-public class Overloading2{
-	methode(){
-		return "Overloading2";
-	}
-}

app/resources/bytecode/javFiles/Plus.jav

@@ -1,9 +0,0 @@
-import java.lang.Integer;
-import java.lang.String;
-
-public class Plus {
-	
-	m(a,b) {
-		return a+b;
-	}
-}

app/resources/bytecode/javFiles/PostIncDec.jav

@@ -1,27 +0,0 @@
-import java.lang.Integer;
-
-public class PostIncDec {
-	m() {
-		var i = 0;
-		i++;
-		return i;
-	}
-	
-	m2() { 
-		var i = 0;
-		var j = i++;
-		return j;
-	}
-	
-	d() {
-		var i = 0;
-		i--;
-		return i;
-	}
-	
-	d2() { 
-		var i = 0;
-		var j = i--;
-		return j;
-	}
-}

app/resources/bytecode/javFiles/PreInc.jav

@@ -1,28 +0,0 @@
-import java.lang.Integer;
-
-public class PreInc {
-	m() {
-		var i = 0;
-		++i;
-		return i;
-	}
-	
-	m2() { 
-		var i = 0;
-		var j = ++i;
-		return j;
-	}
-	
-	d() {
-		var i = 0;
-		--i;
-		return i;
-	}
-	
-	d2() { 
-		var i = 0;
-		var j = --i;
-		return j;
-	}
-	
-}

app/resources/bytecode/javFiles/Put.jav

@@ -1,19 +0,0 @@
-import java.util.Vector;
-import java.util.Stack;
-
-public class Put {
-
-    putElement(ele, v) {
-	    v.addElement(ele);
-    }
-
-    putElement(ele, s) {
-	    s.push(ele);
-    }
-
-
-    main(ele, x) { 
-        putElement(ele, x);
-    }
-
-}

app/resources/bytecode/javFiles/RelOps.jav

@@ -1,8 +0,0 @@
-import java.lang.Integer;
-import java.lang.Boolean;
-
-public class RelOps {
-	m(a,b){
-		return a<b;
-	}
-}

app/resources/bytecode/javFiles/SimpleCycle.jav

@@ -1,25 +0,0 @@
-public class SimpleCycle {
-	
-	m(a,b,d){
-		var g;
-		var h;
-		g = h;
-		h = g;
-		/*
-		var y;
-		var z;
-		y=z;
-		z=y;
-		
-		var j = z;
-		var x;
-		b = a;
-		var c = b;
-		var f = d;
-		b = x;
-		var l = c;
-		a = l;
-		*/
-	}
-	
-}

app/resources/bytecode/javFiles/Sorting.jav

@@ -1,23 +0,0 @@
-import java.util.List;
-import java.util.ArrayList;
-import java.lang.String;
-
-public class Sorting{
-    merge(a, b){
-        a.addAll(b);
-        return a;
-    }
-
-sort(in){
-	var firstHalf = in;
-	var secondHalf = in; 
-	return merge(sort(firstHalf), sort(secondHalf));
-}
-
-
-	/*
-	void sort(a){
-		a = merge(a,a);
-	}
-	*/
-}

app/resources/bytecode/javFiles/StaticM.jav

@@ -1,10 +0,0 @@
-public class StaticM {
-	
-	public static void m() {
-		System.out.println("Test");
-	}
-	
-	public static void m2() {
-		m();
-	}
-}

app/resources/bytecode/javFiles/SubMatrix.jav

@@ -1,13 +0,0 @@
-import java.util.Vector;
-import java.lang.Integer;
-
-public class Matrix2 extends Vector<Integer> {
-	
-}
-
-public class SubMatrix extends Matrix2 {
-	m(){
-		Vector<Integer> v = new Vector<Integer>();
-		v.add(1);
-	}
-}

app/resources/bytecode/javFiles/Tph.jav

@@ -1,11 +0,0 @@
-public class Tph {
-	
-	m(a,b){
-		var c = m2(b);
-		return a;
-	}
-	
-	m2(b){
-		return b;
-	}
-}

app/resources/bytecode/javFiles/Tph2.jav

@@ -1,18 +0,0 @@
-public class Tph2 {
-	id = x->x;
-	id3 (x) {
-    	   	return id.apply(x);
-    	}
-
-/*
-	m(a,b){
-		var c = m2(a,b);
-		//m2(a,b);
-		return a;
-	}
-	
-	m2(a,b){
-		return b;
-	}
-*/
-}

app/resources/bytecode/javFiles/Tph3.jav

@@ -1,14 +0,0 @@
-public class Tph3 {
-//	m(a,b){
-//		var c = m2(a,b);
-//		return c;
-//	}
-//	
-//	m2(a,b){
-//		return m(a,b);
-//	}
-	m1(x, y) { m2(x); x = y; 
-	}
-
-    m2(y) { m1(y, y); }
-}

app/resources/bytecode/javFiles/Tph4.jav

@@ -1,12 +0,0 @@
-public class Tph4{
-	m(a,b){
-		var c = m2(b);
-		var d = m2(c);
-		return d;
-	}
-	
-	m2(b){
-		return b;
-	}
-	
-}

app/resources/bytecode/javFiles/Tph5.jav

@@ -1,13 +0,0 @@
-public class Tph5 {
-//	m(a,b,c){
-//		a = c;
-//		b = c;
-//		return a;
-//	}
-	
-	m(x,y){
-		x = m2(y); 
-	}
-	
-	m2(y) { return y; }
-}

app/resources/bytecode/javFiles/Tph6.jav

@@ -1,14 +0,0 @@
-public class Tph6 {
-//	m(a,b,c){
-//		a = c;
-//		b = c;
-//		return a;
-//	}
-	
-	m(x,y){
-		var c = m2(y);
-		c = m2(x); 
-	}
-	
-	m2(y) { return y; }
-}

app/resources/bytecode/javFiles/Tph7.jav

@@ -1,11 +0,0 @@
-public class Tph7 {
-
-	m(a,b){
-		var c = m2(b);
-		return m2(b);
-	}
-
-	m2(b){
-		return b;
-	}
-}

app/resources/bytecode/javFiles/TypedID.jav

@@ -1,12 +0,0 @@
-public class TypedID/*<L extends K,K> */ {
-	
-	lam = x-> x;
-	
-    id(b){  
-        return b;
-    }
-    
-    m(){
-    	return lam;
-    }
-}

app/resources/bytecode/javFiles/VectorAdd.jav

@@ -1,16 +0,0 @@
-import java.util.Vector;
-import java.lang.Integer;
-
-
-public class VectorAdd {
-	vectorAdd(v1, v2) {
-		var i = 0;
-		v1 = new Vector<Integer>();
-		var erg = new Vector<>();
-		while (i < v1.size()) {
-			erg.addElement(v1.elementAt(i) + v2.elementAt(i));
-			i++;
-		} 
-		return erg; 
-	}
-}

app/resources/bytecode/javFiles/VectorSuper.jav

@@ -1,11 +0,0 @@
-import java.util.Vector;
-import java.lang.Integer;
-
-public class VectorSuper {
-	
-	m(x){
-		Integer y = 1;
-		x.addElement(y);
-		//return x;
-	}
-}

app/resources/bytecode/javFiles/WC.jav

@@ -1,8 +0,0 @@
-import java.lang.Integer;
-import java.util.List;
-public class WC {
-	
-	void m (List<? super Integer> a, List<? extends Integer> b) {
-		
-	}
-}

app/resources/bytecode/javFiles/While.jav

@@ -1,12 +0,0 @@
-import java.lang.Integer;
-import java.lang.Long;
-import java.lang.Double;
-
-public class While {
-	 m(x) {
-		while(x < 2) {
-			x = x+1;
-		}
-		return x;
-	}
-}

app/resources/bytecode/javFiles/Y.jav

@@ -1,42 +0,0 @@
-import java.lang.Integer;
-
-class Y {
-    y;
-    //factorial;
-
-    Y() {
-		y =  f -> t -> f.apply(y.apply(f)).apply(t);
-		//factorial = y.apply(f -> n -> { if (n == 0) return 1; else return n * f.apply(n - 1); });
-    }
-  /*  
-    getY() {
-      return y;
-    }
-    */
-}
-/*
-class fac1 {
-    factorial;
-
-    fac1() {
-      var y;
-	  y = new Y<Integer,Integer,Integer,Integer,Integer>().getY();
-	  factorial = y.apply(f -> n -> { if (n == 0) return 1; else return n * f.apply(n - 1); });
-    }
-}
-
-ergibt Parse-Error
-class fac1 {
-    factorial;
-
-    fac1() {
-    	var y;
-		y = new Y<>().y;
-		factorial = y.apply(f -> n -> { if (n == 0) return 1; else return n * f.apply(n - 1); });
-    }
-     public static void main(String args[]) {
-		System.out.println(new fac1().factorial.apply(3));
-    }
- 
-}
-*/

app/resources/bytecode/javFiles/applyLambda.jav

@@ -1,16 +0,0 @@
-import java.util.Vector;
-class Apply { } 
-
-public class applyLambda {
-
-  m () {
-   var lam1 = (x) -> {
-        return x;
-   };
-
-   return lam1.apply(new Apply());
-   //return lam1;
-   //return new Vector();
-  }
-}
-

app/resources/bytecode/javFiles/mathStruc.jav

@@ -1,15 +0,0 @@
-import java.util.Vector;
-import java.lang.Integer;
-
-public class mathStruc {
-	model; 
-	
-	//Fun1*<Fun2*<A,A,A>, Fun1*<MathStruc <A>,MathStruc <A>>> 
-	innerOp = (o) -> (ms) -> new mathStruc<>(o.apply(model,ms.model));
-
-	public mathStruc(m) {
-		model =m;
-		//innerOp = (o) -> (ms) -> new mathStruc<>(o.apply(this.model,ms.model));
-	}
-}
-

app/resources/bytecode/javFiles/mathStrucInteger.jav

@@ -1,23 +0,0 @@
-import java.util.Vector;
-import java.lang.Integer;
-
-public class mathStrucInteger {
-	model; 
-
-	innerOp = (o) -> (ms) -> new mathStrucInteger<>(o.apply(model,ms.model));
-
-	public mathStrucInteger(m) {
-		model =m;
-	}
-}
-
-class mathStrucIntegerUse {
-
-    main() {
-    	var ms;
-		ms = new mathStrucInteger<>(2);
-		var ms2;
-		ms2 = ms.innerOp.apply((x,y) -> x+y).apply(ms);
-		return ms2;
-	}
-}

app/resources/bytecode/javFiles/mathStrucMatrixOP.jav

@@ -1,91 +0,0 @@
-//PL 2019-10-24: laeuft nicht durch, zu gross
-import java.util.Vector;
-import java.lang.Integer;
-import java.lang.Boolean;
-
-public class mathStrucMatrixOP {
-	model; 
-	
-	innerOp = (o) -> (ms) -> new mathStrucMatrixOP<>(o.apply(model,ms.model));
-
-	public mathStrucMatrixOP(m) {
-		model =m;
-	}
-}
-
-public class MatrixOP extends Vector<Vector<Integer>> {
-   
-	MatrixOP () {
-    }
-
-	MatrixOP(vv) {
-    	Integer i;
-    	i = 0;
-	  while(i < vv.size()) {
-//	    	Boolean a = this.add(vv.elementAt(i));
-		  this.add(vv.elementAt(i));
-		  i=i+1;
-	  }
-    }
-
-	public mul = (m1, m2) -> {
-        var ret = new MatrixOP();
-        var i = 0;
-        while(i < m1.size()) {
-            var v1 = m1.elementAt(i);
-            var v2 = new Vector<Integer>();
-            var j = 0;
-            while(j < v1.size()) {
-                var erg = 0;
-                var k = 0;
-                while(k < v1.size()) {
-                    erg = erg + v1.elementAt(k)
-                             * m2.elementAt(k).elementAt(j);
-                    k++; }
-//                v2.addElement(new Integer(erg));
-                v2.addElement(erg);
-                j++; }
-            ret.addElement(v2);
-            i++; 
-         }
-        return ret;
-    };
-}
-
-
-class mathStrucUseMatrixOP {
-
-    main() {
-		Vector<Vector<Integer>> vv = new Vector<Vector<Integer>>();
-		Vector<Integer> v1 = new Vector<Integer>();
-		v1.addElement(2);
-		v1.addElement(2);
-		Vector<Integer> v2 = new Vector<Integer>();
-		v2.addElement(3);
-		v2.addElement(3);
-		vv.addElement(v1);
-		vv.addElement(v2);
-
-		MatrixOP m1 = new MatrixOP(vv);
-	
-		Vector<Vector<Integer>> vv1 = new Vector<Vector<Integer>>();
-		Vector<Integer> v3 = new Vector<Integer>();
-		v3.addElement(2);
-		v3.addElement(2);
-		Vector<Integer> v4 = new Vector<Integer>();
-		v4.addElement(3);
-		v4.addElement(3);
-		vv1.addElement(v3);
-		vv1.addElement(v4);
-
-		MatrixOP m2 = new MatrixOP(vv1);
-
-		var mms;
-		mms = new mathStrucMatrixOP<>(m1);
-		var mms2;
-		mms2 = new mathStrucMatrixOP<>(m2);
-		var mms3;
-		mms3 = mms.innerOp.apply(m1.mul).apply(mms2);
-		return mms3;
-    }
-}

app/resources/insertGenericsJav/TestAny.jav

@@ -1,13 +0,0 @@
-class TestAny {
-    a;
-    b = a;
-    anyMethod() {
-        var f;
-        return f;
-    }
-    otherMethod(e) {
-        b = e;
-        e = a;
-        return e;
-    }
-}

app/resources/insertGenericsJav/TestClassField.jav

@@ -1,6 +0,0 @@
-class Example{
-    f;
-    fReturn(){
-        return f;
-    }
-}

app/resources/insertGenericsJav/TestContraVariant.jav

@@ -1,12 +0,0 @@
-public class TestContraVariant {
-
-    m(x) {
-        var y;
-        x = y;
-        return y;
-    }
-    
-    main(x) {
-    	return m(x);
-    }
-}

app/resources/insertGenericsJav/TestGGFinder.jav

@@ -1,17 +0,0 @@
-public class TestGGFinder {
-    a;
-
-    id(b) {
-        var c = b;
-        return c;
-    }
-
-    setA(x) {
-        a = x;
-        return a;
-    }
-
-    m(x,y) {
-        x = id(y);
-    }
-}

app/resources/insertGenericsJav/TestLocalVarLambda.jav

@@ -1,7 +0,0 @@
-public class TestLocalVarLambda {
-
-m(x) {
-  var id = z -> z;
-  return id.apply(x);
-  }
-} 

app/resources/insertGenericsJav/TestMutualRecursion.jav

@@ -1,17 +0,0 @@
-public class TestMutualRecursion {
-    a;
-
-    id(b) {
-        var c = b;
-        return main(b,c);
-    }
-
-    m(x,y) {
-        x = id(y);
-        return x;
-    }
-    
-    main(x,y) {
-    	return m(id(x),y);
-    }
-}

app/resources/insertGenericsJav/TestMutualRecursionWithField.jav

@@ -1,22 +0,0 @@
-public class TestMutualRecursionWithField {
-    a;
-
-    id(b) {
-        var c = b;
-        return main(b,c);
-    }
-
-    setA(x) {
-        a = x;
-        return a;
-    }
-
-    m(x,y) {
-        x = id(y);
-        return x;
-    }
-    
-    main(x,y) {
-    	return m(id(x),setA(y));
-    }
-}

app/resources/insertGenericsJav/TestMutualRecursionWithField2.jav

@@ -1,22 +0,0 @@
-public class TestMutualRecursionWithField2 {
-    a;
-
-    id(b) {
-        var c = b;
-        return main(b,c);
-    }
-
-    setA(x) {
-        a = x;
-        return a;
-    }
-
-    m(x,y) {
-        x = id(y);
-        return x;
-    }
-    
-    main(x,y) {
-    	return m(setA(x),id(y));
-    }
-}

app/resources/insertGenericsJav/TestMutualRecursionWithField3.jav

@@ -1,23 +0,0 @@
-public class TestMutualRecursionWithField3 {
-    a;
-
-    id(b) {
-        var c = b;
-        return main(b,c);
-    }
-
-    setA(x) {
-        a = x;
-        return a;
-    }
-
-    m(x,y) {
-        x = id(y);
-        return x;
-    }
-    
-    main(x,y) {
-    	var z = m(setA(x),id(y));
-    	return z;
-    }
-}

app/resources/insertGenericsJav/TestReturnVar.jav

@@ -1,6 +0,0 @@
-class VarReturn {
-    anyMethod() {
-        var f;
-        return f;
-    }
-}