Remove --enable-preview from pom.xml

pom.xml

@@ -53,9 +53,8 @@ http://maven.apache.org/maven-v4_0_0.xsd">
 				<artifactId>maven-compiler-plugin</artifactId>
 				<version>3.11.0</version>
 				<configuration>
-					<compilerArgs>--enable-preview</compilerArgs>
+                    <source>21</source>
-                    <source>22</source>
+                    <target>21</target>
-                    <target>22</target>
                 </configuration>
 			</plugin>
 			<plugin>
@@ -138,4 +137,4 @@ http://maven.apache.org/maven-v4_0_0.xsd">
 			<url>file:///${project.basedir}/maven-repository/</url>
 		</repository>
 	</distributionManagement>
-</project>
+</project>

resources/AllgemeinTest/Assign.jav

@@ -1,10 +0,0 @@
-class Assign {
-
-      assign(x, y) {
-          x = y;
-      }
-
-      assign2(x, y) {
-          assign(x,y);
-      }
-}

resources/AllgemeinTest/Box.jav

@@ -1,8 +0,0 @@
-class Box<A> {
-
-	A a;
-
-	public Box(A a) {
-		this.a = a;
-	}
-}

resources/AllgemeinTest/CaptureConversion.jav

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

resources/AllgemeinTest/Complex.jav

@@ -1,22 +0,0 @@
-class Pair<U, T> {
-    U a;
-    T b;
-    Pair(U x, T y) {
-        a = x; b = y;
-    }
-}
-
-class Complex {
-    m(b) {
-        var c = b;
-        var d = c;
-        var e;
-        d = e;
-        var r1 = e;
-        var f = e;
-        var g;
-        f = g;
-        var r2 = g;
-        return new Pair<>(r1, r2);
-    }
-}

resources/AllgemeinTest/InfReturn.jav

@@ -1,7 +0,0 @@
-public class InfReturn {
-    m(a) {
-        var ret;
-        a = ret;
-        return ret;
-    }
-}

resources/AllgemeinTest/InfReturnII.jav

@@ -1,8 +0,0 @@
-public class InfReturnII {
-    m(a, b) {
-        var ret;
-        a = ret;
-        b = ret;
-        return ret;
-    }
-}

resources/AllgemeinTest/InnerInf.jav

@@ -1,7 +0,0 @@
-class InnerInf {
-    m(a, b) {
-        var i;
-        a = i;
-        b = i;
-    }
-}

resources/AllgemeinTest/Iteration.jav

@@ -1,43 +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;
-    }
-}
-*/
-
-public class Iteration {
-    id(x) {
-        return x;
-    }
-
-    m1(x, y) {
-    	var help;
-        help = m2(x, y);
-        var y2 = help.snd();
-        var x2 = id(x);
-        return new Pair<>(x2,y2);
-
-    }
-
-    m2(x,y) {
-        var help = m1(x, y);
-        var x2 = help.fst();
-        var y2 = id(y);
-        return new Pair<>(x2, y2);
-    }
-}
- 

resources/AllgemeinTest/List.jav

@@ -1,46 +0,0 @@
-import java.lang.Boolean;
-import java.lang.Object;
-
-class List {
-    elem;
-    next;
-
-    List() {
-		super();
-    }
-
-    List(elem, next) {
-		this.elem = elem;
-		this.next = next;
-    }
-    
-    addElement(newElem) {
-    	return new List(newElem, this);
-    }
-    
-    append(l) {
-       if (next == null) {
-       	return l;
-       }
-       else {
-       	return new List(elem, next.append(l));
-       }
-    }
-/*
-    addAll(l) {
-		var nextLoc = next;
-		while (//nextLoc != null 
-		true) {
-	    	nextLoc = nextLoc.next;
-		}
-		nextLoc = l;
-    }
-
-    void m() {
-		List<? extends Object> l; // = new List<Integer>(1, null);
-		List<? extends Object> l2; // = new List<String>("SSS", null);
-		l.addAll(l2);
-    }
-*/
-}
-	    

resources/AllgemeinTest/Overloading.jav

