Idle State ist beseitigt, falsche Schleife in Match.
Liefert allerdings immer noch ein Problem
Mit dem commit e37040f367de8f275245ce85fe5cb942e0786dbe wurde Bug gefixt.
Bei den parallelen Ausführungen der Oder-Contraints wurden die methodsignatures nicht angepasst.
Hier muss die Integration von Functional Interfaces und Function types noch implementiert werden (vgl. Kap 6 im angehängten Paper) implementiert werden.
Ich habe die letztes commits gecheckt.
Ab dem commit:
commit 688358aa331a451f161358710dcfd682d82458e6 Author: Daniel Holle dholle@hb.dhbw-stuttgart.de Date: Wed Feb 28 13:16:32 2024…
commit: 6f193b19abfce46f402a4525b03f204224344828
In
src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
die Methoden von geparsten Interfaces auf Abstract g…
Branch: targetBytecode comiit: 15150fca9e4c25002a4696fd6b244fcb56d9e18a
gefixt bitte verifizieren.
import java.lang.Runnable; import java.lang.String; import java.lang.System;
public class LamRunnable{
public LamRunnable(){
lam = () -> {var a;};
//lam.run();
}
}
Dieses prpgramm…
(In reply to Daniel Holle from comment #1)
Also ich bekomme als Resultat der Typinferenz das hier:
RESULT Final: [[(R =. Fun0$$, 0 WC: true, IT: false), (T =. void, 0 WC: true,…
Genau den Subtyp habe ich jetzt in das FC integriert! Also Fun0 ist ein Subtyp von Runnable.