Ansatz zur Implementierung der Veränderung im Algorithmus Definition 7.2 (Family of generated generics). #97

New Issue

pl · 2023-01-18T16:58:28Z

pl commented

2023-01-18 16:58:28 +00:00

In der Datei ASTToTargetAST.java habe ich ab Zeile 168 in der Implementierung des Visitor TracingStatementVisitor die beiden Variablen T1s und T2 eingefügt.

T1 <. R1 <.* R2 <. T2 aus dem Constraint-Set

darf nur eingefügt werden, wenn T1 in result(T1s) enthalten und result(T2) aus der Implemetierung T2 aus dem Constraint-Set entspricht.

In der Datei ASTToTargetAST.java habe ich ab Zeile 168 in der Implementierung des Visitor TracingStatementVisitor die beiden Variablen T1s und T2 eingefügt. T1 <. R1 <.* R2 <. T2 aus dem Constraint-Set darf nur eingefügt werden, wenn T1 in result(T1s) enthalten und result(T2) aus der Implemetierung T2 aus dem Constraint-Set entspricht.

dholle added the

generics

label 2024-03-04 13:05:41 +00:00

Sign in to join this conversation.