@@ -1,7 +0,0 @@
-import java.lang.Integer;
-import java.lang.Double;
-
-class Overloading {
-	m(x) { return x + x; }
-	m(x) { return x || x; }
-}

resources/AllgemeinTest/Pair.jav

@@ -1,36 +0,0 @@
-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
-    }
-*/
-}

resources/AllgemeinTest/RecursionCond.jav

@@ -1,8 +0,0 @@
-class RecursionCond {
-    m(a, b, c) {
-        if (1 == 2) {
-            b = m(a, b);
-            c = m(a, b);
-        } else return a;
-    }
-}

resources/AllgemeinTest/StreamTest.jav

@@ -1,14 +0,0 @@
-import java.util.stream.Stream;
-import java.util.Vector;
-import java.lang.Integer;
-
-class StreamTest {
-
-      m() {
-      	     var vecInt = new Vector<Integer>();
-	     var strInt = vecInt.stream();
-	     var dup = x -> x*2;
-	     strInt.map(dup);
-	     return dup;
-      }
-}

resources/AllgemeinTest/Test.jav

@@ -1,9 +0,0 @@
-import java.lang.Boolean;
-import java.lang.Integer;
-
-public class Test {
-	fac = (x) -> {
-		if (x == 1) { return 1; }
-		return x * fac.apply(x - 1);
-	};
-}

resources/AllgemeinTest/TripleTest.jav

@@ -1,19 +0,0 @@
-class Triple<U, T, S> {
-    U a;
-    T b;
-    S c;
-
-    Triple(U x, T y, S z) {
-        a = x; b = y; c = z;
-    }
-
-    U fst() { return a; }
-    T snd() { return b; }
-    S thrd() { return c; }
-}
-
-public class TripleTest {
-    m() {
-        return new Triple<>(m().thrd(), m().thrd(), m().thrd());
-    }
-}

resources/AllgemeinTest/Twice2.jav

@@ -1,12 +0,0 @@
-class Twice2 {
-	id1inst = new Id<>();
-	id1 = id1inst.id;
-	id2inst = new Id<>();
-	id2 = id2inst.id;
-    twice = id1.apply(id2);
-	    
-}
-
-class Id<T> {
-	id = (T x) -> x;
-} 

resources/AllgemeinTest/UseWildcardPair.jav

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

resources/bytecode/javFiles/AA.jav

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

resources/bytecode/javFiles/Access.jav

@@ -1,14 +0,0 @@
-public class Access {
-    public int fPublic;
-    int fDefault;
-    private int fPrivate;
-    protected int fProtected;
-
-    public void mPublic() {}
-    void mDefault() {}
-    private void mPrivate() {}
-    protected void mProtected() {}
-}
-
-class AccessDefault {
-}

resources/bytecode/javFiles/AddLong.jav

@@ -1,9 +0,0 @@
-import java.lang.Integer;
-import java.lang.Long;
-
-public class AddLong{
-		 Long add(Integer a, Long b) {
-    		Long c = a+b;
-    		return c;
-    	}
-}

resources/bytecode/javFiles/Annotation.jav

@@ -1,8 +0,0 @@
-class Base {
-    public void foo() {}
-}
-
-public class Annotation extends Base {
-    @Override
-    public void foo() {}
-}

resources/bytecode/javFiles/AssignToLit.jav

@@ -1,30 +0,0 @@
-import java.lang.Integer;
-import java.lang.Boolean;
-import java.lang.String;
-import java.lang.Byte;
-import java.lang.Short;
-import java.lang.Long;
-import java.lang.Float;
-import java.lang.Double;
-import java.lang.Character;
-
-class AssignToLit {
-	void m(){
-//		String s = "Test";
-//		Boolean b = false;
-//		Byte byte1 = 5;
-//		Byte byte2 = 55;
-//		Short short1 = 5;
-//		Short short2 = 55;
-//		Integer int1 = 5;
-//		Integer int2 = 8888888;
-//		Long long1 = 1;
-//		Long long2 = 5;
-//		Long long3 = 89989898;
-//		Float float1 = 1;
-//		Float float2 = 55;
-//		Double d1 = 1;
-//		Double d2 = 55;
-		Character c = 'A';
-	}
-}

