Daniel Holle dholle
  • Laboringenieur Informatik

  • Joined on 2023-11-10
dholle pushed to patternMatching at JavaTX/JavaCompilerCore 2024-10-02 13:09:33 +00:00
85d70378ca Merge branch 'patternMatching' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into patternMatching
89bbbdacd8 Work on pattern matching in function headers
Compare 2 commits »
dholle commented on issue JavaTX/JavaCompilerCore#348 2024-10-02 09:48:18 +00:00
Überladung von case-Labels

Das Problem tritt hier auf:

import java.lang.Integer;
import java.lang.Double;
import java.lang.Number;

public record R(Number n) {}

public class SwitchOverload {

    Number
dholle commented on issue JavaTX/JavaCompilerCore#348 2024-10-01 15:31:44 +00:00
Überladung von case-Labels

Ich hab ein kleines Problem... Für die überladenen cases wähle ich ein Result-Set aus, in dem die Typen welche im Pattern benutzt werden gleich sind.

Das funktioniert soweit ganz gut, aber…

dholle pushed to patternMatching at JavaTX/JavaCompilerCore 2024-10-01 15:28:24 +00:00
6ccf2a3df6 Add overloading for switches, see #348
dholle commented on issue JavaTX/JavaCompilerCore#348 2024-09-30 16:05:25 +00:00
Überladung von case-Labels

Abstrakte Syntax:

class SwitchOverload {

SwitchOverload()({
  })::TPH BA
  TPH AC f(java.lang.Double d)({
    return (d)::java.lang.Double;
  })::TPH AD

  TPH AE f(java.lang.Integer…
dholle commented on issue JavaTX/JavaCompilerCore#348 2024-09-27 15:13:18 +00:00
Überladung von case-Labels

Ich arbeite jetzt mit folgendem Beispiel:

import java.lang.Integer;
import java.lang.Double;
import java.lang.Object;

public record R(Object o) {}

public class OverloadSwitch {

…
dholle pushed to patternMatching at JavaTX/JavaCompilerCore 2024-09-26 09:31:28 +00:00
b7979ac7e7 Fix tests
dholle opened issue JavaTX/JavaCompilerCore#348 2024-09-26 08:27:34 +00:00
Überladung von case-Labels
dholle commented on issue JavaTX/JavaCompilerCore#347 2024-09-20 14:21:47 +00:00
Kovarianz funktioniert nicht wie gewollt.

Ich habe das Ganze jetzt mit dem neusten Commit ausgeführt und es gibt jetzt tatsächlich den gemeinsamen Typ an. Nur leider passiert das auch wenn ein default case dabei ist. Sollte hier nicht…

dholle commented on issue JavaTX/JavaCompilerCore#345 2024-09-13 14:10:59 +00:00
permits von sealed Interfaces funktionieren nicht wie gewünscht.

Wird jetzt abgefangen.

dholle closed issue JavaTX/JavaCompilerCore#345 2024-09-13 14:10:59 +00:00
permits von sealed Interfaces funktionieren nicht wie gewünscht.
dholle pushed to patternMatching at JavaTX/JavaCompilerCore 2024-09-13 12:23:13 +00:00
eb454aa5b2 Add check for sealed interfaces
dholle pushed to patternMatching at JavaTX/JavaCompilerCore 2024-09-12 12:42:15 +00:00
72035c48f2 Update dependencies
dholle pushed to patternMatching at JavaTX/JavaCompilerCore 2024-09-12 12:36:47 +00:00
54f258e333 Default throws
dholle pushed to patternMatching at JavaTX/JavaCompilerCore 2024-08-22 13:22:44 +00:00
fbc9f1e755 Fix bugs and add new example
dholle commented on issue JavaTX/JavaCompilerCore#345 2024-08-20 10:51:59 +00:00
permits von sealed Interfaces funktionieren nicht wie gewünscht.

Stimmt, permits wird momentan komplett ignoriert. Sollte allerdings nicht so schwer sein das zu implementieren.

dholle pushed to newConstraints at JavaTX/JavaCompilerCore 2024-08-07 15:07:57 +00:00
7012eb1d86 Remove jav-files
dholle pushed to newConstraints at JavaTX/JavaCompilerCore 2024-08-07 15:02:30 +00:00
7f1578a5b7 Fix build
dholle pushed to newConstraints at JavaTX/JavaCompilerCore 2024-08-07 14:51:51 +00:00
d176dfb1e3 Remove tests
dholle pushed to newConstraints at JavaTX/JavaCompilerCore 2024-08-07 14:40:13 +00:00
494ce63838 Remove everything that doesn't touch constraints