diff --git a/resources/AllgemeinTest/Assign.jav b/resources/AllgemeinTest/Assign.jav deleted file mode 100644 index 001fca71..00000000 --- a/resources/AllgemeinTest/Assign.jav +++ /dev/null @@ -1,10 +0,0 @@ -class Assign { - - assign(x, y) { - x = y; - } - - assign2(x, y) { - assign(x,y); - } -} \ No newline at end of file diff --git a/resources/AllgemeinTest/Box.jav b/resources/AllgemeinTest/Box.jav deleted file mode 100644 index b2716354..00000000 --- a/resources/AllgemeinTest/Box.jav +++ /dev/null @@ -1,8 +0,0 @@ -class Box { - - A a; - - public Box(A a) { - this.a = a; - } -} \ No newline at end of file diff --git a/resources/AllgemeinTest/CaptureConversion.jav b/resources/AllgemeinTest/CaptureConversion.jav deleted file mode 100644 index b1033de4..00000000 --- a/resources/AllgemeinTest/CaptureConversion.jav +++ /dev/null @@ -1,18 +0,0 @@ -import java.lang.Object; -import java.util.Vector; - -class CaptureConversion { - - void assign(Vector v1, Vector v2) { - v1 = v2; - } - - void main() { - Vector v1; - v1 = new Vector(); - Vector v2; - v2 = new Vector(); - v1 = v2; - assign(v1, v2); - } -} \ No newline at end of file diff --git a/resources/AllgemeinTest/Complex.jav b/resources/AllgemeinTest/Complex.jav deleted file mode 100644 index 15d5c5d7..00000000 --- a/resources/AllgemeinTest/Complex.jav +++ /dev/null @@ -1,22 +0,0 @@ -class Pair { - 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); - } -} \ No newline at end of file diff --git a/resources/AllgemeinTest/InfReturn.jav b/resources/AllgemeinTest/InfReturn.jav deleted file mode 100644 index d1f62119..00000000 --- a/resources/AllgemeinTest/InfReturn.jav +++ /dev/null @@ -1,7 +0,0 @@ -public class InfReturn { - m(a) { - var ret; - a = ret; - return ret; - } -} \ No newline at end of file diff --git a/resources/AllgemeinTest/InfReturnII.jav b/resources/AllgemeinTest/InfReturnII.jav deleted file mode 100644 index e1e9597e..00000000 --- a/resources/AllgemeinTest/InfReturnII.jav +++ /dev/null @@ -1,8 +0,0 @@ -public class InfReturnII { - m(a, b) { - var ret; - a = ret; - b = ret; - return ret; - } -} \ No newline at end of file diff --git a/resources/AllgemeinTest/InnerInf.jav b/resources/AllgemeinTest/InnerInf.jav deleted file mode 100644 index 4eaa183a..00000000 --- a/resources/AllgemeinTest/InnerInf.jav +++ /dev/null @@ -1,7 +0,0 @@ -class InnerInf { - m(a, b) { - var i; - a = i; - b = i; - } -} \ No newline at end of file diff --git a/resources/AllgemeinTest/Iteration.jav b/resources/AllgemeinTest/Iteration.jav deleted file mode 100644 index 2af750a4..00000000 --- a/resources/AllgemeinTest/Iteration.jav +++ /dev/null @@ -1,43 +0,0 @@ -/* -class Pair { - 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); - } -} - \ No newline at end of file diff --git a/resources/AllgemeinTest/List.jav b/resources/AllgemeinTest/List.jav deleted file mode 100644 index 9c612f2d..00000000 --- a/resources/AllgemeinTest/List.jav +++ /dev/null @@ -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 l; // = new List(1, null); - List l2; // = new List("SSS", null); - l.addAll(l2); - } -*/ -} - diff --git a/resources/AllgemeinTest/Overloading.jav b/resources/AllgemeinTest/Overloading.jav deleted file mode 100644 index 28098133..00000000 --- a/resources/AllgemeinTest/Overloading.jav +++ /dev/null @@ -1,7 +0,0 @@ -import java.lang.Integer; -import java.lang.Double; - -class Overloading { - m(x) { return x + x; } - m(x) { return x || x; } -} \ No newline at end of file diff --git a/resources/AllgemeinTest/Pair.jav b/resources/AllgemeinTest/Pair.jav deleted file mode 100644 index 89660b13..00000000 --- a/resources/AllgemeinTest/Pair.jav +++ /dev/null @@ -1,36 +0,0 @@ -import java.util.Vector; -import java.lang.Boolean; -import java.lang.Object; - -class Pair { - 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 - } -*/ -} \ No newline at end of file diff --git a/resources/AllgemeinTest/RecursionCond.jav b/resources/AllgemeinTest/RecursionCond.jav deleted file mode 100644 index 16404714..00000000 --- a/resources/AllgemeinTest/RecursionCond.jav +++ /dev/null @@ -1,8 +0,0 @@ -class RecursionCond { - m(a, b, c) { - if (1 == 2) { - b = m(a, b); - c = m(a, b); - } else return a; - } -} \ No newline at end of file diff --git a/resources/AllgemeinTest/StreamTest.jav b/resources/AllgemeinTest/StreamTest.jav deleted file mode 100644 index cfaf23d0..00000000 --- a/resources/AllgemeinTest/StreamTest.jav +++ /dev/null @@ -1,14 +0,0 @@ -import java.util.stream.Stream; -import java.util.Vector; -import java.lang.Integer; - -class StreamTest { - - m() { - var vecInt = new Vector(); - var strInt = vecInt.stream(); - var dup = x -> x*2; - strInt.map(dup); - return dup; - } -} \ No newline at end of file diff --git a/resources/AllgemeinTest/Test.jav b/resources/AllgemeinTest/Test.jav deleted file mode 100644 index 48491b83..00000000 --- a/resources/AllgemeinTest/Test.jav +++ /dev/null @@ -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); - }; -} \ No newline at end of file diff --git a/resources/AllgemeinTest/TripleTest.jav b/resources/AllgemeinTest/TripleTest.jav deleted file mode 100644 index a0560b60..00000000 --- a/resources/AllgemeinTest/TripleTest.jav +++ /dev/null @@ -1,19 +0,0 @@ -class Triple { - 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()); - } -} \ No newline at end of file diff --git a/resources/AllgemeinTest/Twice2.jav b/resources/AllgemeinTest/Twice2.jav deleted file mode 100644 index 87a3f239..00000000 --- a/resources/AllgemeinTest/Twice2.jav +++ /dev/null @@ -1,12 +0,0 @@ -class Twice2 { - id1inst = new Id<>(); - id1 = id1inst.id; - id2inst = new Id<>(); - id2 = id2inst.id; - twice = id1.apply(id2); - -} - -class Id { - id = (T x) -> x; -} \ No newline at end of file diff --git a/resources/AllgemeinTest/UseWildcardPair.jav b/resources/AllgemeinTest/UseWildcardPair.jav deleted file mode 100644 index dc91e4e0..00000000 --- a/resources/AllgemeinTest/UseWildcardPair.jav +++ /dev/null @@ -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 - } - -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/AA.jav b/resources/bytecode/javFiles/AA.jav deleted file mode 100644 index 6b79df39..00000000 --- a/resources/bytecode/javFiles/AA.jav +++ /dev/null @@ -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"; } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Access.jav b/resources/bytecode/javFiles/Access.jav deleted file mode 100644 index 46cd8c8b..00000000 --- a/resources/bytecode/javFiles/Access.jav +++ /dev/null @@ -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 { -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/AddLong.jav b/resources/bytecode/javFiles/AddLong.jav deleted file mode 100644 index d6d47e9f..00000000 --- a/resources/bytecode/javFiles/AddLong.jav +++ /dev/null @@ -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; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Annotation.jav b/resources/bytecode/javFiles/Annotation.jav deleted file mode 100644 index 520eb314..00000000 --- a/resources/bytecode/javFiles/Annotation.jav +++ /dev/null @@ -1,8 +0,0 @@ -class Base { - public void foo() {} -} - -public class Annotation extends Base { - @Override - public void foo() {} -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/AssignToLit.jav b/resources/bytecode/javFiles/AssignToLit.jav deleted file mode 100644 index 873828ed..00000000 --- a/resources/bytecode/javFiles/AssignToLit.jav +++ /dev/null @@ -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'; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/BB.jav b/resources/bytecode/javFiles/BB.jav deleted file mode 100644 index db741c66..00000000 --- a/resources/bytecode/javFiles/BB.jav +++ /dev/null @@ -1,4 +0,0 @@ -import java.lang.Integer; -import AA; - -public class BB extends AA { } \ No newline at end of file diff --git a/resources/bytecode/javFiles/BinaryInMeth.jav b/resources/bytecode/javFiles/BinaryInMeth.jav deleted file mode 100644 index 0e1ddc53..00000000 --- a/resources/bytecode/javFiles/BinaryInMeth.jav +++ /dev/null @@ -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); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Box.jav b/resources/bytecode/javFiles/Box.jav deleted file mode 100644 index 95b869ab..00000000 --- a/resources/bytecode/javFiles/Box.jav +++ /dev/null @@ -1,9 +0,0 @@ -public class Box { - - A a; - - public Box() { } - public Box(A a) { - //this.a = a; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Box.java b/resources/bytecode/javFiles/Box.java deleted file mode 100644 index 581e7256..00000000 --- a/resources/bytecode/javFiles/Box.java +++ /dev/null @@ -1,3 +0,0 @@ -class Box { - void m(A a) { } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Bug112.jav b/resources/bytecode/javFiles/Bug112.jav deleted file mode 100644 index a3f1bad8..00000000 --- a/resources/bytecode/javFiles/Bug112.jav +++ /dev/null @@ -1,7 +0,0 @@ -public class Bug112 { - public m(x) { - var y; - x = y; - return y; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Bug122.jav b/resources/bytecode/javFiles/Bug122.jav deleted file mode 100644 index 746f311c..00000000 --- a/resources/bytecode/javFiles/Bug122.jav +++ /dev/null @@ -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++) { - - } - } - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Bug123.jav b/resources/bytecode/javFiles/Bug123.jav deleted file mode 100644 index daecc919..00000000 --- a/resources/bytecode/javFiles/Bug123.jav +++ /dev/null @@ -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; - } -} diff --git a/resources/bytecode/javFiles/Bug125.jav b/resources/bytecode/javFiles/Bug125.jav deleted file mode 100644 index 692106c2..00000000 --- a/resources/bytecode/javFiles/Bug125.jav +++ /dev/null @@ -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 works = new ArrayList<>(); - static List fails = new ArrayList<>(); - - public void main() { - works.toString(); - fails.toString(); - } -} diff --git a/resources/bytecode/javFiles/Bug285.jav b/resources/bytecode/javFiles/Bug285.jav deleted file mode 100644 index 5f17b662..00000000 --- a/resources/bytecode/javFiles/Bug285.jav +++ /dev/null @@ -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 opt = Optional.empty(); - StaticClass b = StaticClass.barbar(); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Bug290A.jav b/resources/bytecode/javFiles/Bug290A.jav deleted file mode 100644 index 7667cac6..00000000 --- a/resources/bytecode/javFiles/Bug290A.jav +++ /dev/null @@ -1,7 +0,0 @@ -import Bug290B; - -public class Bug290A { - public void m() { - new Bug290B(); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Bug290B.jav b/resources/bytecode/javFiles/Bug290B.jav deleted file mode 100644 index 1a9201b2..00000000 --- a/resources/bytecode/javFiles/Bug290B.jav +++ /dev/null @@ -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() + "$$"; - } -} diff --git a/resources/bytecode/javFiles/Bug293.jav b/resources/bytecode/javFiles/Bug293.jav deleted file mode 100644 index 0e7dc265..00000000 --- a/resources/bytecode/javFiles/Bug293.jav +++ /dev/null @@ -1,13 +0,0 @@ -import java.lang.Integer; -import java.lang.Float; - -public class Bug293 { - bar(a) { - return 2 * a; - } -} - -interface IFoo { - void ga(); -} - diff --git a/resources/bytecode/javFiles/Bug295.jav b/resources/bytecode/javFiles/Bug295.jav deleted file mode 100644 index be4488af..00000000 --- a/resources/bytecode/javFiles/Bug295.jav +++ /dev/null @@ -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; - } -} - diff --git a/resources/bytecode/javFiles/Bug296.jav b/resources/bytecode/javFiles/Bug296.jav deleted file mode 100644 index 35ac8826..00000000 --- a/resources/bytecode/javFiles/Bug296.jav +++ /dev/null @@ -1,11 +0,0 @@ -import java.lang.Integer; - -public class Bug296 { - public static m1() { - return m2(); - } - - static m2() { - return 10; - } -} diff --git a/resources/bytecode/javFiles/Bug297.jav b/resources/bytecode/javFiles/Bug297.jav deleted file mode 100644 index c4ff1e56..00000000 --- a/resources/bytecode/javFiles/Bug297.jav +++ /dev/null @@ -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); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Bug298.jav b/resources/bytecode/javFiles/Bug298.jav deleted file mode 100644 index 42ff96a3..00000000 --- a/resources/bytecode/javFiles/Bug298.jav +++ /dev/null @@ -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 list = new ArrayList<>(); - list.stream().map(x -> 2 * x); - - Function filter = x -> true; - } -} diff --git a/resources/bytecode/javFiles/Bug300.jav b/resources/bytecode/javFiles/Bug300.jav deleted file mode 100644 index 728aa3f7..00000000 --- a/resources/bytecode/javFiles/Bug300.jav +++ /dev/null @@ -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"; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Bug301.jav b/resources/bytecode/javFiles/Bug301.jav deleted file mode 100644 index 30a6f2bb..00000000 --- a/resources/bytecode/javFiles/Bug301.jav +++ /dev/null @@ -1,4 +0,0 @@ -import java.util.HashSet; - -public class Bug301 extends HashSet { -} diff --git a/resources/bytecode/javFiles/Bug302.jav b/resources/bytecode/javFiles/Bug302.jav deleted file mode 100644 index baeb8a8a..00000000 --- a/resources/bytecode/javFiles/Bug302.jav +++ /dev/null @@ -1,11 +0,0 @@ -import java.util.ArrayList; -import java.util.List; -import java.lang.Integer; - -public class Bug302 { - public Bug302(List a){} - - public static m() { - new Bug302(new ArrayList()); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Bug306.jav b/resources/bytecode/javFiles/Bug306.jav deleted file mode 100644 index d06ca677..00000000 --- a/resources/bytecode/javFiles/Bug306.jav +++ /dev/null @@ -1,13 +0,0 @@ -import java.lang.Integer; -import java.util.List; - -class Base { - m(List a) {} -} - -public class Bug306 extends Base { - @Override - m(List b) { - b.add(1); - } -} diff --git a/resources/bytecode/javFiles/Bug307.jav b/resources/bytecode/javFiles/Bug307.jav deleted file mode 100644 index 482e3568..00000000 --- a/resources/bytecode/javFiles/Bug307.jav +++ /dev/null @@ -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); - } -} diff --git a/resources/bytecode/javFiles/Bug309.jav b/resources/bytecode/javFiles/Bug309.jav deleted file mode 100644 index 23ae44ed..00000000 --- a/resources/bytecode/javFiles/Bug309.jav +++ /dev/null @@ -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 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; - } -} diff --git a/resources/bytecode/javFiles/Bug310.jav b/resources/bytecode/javFiles/Bug310.jav deleted file mode 100644 index 05393385..00000000 --- a/resources/bytecode/javFiles/Bug310.jav +++ /dev/null @@ -1,9 +0,0 @@ -import java.lang.Integer; -import java.lang.String; - -public class Bug310 { - Integer i = 3; - public toString() { - return i.toString(); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Bug311.jav b/resources/bytecode/javFiles/Bug311.jav deleted file mode 100644 index e8ccb7f7..00000000 --- a/resources/bytecode/javFiles/Bug311.jav +++ /dev/null @@ -1,10 +0,0 @@ -import java.lang.String; - -public class Bug311 { - Bug311A i = new Bug311A(); - public toString() { - return i.toString(); - } -} - -class Bug311A {} diff --git a/resources/bytecode/javFiles/Bug312.jav b/resources/bytecode/javFiles/Bug312.jav deleted file mode 100644 index 82f1aa24..00000000 --- a/resources/bytecode/javFiles/Bug312.jav +++ /dev/null @@ -1,8 +0,0 @@ -public class Bug312 { - Bug312A i = new Bug312A(); - public main() { - if (i == null) {} - } -} - -class Bug312A {} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Bug314.jav b/resources/bytecode/javFiles/Bug314.jav deleted file mode 100644 index 7f20d6d2..00000000 --- a/resources/bytecode/javFiles/Bug314.jav +++ /dev/null @@ -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 convert(List in) { - return in.stream().filter(x -> x > 5).collect(Collectors.toList()); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Bug325.jav b/resources/bytecode/javFiles/Bug325.jav deleted file mode 100644 index 6a3a29b1..00000000 --- a/resources/bytecode/javFiles/Bug325.jav +++ /dev/null @@ -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 list = new ArrayList<>(List.of(1,2,3,4,5)); - var func = x -> x*2; - return list.stream().map(func).toList(); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Bug326.jav b/resources/bytecode/javFiles/Bug326.jav deleted file mode 100644 index 6329fe6b..00000000 --- a/resources/bytecode/javFiles/Bug326.jav +++ /dev/null @@ -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); - } -} diff --git a/resources/bytecode/javFiles/Bug328.jav b/resources/bytecode/javFiles/Bug328.jav deleted file mode 100644 index c2cc1dbb..00000000 --- a/resources/bytecode/javFiles/Bug328.jav +++ /dev/null @@ -1,8 +0,0 @@ -import java.lang.Integer; -import Bug328B; - -public class Bug328 extends Bug328B { - public Bug328() { - super(1); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Bug328B.class b/resources/bytecode/javFiles/Bug328B.class deleted file mode 100644 index f8ff35fa..00000000 Binary files a/resources/bytecode/javFiles/Bug328B.class and /dev/null differ diff --git a/resources/bytecode/javFiles/Bug328B.java b/resources/bytecode/javFiles/Bug328B.java deleted file mode 100644 index 1859d218..00000000 --- a/resources/bytecode/javFiles/Bug328B.java +++ /dev/null @@ -1,3 +0,0 @@ -public class Bug328B { - public Bug328B(int a) {} -} diff --git a/resources/bytecode/javFiles/Bug332.jav b/resources/bytecode/javFiles/Bug332.jav deleted file mode 100644 index 240dba0c..00000000 --- a/resources/bytecode/javFiles/Bug332.jav +++ /dev/null @@ -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 { -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Bug333.jav b/resources/bytecode/javFiles/Bug333.jav deleted file mode 100644 index 244e8a66..00000000 --- a/resources/bytecode/javFiles/Bug333.jav +++ /dev/null @@ -1,11 +0,0 @@ -import java.lang.String; - -public class Bug333 { - public static String Bar = "Bar"; -} - -class Bar { - public bar() { - String s = Bug333.Bar; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Bug337.jav b/resources/bytecode/javFiles/Bug337.jav deleted file mode 100644 index 92bb6fa8..00000000 --- a/resources/bytecode/javFiles/Bug337.jav +++ /dev/null @@ -1,10 +0,0 @@ -import java.lang.Integer; -import java.lang.Number; -import java.lang.Object; - -public class Bug337 { - public void main() { - Fun1$$ fun1 = x -> x.hashCode() + 1; - Fun1$$ fun2 = fun1; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Bug338.jav b/resources/bytecode/javFiles/Bug338.jav deleted file mode 100644 index fa846e95..00000000 --- a/resources/bytecode/javFiles/Bug338.jav +++ /dev/null @@ -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); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Bug98.jav b/resources/bytecode/javFiles/Bug98.jav deleted file mode 100644 index 6a7a9e48..00000000 --- a/resources/bytecode/javFiles/Bug98.jav +++ /dev/null @@ -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(); - y = new Vector(); - x.add(1); - y.add("2"); - //Integer i = x.elementAt(0); - //String s = y.elementAt(0); - return z.vectorAddAll(x, y); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/BugXXX.jav b/resources/bytecode/javFiles/BugXXX.jav deleted file mode 100644 index c25acdf0..00000000 --- a/resources/bytecode/javFiles/BugXXX.jav +++ /dev/null @@ -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 i = new ArrayList<>(List.of(1,2,3,4,5,6,7,8,9,10)); - Optional tmp = i.stream().filter(x -> x == 5).map(x -> x*2).findFirst(); - return tmp; - } -} diff --git a/resources/bytecode/javFiles/CC.jav b/resources/bytecode/javFiles/CC.jav deleted file mode 100644 index a19fd1fe..00000000 --- a/resources/bytecode/javFiles/CC.jav +++ /dev/null @@ -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"; } -} diff --git a/resources/bytecode/javFiles/Chain.jav b/resources/bytecode/javFiles/Chain.jav deleted file mode 100644 index bd43a01f..00000000 --- a/resources/bytecode/javFiles/Chain.jav +++ /dev/null @@ -1,13 +0,0 @@ -import java.lang.Integer; - -public class Chain { - x = 5; - - chain() { - return this; - } - - public m() { - return this.chain().chain().chain().x; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/ClassGenLam.jav b/resources/bytecode/javFiles/ClassGenLam.jav deleted file mode 100644 index 0e9cf050..00000000 --- a/resources/bytecode/javFiles/ClassGenLam.jav +++ /dev/null @@ -1,8 +0,0 @@ -import java.lang.Integer; - -public class ClassGenLam { - lam = x-> x; -// public ClassGenLam() { -// lam = x->x; -// } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Cycle.class b/resources/bytecode/javFiles/Cycle.class deleted file mode 100644 index a7650d8b..00000000 Binary files a/resources/bytecode/javFiles/Cycle.class and /dev/null differ diff --git a/resources/bytecode/javFiles/Cycle.jav b/resources/bytecode/javFiles/Cycle.jav deleted file mode 100644 index b49e9066..00000000 --- a/resources/bytecode/javFiles/Cycle.jav +++ /dev/null @@ -1,6 +0,0 @@ -public class Cycle { - public m(x, y) { - y = x; - x = y; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/DD.jav b/resources/bytecode/javFiles/DD.jav deleted file mode 100644 index 07eaf7cf..00000000 --- a/resources/bytecode/javFiles/DD.jav +++ /dev/null @@ -1,5 +0,0 @@ -import java.lang.Integer; -import CC; - -public class DD extends CC { } - diff --git a/resources/bytecode/javFiles/DuMethod.jav b/resources/bytecode/javFiles/DuMethod.jav deleted file mode 100644 index 3898a7ba..00000000 --- a/resources/bytecode/javFiles/DuMethod.jav +++ /dev/null @@ -1,11 +0,0 @@ -public class DuMethod{ - - method(a){ - return a+a; - } - - method(a){ - return a; - } - -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/EmptyClass.jav b/resources/bytecode/javFiles/EmptyClass.jav deleted file mode 100644 index 8160d7da..00000000 --- a/resources/bytecode/javFiles/EmptyClass.jav +++ /dev/null @@ -1,3 +0,0 @@ -public class EmptyClass{ - -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/EmptyMethod.jav b/resources/bytecode/javFiles/EmptyMethod.jav deleted file mode 100644 index 961989df..00000000 --- a/resources/bytecode/javFiles/EmptyMethod.jav +++ /dev/null @@ -1,8 +0,0 @@ -public class EmptyMethod{ - - public void m1(){ - System.out.println("test"); - } - - public void m2(){} -} diff --git a/resources/bytecode/javFiles/Example.jav b/resources/bytecode/javFiles/Example.jav deleted file mode 100644 index b7455a3f..00000000 --- a/resources/bytecode/javFiles/Example.jav +++ /dev/null @@ -1,9 +0,0 @@ -import java.lang.String; - -public class Example { - - public m() { - String x = "X"; - return x; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Exceptions.jav b/resources/bytecode/javFiles/Exceptions.jav deleted file mode 100644 index 5b901ba7..00000000 --- a/resources/bytecode/javFiles/Exceptions.jav +++ /dev/null @@ -1,8 +0,0 @@ -import java.lang.String; -import java.lang.RuntimeException; - -public class Exceptions { - public m() { - throw new RuntimeException("Some Exception"); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Expressions.jav b/resources/bytecode/javFiles/Expressions.jav deleted file mode 100644 index e2e992a1..00000000 --- a/resources/bytecode/javFiles/Expressions.jav +++ /dev/null @@ -1,8 +0,0 @@ -class Expressions{ - -void test(){ - var x = 2; - x = x + 2; -} - -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/FC_Matrix.jav b/resources/bytecode/javFiles/FC_Matrix.jav deleted file mode 100644 index 75ead472..00000000 --- a/resources/bytecode/javFiles/FC_Matrix.jav +++ /dev/null @@ -1,10 +0,0 @@ -import java.util.Vector; - -class Matrix extends Vector> { - - methode(m) { - m.add(1); - Matrix i; - methode(i); - } - } diff --git a/resources/bytecode/javFiles/Fac.jav b/resources/bytecode/javFiles/Fac.jav deleted file mode 100644 index 1e092355..00000000 --- a/resources/bytecode/javFiles/Fac.jav +++ /dev/null @@ -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; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Faculty.jav b/resources/bytecode/javFiles/Faculty.jav deleted file mode 100644 index 276d8df6..00000000 --- a/resources/bytecode/javFiles/Faculty.jav +++ /dev/null @@ -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); -// } -// } -//} diff --git a/resources/bytecode/javFiles/Faculty2.jav b/resources/bytecode/javFiles/Faculty2.jav deleted file mode 100644 index 828f06f5..00000000 --- a/resources/bytecode/javFiles/Faculty2.jav +++ /dev/null @@ -1,10 +0,0 @@ -class Faculty2 { - - m () { - - var fact = (Integer x) -> { - return x; - }; - return fact; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/FacultyIf.jav b/resources/bytecode/javFiles/FacultyIf.jav deleted file mode 100644 index 3c368923..00000000 --- a/resources/bytecode/javFiles/FacultyIf.jav +++ /dev/null @@ -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; - } -} diff --git a/resources/bytecode/javFiles/FacultyTyped.jav b/resources/bytecode/javFiles/FacultyTyped.jav deleted file mode 100644 index 089d2f33..00000000 --- a/resources/bytecode/javFiles/FacultyTyped.jav +++ /dev/null @@ -1,19 +0,0 @@ -import java.lang.Integer; - -class Faculty { - - Integer mul(Integer x, Integer y) { - return x; - } - - Fun1 m () { - var fact = (Integer x) -> { - return mul(x, fact.apply(x)); - }; - return fact; - } -} - -interface Fun1{ - B apply(A a); -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Field.jav b/resources/bytecode/javFiles/Field.jav deleted file mode 100644 index 0fd1133f..00000000 --- a/resources/bytecode/javFiles/Field.jav +++ /dev/null @@ -1,9 +0,0 @@ -import java.lang.Integer; - -public class Field { - public x = 5; - - m(){ - return x; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/FieldAccess.jav b/resources/bytecode/javFiles/FieldAccess.jav deleted file mode 100644 index 894bb6e1..00000000 --- a/resources/bytecode/javFiles/FieldAccess.jav +++ /dev/null @@ -1,13 +0,0 @@ -class Box { -A f; -} -class B { - } - -class Box_Main extends B { - - m(b) { - b.f = new Box_Main(); - b.f = new B(); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/FieldTph.jav b/resources/bytecode/javFiles/FieldTph.jav deleted file mode 100644 index fc74e539..00000000 --- a/resources/bytecode/javFiles/FieldTph.jav +++ /dev/null @@ -1,4 +0,0 @@ -public class FieldTph { - a; - -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/FieldTph2.jav b/resources/bytecode/javFiles/FieldTph2.jav deleted file mode 100644 index 21d9445a..00000000 --- a/resources/bytecode/javFiles/FieldTph2.jav +++ /dev/null @@ -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; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/FieldTphConsMeth.jav b/resources/bytecode/javFiles/FieldTphConsMeth.jav deleted file mode 100644 index e8d01c10..00000000 --- a/resources/bytecode/javFiles/FieldTphConsMeth.jav +++ /dev/null @@ -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; - }*/ - -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/FieldTphMMeth.jav b/resources/bytecode/javFiles/FieldTphMMeth.jav deleted file mode 100644 index e1277bfe..00000000 --- a/resources/bytecode/javFiles/FieldTphMMeth.jav +++ /dev/null @@ -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; - } - -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Fields.jav b/resources/bytecode/javFiles/Fields.jav deleted file mode 100644 index cd2add71..00000000 --- a/resources/bytecode/javFiles/Fields.jav +++ /dev/null @@ -1,11 +0,0 @@ -import java.lang.String; - -class Fields{ -test2 = "test"; -test; -m(){ - var test3; - return test; -} - -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/For.jav b/resources/bytecode/javFiles/For.jav deleted file mode 100644 index e96184ea..00000000 --- a/resources/bytecode/javFiles/For.jav +++ /dev/null @@ -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; -// } -// } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/ForEach.jav b/resources/bytecode/javFiles/ForEach.jav deleted file mode 100644 index 301066ad..00000000 --- a/resources/bytecode/javFiles/ForEach.jav +++ /dev/null @@ -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(); - - for (Number n : list) { - } - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/FunOL.jav b/resources/bytecode/javFiles/FunOL.jav deleted file mode 100644 index 60736e1f..00000000 --- a/resources/bytecode/javFiles/FunOL.jav +++ /dev/null @@ -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; - } -} diff --git a/resources/bytecode/javFiles/FunctionalInterface.jav b/resources/bytecode/javFiles/FunctionalInterface.jav deleted file mode 100644 index 39b3b348..00000000 --- a/resources/bytecode/javFiles/FunctionalInterface.jav +++ /dev/null @@ -1,15 +0,0 @@ -import java.lang.Integer; -import java.util.function.Function; - -public class FunctionalInterface { - Integer accept(Function f) { - return f.apply(20); - } - - public Integer m() { - var v = accept(i -> { - return i * 10; - }); - return v; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Gen.jav b/resources/bytecode/javFiles/Gen.jav deleted file mode 100644 index 3b58b188..00000000 --- a/resources/bytecode/javFiles/Gen.jav +++ /dev/null @@ -1,8 +0,0 @@ -import java.lang.Integer; -import java.util.Vector; - -public class Gen{ - Vector m(Vector v){ - return v; - } -} diff --git a/resources/bytecode/javFiles/Generics.jav b/resources/bytecode/javFiles/Generics.jav deleted file mode 100644 index bb7b2af5..00000000 --- a/resources/bytecode/javFiles/Generics.jav +++ /dev/null @@ -1,17 +0,0 @@ - -class Generics { - Generics(B b){ - } - B mt1(B b){ - return mt1(b); - } -} - - -/* -Problem: -auto test = new List(); -auto test2 = new List(); -... //code, welcher möglicherweise test und test2 vertauscht -test.add("hallo"); -*/ \ No newline at end of file diff --git a/resources/bytecode/javFiles/Generics2.jav b/resources/bytecode/javFiles/Generics2.jav deleted file mode 100644 index f3aa1443..00000000 --- a/resources/bytecode/javFiles/Generics2.jav +++ /dev/null @@ -1,9 +0,0 @@ -import java.lang.String; -import java.lang.Integer; - -public class Generics2{ - public X m1(X b){ - return b; - } - -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Generics3.jav b/resources/bytecode/javFiles/Generics3.jav deleted file mode 100644 index fb354d43..00000000 --- a/resources/bytecode/javFiles/Generics3.jav +++ /dev/null @@ -1,7 +0,0 @@ -import java.lang.String; -import java.lang.Integer; -import java.util.List; - -class Generics3> { - -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Generics4.jav b/resources/bytecode/javFiles/Generics4.jav deleted file mode 100644 index 50b0b3e2..00000000 --- a/resources/bytecode/javFiles/Generics4.jav +++ /dev/null @@ -1,12 +0,0 @@ -import java.lang.String; -import java.lang.Integer; - -class Generics4 { - C m1(C b){ - return b; - } - - m2(x) { - return m1(x); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/GreaterEqual.jav b/resources/bytecode/javFiles/GreaterEqual.jav deleted file mode 100644 index 3ec69e8a..00000000 --- a/resources/bytecode/javFiles/GreaterEqual.jav +++ /dev/null @@ -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; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/GreaterThan.jav b/resources/bytecode/javFiles/GreaterThan.jav deleted file mode 100644 index 9077f5b1..00000000 --- a/resources/bytecode/javFiles/GreaterThan.jav +++ /dev/null @@ -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; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/HelloWorld.jav b/resources/bytecode/javFiles/HelloWorld.jav deleted file mode 100644 index 7f5f75d5..00000000 --- a/resources/bytecode/javFiles/HelloWorld.jav +++ /dev/null @@ -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!"); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Id.jav b/resources/bytecode/javFiles/Id.jav deleted file mode 100644 index f31991db..00000000 --- a/resources/bytecode/javFiles/Id.jav +++ /dev/null @@ -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); - } -} - diff --git a/resources/bytecode/javFiles/IfTest.jav b/resources/bytecode/javFiles/IfTest.jav deleted file mode 100644 index bbcda96c..00000000 --- a/resources/bytecode/javFiles/IfTest.jav +++ /dev/null @@ -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; - } - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Import.jav b/resources/bytecode/javFiles/Import.jav deleted file mode 100644 index c658568f..00000000 --- a/resources/bytecode/javFiles/Import.jav +++ /dev/null @@ -1,8 +0,0 @@ -import java.util.Vector; - -class Import { - void methode(){ - Vector v = new Vector<>(); - v.add("X"); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/ImportWildcard.jav b/resources/bytecode/javFiles/ImportWildcard.jav deleted file mode 100644 index a64e9ae2..00000000 --- a/resources/bytecode/javFiles/ImportWildcard.jav +++ /dev/null @@ -1,5 +0,0 @@ -import java.lang.*; - -public class ImportWildcard { - m(a, b) { return a * b; } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Inf.jav b/resources/bytecode/javFiles/Inf.jav deleted file mode 100644 index 60029949..00000000 --- a/resources/bytecode/javFiles/Inf.jav +++ /dev/null @@ -1,65 +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; - 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: -*/ - diff --git a/resources/bytecode/javFiles/Infimum.jav b/resources/bytecode/javFiles/Infimum.jav deleted file mode 100644 index 7c475394..00000000 --- a/resources/bytecode/javFiles/Infimum.jav +++ /dev/null @@ -1,6 +0,0 @@ -class Infimum { - m(x, y, z) { - y = x; - z = x; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Inherit.jav b/resources/bytecode/javFiles/Inherit.jav deleted file mode 100644 index 8808d8c0..00000000 --- a/resources/bytecode/javFiles/Inherit.jav +++ /dev/null @@ -1,21 +0,0 @@ -import java.util.Vector; - -import java.lang.Integer; -import java.lang.String; -import AA; -import BB; -import CC; -import DD; - -public class Inherit { - - public main(d, i) { - return d.m(i); - } - - public main(v, i) { - var aa = v.elementAt(0); - return aa.m(i); - } - -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Inherit2.jav b/resources/bytecode/javFiles/Inherit2.jav deleted file mode 100644 index 58a6ebb2..00000000 --- a/resources/bytecode/javFiles/Inherit2.jav +++ /dev/null @@ -1,20 +0,0 @@ -import java.util.Vector; - -import java.lang.Integer; -import java.lang.String; -import AA; -import BB; -import CC; -import DD; - -public class Inherit2 { - - public main(d) { - return d.m2(d); - } - - public main(v) { - var aa = v.elementAt(0); - return aa.m2(aa); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/InstanceOf.jav b/resources/bytecode/javFiles/InstanceOf.jav deleted file mode 100644 index 52a7473c..00000000 --- a/resources/bytecode/javFiles/InstanceOf.jav +++ /dev/null @@ -1,18 +0,0 @@ -import java.lang.Object; -import java.lang.Integer; -import java.lang.Boolean; - -interface Interface {} - -class Test implements Interface { -} -class Test2 { -} - -public class InstanceOf { - a = new Test(); - - public test1() { return this.a instanceof Test; } - public test2() { return this.a instanceof Interface; } - public test3() { return this.a instanceof Integer; } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Interface1.jav b/resources/bytecode/javFiles/Interface1.jav deleted file mode 100644 index b741819c..00000000 --- a/resources/bytecode/javFiles/Interface1.jav +++ /dev/null @@ -1,3 +0,0 @@ -public interface Interface1{ - public void test(); -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Interfaces.jav b/resources/bytecode/javFiles/Interfaces.jav deleted file mode 100644 index 0c4cd21c..00000000 --- a/resources/bytecode/javFiles/Interfaces.jav +++ /dev/null @@ -1,33 +0,0 @@ -import java.lang.Integer; - -interface A { - void method1(); - default method2() { - } -} - -interface B { - void method3(); -} - -interface C { - Integer myInt(); -} - -class ClassX implements A { -} - -record ClassY(Integer myInt) implements C {} - -public class Interfaces implements A, B { - public void method1() { - } - public void method3() { - var intf = new Interfaces(); - intf = new ClassX(); - intf.method1(); - - C c = new ClassY(10); - c.myInt(); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/KompTph.jav b/resources/bytecode/javFiles/KompTph.jav deleted file mode 100644 index ec34e154..00000000 --- a/resources/bytecode/javFiles/KompTph.jav +++ /dev/null @@ -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); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Lambda.jav b/resources/bytecode/javFiles/Lambda.jav deleted file mode 100644 index 2e725bfa..00000000 --- a/resources/bytecode/javFiles/Lambda.jav +++ /dev/null @@ -1,11 +0,0 @@ -import java.lang.Integer; - -public class Lambda { - - public m() { - var lam1 = (x) -> { - return x; - }; - return lam1; - } -} diff --git a/resources/bytecode/javFiles/Lambda2.jav b/resources/bytecode/javFiles/Lambda2.jav deleted file mode 100644 index 92f32b71..00000000 --- a/resources/bytecode/javFiles/Lambda2.jav +++ /dev/null @@ -1,35 +0,0 @@ -import java.lang.String; - -public class Lambda2 -{ - public static void main(List args){ - var listOfStrings = new List(); - var listOfObjects; - listOfObjects = map(listOfStrings, (a) -> a); -} - -public map(a , b){ - b.apply(a); - return a; -} - -/* -public static List map(List input, Function func) { - List output; - output = new List(); - output.add(func.apply(input.get())); - return output; -} -*/ -} - -class List{ - /* A get(); - void add(A); - */ -} -/* -class Function{ - B apply(A a); -} -*/ \ No newline at end of file diff --git a/resources/bytecode/javFiles/Lambda3.jav b/resources/bytecode/javFiles/Lambda3.jav deleted file mode 100644 index 9c4e960c..00000000 --- a/resources/bytecode/javFiles/Lambda3.jav +++ /dev/null @@ -1,23 +0,0 @@ - -public class Lambda2 -{ - /* - public static List map(List input, - Function func){ - input.add(func.apply(input.get())); - } - */ - public map(input,func){ - input.add(func.apply(input.get())); - return map(new List(), func); - } -} - -class List{ - A get(); - void add(A); -} - -class Function{ - B apply(A a); -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Lambda4.jav b/resources/bytecode/javFiles/Lambda4.jav deleted file mode 100644 index 378eb4d3..00000000 --- a/resources/bytecode/javFiles/Lambda4.jav +++ /dev/null @@ -1,18 +0,0 @@ -class Lambda{ - -methode(){ - return ((f) -> f); -} -} -/* -interface Fun0{ - A apply(); -} - -interface Fun1{ - A apply(B b); -} -*/ -interface Fun2{ - A apply(B b, C c); -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/LambdaCapture.jav b/resources/bytecode/javFiles/LambdaCapture.jav deleted file mode 100644 index ab1751f4..00000000 --- a/resources/bytecode/javFiles/LambdaCapture.jav +++ /dev/null @@ -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;}; - - } - -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/LambdaField.jav b/resources/bytecode/javFiles/LambdaField.jav deleted file mode 100644 index 4eb53738..00000000 --- a/resources/bytecode/javFiles/LambdaField.jav +++ /dev/null @@ -1,6 +0,0 @@ -public class LambdaField { - - f = x -> x; - -} - diff --git a/resources/bytecode/javFiles/LambdaRunnable.jav b/resources/bytecode/javFiles/LambdaRunnable.jav deleted file mode 100644 index 9dff3a8e..00000000 --- a/resources/bytecode/javFiles/LambdaRunnable.jav +++ /dev/null @@ -1,17 +0,0 @@ -import java.lang.Runnable; -import java.lang.String; -import java.lang.System; -import java.io.PrintStream; - -public class LambdaRunnable { - - public LambdaRunnable(){ - - - Runnable lam = () -> { - System.out.println("Runnable is running"); - }; - lam.run(); - } -} - diff --git a/resources/bytecode/javFiles/LambdaVoid.jav b/resources/bytecode/javFiles/LambdaVoid.jav deleted file mode 100644 index dc16fcbf..00000000 --- a/resources/bytecode/javFiles/LambdaVoid.jav +++ /dev/null @@ -1,9 +0,0 @@ -import java.lang.Integer; - -public class Lambda { - - m () { - var lam1 = (x) -> { }; - return lam1; - } -} diff --git a/resources/bytecode/javFiles/LessEqual.jav b/resources/bytecode/javFiles/LessEqual.jav deleted file mode 100644 index 02714fc7..00000000 --- a/resources/bytecode/javFiles/LessEqual.jav +++ /dev/null @@ -1,56 +0,0 @@ -import java.lang.Integer; -import java.lang.Long; -import java.lang.Float; -import java.lang.Double; - -public class LessEqual { - public lessEqual(Integer a, Integer b){ - var c = a<=b; - return c; - } - - public lessEqual(Long a, Long b){ - var c = a<=b; - return c; - } - - public lessEqual(Float a, Float b){ - var c = a<=b; - return c; - } - - public lessEqual(Double a, Double b){ - var c = a<=b; - return c; - } - - public lessEqual(Long a, Integer b){ - var c = a<=b; - return c; - } - - public lessEqual(Float a, Integer b){ - var c = a<=b; - return c; - } - - public lessEqual(Double a, Integer b){ - var c = a<=b; - return c; - } - - public lessEqual(Float a, Long b){ - var c = a<=b; - return c; - } - - public lessEqual(Double a, Long b){ - var c = a<=b; - return c; - } - - public lessEqual(Double a, Float b){ - var c = a<=b; - return c; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/LessThan.jav b/resources/bytecode/javFiles/LessThan.jav deleted file mode 100644 index a4c5be90..00000000 --- a/resources/bytecode/javFiles/LessThan.jav +++ /dev/null @@ -1,57 +0,0 @@ -import java.lang.Integer; -import java.lang.Long; -import java.lang.Float; -import java.lang.Double; - -public class LessThan { - - public lessThan(Integer a, Integer b){ - var c = a> { - - Matrix () { - } - - public 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; - } - } - - public mul(m) { - var ret = new Matrix(); - var i = 0; - while(i < size()) { - var v1 = this.elementAt(i); - var v2 = new Vector(); - var j = 0; - while(j < v1.size()) { - var erg = 0; - var k = 0; - while(k < v1.size()) { - erg = erg + v1.get(k) - * m.get(k).get(j); - k++; } -// v2.addElement(new Integer(erg)); - v2.addElement(erg); - j++; } - ret.addElement(v2); - i++; - } - return ret; - } -} diff --git a/resources/bytecode/javFiles/MatrixOP.jav b/resources/bytecode/javFiles/MatrixOP.jav deleted file mode 100644 index 749f208f..00000000 --- a/resources/bytecode/javFiles/MatrixOP.jav +++ /dev/null @@ -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> { - - MatrixOP () { - } - - public 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(); - 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; - }; -} diff --git a/resources/bytecode/javFiles/Merge.jav b/resources/bytecode/javFiles/Merge.jav deleted file mode 100644 index c25c00a4..00000000 --- a/resources/bytecode/javFiles/Merge.jav +++ /dev/null @@ -1,20 +0,0 @@ -import java.util.List; -import java.lang.Integer; -//import java.util.Collection; - -public class Merge { - - public merge(a, b) { - a.addAll(b); - return a; - } - - - - public sort(in){ - var firstHalf = in.subList(1,2); - var secondHalf = in.subList(1,2); - return merge(sort(firstHalf), sort(secondHalf)); - } - -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Meth_Gen.jav b/resources/bytecode/javFiles/Meth_Gen.jav deleted file mode 100644 index 056dd82f..00000000 --- a/resources/bytecode/javFiles/Meth_Gen.jav +++ /dev/null @@ -1,11 +0,0 @@ -class Meth_Gen { - - m1(x, y) { - m2(x); - x = y; - } - - m2(y) { - m1(y, y); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/MethodCallGenerics.jav b/resources/bytecode/javFiles/MethodCallGenerics.jav deleted file mode 100644 index 0d02509b..00000000 --- a/resources/bytecode/javFiles/MethodCallGenerics.jav +++ /dev/null @@ -1,14 +0,0 @@ -import java.lang.String; - -class Generics { - // A mt1(A a, B b){ - B mt1(B a, B b){ - return mt1(a, a); - } -} - -class Test { - methode(String s){ - return new Generics().mt1(s,s); - } -} diff --git a/resources/bytecode/javFiles/MethodWildcardGen.jav b/resources/bytecode/javFiles/MethodWildcardGen.jav deleted file mode 100644 index c982c442..00000000 --- a/resources/bytecode/javFiles/MethodWildcardGen.jav +++ /dev/null @@ -1,21 +0,0 @@ -/* -class C{ - A f; - m(b, c){ - c.f = b; - c.m(b, c); - } -} -*/ -class C{ - X f; - m(b, c, d){ - this.f = b; - this.f = c.f; - c.m2(d); - } - - m2(a){ - a.f = this.f; - } -} diff --git a/resources/bytecode/javFiles/Methods.jav b/resources/bytecode/javFiles/Methods.jav deleted file mode 100644 index 3c46739d..00000000 --- a/resources/bytecode/javFiles/Methods.jav +++ /dev/null @@ -1,14 +0,0 @@ -import java.lang.Integer; - -class Methods { - - m(a,b){ - var c=a+b; - return c; - } - - method2(x){ - Integer i = this.m(x,2); - return i; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/MethodsEasy.jav b/resources/bytecode/javFiles/MethodsEasy.jav deleted file mode 100644 index ee6f9daf..00000000 --- a/resources/bytecode/javFiles/MethodsEasy.jav +++ /dev/null @@ -1,7 +0,0 @@ - -class Methods { - mt4(a,b,c) { return a.mt3(b).mt3(c) ; } - - mt3(a) {return a.mt3(a); } -} - diff --git a/resources/bytecode/javFiles/OL.jav b/resources/bytecode/javFiles/OL.jav deleted file mode 100644 index a30edca9..00000000 --- a/resources/bytecode/javFiles/OL.jav +++ /dev/null @@ -1,16 +0,0 @@ -import java.lang.Double; -import java.lang.String; -import java.lang.Long; -import java.lang.Integer; - -public class OL { - public m (x) { return x + x; } -} - -public class OLMain { - public main(x) { - var ol; - ol = new OL(); - return ol.m(x); - } -} diff --git a/resources/bytecode/javFiles/OLConstructor.jav b/resources/bytecode/javFiles/OLConstructor.jav deleted file mode 100644 index 1e315097..00000000 --- a/resources/bytecode/javFiles/OLConstructor.jav +++ /dev/null @@ -1,17 +0,0 @@ -import java.lang.Integer; - -public class Parent { - public Integer x; - - public Parent(Integer a) { - this.x = a; - } - - public Parent() {} -} - -public class Child extends Parent { - public Child() { - super(3); - } -} diff --git a/resources/bytecode/javFiles/OLFun.jav b/resources/bytecode/javFiles/OLFun.jav deleted file mode 100644 index 50d30b73..00000000 --- a/resources/bytecode/javFiles/OLFun.jav +++ /dev/null @@ -1,19 +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); - return x; - } - - m2(y) { - m(x -> x * 2, y); - return; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/OLFun2.jav b/resources/bytecode/javFiles/OLFun2.jav deleted file mode 100644 index 6b6f38ac..00000000 --- a/resources/bytecode/javFiles/OLFun2.jav +++ /dev/null @@ -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); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Op.jav b/resources/bytecode/javFiles/Op.jav deleted file mode 100644 index 082f48d8..00000000 --- a/resources/bytecode/javFiles/Op.jav +++ /dev/null @@ -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; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Op1.jav b/resources/bytecode/javFiles/Op1.jav deleted file mode 100644 index 48af9df1..00000000 --- a/resources/bytecode/javFiles/Op1.jav +++ /dev/null @@ -1,34 +0,0 @@ -import java.lang.Boolean; -import java.lang.Integer; - -public class Op1 { - public not() { - var b = false; - var c = !b; - return c; - } - - public or() { - var a = 10; - var b = 20; - return a | b; - } - - public and() { - var a = 10; - var b = 20; - return a & b; - } - - public xor() { - var a = 10; - var b = 20; - return a ^ b; - } - - public mod() { - var a = 10; - var b = 2; - return a % b; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Op2.jav b/resources/bytecode/javFiles/Op2.jav deleted file mode 100644 index cda23aef..00000000 --- a/resources/bytecode/javFiles/Op2.jav +++ /dev/null @@ -1,17 +0,0 @@ -import java.lang.Integer; -import java.lang.Double; -import java.lang.String; - -public class Op2 { - public m(){ - var x = ""; - var a = 5+x; - - Integer x = 10; - Double y = 10.5; - - var a = x - y; - - return a; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/OverlaodGen.jav b/resources/bytecode/javFiles/OverlaodGen.jav deleted file mode 100644 index d5946496..00000000 --- a/resources/bytecode/javFiles/OverlaodGen.jav +++ /dev/null @@ -1,11 +0,0 @@ -import java.util.Vector; - -class OverlaodGen { - void method(Vector v) { -// Integer i = v.get(0); - } - - void method(Vector v) { -// String s = v.get(0); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/OverloadPattern.jav b/resources/bytecode/javFiles/OverloadPattern.jav deleted file mode 100644 index e7f777de..00000000 --- a/resources/bytecode/javFiles/OverloadPattern.jav +++ /dev/null @@ -1,50 +0,0 @@ -import java.lang.Integer; -import java.lang.Number; -import java.lang.Float; - -record Point(Number x, Number y) {} - -public class OverloadPattern { - public m(Point(Integer x, Integer y)) { - return x + y; - } - - public m(Point(Float x, Float y)) { - return x * y; - } - - public m(Integer x) { - return x; - } -} - -/* -public class OverloadPattern { - Integer m$Point$_$java$lang$Integer$_$java$lang$Integer$_$(Point point) { - var x = point.x(); - var y = point.y(); - return x + y; - } - - Float m$Point$_$java$lang$Float$_$java$lang$Float$_$(Point point) { - var x = point.x(); - var y = point.y(); - return x * y; - } - - Number m(Point point) { - return switch(point) { - case Point(Integer x, Integer y) -> - m$Point$_$java$lang$Integer$_$java$lang$Integer$_$(point); - case Point(Float x, Float y) -> - m$Point$_$java$lang$Float$_$java$lang$Float$_$(point); - default -> throw new IllegalArgumentException(); - } - } - - Integer m(Integer x) { - return x; - } -} - -*/ \ No newline at end of file diff --git a/resources/bytecode/javFiles/Overloading.jav b/resources/bytecode/javFiles/Overloading.jav deleted file mode 100644 index c44a7a9b..00000000 --- a/resources/bytecode/javFiles/Overloading.jav +++ /dev/null @@ -1,18 +0,0 @@ -import java.lang.String; - -public class Overloading{ - - public test(x){ - return x.methode(); - } - - public methode(){ - return "Overloading"; - } -} - -public class Overloading2{ - public methode(){ - return "Overloading2"; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/OverrideEquals.jav b/resources/bytecode/javFiles/OverrideEquals.jav deleted file mode 100644 index cabb6d4c..00000000 --- a/resources/bytecode/javFiles/OverrideEquals.jav +++ /dev/null @@ -1,12 +0,0 @@ -import java.lang.Object; -import java.lang.Boolean; - -public class OverrideEquals extends OverrideRoot { - public boolean equals(Object o) { - return true; - } - - public int method(int var1, float var2) { - return 0; - } -} diff --git a/resources/bytecode/javFiles/OverrideRoot.class b/resources/bytecode/javFiles/OverrideRoot.class deleted file mode 100644 index 52657698..00000000 Binary files a/resources/bytecode/javFiles/OverrideRoot.class and /dev/null differ diff --git a/resources/bytecode/javFiles/OverrideRoot.java b/resources/bytecode/javFiles/OverrideRoot.java deleted file mode 100644 index 5d097592..00000000 --- a/resources/bytecode/javFiles/OverrideRoot.java +++ /dev/null @@ -1,3 +0,0 @@ -public abstract class OverrideRoot { - public abstract int method(int a, float b); -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Package.jav b/resources/bytecode/javFiles/Package.jav deleted file mode 100644 index bbc1e51d..00000000 --- a/resources/bytecode/javFiles/Package.jav +++ /dev/null @@ -1,5 +0,0 @@ -package strucType.input; - -class Neu -{ -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Pair.jav b/resources/bytecode/javFiles/Pair.jav deleted file mode 100644 index 4547ad10..00000000 --- a/resources/bytecode/javFiles/Pair.jav +++ /dev/null @@ -1,17 +0,0 @@ -import java.util.Vector; -import java.lang.Boolean; -import java.lang.Object; - - -public class Pair { - T x; - U y; - - public fst() { - return x; - } - - public snd() { - return y; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/PairNoGenerics.jav b/resources/bytecode/javFiles/PairNoGenerics.jav deleted file mode 100644 index e69de29b..00000000 diff --git a/resources/bytecode/javFiles/Plus.jav b/resources/bytecode/javFiles/Plus.jav deleted file mode 100644 index 74bdc61c..00000000 --- a/resources/bytecode/javFiles/Plus.jav +++ /dev/null @@ -1,9 +0,0 @@ -import java.lang.Integer; -import java.lang.String; - -public class Plus { - - public m(a,b) { - return a+b; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/PostIncDec.jav b/resources/bytecode/javFiles/PostIncDec.jav deleted file mode 100644 index d3672aa1..00000000 --- a/resources/bytecode/javFiles/PostIncDec.jav +++ /dev/null @@ -1,27 +0,0 @@ -import java.lang.Integer; - -public class PostIncDec { - public m() { - var i = 0; - i++; - return i; - } - - public m2() { - var i = 0; - var j = i++; - return j; - } - - public d() { - var i = 0; - i--; - return i; - } - - public d2() { - var i = 0; - var j = i--; - return j; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/PreInc.jav b/resources/bytecode/javFiles/PreInc.jav deleted file mode 100644 index df667979..00000000 --- a/resources/bytecode/javFiles/PreInc.jav +++ /dev/null @@ -1,28 +0,0 @@ -import java.lang.Integer; - -public class PreInc { - public m() { - var i = 0; - ++i; - return i; - } - - public m2() { - var i = 0; - var j = ++i; - return j; - } - - public d() { - var i = 0; - --i; - return i; - } - - public d2() { - var i = 0; - var j = --i; - return j; - } - -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Put.jav b/resources/bytecode/javFiles/Put.jav deleted file mode 100644 index 113f284f..00000000 --- a/resources/bytecode/javFiles/Put.jav +++ /dev/null @@ -1,19 +0,0 @@ -import java.util.Vector; -import java.util.Stack; - -public class Put { - - public putElement(ele, v) { - v.addElement(ele); - } - - public putElement(ele, s) { - s.push(ele); - } - - - public main(ele, x) { - putElement(ele, x); - } - -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/RecordTest.jav b/resources/bytecode/javFiles/RecordTest.jav deleted file mode 100644 index a19d1f09..00000000 --- a/resources/bytecode/javFiles/RecordTest.jav +++ /dev/null @@ -1,22 +0,0 @@ -import java.lang.Integer; - -record Rec(Integer a, Integer b) {} - -/*public class Rec { - x; y; - Rec(Integer a, Integer b) { - x = a; - y = b; - } -}*/ - -public class RecordTest { - Rec a = new Rec(10, 20); - Rec b = new Rec(10, 20); - Rec c = new Rec(20, 40); - - public doesEqual() { return a.equals(b); } - public doesNotEqual() { return b.equals(c); } - public hashCode() { return a.hashCode(); } - public toString() { return a.toString(); } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/RecursiveMeth.jav b/resources/bytecode/javFiles/RecursiveMeth.jav deleted file mode 100644 index be35a43c..00000000 --- a/resources/bytecode/javFiles/RecursiveMeth.jav +++ /dev/null @@ -1,5 +0,0 @@ -public class RecursiveMeth{ - public Integer test(){ - return this.test(); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/RelOps.jav b/resources/bytecode/javFiles/RelOps.jav deleted file mode 100644 index 63491d90..00000000 --- a/resources/bytecode/javFiles/RelOps.jav +++ /dev/null @@ -1,8 +0,0 @@ -import java.lang.Integer; -import java.lang.Boolean; - -public class RelOps { - public m(a,b){ - return a { - - public Scalar(v) { - Integer i; - i = 0; - while(i < v.size()) { - this.add(v.elementAt(i)); - i=i+1; - } - } - - public mul(v) { - var ret = 0; - var i = 0; - while(i < size()) { - ret = ret + this.elementAt(i) * v.elementAt(i); - i = i+1; - } - return ret; - } -} diff --git a/resources/bytecode/javFiles/SimpleCycle.jav b/resources/bytecode/javFiles/SimpleCycle.jav deleted file mode 100644 index 92f505b5..00000000 --- a/resources/bytecode/javFiles/SimpleCycle.jav +++ /dev/null @@ -1,25 +0,0 @@ -public class SimpleCycle { - - m(){ - 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; - */ - } - -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Sorting.jav b/resources/bytecode/javFiles/Sorting.jav deleted file mode 100644 index 345819d7..00000000 --- a/resources/bytecode/javFiles/Sorting.jav +++ /dev/null @@ -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); - } - */ -} diff --git a/resources/bytecode/javFiles/Static.jav b/resources/bytecode/javFiles/Static.jav deleted file mode 100644 index a02ef3c3..00000000 --- a/resources/bytecode/javFiles/Static.jav +++ /dev/null @@ -1,18 +0,0 @@ -import java.lang.Integer; - -class Other { - static field = 20; -} - -public class Static { - static i = 20; - - static { - var x = 30; - i = x; - } - - public static m() { - return i + Other.field; - } -} diff --git a/resources/bytecode/javFiles/StaticM.jav b/resources/bytecode/javFiles/StaticM.jav deleted file mode 100644 index 66890033..00000000 --- a/resources/bytecode/javFiles/StaticM.jav +++ /dev/null @@ -1,10 +0,0 @@ -public class StaticM { - - public static void m() { - System.out.println("Test"); - } - - public static void m2() { - m(); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/SubMatrix.jav b/resources/bytecode/javFiles/SubMatrix.jav deleted file mode 100644 index f761321c..00000000 --- a/resources/bytecode/javFiles/SubMatrix.jav +++ /dev/null @@ -1,13 +0,0 @@ -import java.util.Vector; -import java.lang.Integer; - -public class Matrix2 extends Vector { - -} - -public class SubMatrix extends Matrix2 { - m(){ - Vector v = new Vector(); - v.add(1); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Subclass.jav b/resources/bytecode/javFiles/Subclass.jav deleted file mode 100644 index fe6e9208..00000000 --- a/resources/bytecode/javFiles/Subclass.jav +++ /dev/null @@ -1,6 +0,0 @@ -public class Subclass extends Superclass { - - public void printMethod() { - super.printMethod(); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/SuperCall.jav b/resources/bytecode/javFiles/SuperCall.jav deleted file mode 100644 index 08b8a046..00000000 --- a/resources/bytecode/javFiles/SuperCall.jav +++ /dev/null @@ -1,11 +0,0 @@ -import java.lang.Integer; - -class Parent { - public Parent(Integer x) {} -} - -public class SuperCall extends Parent { - public SuperCall() { - super(20); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Superclass.jav b/resources/bytecode/javFiles/Superclass.jav deleted file mode 100644 index d58089de..00000000 --- a/resources/bytecode/javFiles/Superclass.jav +++ /dev/null @@ -1,6 +0,0 @@ -public class Superclass { - - public void printMethod() { - System.out.println("Printed in Superclass."); - } -} diff --git a/resources/bytecode/javFiles/Switch.jav b/resources/bytecode/javFiles/Switch.jav deleted file mode 100644 index f120f819..00000000 --- a/resources/bytecode/javFiles/Switch.jav +++ /dev/null @@ -1,17 +0,0 @@ -import java.lang.Integer; -import java.lang.Object; -import java.lang.Float; - -public record Rec(Integer a, Object b) {} - -public class Switch { - public main(o) { - return switch (o) { - case Rec(Integer a, Integer b) -> a + b; - case Rec(Integer a, Float b) -> a + 10; - case Rec(Integer a, Rec(Integer b, Integer c)) -> a + b + c; - case Integer i -> i; - default -> 0; - }; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Switch2.jav b/resources/bytecode/javFiles/Switch2.jav deleted file mode 100644 index c75aaa5b..00000000 --- a/resources/bytecode/javFiles/Switch2.jav +++ /dev/null @@ -1,13 +0,0 @@ -import java.lang.Integer; - -record Point(x, y) {} - -class Switch2 { - m() { - var pt = new Point(10, 20); - return switch (pt) { - case Point(x, y) -> 10; - default -> 20; - }; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/SwitchString.jav b/resources/bytecode/javFiles/SwitchString.jav deleted file mode 100644 index 53dcc93e..00000000 --- a/resources/bytecode/javFiles/SwitchString.jav +++ /dev/null @@ -1,14 +0,0 @@ -import java.lang.Integer; -import java.lang.String; -import java.lang.Object; - -public class SwitchString { - public main(o) { - return switch (o) { - case "AaAaAa" -> 1; // These two have the same hash code! - case "AaAaBB" -> 2; - case "test", "TEST" -> 3; - default -> 4; - }; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/TXGenerics.jav b/resources/bytecode/javFiles/TXGenerics.jav deleted file mode 100644 index 7f0f7081..00000000 --- a/resources/bytecode/javFiles/TXGenerics.jav +++ /dev/null @@ -1,11 +0,0 @@ -import java.lang.String; - -public class TXGenerics { - a; - b; - - public test() { - var c = new Cycle(); - c.m(a, b); - } -} diff --git a/resources/bytecode/javFiles/Ternary.jav b/resources/bytecode/javFiles/Ternary.jav deleted file mode 100644 index 321490ba..00000000 --- a/resources/bytecode/javFiles/Ternary.jav +++ /dev/null @@ -1,9 +0,0 @@ -import java.lang.Boolean; -import java.lang.String; -import java.lang.Integer; - -public class Ternary { - public main(x) { - return x > 10 ? "big" : "small"; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Tph.jav b/resources/bytecode/javFiles/Tph.jav deleted file mode 100644 index 22f2f943..00000000 --- a/resources/bytecode/javFiles/Tph.jav +++ /dev/null @@ -1,11 +0,0 @@ -public class Tph { - - public m(a,b){ - var c = m2(b); - return a; - } - - public m2(b){ - return b; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Tph2.jav b/resources/bytecode/javFiles/Tph2.jav deleted file mode 100644 index 04ea5ba0..00000000 --- a/resources/bytecode/javFiles/Tph2.jav +++ /dev/null @@ -1,6 +0,0 @@ -public class Tph2 { - id = x->x; - id3 (x) { - return id.apply(x); - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Tph3.jav b/resources/bytecode/javFiles/Tph3.jav deleted file mode 100644 index 553e2745..00000000 --- a/resources/bytecode/javFiles/Tph3.jav +++ /dev/null @@ -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); } -} diff --git a/resources/bytecode/javFiles/Tph4.jav b/resources/bytecode/javFiles/Tph4.jav deleted file mode 100644 index 58fe1d16..00000000 --- a/resources/bytecode/javFiles/Tph4.jav +++ /dev/null @@ -1,12 +0,0 @@ -public class Tph4{ - m(a,b){ - var c = m2(b); - var d = m2(c); - return d; - } - - m2(b){ - return b; - } - -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Tph5.jav b/resources/bytecode/javFiles/Tph5.jav deleted file mode 100644 index e73cfa2c..00000000 --- a/resources/bytecode/javFiles/Tph5.jav +++ /dev/null @@ -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; } -} diff --git a/resources/bytecode/javFiles/Tph6.jav b/resources/bytecode/javFiles/Tph6.jav deleted file mode 100644 index 2f9e4294..00000000 --- a/resources/bytecode/javFiles/Tph6.jav +++ /dev/null @@ -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; } -} diff --git a/resources/bytecode/javFiles/Tph7.jav b/resources/bytecode/javFiles/Tph7.jav deleted file mode 100644 index cc55afb5..00000000 --- a/resources/bytecode/javFiles/Tph7.jav +++ /dev/null @@ -1,11 +0,0 @@ -public class Tph7 { - - m(a,b){ - var c = m2(b); - return m2(b); - } - - m2(b){ - return b; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/TypeCast.jav b/resources/bytecode/javFiles/TypeCast.jav deleted file mode 100644 index dffab1ae..00000000 --- a/resources/bytecode/javFiles/TypeCast.jav +++ /dev/null @@ -1,11 +0,0 @@ -import java.lang.Object; -import java.lang.Integer; -import java.util.List; -import java.util.ArrayList; - -public class TypeCast { - public void main() { - Object a = new ArrayList(); - ArrayList b = (ArrayList) a; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/TypedID.jav b/resources/bytecode/javFiles/TypedID.jav deleted file mode 100644 index aa885831..00000000 --- a/resources/bytecode/javFiles/TypedID.jav +++ /dev/null @@ -1,12 +0,0 @@ -public class TypedID/* */ { - - lam = x-> x; - - id(b){ - return b; - } - - m(){ - return lam; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Vector.jav b/resources/bytecode/javFiles/Vector.jav deleted file mode 100644 index 5c21cfff..00000000 --- a/resources/bytecode/javFiles/Vector.jav +++ /dev/null @@ -1,23 +0,0 @@ -import java.util.ArrayList; -import java.util.Vector; -import java.lang.Object; - -class MyVector{ - -id(x){ - Object i; - x.add(i); - x.add(i); - x.add(i); - x.add(i); - x.add(i); - x.add(i); - x.add(i); - x.add(i); - x.add(i); - x.add(i); - x.add(i); - x.add(i); - return x; -} -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/VectorAdd.jav b/resources/bytecode/javFiles/VectorAdd.jav deleted file mode 100644 index 2ad73aa9..00000000 --- a/resources/bytecode/javFiles/VectorAdd.jav +++ /dev/null @@ -1,26 +0,0 @@ -import java.util.Vector; -import java.lang.Integer; -import java.lang.String; - -public class VectorAdd { - vectorAdd(v1, v2) { - var i = 0; - v1 = new Vector(); - var erg = new Vector<>(); - while (i < v1.size()) { - erg.addElement(v1.elementAt(i) + v2.elementAt(i)); - i++; - } - return erg; - } - - m(x, y, z) { - x = new Vector(); - y = new Vector(); - x.add(1); - y.add("2"); - //Integer i = x.elementAt(0); - //String s = y.elementAt(0); - return z.addAll(x); - } -} diff --git a/resources/bytecode/javFiles/VectorSuper.jav b/resources/bytecode/javFiles/VectorSuper.jav deleted file mode 100644 index fbadafb2..00000000 --- a/resources/bytecode/javFiles/VectorSuper.jav +++ /dev/null @@ -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; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/VoidMeth.jav b/resources/bytecode/javFiles/VoidMeth.jav deleted file mode 100644 index 6b3ab212..00000000 --- a/resources/bytecode/javFiles/VoidMeth.jav +++ /dev/null @@ -1,4 +0,0 @@ -public class VoidMeth{ - public void test(){ - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/WC.jav b/resources/bytecode/javFiles/WC.jav deleted file mode 100644 index 389a4fcd..00000000 --- a/resources/bytecode/javFiles/WC.jav +++ /dev/null @@ -1,8 +0,0 @@ -import java.lang.Integer; -import java.util.List; -public class WC { - - void m (List a, List b) { - - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/While.jav b/resources/bytecode/javFiles/While.jav deleted file mode 100644 index cdd41f51..00000000 --- a/resources/bytecode/javFiles/While.jav +++ /dev/null @@ -1,21 +0,0 @@ -import java.lang.Integer; -import java.lang.Long; -import java.lang.Double; - -public class While { - public m(x) { - while(x < 2) { - x = x+1; - } - return x; - } - - public m2() { - int i = 0; - do { - ++i; - } while(i < 10); - - return i; - } -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/Wildcards.jav b/resources/bytecode/javFiles/Wildcards.jav deleted file mode 100644 index 7dca0519..00000000 --- a/resources/bytecode/javFiles/Wildcards.jav +++ /dev/null @@ -1,8 +0,0 @@ -import java.util.List; -import java.lang.Number; - -public class Wildcards { - public void m1(List a) {} - public void m2(List a) {} - public void m3(List a) {} -} diff --git a/resources/bytecode/javFiles/Y.jav b/resources/bytecode/javFiles/Y.jav deleted file mode 100644 index 0c14b498..00000000 --- a/resources/bytecode/javFiles/Y.jav +++ /dev/null @@ -1,42 +0,0 @@ -import java.lang.Integer; - -public class Y { - y; - //factorial; - - public 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().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)); - } - -} -*/ \ No newline at end of file diff --git a/resources/bytecode/javFiles/applyLambda.jav b/resources/bytecode/javFiles/applyLambda.jav deleted file mode 100644 index 37a3fbab..00000000 --- a/resources/bytecode/javFiles/applyLambda.jav +++ /dev/null @@ -1,16 +0,0 @@ -import java.util.Vector; -class Apply { } - -public class applyLambda { - - public m () { - var lam1 = (x) -> { - return x; - }; - - return lam1.apply(new Apply()); - //return lam1; - //return new Vector(); - } -} - diff --git a/resources/bytecode/javFiles/fc.jav b/resources/bytecode/javFiles/fc.jav deleted file mode 100644 index b387cb91..00000000 --- a/resources/bytecode/javFiles/fc.jav +++ /dev/null @@ -1,18 +0,0 @@ -import java.util.List; - -class Test{ - methode(param1, param2, param3) { - param2.add(param3); - return param1.meth(param2); - } -} - -interface Klasse1{ - Klasse1 meth(p); - Klasse1 meth(Klasse2 p); -} - -interface Klasse2{ - Klasse1 meth(Klasse1 p); - Klasse2 meth(Klasse2 p); -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/mathStruc.jav b/resources/bytecode/javFiles/mathStruc.jav deleted file mode 100644 index 171881b1..00000000 --- a/resources/bytecode/javFiles/mathStruc.jav +++ /dev/null @@ -1,15 +0,0 @@ -import java.util.Vector; -import java.lang.Integer; - -public class mathStruc { - model; - - //Fun1*, Fun1*,MathStruc >> - 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)); - } -} - diff --git a/resources/bytecode/javFiles/mathStrucInteger.jav b/resources/bytecode/javFiles/mathStrucInteger.jav deleted file mode 100644 index f1f67553..00000000 --- a/resources/bytecode/javFiles/mathStrucInteger.jav +++ /dev/null @@ -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; - } -} diff --git a/resources/bytecode/javFiles/mathStrucMatrixOP.jav b/resources/bytecode/javFiles/mathStrucMatrixOP.jav deleted file mode 100644 index 2b24f037..00000000 --- a/resources/bytecode/javFiles/mathStrucMatrixOP.jav +++ /dev/null @@ -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> { - - 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(); - 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> vv = new Vector>(); - Vector v1 = new Vector(); - v1.addElement(2); - v1.addElement(2); - Vector v2 = new Vector(); - v2.addElement(3); - v2.addElement(3); - vv.addElement(v1); - vv.addElement(v2); - - MatrixOP m1 = new MatrixOP(vv); - - Vector> vv1 = new Vector>(); - Vector v3 = new Vector(); - v3.addElement(2); - v3.addElement(2); - Vector v4 = new Vector(); - 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; - } -} diff --git a/resources/bytecode/javFiles/test.jav b/resources/bytecode/javFiles/test.jav deleted file mode 100644 index 303d167a..00000000 --- a/resources/bytecode/javFiles/test.jav +++ /dev/null @@ -1,15 +0,0 @@ -class Test{ - methode(param1, param2, param3) { - return param1.meth(param2.meth(param3)); - } -} - -interface Klasse1{ - Klasse1 meth(Klasse1 p); - Klasse1 meth(Klasse2 p); -} - -interface Klasse2{ - Klasse1 meth(Klasse1 p); - Klasse2 meth(Klasse2 p); -} \ No newline at end of file diff --git a/resources/bytecode/javFiles/test1.jav b/resources/bytecode/javFiles/test1.jav deleted file mode 100644 index 4b34948e..00000000 --- a/resources/bytecode/javFiles/test1.jav +++ /dev/null @@ -1,7 +0,0 @@ -class Faculty { - - int a; - m (int x) { - return a+x; - } -} diff --git a/resources/insertGenerics/javFiles/TestAny.jav b/resources/insertGenerics/javFiles/TestAny.jav deleted file mode 100644 index 86c0ceb1..00000000 --- a/resources/insertGenerics/javFiles/TestAny.jav +++ /dev/null @@ -1,13 +0,0 @@ -class TestAny { - a; - b = a; - anyMethod() { - var f; - return f; - } - otherMethod(e) { - b = e; - e = a; - return e; - } -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestAssign.jav b/resources/insertGenerics/javFiles/TestAssign.jav deleted file mode 100644 index d401641e..00000000 --- a/resources/insertGenerics/javFiles/TestAssign.jav +++ /dev/null @@ -1,9 +0,0 @@ -class TestAssign { - assign(x, y) { - x = y; - } - - assign2(x, y) { - assign(x, y); - } -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestClassField.jav b/resources/insertGenerics/javFiles/TestClassField.jav deleted file mode 100644 index f3d24e51..00000000 --- a/resources/insertGenerics/javFiles/TestClassField.jav +++ /dev/null @@ -1,6 +0,0 @@ -class Example{ - f; - fReturn(){ - return f; - } -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestContraVariant.jav b/resources/insertGenerics/javFiles/TestContraVariant.jav deleted file mode 100644 index 9c060f0d..00000000 --- a/resources/insertGenerics/javFiles/TestContraVariant.jav +++ /dev/null @@ -1,38 +0,0 @@ -public class TestContraVariant { - main(x, y) { - var y2 = m(x, y); - var y3 = y2.snd(); - var z; - y3 = z; - return new Pair<>(x, z); - } - - m(x, y) { - var x2 = main(x, y); - var x3 = x2.fst(); - var z; - x3 = z; - return new Pair<>(z, y); - } -} - -class Pair { - public T x; - public U y; - - public Pair() { - } - - public Pair(T var1, U var2) { - x = var1; - y = var2; - } - - public T fst() { - return x; - } - - public U snd() { - return y; - } -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestGGFinder.jav b/resources/insertGenerics/javFiles/TestGGFinder.jav deleted file mode 100644 index cc94cad5..00000000 --- a/resources/insertGenerics/javFiles/TestGGFinder.jav +++ /dev/null @@ -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); - } -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestLocalVarLambda.jav b/resources/insertGenerics/javFiles/TestLocalVarLambda.jav deleted file mode 100644 index ab4455c7..00000000 --- a/resources/insertGenerics/javFiles/TestLocalVarLambda.jav +++ /dev/null @@ -1,7 +0,0 @@ -public class TestLocalVarLambda { - -m(x) { - var id = z -> z; - return id.apply(x); - } -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestMutualRecursion.jav b/resources/insertGenerics/javFiles/TestMutualRecursion.jav deleted file mode 100644 index 60ce72ca..00000000 --- a/resources/insertGenerics/javFiles/TestMutualRecursion.jav +++ /dev/null @@ -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); - } -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestMutualRecursionWithField.jav b/resources/insertGenerics/javFiles/TestMutualRecursionWithField.jav deleted file mode 100644 index 82dc42d2..00000000 --- a/resources/insertGenerics/javFiles/TestMutualRecursionWithField.jav +++ /dev/null @@ -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)); - } -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestMutualRecursionWithField2.jav b/resources/insertGenerics/javFiles/TestMutualRecursionWithField2.jav deleted file mode 100644 index 727e6031..00000000 --- a/resources/insertGenerics/javFiles/TestMutualRecursionWithField2.jav +++ /dev/null @@ -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)); - } -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestMutualRecursionWithField3.jav b/resources/insertGenerics/javFiles/TestMutualRecursionWithField3.jav deleted file mode 100644 index 24e09890..00000000 --- a/resources/insertGenerics/javFiles/TestMutualRecursionWithField3.jav +++ /dev/null @@ -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; - } -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestReturnVar.jav b/resources/insertGenerics/javFiles/TestReturnVar.jav deleted file mode 100644 index 0688e5b8..00000000 --- a/resources/insertGenerics/javFiles/TestReturnVar.jav +++ /dev/null @@ -1,6 +0,0 @@ -class VarReturn { - anyMethod() { - var f; - return f; - } -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestSecondLineOfClassConstraints.jav b/resources/insertGenerics/javFiles/TestSecondLineOfClassConstraints.jav deleted file mode 100644 index 16275a50..00000000 --- a/resources/insertGenerics/javFiles/TestSecondLineOfClassConstraints.jav +++ /dev/null @@ -1,12 +0,0 @@ -class Example { - a; - b = a; - anyMethod() { - var f; - return f; - } - otherMethod(e) { - e = a; - return e; - } -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestTPHsAndGenerics.jav b/resources/insertGenerics/javFiles/TestTPHsAndGenerics.jav deleted file mode 100644 index 33a79e51..00000000 --- a/resources/insertGenerics/javFiles/TestTPHsAndGenerics.jav +++ /dev/null @@ -1,13 +0,0 @@ -class TPHsAndGenerics { - id = x -> x; - id2 (x) { - return id.apply(x); - } - m(a, b){ - var c = m2(a,b); - return a; - } - m2(a, b){ - return b; - } -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestTPHsAndGenerics2.jav b/resources/insertGenerics/javFiles/TestTPHsAndGenerics2.jav deleted file mode 100644 index 2a75e829..00000000 --- a/resources/insertGenerics/javFiles/TestTPHsAndGenerics2.jav +++ /dev/null @@ -1,14 +0,0 @@ -class TPHsAndGenerics2 { - id = x -> x; - id2 (x) { - return id.apply(x); - } - m(a, b){ - var c = m2(a,b); - return a; - } - m2(a, b){ - return b; - } - -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestThreeArgs.jav b/resources/insertGenerics/javFiles/TestThreeArgs.jav deleted file mode 100644 index fe22dd3c..00000000 --- a/resources/insertGenerics/javFiles/TestThreeArgs.jav +++ /dev/null @@ -1,15 +0,0 @@ -public class TestThreeArgs { - a; - - id(b) { - var a /* = null */; - var c = b; - m(a,a,b); - return c; - } - - m(x,y, z) { - x = id(y); - return x; - } -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestTwoArgs.jav b/resources/insertGenerics/javFiles/TestTwoArgs.jav deleted file mode 100644 index b4754fe4..00000000 --- a/resources/insertGenerics/javFiles/TestTwoArgs.jav +++ /dev/null @@ -1,29 +0,0 @@ -public class TestTwoArgs // -{ - //AS - a; - - //AN -> AN - id(b) { - var c = b; - return c; - } - - //T -> AS - setA(x) { - a = x; - return a; - } - - //(AG,Z) -> AG - m(x,y) { - x = id(y); - return x; - } - - // (AI, AH) -> AG - main(x,y) { - return m(id(x),setA(y)); - } -} - diff --git a/resources/insertGenerics/javFiles/TestTwoArgs2.jav b/resources/insertGenerics/javFiles/TestTwoArgs2.jav deleted file mode 100644 index f8c270a7..00000000 --- a/resources/insertGenerics/javFiles/TestTwoArgs2.jav +++ /dev/null @@ -1,17 +0,0 @@ -public class TestTwoArgs2 { - a; - - id(b) { - var c = b; - return c; - } - - m(x,y) { - x = id(y); - return x; - } - - main(x,y) { - return m(id(x),m(x,y)); - } -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestTwoCalls.jav b/resources/insertGenerics/javFiles/TestTwoCalls.jav deleted file mode 100644 index e3f0cfc4..00000000 --- a/resources/insertGenerics/javFiles/TestTwoCalls.jav +++ /dev/null @@ -1,14 +0,0 @@ -public class TestTwoCalls { - - // O -> O - id(b) { - var c = b; - return c; - } - - // (S, T) -> T - main(x,y) { - id(x); - return id(y); - } -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestVector.jav b/resources/insertGenerics/javFiles/TestVector.jav deleted file mode 100644 index 5f29c834..00000000 --- a/resources/insertGenerics/javFiles/TestVector.jav +++ /dev/null @@ -1,12 +0,0 @@ -import java.util.Vector; - -public class TestVector { - - m(v, w) { - w.addElement(id(v.elementAt(0))); - } - - id(x) { - return x; - } -} diff --git a/resources/insertGenerics/javFiles/TestVectorArg.jav b/resources/insertGenerics/javFiles/TestVectorArg.jav deleted file mode 100644 index ca29f820..00000000 --- a/resources/insertGenerics/javFiles/TestVectorArg.jav +++ /dev/null @@ -1,12 +0,0 @@ -import java.util.Vector; - -public class TestVectorArg { - - add(v, e) { - v.addElement(e); - } - - main(v, e) { - add(v, e); - } -} \ No newline at end of file diff --git a/resources/insertGenerics/javFiles/TestVoidMeth.jav b/resources/insertGenerics/javFiles/TestVoidMeth.jav deleted file mode 100644 index 50ee7206..00000000 --- a/resources/insertGenerics/javFiles/TestVoidMeth.jav +++ /dev/null @@ -1,4 +0,0 @@ -class VoidMeth { - anyMethod() { - } -} \ No newline at end of file diff --git a/resources/packageTest/pkg/sub/Cycle1.jav b/resources/packageTest/pkg/sub/Cycle1.jav deleted file mode 100644 index 79267a07..00000000 --- a/resources/packageTest/pkg/sub/Cycle1.jav +++ /dev/null @@ -1,11 +0,0 @@ -package pkg.sub; - -import java.lang.Integer; -import pkg.sub2.Cycle2; - -public class Cycle1 { - test() { - var cycle2 = new Cycle2(); - cycle2.test(); - } -} \ No newline at end of file diff --git a/resources/packageTest/pkg/sub/Interface.jav b/resources/packageTest/pkg/sub/Interface.jav deleted file mode 100644 index 388b4249..00000000 --- a/resources/packageTest/pkg/sub/Interface.jav +++ /dev/null @@ -1,3 +0,0 @@ -package pkg.sub; - -public interface Interface {} diff --git a/resources/packageTest/pkg/sub/Test1.jav b/resources/packageTest/pkg/sub/Test1.jav deleted file mode 100644 index 7acebfb0..00000000 --- a/resources/packageTest/pkg/sub/Test1.jav +++ /dev/null @@ -1,11 +0,0 @@ -package pkg.sub; - -import pkg.sub2.Test2; - -public class Test1 { - - main() { - var t2 = new Test2(); - t2.test(); - } -} \ No newline at end of file diff --git a/resources/packageTest/pkg/sub2/Cycle2.jav b/resources/packageTest/pkg/sub2/Cycle2.jav deleted file mode 100644 index 8a13e10c..00000000 --- a/resources/packageTest/pkg/sub2/Cycle2.jav +++ /dev/null @@ -1,11 +0,0 @@ -package pkg.sub2; - -import java.lang.Integer; -import pkg.sub.Cycle1; - -public class Cycle2 { - test() { - var cycle1 = new Cycle1(); - cycle1.test(); - } -} \ No newline at end of file diff --git a/resources/packageTest/pkg/sub2/Test2.jav b/resources/packageTest/pkg/sub2/Test2.jav deleted file mode 100644 index a7f8927b..00000000 --- a/resources/packageTest/pkg/sub2/Test2.jav +++ /dev/null @@ -1,6 +0,0 @@ -package pkg.sub2; - -public class Test2 { - - test() {} -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/BinaryInMeth.ast b/resources/syntaxtreegenerator/BinaryInMeth.ast deleted file mode 100644 index 5bb1379c..00000000 --- a/resources/syntaxtreegenerator/BinaryInMeth.ast +++ /dev/null @@ -1,22 +0,0 @@ -class BinaryInMeth { - -BinaryInMeth(){ - super(()); - } - TPH CMNB m(TPH CMNC a){ - return ++a; - } - - TPH CMNF m2(TPH CMNG a, TPH CMNH b){ - return this.m Signature: [TPH CMNK, TPH CMNL](a op b); - } - - TPH CMNP m3(TPH CMNQ a){ - return this.m Signature: [TPH CMNT, TPH CMNU](++a); - } - - BinaryInMeth(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Box.ast b/resources/syntaxtreegenerator/Box.ast deleted file mode 100644 index 1bc437b3..00000000 --- a/resources/syntaxtreegenerator/Box.ast +++ /dev/null @@ -1,25 +0,0 @@ -class B { - -B(){ - super(()); - } - B(){ - super(()); - } - -}class Box_Main { - -Box_Main(){ - super(()); - } - TPH T m(TPH U b){ - b.m Signature: [TPH W, TPH X](new Box_Main()); - b.m Signature: [TPH AB, TPH AC](new B()); - return; - } - - Box_Main(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/ClassGenLam.ast b/resources/syntaxtreegenerator/ClassGenLam.ast deleted file mode 100644 index 30b43454..00000000 --- a/resources/syntaxtreegenerator/ClassGenLam.ast +++ /dev/null @@ -1,14 +0,0 @@ -class ClassGenLam { - - TPH HWDB lam; -ClassGenLam(){ - super(()); - this.lam = (TPH HWDC x) -> { - return x; - }; - } - ClassGenLam(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Cycle.ast b/resources/syntaxtreegenerator/Cycle.ast deleted file mode 100644 index 18b435a8..00000000 --- a/resources/syntaxtreegenerator/Cycle.ast +++ /dev/null @@ -1,16 +0,0 @@ -class Cycle { - -Cycle(){ - super(()); - } - TPH GGXG m(TPH GGXH x, TPH GGXI y){ - y = x; - x = y; - return; - } - - Cycle(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Fac.ast b/resources/syntaxtreegenerator/Fac.ast deleted file mode 100644 index b15ecdd5..00000000 --- a/resources/syntaxtreegenerator/Fac.ast +++ /dev/null @@ -1,22 +0,0 @@ -class Fac { - -Fac(){ - super(()); - } - TPH BSTE getFac(TPH BSTF n){ - TPH BSTG res; - res = 1; - TPH BSTI i; - i = 1; - while(i op n){ - res = res op i; - i++; - }; - return res; - } - - Fac(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Faculty.ast b/resources/syntaxtreegenerator/Faculty.ast deleted file mode 100644 index 66c777a8..00000000 --- a/resources/syntaxtreegenerator/Faculty.ast +++ /dev/null @@ -1,25 +0,0 @@ -class Faculty { - - TPH DDAL fact; -Faculty(){ - super(()); - } - TPH DDBK getFact(java.lang.Integer x){ - return this.fact.apply Signature: [TPH DDBM, TPH DDBN](x); - } - - Faculty(){ - super(()); - this.fact = (TPH DDAO x) -> { - if(x op 1) - { - return 1; - } - else - { - return x op this.fact.apply Signature: [TPH DDAW, TPH DDAX](x op 1); - }; - }; - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Field.ast b/resources/syntaxtreegenerator/Field.ast deleted file mode 100644 index 43ffa1a6..00000000 --- a/resources/syntaxtreegenerator/Field.ast +++ /dev/null @@ -1,16 +0,0 @@ -class Field { - - TPH JBCG x; -Field(){ - super(()); - this.x = 5; - } - TPH JBCJ m(){ - return this.x; - } - - Field(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/FieldTph2.ast b/resources/syntaxtreegenerator/FieldTph2.ast deleted file mode 100644 index 23c7c163..00000000 --- a/resources/syntaxtreegenerator/FieldTph2.ast +++ /dev/null @@ -1,21 +0,0 @@ -class FieldTph2 { - - TPH DJBG a; -FieldTph2(){ - super(()); - } - TPH DJBH m(TPH DJBI b){ - b = this.a; - return b; - } - - TPH DJBL m2(TPH DJBM c){ - this.a = c; - return; - } - - FieldTph2(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/FieldTphConsMeth.ast b/resources/syntaxtreegenerator/FieldTphConsMeth.ast deleted file mode 100644 index 9ada6011..00000000 --- a/resources/syntaxtreegenerator/FieldTphConsMeth.ast +++ /dev/null @@ -1,27 +0,0 @@ -class FieldTphConsMeth { - - TPH AINS a; -FieldTphConsMeth(){ - super(()); - } - TPH AIOE id(TPH AIOF b){ - return b; - } - - TPH AIOH setA(TPH AIOI x){ - this.a = x; - return this.a; - } - - TPH AIOM m(TPH AION x, TPH AIOO y){ - x = this.id Signature: [TPH AIOQ, TPH AIOR](y); - return; - } - - FieldTphConsMeth(TPH AINU c){ - super(()); - this.a = this.id Signature: [TPH AINX, TPH AINY](c); - return; - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/FieldTphMMeth.ast b/resources/syntaxtreegenerator/FieldTphMMeth.ast deleted file mode 100644 index 3a0cacd1..00000000 --- a/resources/syntaxtreegenerator/FieldTphMMeth.ast +++ /dev/null @@ -1,33 +0,0 @@ -class FieldTphMMeth { - - TPH HBWQ a; -FieldTphMMeth(){ - super(()); - } - TPH HBXG m(TPH HBXH b, TPH HBXI d, TPH HBXJ e){ - if(e) - { - return this.m3 Signature: [TPH HBXL, TPH HBXM](b); - } - else - { - return this.m3 Signature: [TPH HBXR, TPH HBXS](d); - }; - } - - TPH HBXY m2(TPH HBXZ b){ - this.a = this.m3 Signature: [TPH HBYC, TPH HBYD](b); - return; - } - - TPH HBYH m3(TPH HBYI b){ - return b; - } - - FieldTphMMeth(TPH HBWS c, TPH HBWT d, TPH HBWU e){ - super(()); - this.a = this.m Signature: [TPH HBWX, TPH HBWY, TPH HBWZ, TPH HBXA](c, d, e); - return; - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Gen.ast b/resources/syntaxtreegenerator/Gen.ast deleted file mode 100644 index 20f54843..00000000 --- a/resources/syntaxtreegenerator/Gen.ast +++ /dev/null @@ -1,14 +0,0 @@ -class Gen { - -Gen(){ - super(()); - } - java.util.Vector m(java.util.Vector v){ - return v; - } - - Gen(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Id.ast b/resources/syntaxtreegenerator/Id.ast deleted file mode 100644 index 4b375d27..00000000 --- a/resources/syntaxtreegenerator/Id.ast +++ /dev/null @@ -1,18 +0,0 @@ -class Id { - - TPH BDGF id2; -Id(){ - super(()); - this.id2 = (TPH BDGG x) -> { - return x; - }; - } - TPH BDGM id3(TPH BDGN x){ - return this.id2.apply Signature: [TPH BDGP, TPH BDGQ](x); - } - - Id(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Inf.ast b/resources/syntaxtreegenerator/Inf.ast deleted file mode 100644 index 5425c25d..00000000 --- a/resources/syntaxtreegenerator/Inf.ast +++ /dev/null @@ -1,28 +0,0 @@ -class Inf { - -Inf(){ - super(()); - } - TPH KYAM m(TPH KYAN x, TPH KYAO y, TPH KYAP a){ - TPH KYAQ z; - TPH KYAR v; - TPH KYAS w; - TPH KYAT b; - y = x; - z = x; - v = y; - w = y; - y = a; - b = a; - TPH KYAU c; - TPH KYAV d; - c = v; - d = v; - return; - } - - Inf(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Instanceof.ast b/resources/syntaxtreegenerator/Instanceof.ast deleted file mode 100644 index 29d07548..00000000 --- a/resources/syntaxtreegenerator/Instanceof.ast +++ /dev/null @@ -1,44 +0,0 @@ -class Instanceof { - -Instanceof(){ - super(()); - } - void checkInstanceof(){ - TPH a; - a = 4; - return a instanceof java.lang.Integer; - } - - void checkInstanceOfWithPattern(){ - TPH b; - b = 4.0; - if(b instanceof d) - { - return d; - } - else - { - return Kein Double; - }; - } - - void checkInstanceOfWithGuardedPattern(){ - TPH obj; - obj = test; - TPH flag; - if(obj instanceof s op s.length Signature: [TPH]() op 5) - { - flag = s.contains Signature: [TPH, TPH](jdk); - }; - return; - } - - java.lang.Boolean equals(java.lang.Object o){ - return o instanceof other op x op other.x op y op other.y; - } - - Instanceof(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/KompTph.ast b/resources/syntaxtreegenerator/KompTph.ast deleted file mode 100644 index 0cde6326..00000000 --- a/resources/syntaxtreegenerator/KompTph.ast +++ /dev/null @@ -1,26 +0,0 @@ -class KompTph { - -KompTph(){ - super(()); - } - TPH EOGX m(TPH EOGY a, TPH EOGZ b, TPH EOHA c){ - TPH EOHB d; - d = a; - TPH EOHC e; - e = a; - a = b; - c = b; - this.m2 Signature: [TPH EOHE, TPH EOHF, TPH EOHG](a, c); - return; - } - - TPH EOHK m2(TPH EOHL a, TPH EOHM b){ - this.m Signature: [TPH EOHO, TPH EOHP, TPH EOHQ, TPH EOHR](a, a, b); - return; - } - - KompTph(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Lambda.ast b/resources/syntaxtreegenerator/Lambda.ast deleted file mode 100644 index 1cdc8f14..00000000 --- a/resources/syntaxtreegenerator/Lambda.ast +++ /dev/null @@ -1,18 +0,0 @@ -class Lambda { - -Lambda(){ - super(()); - } - TPH KIZQ m(){ - TPH KIZR lam1; - lam1 = (TPH KIZS x) -> { - return x; - }; - return lam1; - } - - Lambda(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/LambdaCapture.ast b/resources/syntaxtreegenerator/LambdaCapture.ast deleted file mode 100644 index de4944bf..00000000 --- a/resources/syntaxtreegenerator/LambdaCapture.ast +++ /dev/null @@ -1,18 +0,0 @@ -class LambdaCapture { - - java.lang.Integer i; - TPH BIMD f; -LambdaCapture(){ - super(()); - this.i = 8; - } - LambdaCapture(){ - super(()); - java.lang.Integer w; - w = 7; - this.f = (TPH BIMH j) -> { - return w op this.i; - }; - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Matrix.ast b/resources/syntaxtreegenerator/Matrix.ast deleted file mode 100644 index f4779af2..00000000 --- a/resources/syntaxtreegenerator/Matrix.ast +++ /dev/null @@ -1,52 +0,0 @@ -class Matrix { - -Matrix(){ - super(()); - } - TPH SBB mul(TPH SBC m){ - TPH SBD ret; - ret = new Matrix(); - TPH SBF i; - i = 0; - while(i op this.size Signature: [TPH SBJ]()){ - TPH SBM v1; - v1 = this.elementAt Signature: [TPH SBO, TPH SBP](i); - TPH SBS v2; - v2 = new java.util.Vector(); - TPH SBU j; - j = 0; - while(j op v1.size Signature: [TPH SBX]()){ - TPH SCA erg; - erg = 0; - TPH SCC k; - k = 0; - while(k op v1.size Signature: [TPH SCF]()){ - erg = erg op v1.elementAt Signature: [TPH SCI, TPH SCJ](k) op m.elementAt Signature: [TPH SCM, TPH SCN](k).elementAt Signature: [TPH SCQ, TPH SCR](j); - k++; - }; - v2.addElement Signature: [TPH SCZ, TPH SDA](erg); - j++; - }; - ret.addElement Signature: [TPH SDG, TPH SDH](v2); - i++; - }; - return ret; - } - - Matrix(){ - super(()); - return; - } - - Matrix(TPH SAF vv){ - super(()); - java.lang.Integer i; - i = 0; - while(i op vv.size Signature: [TPH SAI]()){ - this.add Signature: [TPH SAQ, TPH SAR](vv.elementAt Signature: [TPH SAM, TPH SAN](i)); - i = i op 1; - }; - return; - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/MatrixOP.ast b/resources/syntaxtreegenerator/MatrixOP.ast deleted file mode 100644 index 4ea4d5e0..00000000 --- a/resources/syntaxtreegenerator/MatrixOP.ast +++ /dev/null @@ -1,52 +0,0 @@ -class MatrixOP { - - TPH JGDT mul; -MatrixOP(){ - super(()); - this.mul = (TPH JGDU m1, TPH JGDV m2) -> { - TPH JGDW ret; - ret = new MatrixOP(); - TPH JGDY i; - i = 0; - while(i op m1.size Signature: [TPH JGEB]()){ - TPH JGEE v1; - v1 = m1.elementAt Signature: [TPH JGEF, TPH JGEG](i); - TPH JGEJ v2; - v2 = new java.util.Vector(); - TPH JGEL j; - j = 0; - while(j op v1.size Signature: [TPH JGEO]()){ - TPH JGER erg; - erg = 0; - TPH JGET k; - k = 0; - while(k op v1.size Signature: [TPH JGEW]()){ - erg = erg op v1.elementAt Signature: [TPH JGEZ, TPH JGFA](k) op m2.elementAt Signature: [TPH JGFD, TPH JGFE](k).elementAt Signature: [TPH JGFH, TPH JGFI](j); - k++; - }; - v2.addElement Signature: [TPH JGFQ, TPH JGFR](erg); - j++; - }; - ret.addElement Signature: [TPH JGFX, TPH JGFY](v2); - i++; - }; - return ret; - }; - } - MatrixOP(){ - super(()); - return; - } - - MatrixOP(TPH JGGP vv){ - super(()); - java.lang.Integer i; - i = 0; - while(i op vv.size Signature: [TPH JGGS]()){ - this.add Signature: [TPH JGHA, TPH JGHB](vv.elementAt Signature: [TPH JGGW, TPH JGGX](i)); - i = i op 1; - }; - return; - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Merge.ast b/resources/syntaxtreegenerator/Merge.ast deleted file mode 100644 index c3632d11..00000000 --- a/resources/syntaxtreegenerator/Merge.ast +++ /dev/null @@ -1,23 +0,0 @@ -class Merge { - -Merge(){ - super(()); - } - TPH JQYM merge(TPH JQYN a, TPH JQYO b){ - a.addAll Signature: [TPH JQYP, TPH JQYQ](b); - return a; - } - - TPH JQYU sort(TPH JQYV in){ - TPH JQYW firstHalf; - firstHalf = in.subList Signature: [TPH JQYZ, TPH JQZA, TPH JQZB](1, 2); - TPH JQZE secondHalf; - secondHalf = in.subList Signature: [TPH JQZH, TPH JQZI, TPH JQZJ](1, 2); - return this.merge Signature: [TPH JQZX, TPH JQZY, TPH JQZZ](this.sort Signature: [TPH JQZO, TPH JQZP](firstHalf), this.sort Signature: [TPH JQZT, TPH JQZU](secondHalf)); - } - - Merge(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/OL.ast b/resources/syntaxtreegenerator/OL.ast deleted file mode 100644 index 96ea1505..00000000 --- a/resources/syntaxtreegenerator/OL.ast +++ /dev/null @@ -1,41 +0,0 @@ -class OL { - -OL(){ - super(()); - } - java.lang.Double m(java.lang.Double x){ - return x op x; - } - - java.lang.Integer m(java.lang.Integer x){ - return x op x; - } - - java.lang.String m(java.lang.String x){ - return x op x; - } - - java.lang.Boolean m(java.lang.Boolean x){ - return x; - } - - OL(){ - super(()); - } - -}class OLMain { - -OLMain(){ - super(()); - } - TPH BYOF main(TPH BYOG x){ - TPH BYOH ol; - ol = new OL(); - return ol.m Signature: [TPH BYOJ, TPH BYOK](x); - } - - OLMain(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/OLFun.ast b/resources/syntaxtreegenerator/OLFun.ast deleted file mode 100644 index 4f5e08f1..00000000 --- a/resources/syntaxtreegenerator/OLFun.ast +++ /dev/null @@ -1,22 +0,0 @@ -class OLFun { - -OLFun(){ - super(()); - } - TPH JXJR m(TPH JXJS f, TPH JXJT x){ - x = f.apply Signature: [TPH JXJV, TPH JXJW](x op x); - return x; - } - - TPH JXKA m2(TPH JXKB y){ - this.m Signature: [TPH JXKK, TPH JXKL, TPH JXKM]((TPH JXKD x) -> { - return x op 2; - }, y); - return; - } - - OLFun(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/OLFun2.ast b/resources/syntaxtreegenerator/OLFun2.ast deleted file mode 100644 index 57415e3d..00000000 --- a/resources/syntaxtreegenerator/OLFun2.ast +++ /dev/null @@ -1,16 +0,0 @@ -class OLFun2 { - - TPH CTXA x; -OLFun2(){ - super(()); - } - TPH CTXB m(TPH CTXC f){ - this.x = f.apply Signature: [TPH CTXH, TPH CTXI](this.x op this.x); - return; - } - - OLFun2(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Overloading.ast b/resources/syntaxtreegenerator/Overloading.ast deleted file mode 100644 index 29fd0bb1..00000000 --- a/resources/syntaxtreegenerator/Overloading.ast +++ /dev/null @@ -1,31 +0,0 @@ -class Overloading { - -Overloading(){ - super(()); - } - TPH N test(TPH O x){ - return x.methode Signature: [TPH P](); - } - - TPH T methode(){ - return Overloading; - } - - Overloading(){ - super(()); - } - -}class Overloading2 { - -Overloading2(){ - super(()); - } - TPH AO methode(){ - return Overloading2; - } - - Overloading2(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Pair.ast b/resources/syntaxtreegenerator/Pair.ast deleted file mode 100644 index 67a01833..00000000 --- a/resources/syntaxtreegenerator/Pair.ast +++ /dev/null @@ -1,20 +0,0 @@ -class Pair { - - U a; - T b; -Pair(){ - super(()); - } - TPH IURS make(TPH IURT x){ - TPH IURU ret; - ret = new Pair(); - ret.a = x.elementAt Signature: [TPH IUSA, TPH IUSB](0); - ret.b = x.elementAt Signature: [TPH IUSG, TPH IUSH](1); - return ret; - } - - Pair(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/PatternMatching.ast b/resources/syntaxtreegenerator/PatternMatching.ast deleted file mode 100644 index 41a24534..00000000 --- a/resources/syntaxtreegenerator/PatternMatching.ast +++ /dev/null @@ -1,120 +0,0 @@ -class Point { - - java.lang.Integer x; - java.lang.Integer y; -Point(java.lang.Integer x, java.lang.Integer y){ - super(()); - this.x = x; - this.y = y; - } - java.lang.Integer x(){ - return this.x; - } - - java.lang.Integer y(){ - return this.y; - } - - Point(java.lang.Integer x, java.lang.Integer y){ - super(()); - this.x = x; - this.y = y; - } - -}class Shape { - -}class ColoredPoint { - - Point pt; - java.lang.String color; -ColoredPoint(Point pt, java.lang.String color){ - super(()); - this.pt = pt; - this.color = color; - } - Point pt(){ - return this.pt; - } - - java.lang.String color(){ - return this.color; - } - - ColoredPoint(Point pt, java.lang.String color){ - super(()); - this.pt = pt; - this.color = color; - } - -}class Rectangle { - - ColoredPoint upperLeft; - ColoredPoint lowerRight; -Rectangle(ColoredPoint upperLeft, ColoredPoint lowerRight){ - super(()); - this.upperLeft = upperLeft; - this.lowerRight = lowerRight; - } - ColoredPoint upperLeft(){ - return this.upperLeft; - } - - ColoredPoint lowerRight(){ - return this.lowerRight; - } - - Rectangle(ColoredPoint upperLeft, ColoredPoint lowerRight){ - super(()); - this.upperLeft = upperLeft; - this.lowerRight = lowerRight; - } - -}class Color { - -Color(){ - super(()); - } - Color(){ - super(()); - } - -}class Blue { - -Blue(){ - super(()); - } - Blue(){ - super(()); - } - -}class Red { - -Red(){ - super(()); - } - Red(){ - super(()); - } - -}class PatternMatching { - -PatternMatching(){ - super(()); - } - void printColorOfUpperLeftPoint(Shape shape){ - switch(shape){ - case Rectangle(ColoredPoint(Point pt, java.lang.String color), ColoredPoint lowerRight): - System.out.println Signature: [TPH, TPH](x: op pt.x Signature: [TPH]() op / color: op color op / lowerRight: op lowerRight); - - default: - System.out.println Signature: [TPH, TPH](not a rectangle); - - }; - return; - } - - PatternMatching(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Plus.ast b/resources/syntaxtreegenerator/Plus.ast deleted file mode 100644 index c395f007..00000000 --- a/resources/syntaxtreegenerator/Plus.ast +++ /dev/null @@ -1,14 +0,0 @@ -class Plus { - -Plus(){ - super(()); - } - TPH ACHZ m(TPH ACIA a, TPH ACIB b){ - return a op b; - } - - Plus(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Record.ast b/resources/syntaxtreegenerator/Record.ast deleted file mode 100644 index 26d95878..00000000 --- a/resources/syntaxtreegenerator/Record.ast +++ /dev/null @@ -1,47 +0,0 @@ -class Point { - - TPH x; - TPH y; -Point(TPH x, TPH y){ - super(()); - this.x = x; - this.y = y; - } - TPH x(){ - return this.x; - } - - TPH y(){ - return this.y; - } - - Point(TPH x, TPH y){ - super(()); - this.x = x; - this.y = y; - } - -}class Line { - - TPH pt1; - TPH pt2; -Line(TPH pt1, TPH pt2){ - super(()); - this.pt1 = pt1; - this.pt2 = pt2; - } - TPH pt1(){ - return this.pt1; - } - - TPH pt2(){ - return this.pt2; - } - - Line(TPH pt1, TPH pt2){ - super(()); - this.pt1 = pt1; - this.pt2 = pt2; - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/RelOps.ast b/resources/syntaxtreegenerator/RelOps.ast deleted file mode 100644 index 4b8fa1dd..00000000 --- a/resources/syntaxtreegenerator/RelOps.ast +++ /dev/null @@ -1,14 +0,0 @@ -class RelOps { - -RelOps(){ - super(()); - } - TPH IPBY m(TPH IPBZ a, TPH IPCA b){ - return a op b; - } - - RelOps(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Scalar.ast b/resources/syntaxtreegenerator/Scalar.ast deleted file mode 100644 index fddde3ad..00000000 --- a/resources/syntaxtreegenerator/Scalar.ast +++ /dev/null @@ -1,29 +0,0 @@ -class Scalar { - -Scalar(){ - super(()); - } - TPH KOXT mul(TPH KOXU v){ - TPH KOXV ret; - ret = 0; - TPH KOXX i; - i = 0; - while(i op this.size Signature: [TPH KOYB]()){ - ret = ret op this.elementAt Signature: [TPH KOYF, TPH KOYG](i) op v.elementAt Signature: [TPH KOYJ, TPH KOYK](i); - i = i op 1; - }; - return ret; - } - - Scalar(TPH KOWX v){ - super(()); - java.lang.Integer i; - i = 0; - while(i op v.size Signature: [TPH KOXA]()){ - this.add Signature: [TPH KOXI, TPH KOXJ](v.elementAt Signature: [TPH KOXE, TPH KOXF](i)); - i = i op 1; - }; - return; - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Sealed.ast b/resources/syntaxtreegenerator/Sealed.ast deleted file mode 100644 index 24423ca0..00000000 --- a/resources/syntaxtreegenerator/Sealed.ast +++ /dev/null @@ -1,144 +0,0 @@ -class Shape { - -Shape(){ - super(()); - } - Shape(){ - super(()); - } - -}class Circle { - -Circle(){ - super(()); - } - Circle(){ - super(()); - } - -}class Rectangle { - -Rectangle(){ - super(()); - } - Rectangle(){ - super(()); - } - -}class TransparentRectangle { - -TransparentRectangle(){ - super(()); - } - TransparentRectangle(){ - super(()); - } - -}class FilledRectangle { - -FilledRectangle(){ - super(()); - } - FilledRectangle(){ - super(()); - } - -}class Square { - -Square(){ - super(()); - } - Square(){ - super(()); - } - -}class WeirdShape { - -WeirdShape(){ - super(()); - } - WeirdShape(){ - super(()); - } - -}class Expr { - -}class ConstantExpr { - - java.lang.Integer i; -ConstantExpr(java.lang.Integer i){ - super(()); - this.i = i; - } - java.lang.Integer i(){ - return this.i; - } - - ConstantExpr(java.lang.Integer i){ - super(()); - this.i = i; - } - -}class PlusExpr { - - Expr a; - Expr b; -PlusExpr(Expr a, Expr b){ - super(()); - this.a = a; - this.b = b; - } - Expr a(){ - return this.a; - } - - Expr b(){ - return this.b; - } - - PlusExpr(Expr a, Expr b){ - super(()); - this.a = a; - this.b = b; - } - -}class TimesExpr { - - Expr a; - Expr b; -TimesExpr(Expr a, Expr b){ - super(()); - this.a = a; - this.b = b; - } - Expr a(){ - return this.a; - } - - Expr b(){ - return this.b; - } - - TimesExpr(Expr a, Expr b){ - super(()); - this.a = a; - this.b = b; - } - -}class NegExpr { - - Expr e; -NegExpr(Expr e){ - super(()); - this.e = e; - } - Expr e(){ - return this.e; - } - - NegExpr(Expr e){ - super(()); - this.e = e; - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/SimpleCycle.ast b/resources/syntaxtreegenerator/SimpleCycle.ast deleted file mode 100644 index 771757a9..00000000 --- a/resources/syntaxtreegenerator/SimpleCycle.ast +++ /dev/null @@ -1,18 +0,0 @@ -class SimpleCycle { - -SimpleCycle(){ - super(()); - } - TPH ETMJ m(){ - TPH ETMK g; - TPH ETML h; - g = h; - h = g; - return; - } - - SimpleCycle(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Sorting.ast b/resources/syntaxtreegenerator/Sorting.ast deleted file mode 100644 index 979d2687..00000000 --- a/resources/syntaxtreegenerator/Sorting.ast +++ /dev/null @@ -1,23 +0,0 @@ -class Sorting { - -Sorting(){ - super(()); - } - TPH JNN merge(TPH JNO a, TPH JNP b){ - a.addAll Signature: [TPH JNQ, TPH JNR](b); - return a; - } - - TPH JNV sort(TPH JNW in){ - TPH JNX firstHalf; - firstHalf = in; - TPH JNY secondHalf; - secondHalf = in; - return this.merge Signature: [TPH JOK, TPH JOL, TPH JOM](this.sort Signature: [TPH JOB, TPH JOC](firstHalf), this.sort Signature: [TPH JOG, TPH JOH](secondHalf)); - } - - Sorting(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/SubMatrix.ast b/resources/syntaxtreegenerator/SubMatrix.ast deleted file mode 100644 index 61ab2f22..00000000 --- a/resources/syntaxtreegenerator/SubMatrix.ast +++ /dev/null @@ -1,26 +0,0 @@ -class Matrix2 { - -Matrix2(){ - super(()); - } - Matrix2(){ - super(()); - } - -}class SubMatrix { - -SubMatrix(){ - super(()); - } - TPH DOFK m(){ - java.util.Vector v; - v = new java.util.Vector(); - v.add Signature: [TPH DOFN, TPH DOFO](1); - return; - } - - SubMatrix(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Switch.ast b/resources/syntaxtreegenerator/Switch.ast deleted file mode 100644 index f6dfd8fb..00000000 --- a/resources/syntaxtreegenerator/Switch.ast +++ /dev/null @@ -1,96 +0,0 @@ -class SwitchStatement { - -SwitchStatement(){ - super(()); - } - TPH switchStandard(){ - str = SwitchMe; - switch(str){ - case java.lang.String s: - return true; - - default: - return false; - - }; - } - - TPH switchInteger(){ - i = 5; - switch(i){ - case java.lang.Integer j: - case java.lang.String s: - i = 6; - break; - - default: - i = 0; - break; - - }; - return i op 0; - } - - TPH guardedPattern(){ - TPH i; - i = 1; - switch(i){ - case java.lang.Integer j: - return true; - - default: - return false; - - }; - } - - TPH recordPattern(java.lang.Object obj){ - switch(obj){ - case Coordinates(java.lang.Double lat, java.lang.Double lon): - return true; - - default: - return false; - - }; - } - - SwitchStatement(){ - super(()); - } - -}class SwitchExpression { - - java.lang.Integer x; - java.lang.Integer y; -SwitchExpression(java.lang.Integer x, java.lang.Integer y){ - super(()); - this.x = x; - this.y = y; - } - java.lang.Integer x(){ - return this.x; - } - - java.lang.Integer y(){ - return this.y; - } - - java.lang.Boolean switchStandard(TPH str){ - return switch(str){ - case java.lang.String s: - yield true; - - default: - yield false; - - }; - } - - SwitchExpression(java.lang.Integer x, java.lang.Integer y){ - super(()); - this.x = x; - this.y = y; - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/TXGenerics.ast b/resources/syntaxtreegenerator/TXGenerics.ast deleted file mode 100644 index 1c4a0eab..00000000 --- a/resources/syntaxtreegenerator/TXGenerics.ast +++ /dev/null @@ -1,19 +0,0 @@ -class TXGenerics { - - TPH GLEG a; - TPH GLEH b; -TXGenerics(){ - super(()); - } - TPH GLEI test(){ - TPH GLEJ c; - c = new Cycle(); - c.m Signature: [TPH GLEN, TPH GLEO, TPH GLEP](this.a, this.b); - return; - } - - TXGenerics(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Tph.ast b/resources/syntaxtreegenerator/Tph.ast deleted file mode 100644 index 939f9a57..00000000 --- a/resources/syntaxtreegenerator/Tph.ast +++ /dev/null @@ -1,20 +0,0 @@ -class Tph { - -Tph(){ - super(()); - } - TPH BNOP m(TPH BNOQ a, TPH BNOR b){ - TPH BNOS c; - c = this.m2 Signature: [TPH BNOU, TPH BNOV](b); - return a; - } - - TPH BNOZ m2(TPH BNPA b){ - return b; - } - - Tph(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Tph2.ast b/resources/syntaxtreegenerator/Tph2.ast deleted file mode 100644 index f138866a..00000000 --- a/resources/syntaxtreegenerator/Tph2.ast +++ /dev/null @@ -1,18 +0,0 @@ -class Tph2 { - - TPH FGYW id; -Tph2(){ - super(()); - this.id = (TPH FGYX x) -> { - return x; - }; - } - TPH FGZD id3(TPH FGZE x){ - return this.id.apply Signature: [TPH FGZG, TPH FGZH](x); - } - - Tph2(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Tph3.ast b/resources/syntaxtreegenerator/Tph3.ast deleted file mode 100644 index cfbf0bc3..00000000 --- a/resources/syntaxtreegenerator/Tph3.ast +++ /dev/null @@ -1,21 +0,0 @@ -class Tph3 { - -Tph3(){ - super(()); - } - TPH FMEJ m1(TPH FMEK x, TPH FMEL y){ - this.m2 Signature: [TPH FMEN, TPH FMEO](x); - x = y; - return; - } - - TPH FMES m2(TPH FMET y){ - this.m1 Signature: [TPH FMEV, TPH FMEW, TPH FMEX](y, y); - return; - } - - Tph3(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Tph4.ast b/resources/syntaxtreegenerator/Tph4.ast deleted file mode 100644 index 2ed453b8..00000000 --- a/resources/syntaxtreegenerator/Tph4.ast +++ /dev/null @@ -1,22 +0,0 @@ -class Tph4 { - -Tph4(){ - super(()); - } - TPH FRJD m(TPH FRJE a, TPH FRJF b){ - TPH FRJG c; - c = this.m2 Signature: [TPH FRJI, TPH FRJJ](b); - TPH FRJM d; - d = this.m2 Signature: [TPH FRJO, TPH FRJP](c); - return d; - } - - TPH FRJT m2(TPH FRJU b){ - return b; - } - - Tph4(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Tph5.ast b/resources/syntaxtreegenerator/Tph5.ast deleted file mode 100644 index dfdda9d1..00000000 --- a/resources/syntaxtreegenerator/Tph5.ast +++ /dev/null @@ -1,19 +0,0 @@ -class Tph5 { - -Tph5(){ - super(()); - } - TPH FWNY m(TPH FWNZ x, TPH FWOA y){ - x = this.m2 Signature: [TPH FWOC, TPH FWOD](y); - return; - } - - TPH FWOH m2(TPH FWOI y){ - return y; - } - - Tph5(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Tph6.ast b/resources/syntaxtreegenerator/Tph6.ast deleted file mode 100644 index eba65bc1..00000000 --- a/resources/syntaxtreegenerator/Tph6.ast +++ /dev/null @@ -1,21 +0,0 @@ -class Tph6 { - -Tph6(){ - super(()); - } - TPH GBSM m(TPH GBSN x, TPH GBSO y){ - TPH GBSP c; - c = this.m2 Signature: [TPH GBSR, TPH GBSS](y); - c = this.m2 Signature: [TPH GBSW, TPH GBSX](x); - return; - } - - TPH GBTB m2(TPH GBTC y){ - return y; - } - - Tph6(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Tph7.ast b/resources/syntaxtreegenerator/Tph7.ast deleted file mode 100644 index 8d2ebe4b..00000000 --- a/resources/syntaxtreegenerator/Tph7.ast +++ /dev/null @@ -1,20 +0,0 @@ -class Tph7 { - -Tph7(){ - super(()); - } - TPH GQRI m(TPH GQRJ a, TPH GQRK b){ - TPH GQRL c; - c = this.m2 Signature: [TPH GQRN, TPH GQRO](b); - return this.m2 Signature: [TPH GQRS, TPH GQRT](b); - } - - TPH GQRX m2(TPH GQRY b){ - return b; - } - - Tph7(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/TypedID.ast b/resources/syntaxtreegenerator/TypedID.ast deleted file mode 100644 index 0a56861d..00000000 --- a/resources/syntaxtreegenerator/TypedID.ast +++ /dev/null @@ -1,22 +0,0 @@ -class TypedID { - - TPH GVWK lam; -TypedID(){ - super(()); - this.lam = (TPH GVWL x) -> { - return x; - }; - } - TPH GVWR id(TPH GVWS b){ - return b; - } - - TPH GVWU m(){ - return this.lam; - } - - TypedID(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/VectorAdd.ast b/resources/syntaxtreegenerator/VectorAdd.ast deleted file mode 100644 index 992c9c1e..00000000 --- a/resources/syntaxtreegenerator/VectorAdd.ast +++ /dev/null @@ -1,31 +0,0 @@ -class VectorAdd { - -VectorAdd(){ - super(()); - } - TPH EXVJ vectorAdd(TPH EXVK v1, TPH EXVL v2){ - TPH EXVM i; - i = 0; - v1 = new java.util.Vector(); - TPH EXVP erg; - erg = new java.util.Vector(); - while(i op v1.size Signature: [TPH EXVT]()){ - erg.addElement Signature: [TPH EXWF, TPH EXWG](v1.elementAt Signature: [TPH EXVW, TPH EXVX](i) op v2.elementAt Signature: [TPH EXWA, TPH EXWB](i)); - i++; - }; - return erg; - } - - TPH EXWN m(TPH EXWO x, TPH EXWP y, TPH EXWQ z){ - x = new java.util.Vector(); - y = new java.util.Vector(); - x.add Signature: [TPH EXWU, TPH EXWV](1); - y.add Signature: [TPH EXWY, TPH EXWZ](2); - return z.addAll Signature: [TPH EXXC, TPH EXXD](x); - } - - VectorAdd(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/VectorSuper.ast b/resources/syntaxtreegenerator/VectorSuper.ast deleted file mode 100644 index ec2faf35..00000000 --- a/resources/syntaxtreegenerator/VectorSuper.ast +++ /dev/null @@ -1,17 +0,0 @@ -class VectorSuper { - -VectorSuper(){ - super(()); - } - TPH HPGR m(TPH HPGS x){ - java.lang.Integer y; - y = 1; - x.addElement Signature: [TPH HPGU, TPH HPGV](y); - return; - } - - VectorSuper(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/Y.ast b/resources/syntaxtreegenerator/Y.ast deleted file mode 100644 index 6a736191..00000000 --- a/resources/syntaxtreegenerator/Y.ast +++ /dev/null @@ -1,16 +0,0 @@ -class Y { - - TPH IBFH y; -Y(){ - super(()); - } - Y(){ - super(()); - this.y = (TPH IBFK f) -> { - return (TPH IBFL t) -> { - return f.apply Signature: [TPH IBFR, TPH IBFS](this.y.apply Signature: [TPH IBFN, TPH IBFO](f)).apply Signature: [TPH IBFV, TPH IBFW](t); - }; - }; - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/applyLambda.ast b/resources/syntaxtreegenerator/applyLambda.ast deleted file mode 100644 index 504dddec..00000000 --- a/resources/syntaxtreegenerator/applyLambda.ast +++ /dev/null @@ -1,27 +0,0 @@ -class Apply { - -Apply(){ - super(()); - } - Apply(){ - super(()); - } - -}class applyLambda { - -applyLambda(){ - super(()); - } - TPH ASWH m(){ - TPH ASWI lam1; - lam1 = (TPH ASWJ x) -> { - return x; - }; - return lam1.apply Signature: [TPH ASWP, TPH ASWQ](new Apply()); - } - - applyLambda(){ - super(()); - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/javFiles/Instanceof.jav b/resources/syntaxtreegenerator/javFiles/Instanceof.jav deleted file mode 100644 index c9a2d0b3..00000000 --- a/resources/syntaxtreegenerator/javFiles/Instanceof.jav +++ /dev/null @@ -1,36 +0,0 @@ -import java.lang.Integer; -import java.lang.Double; -import java.lang.String; -import java.lang.Object; - -public class Instanceof{ - void checkInstanceof() { - var a = 4; - return (a instanceof java.lang.Integer); - } - - void checkInstanceOfWithPattern(){ - var b = 4.0; - if(b instanceof java.lang.Double d){ - return d; - }else{ - return "Kein Double"; - } - } - - void checkInstanceOfWithGuardedPattern(){ - var obj = "test"; - var flag; - if (obj instanceof String s && s.length() > 5) { - flag = s.contains("jdk"); - } - } - - record Point(int x, int y){ } - - boolean equals(Object o) { - return (o instanceof Point other) - && x == other.x - && y == other.y; - } -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/javFiles/PatternMatching.jav b/resources/syntaxtreegenerator/javFiles/PatternMatching.jav deleted file mode 100644 index d256ac0a..00000000 --- a/resources/syntaxtreegenerator/javFiles/PatternMatching.jav +++ /dev/null @@ -1,19 +0,0 @@ -import java.lang.String; - -record Point(int x, int y) {} -interface Shape {} -record ColoredPoint(Point pt, String color) {} -record Rectangle(ColoredPoint upperLeft, ColoredPoint lowerRight) implements Shape {} -sealed class Color permits Blue, Red {} -class Blue extends Color {} -class Red extends Color {} - -class PatternMatching { -void printColorOfUpperLeftPoint(Shape shape) -{ - switch (shape) { - case Rectangle(ColoredPoint(Point pt, String color), ColoredPoint lowerRight) -> System.out.println("x: " + pt.x() + " / color: " + color + " / lowerRight: " + lowerRight); - default -> System.out.println("not a rectangle"); - }; -} -} diff --git a/resources/syntaxtreegenerator/javFiles/Record.jav b/resources/syntaxtreegenerator/javFiles/Record.jav deleted file mode 100644 index 31edc83d..00000000 --- a/resources/syntaxtreegenerator/javFiles/Record.jav +++ /dev/null @@ -1,5 +0,0 @@ -// Simple records -record Point(x, y){ } - -//Combination of records -record Line(pt1, pt2){} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/javFiles/Sealed.jav b/resources/syntaxtreegenerator/javFiles/Sealed.jav deleted file mode 100644 index b7a68e5a..00000000 --- a/resources/syntaxtreegenerator/javFiles/Sealed.jav +++ /dev/null @@ -1,21 +0,0 @@ -public abstract sealed class Shape - permits Circle, Rectangle, Square, WeirdShape { } - -public final class Circle extends Shape { } - -public sealed class Rectangle extends Shape - permits TransparentRectangle, FilledRectangle { } -public final class TransparentRectangle extends Rectangle { } -public final class FilledRectangle extends Rectangle { } - -public final class Square extends Shape { } - -public non-sealed class WeirdShape extends Shape { } - -public sealed interface Expr - permits ConstantExpr, PlusExpr, TimesExpr, NegExpr { } - -public record ConstantExpr(int i) implements Expr { } -public record PlusExpr(Expr a, Expr b) implements Expr { } -public record TimesExpr(Expr a, Expr b) implements Expr { } -public record NegExpr(Expr e) implements Expr { } \ No newline at end of file diff --git a/resources/syntaxtreegenerator/javFiles/Switch.jav b/resources/syntaxtreegenerator/javFiles/Switch.jav deleted file mode 100644 index 6c0f68aa..00000000 --- a/resources/syntaxtreegenerator/javFiles/Switch.jav +++ /dev/null @@ -1,52 +0,0 @@ -import java.lang.Integer; -import java.lang.Boolean; -import java.lang.String; -import java.lang.Object; - -class SwitchStatement { - - switchStandard(){ - str = "SwitchMe"; - switch(str){ - case String s: return true; - default: return false; - } - } - - switchInteger(){ - i = 5; - switch(i){ - case Integer j: - case String s: i = 6; break; - default: i = 0; break; - } - return (i==0); - } - - guardedPattern(){ - var i = 1; - switch(i){ - case Integer j && j == 1: return true; - default: return false; - } - } - - record Coordinates(double x, double y) {} - - recordPattern(Object obj){ - switch(obj){ - case Coordinates(double lat, double lon): return true; - default: return false; - } - } -} - -record SwitchExpression(int x, int y){ - - boolean switchStandard(str){ - return switch(str){ - case String s -> yield true; - default -> yield false; - }; - } -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/mathStruc.ast b/resources/syntaxtreegenerator/mathStruc.ast deleted file mode 100644 index 85318505..00000000 --- a/resources/syntaxtreegenerator/mathStruc.ast +++ /dev/null @@ -1,19 +0,0 @@ -class mathStruc { - - TPH IHHZ model; - TPH IHIA innerOp; -mathStruc(){ - super(()); - this.innerOp = (TPH IHIB o) -> { - return (TPH IHIC ms) -> { - return new mathStruc(o.apply Signature: [TPH IHIF, TPH IHIG, TPH IHIH](this.model, ms.model)); - }; - }; - } - mathStruc(TPH IHIW m){ - super(()); - this.model = m; - return; - } - -} \ No newline at end of file diff --git a/resources/syntaxtreegenerator/mathStrucInteger.ast b/resources/syntaxtreegenerator/mathStrucInteger.ast deleted file mode 100644 index c36d537a..00000000 --- a/resources/syntaxtreegenerator/mathStrucInteger.ast +++ /dev/null @@ -1,38 +0,0 @@ -class mathStrucInteger { - - TPH EBJW model; - TPH EBJX innerOp; -mathStrucInteger(){ - super(()); - this.innerOp = (TPH EBJY o) -> { - return (TPH EBJZ ms) -> { - return new mathStrucInteger(o.apply Signature: [TPH EBKC, TPH EBKD, TPH EBKE](this.model, ms.model)); - }; - }; - } - mathStrucInteger(TPH EBKT m){ - super(()); - this.model = m; - return; - } - -}class mathStrucIntegerUse { - -mathStrucIntegerUse(){ - super(()); - } - TPH EBLO main(){ - TPH EBLP ms; - ms = new mathStrucInteger(2); - TPH EBLT ms2; - ms2 = ms.innerOp.apply Signature: [TPH EBMD, TPH EBME]((TPH EBLV x, TPH EBLW y) -> { - return x op y; - }).apply Signature: [TPH EBMH, TPH EBMI](ms); - return ms2; - } - - mathStrucIntegerUse(){ - super(()); - } - -} \ No newline at end of file