resources/bytecode/javFiles/BB.jav

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

resources/bytecode/javFiles/BinaryInMeth.jav

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

resources/bytecode/javFiles/Box.jav

@@ -1,9 +0,0 @@
-public class Box<A> {
-
-	A a;
-
-	public Box() { }
-	public Box(A a) {
-		//this.a = a;
-	}
-}

resources/bytecode/javFiles/Box.java

@@ -1,3 +0,0 @@
-class Box<A> {
-    void m(A a) { }
-}

resources/bytecode/javFiles/Bug112.jav

@@ -1,7 +0,0 @@
-public class Bug112 {
-    public m(x) {
-        var y;
-        x = y;
-        return y;
-    }
-}

resources/bytecode/javFiles/Bug122.jav

@@ -1,12 +0,0 @@
-import java.lang.Integer;
-import java.lang.Boolean;
-
-public class Bug122 {
-    public void main() {
-        if (true) {
-            for (Integer i = 0; i < 10; i++) {
-
-            }
-        }
-    }
-}

resources/bytecode/javFiles/Bug123.jav

@@ -1,13 +0,0 @@
-import java.lang.Boolean;
-import java.lang.Integer;
-
-public class Bug123 {
-    public Boolean works(){
-        if(true) return true;
-        else return false;
-    }
-    public void fails(){
-        Boolean a = true;
-        if(true) a = false;
-    }
-}

resources/bytecode/javFiles/Bug125.jav

@@ -1,16 +0,0 @@
-import java.lang.Boolean;
-import java.lang.Integer;
-import java.lang.String;
-import java.util.List;
-import java.util.LinkedList;
-import java.util.ArrayList;
-
-public class Bug125 {
-    static ArrayList<String> works = new ArrayList<>();
-    static List<String> fails = new ArrayList<>();
-
-    public void main() {
-        works.toString();
-        fails.toString();
-    }
-}

resources/bytecode/javFiles/Bug285.jav

@@ -1,15 +0,0 @@
-import java.util.Optional;
-import java.lang.Integer;
-
-public class StaticClass {
-    public static StaticClass barbar() {
-        return new StaticClass();
-    }
-}
-
-public class Bug285 {
-    public void foo() {
-        Optional<Integer> opt = Optional.empty();
-        StaticClass b = StaticClass.barbar();
-    }
-}

resources/bytecode/javFiles/Bug290A.jav

@@ -1,7 +0,0 @@
-import Bug290B;
-
-public class Bug290A {
-    public void m() {
-        new Bug290B();
-    }
-}

resources/bytecode/javFiles/Bug290B.jav

@@ -1,11 +0,0 @@
-import java.lang.String;
-import java.lang.Integer;
-
-public class Bug290B {
-    String name;
-
-    public Bug290B() {
-        Integer i = 0;
-        name = i.toString() + "$$";
-    }
-}

resources/bytecode/javFiles/Bug293.jav

@@ -1,13 +0,0 @@
-import java.lang.Integer;
-import java.lang.Float;
-
-public class Bug293 {
-    bar(a) {
-        return 2 * a;
-    }
-}
-
-interface IFoo {
-    void ga();
-}
-

resources/bytecode/javFiles/Bug295.jav

@@ -1,18 +0,0 @@
-import java.lang.Integer;
-
-public class Bug295 {
-    public Integer a;
-    public Integer b;
-    public Integer c;
-
-    public Bug295(a, b, c) {
-        this(a);
-        this.b = b;
-        this.c = c;
-    }
-
-    public Bug295(a) {
-        this.a = a;
-    }
-}
-

resources/bytecode/javFiles/Bug296.jav

@@ -1,11 +0,0 @@
-import java.lang.Integer;
-
-public class Bug296 {
-    public static m1() {
-        return m2();
-    }
-
-    static m2() {
-        return 10;
-    }
-}

resources/bytecode/javFiles/Bug297.jav

@@ -1,11 +0,0 @@
-import java.lang.Integer;
-
-public class Bug297 {
-    public static operation(func, a, b) {
-        return func.apply(a, b);
-    }
-
-    public exec() {
-        return Foo.operation((x, y) -> x + y, 10, 10);
-    }
-}

