• Joined on 2023-12-15
pl opened issue JavaTX/JavaCompilerCore#23 2018-05-08 11:25:10 +00:00
branch bytecode2 commit 49ea4ee28379d5bd1ceafe2eaa151f8a0030d12a Bytecode für Plus.jav import java.lang.Integer; public class Plus { Integer m(Integer a, Integer b) { return a+b; } }…
pl opened issue JavaTX/JavaCompilerCore#191 2018-04-26 15:16:09 +00:00
Branch origin/unifyOptimierung commit ec2b501e6387c634b430cc681dec76423d9c2bfe In der Datei LambdaField.jav public class LambdaField { f = x -> x; } wird zu class LambdaField { Lam…
pl commented on issue JavaTX/JavaCompilerCore#190 2018-04-25 23:49:24 +00:00
Für TPH D wird kein Constraint generiert

Es müsste eine Constraint (D <. java.util.Vector, 1) generiert werden.

pl opened issue JavaTX/JavaCompilerCore#190 2018-04-25 23:39:07 +00:00
Datei Matrix.jav Git: origin/unifyOptimierung commit 8be4f94edf9f137e39469623960720dc3de3a1d0 Ausgabe AST: TPH C mul(TPH D m)({ TPH E ret; (ret)::TPH E = new Matrix(); TPH F i; …
pl opened issue JavaTX/JavaCompilerCore#258 2018-03-28 22:22:29 +00:00
Problem: Für Integer <. A wird vermutlich für in greater { Integer, Comparable<Integer>, Comparable<? extends Integer>, Comparable<? extends Comparable<Integer>>, usw.} erzeugt. Lösungsansat…
pl commented on issue JavaTX/JavaCompilerCore#257 2018-01-29 22:34:37 +00:00
Fehler in Unify

java.util.Vector<java.util.Vector<java.lang.Integer>> <. Matrix ist falsch.

Es müsste

Matrix <. java.util.Vector<java.util.Vector<java.lang.Integer>>

heißen.

methode(Matrix m) { Vec…

pl opened issue JavaTX/JavaCompilerCore#226 2017-11-01 23:08:14 +00:00
Grundsätzlich stellt sich die Frage wie man mit nicht importeten Typen umgeht, die Supertypen von importierten Typen sind
pl opened issue JavaTX/JavaCompilerCore#256 2017-11-01 23:06:53 +00:00
Im JUnittest FiniteClosureTest_Matrix mit FC_Matrix.jav import java.util.Vector; import java.util.AbstractList; class Matrix extends Vector<Vector<Integer>> { methode(Matrix m) { Vec…
pl opened issue JavaTX/JavaCompilerCore#225 2017-11-01 21:12:28 +00:00
In JUnittest FiniteClosureTest_Matrix mit der Datei FC_Matrix.jav import java.util.Vector; import java.util.AbstractList; class Matrix extends Vector<Vector<Integer>> { methode(Matrix m)…
pl opened issue JavaTX/JavaCompilerCore#224 2017-10-30 17:38:13 +00:00
import java.util.Vector; class Matrix extends Vector<Vector<Integer>> { methode(Matrix m) { Vector<Vector<Integer>> i; methode(i); } } liefert folgenden Fehler de.dhbwstuttgar…
pl commented on issue JavaTX/JavaCompilerCore#253 2017-10-30 11:13:35 +00:00
Exception in TaskUnify

import java.util.*;

class Test{ methode(param1, param2, param3) { return param1.meth(param2.add(param3)); } }

interface Klasse1{ Klasse1 meth(Klasse1 p); Klasse1 meth(Klasse2 …

pl opened issue JavaTX/JavaCompilerCore#188 2016-07-14 01:15:35 +00:00
In class OL { m(x) { return x + x; } Boolean m(x) { return x
pl commented on issue JavaTX/JavaCompilerCore#15 2016-05-12 21:35:45 +00:00
Fehler mit unitiliserten localen Variablen

Das ist natürlich ein Argument. Halt ziemlich schlecht, dass der Compiler keinen Fehler gibt. So dass erst zur Laufzeit der Fehler kommt. Aber kann man wohl grad nichts machen.

pl opened issue JavaTX/JavaCompilerCore#186 2016-05-05 11:31:58 +00:00
im Moment ist das Problem, dass bei importierten Paketen (z.B. java.util.Vector) nicht festgelegt ob mit dem qualifizierten Namen oder ohne unifiziert wird. z.B. wird java.util.Vector<java.ut…
pl opened issue JavaTX/JavaCompilerCore#185 2016-05-04 10:07:14 +00:00
Folgendes Ergebnis stimmt nicht: [ (TPH NW <. TPH NY), (TPH NZ <. TPH B), (TPH B <. TPH NW), (TPH OA <. TPH OB), (TPH NV = Fun1< TPH OC, TPH OD >), (TPH C = Fun1< TPH OE, TPH OF >), (TPH NX =…
pl opened issue JavaTX/JavaCompilerCore#16 2016-05-04 01:13:07 +00:00
public void addMethod(Method m) { String methodNameAndTypes = m.getReturnType().getSignature()+m.getName()+Arrays.toString(m.getArgumentTypes()); //PL 1016-05-03 ersetzt: //m.getName()+…
pl opened issue JavaTX/JavaCompilerCore#184 2016-05-04 00:16:48 +00:00
Created attachment 2 Screenshot v dürfte im Attachment nur den Typ Vector<String> bekommen!
pl opened issue JavaTX/JavaCompilerCore#15 2016-05-04 00:13:43 +00:00
import java.util.Vector; class Overloading{ method(Vector<String> v) { return 2; } method(Vector<Integer> v) { return 1; } main() { ol; ol = new Overloading(); java.util.…
pl commented on issue JavaTX/JavaCompilerCore#252 2016-05-03 00:04:48 +00:00
Fehler im Case1 des vierten Schritts

Hallo Herr Steurer,

leider klappt es auch mit

import java.util.Vector;

class Matrix extends java.util.Vector<java.util.Vector> { op = (m) -> (f) -> f.apply(this, m); }

nicht.

pl commented on issue JavaTX/JavaCompilerCore#252 2016-05-03 00:04:05 +00:00
Fehler im Case1 des vierten Schritts

Hallo Herr Plümicke,

das Problem ist, ,dass in der FC (Matrix < Vector<Vector>) steht und in den Constraints (Matrix <. java.util.Vector<....>). Da die Typen anhand ihres Names ver…