Verstehe ich so leider nicht. Kannst Du bitte noch ein Beipiel dafür angeben.
Um einen Fall zu generieren bei den tatsächlih ein weiterer Cas-Fall erzeugt würde, müsste es so aussehen:
`import java.lang.Integer; import java.lang.Double; import java.lang.Object;
pu…
``import java.lang.Integer; import java.lang.Double; import java.lang.Object;
public record R(Object o) {}
public class OverloadSwitch {
f(Double d) { return d; }
f(Integer i)…
Hier müssten wohl zwei Methoden erzeugt werden. Wir müssen unsere Überlegungen von letzter Woche ergänzen. Nicht nur die input-Variable AH, sondern auch die output-Variable AR muss in allen…
Kannst mal das ResultSet und dei Abstrakte Syntax mit Typisierung hier posten
a9d836ce25
modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java
d9860497df
Merge branch 'targetBytecode' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into targetBytecode
4dba867f9e
Merge branch 'targetBytecode' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into targetBytecode
06caf0ff66
Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode
bdcd5ea3cf
Merge branch 'targetBytecode' of https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore into targetBytecode
5d03995f10
Merge branch 'targetBytecode' of https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore into targetBytecode
Ich halte es nicht für sinnvoll die Typen von Record-Argumenten errechnen zu lassen. Durch die Record-Deklarationen werden die Datenelemente definiert. Dabei muss definiert werden, welches Datum…
Hallo Julian, ich habe mir das eben von Daniel erklären lassen. Leider kann ich nicht ganz nachvollziehen welchen Vorteil Du in den Bridgemethoden siehst. Letzlich passiert doch genau das…
Man muss während der Umwandlung vom AST -> TargetAST die TPHs der jeweiligen Methdenaufrufe finden. Der Methodenaufruf wird nur für den speziellsten Fall generiert Es werden Überladungen nur…
Man muss in jedes Interface FunN$$Typ$_$...$_$ alle Superinferfaces eintragen
Da in JavaTX-Bytecode dann tasächlich implizit
LFun1$$Ljava$lang$Object$$Ljava$lang$Integer$$ ein Subtyp von Fun1$$Ljava$lang$Number$$Ljava$lang$Number$$ ist
müsste man wahrscheinli…
Habe gerade nochmals mit Julian gesprochen. Es müsste hier in der Tat immer die speziellste Methode ausgesucht werden. Bei der Unifikation wird das schwierig, weil bei ungetypten Überladungen…