resources/bytecode/javFiles/Bug298.jav

@@ -1,17 +0,0 @@
-import java.util.List;
-import java.util.ArrayList;
-import java.lang.Integer;
-import java.lang.System;
-import java.lang.Boolean;
-import java.io.PrintStream;
-import java.util.stream.Stream;
-import java.util.function.Function;
-
-public class Bug298 {
-    public void m() {
-        List<Integer> list = new ArrayList<>();
-        list.stream().map(x -> 2 * x);
-
-        Function<Integer, Boolean> filter = x -> true;
-    }
-}

resources/bytecode/javFiles/Bug300.jav

@@ -1,17 +0,0 @@
-import java.lang.String;
-
-class Base {
-    toString() {
-        return "Base";
-    }
-}
-
-public class Bug300 extends Base {
-    public m() {
-        return super.toString();
-    }
-
-    toString() {
-        return "Derived";
-    }
-}

resources/bytecode/javFiles/Bug301.jav

@@ -1,4 +0,0 @@
-import java.util.HashSet;
-
-public class Bug301<A> extends HashSet<A> {
-}

resources/bytecode/javFiles/Bug302.jav

@@ -1,11 +0,0 @@
-import java.util.ArrayList;
-import java.util.List;
-import java.lang.Integer;
-
-public class Bug302 {
-    public Bug302(List<Integer> a){}
-
-    public static m() {
-        new Bug302(new ArrayList<Integer>());
-    }
-}

resources/bytecode/javFiles/Bug306.jav

@@ -1,13 +0,0 @@
-import java.lang.Integer;
-import java.util.List;
-
-class Base {
-    m(List<Integer> a) {}
-}
-
-public class Bug306 extends Base {
-    @Override
-    m(List<Integer> b) {
-        b.add(1);
-    }
-}

resources/bytecode/javFiles/Bug307.jav

@@ -1,46 +0,0 @@
-public class Bug307 {
-    public void main() {
-        IVisitor v = new Visitor();
-        Impl2 f = new Impl2();
-        Impl1 g = new Impl1();
-
-        f.accept(v);
-        g.accept(v);
-    }
-}
-
-interface IVisitor {
-    void visit(Impl1 f);
-    void visit(Impl2 fb);
-}
-
-interface IAcceptor {
-    void accept(IVisitor v);
-}
-
-class Visitor implements IVisitor {
-
-    @Override
-    public void visit(Impl1 f) {
-    }
-
-    @Override
-    public void visit(Impl2 fb) {
-    }
-}
-
-class Impl1 implements IAcceptor {
-
-    @Override
-    public void accept(IVisitor v) {
-        v.visit(this);
-    }
-}
-
-class Impl2 implements IAcceptor {
-
-    @Override
-    public void accept(IVisitor v) {
-        v.visit(this);
-    }
-}

resources/bytecode/javFiles/Bug309.jav

@@ -1,16 +0,0 @@
-import java.util.List;
-import java.util.ArrayList;
-import java.lang.Integer;
-import java.util.stream.Collectors;
-import java.util.stream.Stream;
-import java.util.function.Function;
-import java.util.function.Predicate;
-import java.util.Optional;
-
-public class Bug309 {
-    public main() {
-        List<Integer> list = new ArrayList<>(List.of(1,2,3,4,5,6,7,8,9));
-        var res = list.stream().filter(x -> x == 5).map(x -> x * 2).findFirst();
-        return res;
-    }
-}

resources/bytecode/javFiles/Bug310.jav

@@ -1,9 +0,0 @@
-import java.lang.Integer;
-import java.lang.String;
-
-public class Bug310 {
-    Integer i = 3;
-    public toString() {
-        return i.toString();
-    }
-}

resources/bytecode/javFiles/Bug311.jav

@@ -1,10 +0,0 @@
-import java.lang.String;
-
-public class Bug311 {
-    Bug311A i = new Bug311A();
-    public toString() {
-        return i.toString();
-    }
-}
-
-class Bug311A {}

resources/bytecode/javFiles/Bug312.jav

