commit 6dc256e703ae3a9dc29747318db78ed1cfb4fb56 Author: pl@gohorb.ba-horb.de Date: Fri Jul 5 11:59:21 2024 +0200 new file: .classpath new file: .project new file: .settings/org.eclipse.jdt.core.prefs new file: bin/ new file: src/ diff --git a/.classpath b/.classpath new file mode 100644 index 0000000..5a2f833 --- /dev/null +++ b/.classpath @@ -0,0 +1,11 @@ + + + + + + + + + + + diff --git a/.project b/.project new file mode 100644 index 0000000..e61d293 --- /dev/null +++ b/.project @@ -0,0 +1,17 @@ + + + JavaTXExamples + + + + + + org.eclipse.jdt.core.javabuilder + + + + + + org.eclipse.jdt.core.javanature + + diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 0000000..4b2689b --- /dev/null +++ b/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,15 @@ +eclipse.preferences.version=1 +org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled +org.eclipse.jdt.core.compiler.codegen.methodParameters=do not generate +org.eclipse.jdt.core.compiler.codegen.targetPlatform=9 +org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve +org.eclipse.jdt.core.compiler.compliance=9 +org.eclipse.jdt.core.compiler.debug.lineNumber=generate +org.eclipse.jdt.core.compiler.debug.localVariable=generate +org.eclipse.jdt.core.compiler.debug.sourceFile=generate +org.eclipse.jdt.core.compiler.problem.assertIdentifier=error +org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled +org.eclipse.jdt.core.compiler.problem.enumIdentifier=error +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=disabled +org.eclipse.jdt.core.compiler.source=9 diff --git a/bin/Main.class b/bin/Main.class new file mode 100644 index 0000000..7e68e66 Binary files /dev/null and b/bin/Main.class differ diff --git a/src/Main.java b/src/Main.java new file mode 100644 index 0000000..777f333 --- /dev/null +++ b/src/Main.java @@ -0,0 +1,70 @@ +import java.util.Vector; + +public class Main { + public static void main(String[] args) { + + //Id.jav: the identity-function + //applied to an integer + System.out.println(new Id().id(1).toString()); + //applied to a string + System.out.println(new Id().id("hallo").toString()); + + //OL.jav: Overloading + OLMain ol = new OLMain(); + //the function main is applied to an integer + System.out.println(ol.main(2)); + //the main is applied to a double + System.out.println(ol.main(2.0)); + System.out.println(ol.main("Hallo")); + + System.out.println(new Fac().getFac(6)); + + System.out.println(new Faculty().m().apply(6)); + + //Lambda.jav: An lambda expression applied by the method apply + System.out.println(new Lambda().m().apply(77)); + + //applyLambda.jav: A defined lambda expression is applied + System.out.println(new applyLambda().m()); + + Vector> vv = new Vector>(); + Vector v1 = new Vector (); + v1.addElement(2); + v1.addElement(2); + Vector v2 = new Vector (); + v2.addElement(3); + v2.addElement(3); + Matrix m1 = new Matrix(); + m1.addElement(v1); + m1.addElement(v2); + //vv.addElement(v1); + //vv.addElement(v2); + //Matrix m1 = new Matrix(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); + Matrix m2 = new Matrix(); + m2.addElement(v3); + m2.addElement(v4); + //vv1.addElement(v3); + //vv1.addElement(v4); + //Matrix m2 = new Matrix(vv1); + + + //Matrix m3 = m1.mul(vv1); + Matrix m3 = m1.mul(m2); + System.out.println(m1.toString() + " * " + m2.toString() + " = " + m3.toString()); + + //MatrixOP + MatrixOP mOp1 = new MatrixOP(); + mOp1.addElement(v1); + mOp1.addElement(v2); + MatrixOP mOp2 = mOp1.mul.apply(mOp1, mOp1); + System.out.println(m1.toString() + " * " + m2.toString() + " = " + mOp2.toString()); + } +} diff --git a/src/classFiles/Apply.class b/src/classFiles/Apply.class new file mode 100644 index 0000000..74fe7ea Binary files /dev/null and b/src/classFiles/Apply.class differ diff --git a/src/classFiles/Fac.class b/src/classFiles/Fac.class new file mode 100644 index 0000000..30d4092 Binary files /dev/null and b/src/classFiles/Fac.class differ diff --git a/src/classFiles/Faculty.class b/src/classFiles/Faculty.class new file mode 100644 index 0000000..cb69347 Binary files /dev/null and b/src/classFiles/Faculty.class differ diff --git a/src/classFiles/Fun1$$.class b/src/classFiles/Fun1$$.class new file mode 100644 index 0000000..2058ea9 Binary files /dev/null and b/src/classFiles/Fun1$$.class differ diff --git a/src/classFiles/Fun1$$LApply$_$$_$LApply$_$$_$.class b/src/classFiles/Fun1$$LApply$_$$_$LApply$_$$_$.class new file mode 100644 index 0000000..7270e48 Binary files /dev/null and b/src/classFiles/Fun1$$LApply$_$$_$LApply$_$$_$.class differ diff --git a/src/classFiles/Fun1$$Ljava$lang$Integer$_$$_$Ljava$lang$Integer$_$$_$.class b/src/classFiles/Fun1$$Ljava$lang$Integer$_$$_$Ljava$lang$Integer$_$$_$.class new file mode 100644 index 0000000..933bfcf Binary files /dev/null and b/src/classFiles/Fun1$$Ljava$lang$Integer$_$$_$Ljava$lang$Integer$_$$_$.class differ diff --git a/src/classFiles/Fun1$$Ljava$lang$Long$_$$_$Ljava$lang$Long$_$$_$.class b/src/classFiles/Fun1$$Ljava$lang$Long$_$$_$Ljava$lang$Long$_$$_$.class new file mode 100644 index 0000000..5b03949 Binary files /dev/null and b/src/classFiles/Fun1$$Ljava$lang$Long$_$$_$Ljava$lang$Long$_$$_$.class differ diff --git a/src/classFiles/Fun2$$.class b/src/classFiles/Fun2$$.class new file mode 100644 index 0000000..6017c54 Binary files /dev/null and b/src/classFiles/Fun2$$.class differ diff --git a/src/classFiles/Fun2$$Ljava$util$Vector$_$$_$Ljava$util$Vector$_$$_$LMatrixOP$_$$_$.class b/src/classFiles/Fun2$$Ljava$util$Vector$_$$_$Ljava$util$Vector$_$$_$LMatrixOP$_$$_$.class new file mode 100644 index 0000000..281a3d1 Binary files /dev/null and b/src/classFiles/Fun2$$Ljava$util$Vector$_$$_$Ljava$util$Vector$_$$_$LMatrixOP$_$$_$.class differ diff --git a/src/classFiles/Id.class b/src/classFiles/Id.class new file mode 100644 index 0000000..68c9dc6 Binary files /dev/null and b/src/classFiles/Id.class differ diff --git a/src/classFiles/Lambda.class b/src/classFiles/Lambda.class new file mode 100644 index 0000000..74e964a Binary files /dev/null and b/src/classFiles/Lambda.class differ diff --git a/src/classFiles/Matrix.class b/src/classFiles/Matrix.class new file mode 100644 index 0000000..eab7bff Binary files /dev/null and b/src/classFiles/Matrix.class differ diff --git a/src/classFiles/MatrixOP.class b/src/classFiles/MatrixOP.class new file mode 100644 index 0000000..21a6817 Binary files /dev/null and b/src/classFiles/MatrixOP.class differ diff --git a/src/classFiles/OL.class b/src/classFiles/OL.class new file mode 100644 index 0000000..7cd1926 Binary files /dev/null and b/src/classFiles/OL.class differ diff --git a/src/classFiles/OLMain.class b/src/classFiles/OLMain.class new file mode 100644 index 0000000..1a5b97f Binary files /dev/null and b/src/classFiles/OLMain.class differ diff --git a/src/classFiles/Sorting.class b/src/classFiles/Sorting.class new file mode 100644 index 0000000..9d5a6ec Binary files /dev/null and b/src/classFiles/Sorting.class differ diff --git a/src/classFiles/applyLambda.class b/src/classFiles/applyLambda.class new file mode 100644 index 0000000..f997f28 Binary files /dev/null and b/src/classFiles/applyLambda.class differ diff --git a/src/javFiles/._Fac.jav b/src/javFiles/._Fac.jav new file mode 100644 index 0000000..6168fca Binary files /dev/null and b/src/javFiles/._Fac.jav differ diff --git a/src/javFiles/._Faculty.jav b/src/javFiles/._Faculty.jav new file mode 100644 index 0000000..5479438 Binary files /dev/null and b/src/javFiles/._Faculty.jav differ diff --git a/src/javFiles/._Id.jav b/src/javFiles/._Id.jav new file mode 100644 index 0000000..f13e8e1 Binary files /dev/null and b/src/javFiles/._Id.jav differ diff --git a/src/javFiles/._Matrix.jav b/src/javFiles/._Matrix.jav new file mode 100644 index 0000000..c3a903d Binary files /dev/null and b/src/javFiles/._Matrix.jav differ diff --git a/src/javFiles/._MatrixOP.jav b/src/javFiles/._MatrixOP.jav new file mode 100644 index 0000000..5c84c17 Binary files /dev/null and b/src/javFiles/._MatrixOP.jav differ diff --git a/src/javFiles/._OL.jav b/src/javFiles/._OL.jav new file mode 100644 index 0000000..568e11e Binary files /dev/null and b/src/javFiles/._OL.jav differ diff --git a/src/javFiles/._applyLambda.jav b/src/javFiles/._applyLambda.jav new file mode 100644 index 0000000..2ffb4d7 Binary files /dev/null and b/src/javFiles/._applyLambda.jav differ diff --git a/src/javFiles/Fac.jav b/src/javFiles/Fac.jav new file mode 100644 index 0000000..9abd4bf --- /dev/null +++ b/src/javFiles/Fac.jav @@ -0,0 +1,15 @@ +import java.lang.Integer; + + +public class Fac { + + getFac( java.lang.Integer 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/src/javFiles/Faculty.jav b/src/javFiles/Faculty.jav new file mode 100644 index 0000000..8cc56e7 --- /dev/null +++ b/src/javFiles/Faculty.jav @@ -0,0 +1,19 @@ +import java.lang.Integer; +import java.lang.Long; + +class Faculty { + fact; + + m () { + + fact = (x) -> { + if (x == 1) { + return x; + } + else { + return x * (fact.apply(x-1)); + } + }; + return fact; + } +} \ No newline at end of file diff --git a/src/javFiles/Id.jav b/src/javFiles/Id.jav new file mode 100644 index 0000000..53b344c --- /dev/null +++ b/src/javFiles/Id.jav @@ -0,0 +1,5 @@ +public class Id { + id(b){ + return b; + } + } diff --git a/src/javFiles/Lambda.jav b/src/javFiles/Lambda.jav new file mode 100644 index 0000000..cfb7fe9 --- /dev/null +++ b/src/javFiles/Lambda.jav @@ -0,0 +1,11 @@ +import java.lang.Integer; + +public class Lambda { + + m () { + var lam1 = (Integer x) -> { + return x * x; + }; + return lam1; + } +} diff --git a/src/javFiles/LambdaField.jav b/src/javFiles/LambdaField.jav new file mode 100644 index 0000000..a096c70 --- /dev/null +++ b/src/javFiles/LambdaField.jav @@ -0,0 +1,5 @@ +public class LambdaField { + + Fun1$$ f = x -> x; + +} \ No newline at end of file diff --git a/src/javFiles/Matrix.jav b/src/javFiles/Matrix.jav new file mode 100644 index 0000000..e634490 --- /dev/null +++ b/src/javFiles/Matrix.jav @@ -0,0 +1,40 @@ +import java.util.Vector; +import java.lang.Integer; +import java.lang.Boolean; + +public class Matrix extends Vector> { + + Matrix () { + } + + Matrix(vv) { + var i = 0; + while(i < vv.size()) { + this.add(vv.elementAt(i)); + i=i+1; + } + } + + + mul(m) { + var ret = new Matrix(); + var i = 0; + while(i < size()) { + var v1 = this.elementAt(i); + var v2 = new Vector(); + var j = 0; + while(j < v1.size()) { + var erg = 0; + var k = 0; + while(k < v1.size()) { + erg = erg + v1.elementAt(k) + * m.elementAt(k).elementAt(j); + k++; } + v2.addElement(erg); + j++; } + ret.addElement(v2); + i++; + } + return ret; + } +} diff --git a/src/javFiles/MatrixOP.jav b/src/javFiles/MatrixOP.jav new file mode 100644 index 0000000..fa1d2e5 --- /dev/null +++ b/src/javFiles/MatrixOP.jav @@ -0,0 +1,44 @@ +import java.util.Vector; +import java.lang.Integer; +//import java.lang.Byte; +import java.lang.Boolean; + +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; + } + } + + 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/src/javFiles/OL.jav b/src/javFiles/OL.jav new file mode 100644 index 0000000..41244d2 --- /dev/null +++ b/src/javFiles/OL.jav @@ -0,0 +1,25 @@ +import java.lang.Integer; +import java.lang.Double; +import java.lang.String; +import java.lang.Long; +import java.lang.Boolean; + + +class OL { + + m (x) { return x + x; } + + //m(Boolean x) { return x; } +} + + +class OLMain { + + main(x) { + var ol; + ol = new OL(); + return ol.m(x); + } +} + + \ No newline at end of file diff --git a/src/javFiles/Sorting.jav b/src/javFiles/Sorting.jav new file mode 100644 index 0000000..1d9eae8 --- /dev/null +++ b/src/javFiles/Sorting.jav @@ -0,0 +1,15 @@ +import java.util.List; +import java.util.ArrayList; +import java.lang.String; + +class Sorting{ + merge(a, b){ + a.addAll(b); + return a; + } + + void sort(a){ + a = merge(a,a); + } + +} \ No newline at end of file diff --git a/src/javFiles/applyLambda.jav b/src/javFiles/applyLambda.jav new file mode 100644 index 0000000..648771a --- /dev/null +++ b/src/javFiles/applyLambda.jav @@ -0,0 +1,14 @@ +import java.lang.Integer; + +public class Apply { } + +public class applyLambda { + + m () { + var lam1 = (x) -> { + return x; + }; + return lam1.apply(new Apply()); + } +} + \ No newline at end of file