Block a user
Es gibt derzeit kein Packagekonzept. Dies sollte ermöglich werden.
Derzeit lassen sich class Files aus JRE importieren, nicht aber class-Files die von Java-TX erzeugt wurden. Dies sollte ermöglichst werden.
Fields müssen aktiviert werden
Branch bytecode
commit: 2a5c7274003182f660b85e4c608b1be3466bcab1
Lambda.jav:
import java.lang.Integer;
public class Lambda {
m () {
var lam1 = (Integer x) -> {
return x * x;
…
git branch: typecode2
git commit: d373b3dbf8d7887ccbe42c86b6fdfd76f4395e4b
public class Matrix extends Vector<Vector<Integer>> {
}
liefert
javap Matrix.class
Compiled from "Matrix.jav…
commit 72a4c64c5c49c72cea56e077438818b37dca2f19
branch bytecode2
Wenn man im Matrix_Example die Konstruktoren
Matrix () {
}
Matrix(vv) {
Integer i;
i = 0;
while(i < vv…
branch bytecode2
commit bd0bfed2cbf0740d5b94f8ac285137a4c0b75162
import java.util.Vector;
import java.lang.Integer;
import java.lang.Boolean;
Das ungetypte Beispiel
public class Matrix ext…
Im Beispiel Matrix.jav wird von Zeit zu Zeit für die Variable D
D = Vector<? extends Vector<Integer>>
statt
D = Vector<? extends Vector<? extends Integer>>
berechnet.
In diesen Fällen komm…
Im Beispiel Matrix.jav wird von Zeit zu Zeit für die Variable D
D = Vector<? extends Vector<Integer>>
statt
D = Vector<? extends Vector<? extends Integer>>
berechnet.
In diesen Fällen komm…
Im Beispiel Matrix.jav wird von Zeit zu Zeit für die Variable D
D = Vector<? extends Vector<Integer>>
statt
D = Vector<? extends Vector<? extends Integer>>
berechnet.
In diesen Fällen komm…
FunN RefType werden nicht verwendet
Im Moment funktioniert das Parsen der FunN-Typen nicht, weil er keine zugehörige Klasse/zugehöriges Interface findet.
FunN-Typen sollen als strukturelle Typen umgesetzt werden:
Wenn möglich…
apply bei Lambda-Ausdrücken generiert falschen Bytecode
Dies gilt auch für andere generische Typen:
Siehe:
import java.util.Vector;
class Apply { }
public class Lambda {
m () { var lam1 = (x) -> { return x; }; //return lam…
branch: bytecode2
commit d8bb4d61881e3f84a2a4223d3bec14b57db3538c
Funktioniert nicht:
public class Lambda {
m () {
var lam1 = (x) -> {
return x;
};
return lam1;//.apply…
apply bei Lambda-Ausdrücken funktioniert nicht
branch: bytecode2 commit d8bb4d61881e3f84a2a4223d3bec14b57db3538c
Müsste erledigt sein.
In TYPEStmt.java war MethodCall buggie, sowohl bei apply, als auch bei "normalen Methoden"
branch bytecode2
commit 04d3ac84e76f6b1d0fad0ecc4b3f7e44cf72f9b3
import java.lang.Integer;
class Faculty {
m () {
var fact = (Integer x) -> {
if (x == 1) {
return x…
Branch bytecode2
commit 2db5ecc2602c8e4151109998e48e03d7502cf7f4
Test LambdaTest.java
import java.lang.Integer;
public class Lambda {
m () {
var lam1 = (Integer x) -> {
retur…
Operanden von relationalen Operatoren und Parameter von Methoden bekommen Number als Typ
Müsste im Branch plugin gelöst sein.
Martin
Interger <* Comparable<Integer>
Das Problem ist behoben, in dem rekursive Aufruf in der Methode greater ausgeschlosen sind.
Das reduziert Lösungen
Integer <. Comparable<Comparable>
müsste über adapt gehen
Aber…
import java.lang.Integer;
// wenn nur ein Import da steht,wird die Type von
// dem Literal 2 Number berechnet => Deswegen kann
// nicht auf den Stack geladen.
//import java.lang.Long;
publi…