@@ -1,8 +0,0 @@
-public class Bug312 {
-    Bug312A i = new Bug312A();
-    public main() {
-        if (i == null) {}
-    }
-}
-
-class Bug312A {}

resources/bytecode/javFiles/Bug314.jav

@@ -1,13 +0,0 @@
-import java.lang.Integer;
-import java.util.List;
-import java.util.ArrayList;
-import java.util.stream.Stream;
-import java.util.function.Predicate;
-import java.util.function.Function;
-import java.util.stream.Collectors;
-
-public class Bug314 {
-    public List<Integer> convert(List<Integer> in) {
-        return in.stream().filter(x -> x > 5).collect(Collectors.toList());
-    }
-}

resources/bytecode/javFiles/Bug325.jav

@@ -1,13 +0,0 @@
-import java.lang.Integer;
-import java.util.function.Function;
-import java.util.List;
-import java.util.ArrayList;
-import java.util.stream.Stream;
-
-public class Bug325 {
-    public main() {
-      List<Integer> list = new ArrayList<>(List.of(1,2,3,4,5));
-      var func = x -> x*2;
-      return list.stream().map(func).toList();
-   }
-}

resources/bytecode/javFiles/Bug326.jav

@@ -1,8 +0,0 @@
-import java.lang.Integer;
-
-public class Bug326 {
-   public Bug326() {
-      var func = x -> y -> x * y;
-      return func.apply(3).apply(4);
-   }
-}

resources/bytecode/javFiles/Bug328.jav

@@ -1,8 +0,0 @@
-import java.lang.Integer;
-import Bug328B;
-
-public class Bug328 extends Bug328B {
-    public Bug328() {
-        super(1);
-    }
-}

resources/bytecode/javFiles/Bug328B.java

@@ -1,3 +0,0 @@
-public class Bug328B {
-    public Bug328B(int a) {}
-}

resources/bytecode/javFiles/Bug332.jav

@@ -1,15 +0,0 @@
-import java.lang.Object;
-
-interface Visitor {
-    public void visit(Object obj);
-    public void visit(ClassA a);
-}
-
-class ClassA {
-    void accept(Visitor v) {
-        v.visit(this);
-    }
-}
-
-public class Bug332 {
-}

resources/bytecode/javFiles/Bug333.jav

@@ -1,11 +0,0 @@
-import java.lang.String;
-
-public class Bug333 {
-    public static String Bar = "Bar";
-}
-
-class Bar {
-    public bar() {
-        String s = Bug333.Bar;
-    }
-}

resources/bytecode/javFiles/Bug337.jav

@@ -1,10 +0,0 @@
-import java.lang.Integer;
-import java.lang.Number;
-import java.lang.Object;
-
-public class Bug337 {
-    public void main() {
-        Fun1$$<Object, Integer> fun1 = x -> x.hashCode() + 1;
-        Fun1$$<Number, Number> fun2 = fun1;
-    }
-}

resources/bytecode/javFiles/Bug338.jav

@@ -1,11 +0,0 @@
-import java.util.List;
-import java.lang.Integer;
-import java.lang.String;
-import java.lang.Object;
-import java.util.List;
-
-public class Bug338 {
-    public hashCode() {
-        return List.of(42);
-    }
-}

resources/bytecode/javFiles/Bug98.jav

@@ -1,16 +0,0 @@
-import java.util.Vector;
-import java.lang.Integer;
-import java.lang.String;
-
-public class Bug98 {
-
-	public 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);
-	}
-}

resources/bytecode/javFiles/BugXXX.jav

@@ -1,16 +0,0 @@
-import java.util.ArrayList;
-import java.util.List;
-import java.util.Optional;
-import java.lang.String;
-import java.util.stream.Stream;
-import java.util.function.Function;
-import java.util.function.Predicate;
-import java.lang.Integer;
-
-class BugXXX {
-    public main() {
-        List<Integer> i = new ArrayList<>(List.of(1,2,3,4,5,6,7,8,9,10));
-        Optional<Integer> tmp = i.stream().filter(x -> x == 5).map(x -> x*2).findFirst();
-        return tmp;
-    }
-}

resources/bytecode/javFiles/CC.jav

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

resources/bytecode/javFiles/Chain.jav

@@ -1,13 +0,0 @@
-import java.lang.Integer;
-
-public class Chain {
-    x = 5;
-
-    chain() {
-        return this;
-    }
-
-    public m() {
-        return this.chain().chain().chain().x;
-    }
-}

resources/bytecode/javFiles/ClassGenLam.jav

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

resources/bytecode/javFiles/Cycle.jav

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

resources/bytecode/javFiles/DD.jav

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

resources/bytecode/javFiles/DuMethod.jav

@@ -1,11 +0,0 @@
-public class DuMethod{
-	
-	method(a){
-		return a+a;
-	}
-	
-	method(a){
-		return a;
-	}
-	
-}

resources/bytecode/javFiles/EmptyClass.jav

@@ -1,3 +0,0 @@
-public class EmptyClass{
-	
-}

resources/bytecode/javFiles/EmptyMethod.jav

@@ -1,8 +0,0 @@
-public class EmptyMethod{
-	
-	public void m1(){
-		System.out.println("test");
-	}
-	
-	public void m2(){}
-}

resources/bytecode/javFiles/Example.jav

@@ -1,9 +0,0 @@
-import java.lang.String;
-
-public class Example {
-	
-	public m() {
-		String x = "X";
-		return x;
-	}
-}

resources/bytecode/javFiles/Exceptions.jav

@@ -1,8 +0,0 @@
-import java.lang.String;
-import java.lang.RuntimeException;
-
-public class Exceptions {
-    public m() {
-        throw new RuntimeException("Some Exception");
-    }
-}

resources/bytecode/javFiles/Expressions.jav

@@ -1,8 +0,0 @@
-class Expressions{
-
-void test(){
-  var x = 2;
-  x = x + 2;
-}
-
-}

resources/bytecode/javFiles/FC_Matrix.jav

@@ -1,10 +0,0 @@
-import java.util.Vector;
-
-class Matrix extends Vector<Vector<Integer>> {
- 
- methode(m) {
- 	m.add(1);
-    Matrix i;
-    methode(i);
- }
- }

resources/bytecode/javFiles/Fac.jav

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

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(java.lang.Integer 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);
-//	  }
-//  }
-//}

resources/bytecode/javFiles/Faculty2.jav

@@ -1,10 +0,0 @@
-class Faculty2 {
-
-  m () {
-	  
-   var fact = (Integer x) -> {
-        return x;
-   };
-   return fact;
-  }
-}

resources/bytecode/javFiles/FacultyIf.jav

@@ -1,17 +0,0 @@
-import java.lang.Integer;
-
-class Faculty {
-
-  m () {
-	  
-   var fact = (Integer x) -> {
-   	  if (x == 1) {
-        return x;
-      }
-      else {
-        return x * (fact.apply(x-1));
-      }
-   };
-   return fact;
-  }
-}

resources/bytecode/javFiles/FacultyTyped.jav

@@ -1,19 +0,0 @@
-import java.lang.Integer;
-
-class Faculty {
-
-  Integer mul(Integer x, Integer y) {
-  	return x;
-   }
-
-  Fun1<java.lang.Integer,java.lang.Integer> m () {
-   var fact = (Integer x) -> {
-        return mul(x, fact.apply(x));
-   };
-   return fact;
-  }
-}
-
-interface Fun1<A,B>{
-    B apply(A a);
-}

resources/bytecode/javFiles/Field.jav

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

resources/bytecode/javFiles/FieldAccess.jav

@@ -1,13 +0,0 @@
-class Box<A> {
-A f;
-}
-class B {
- }
-
-class Box_Main extends B {
-
-    m(b) {
-    	b.f = new Box_Main();
-    	b.f = new B();
-    }
-}

resources/bytecode/javFiles/FieldTph.jav

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

resources/bytecode/javFiles/FieldTph2.jav

@@ -1,14 +0,0 @@
-import java.lang.String;
-
-public class FieldTph2 {
-	public a;
-	
-	public m(b){
-		b = a;
-		return b;
-	}
-	
-	public m2(c){
-		a = c;
-	}
-}

resources/bytecode/javFiles/FieldTphConsMeth.jav

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

resources/bytecode/javFiles/FieldTphMMeth.jav

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

resources/bytecode/javFiles/Fields.jav

@@ -1,11 +0,0 @@
-import java.lang.String;
-
-class Fields{
-test2 = "test";
-test;
-m(){
-    var test3;
-    return test;
-}
-
-}

resources/bytecode/javFiles/For.jav

@@ -1,30 +0,0 @@
-import java.lang.Integer;
-import java.lang.Boolean;
-
-public class For{
-	public Integer m(Integer x){
-		var c = x + 2;
-		Boolean b = true;
-		c = 5;
-		c++;
-		++c;
-		c--;
-		--c;
-		while(x<2){
-			x = x +1;
-			b = false;
-		}
-		for(int i = 0; i<10; i++) {
-			x = x + 5;
-		}
-		return x;
-	}
-	
-//	m2(Integer x){
-//		if(x<2) {
-//			return 1;
-//		}else {
-//			return 2;
-//		}
-//	}
-}

resources/bytecode/javFiles/ForEach.jav

@@ -1,23 +0,0 @@
-import java.util.ArrayList;
-import java.lang.Integer;
-import java.lang.Number;
-
-public class ForEach {
-    public m() {
-        var list = new ArrayList<>();
-        list.add(1); list.add(2); list.add(3);
-
-        var sum = 0;
-        for (var i : list) {
-            sum = sum + i;
-        }
-        return sum;
-    }
-
-    public m2() {
-        var list = new ArrayList<? extends Number>();
-
-        for (Number n : list) {
-        }
-    }
-}

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;
-    }
-}

resources/bytecode/javFiles/FunctionalInterface.jav

@@ -1,15 +0,0 @@
-import java.lang.Integer;
-import java.util.function.Function;
-
-public class FunctionalInterface {
-    Integer accept(Function<Integer, Integer> f) {
-        return f.apply(20);
-    }
-
-    public Integer m() {
-        var v = accept(i -> {
-            return i * 10;
-        });
-        return v;
-    }
-}

resources/bytecode/javFiles/Gen.jav

@@ -1,8 +0,0 @@
-import java.lang.Integer;
-import java.util.Vector;
-
-public class Gen{
-	Vector<Integer> m(Vector<Integer> v){
-		return v;
-	}
-}

resources/bytecode/javFiles/Generics.jav

@@ -1,17 +0,0 @@
-
-class Generics<B> {
-	Generics(B b){
-    }
-    B mt1(B b){
-        return mt1(b);
-    }
-}
-
-
-/*
-Problem:
-auto test = new List<String>();
-auto test2 = new List<Integer>();
-... //code, welcher möglicherweise test und test2 vertauscht
-test.add("hallo");
-*/

resources/bytecode/javFiles/Generics2.jav

@@ -1,9 +0,0 @@
-import java.lang.String;
-import java.lang.Integer;
-
-public class Generics2<B extends String>{
-	public <X extends Integer> X m1(X b){
-		return b;
-	}
-
-}

resources/bytecode/javFiles/Generics3.jav

@@ -1,7 +0,0 @@
-import java.lang.String;
-import java.lang.Integer;
-import java.util.List;
-
-class Generics3<B extends String & List<Integer>> {
-
-}

resources/bytecode/javFiles/Generics4.jav

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

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;
-	}
-}

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;
-	}
-}

resources/bytecode/javFiles/HelloWorld.jav

@@ -1,9 +0,0 @@
-import java.lang.System;
-import java.lang.String;
-import java.io.PrintStream;
-
-public class HelloWorld {
-    public static hello() {
-        System.out.println("Hello World!");
-    }
-}

resources/bytecode/javFiles/Id.jav

@@ -1,20 +0,0 @@
-public class Id <FAU>  {
-//	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);
-	}
-}
-

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;
-		}
-	}
-}

resources/bytecode/javFiles/Import.jav

@@ -1,8 +0,0 @@
-import java.util.Vector;
-
-class Import {
-    void methode(){
-        Vector v = new Vector<>();
-        v.add("X");
-    }
-}