Doppelte Code Generierung und doppelte Typinferenz bei Field-Initialisierung #203

New Issue

pl · 2018-11-26T10:48:57Z

pl commented

2018-11-26 10:48:57 +00:00

ClassOrInterface.java:

Einfuegen eines Attributes

private Optional fieldInitializations;

Hierin werden alle Initialisierungen als Block:
{
f1 = exp_1
f2 = exp_2
...
fn = exp_n
}

in einem Konstruktor Constructor.java gespeichert.

SyntaxTreeGenerator.java, Construtor.java:

In der Methode convert(int modifiers, Java8Parser.MethodHeaderContext header, Java8Parser.MethodBodyContext body, JavaClassName parentClass, RefType superClass, GenericsRegistry localGenerics)

wurde das Argument fieldInitializations aus dem Aufruf des Konstruktor Constructor entfernt.

Damit sind die fieldInitializations nicht mehr in den Konstruktoren der abstrakten Syntax enthalten.

TYPE.java:

In getConstraintsClass wird die Methode getConstraintsConstructor für den Konstruktur der Initialisierungen aufgerufen, um die Type-Constraints der Initialierungen zu bestimmen.

ClassOrInterface.java: Einfuegen eines Attributes private Optional<Constructor> fieldInitializations; Hierin werden alle Initialisierungen als Block: { f1 = exp_1 f2 = exp_2 ... fn = exp_n } in einem Konstruktor Constructor.java gespeichert. SyntaxTreeGenerator.java, Construtor.java: In der Methode convert(int modifiers, Java8Parser.MethodHeaderContext header, Java8Parser.MethodBodyContext body, JavaClassName parentClass, RefType superClass, GenericsRegistry localGenerics) wurde das Argument fieldInitializations aus dem Aufruf des Konstruktor Constructor entfernt. Damit sind die fieldInitializations nicht mehr in den Konstruktoren der abstrakten Syntax enthalten. TYPE.java: In getConstraintsClass wird die Methode getConstraintsConstructor für den Konstruktur der Initialisierungen aufgerufen, um die Type-Constraints der Initialierungen zu bestimmen.

pl commented

2018-11-26 10:51:53 +00:00

Nun muss noch die Bytecode-Generierung an die Veränderung angepasst werden:

Für den Konstruktor fieldInitializations muss der Bytecode einmal erzeugt werden
Dieser Bytecode muss in jeden Konstruktor eingefügt werden.

Nun muss noch die Bytecode-Generierung an die Veränderung angepasst werden: - Für den Konstruktor fieldInitializations muss der Bytecode einmal erzeugt werden - Dieser Bytecode muss in jeden Konstruktor eingefügt werden.

fayez.abu-alia commented

2018-12-02 17:13:20 +00:00

In fieldInitializations werden nicht nur die Initialisierungen gespeichert sondern auch SuperCalls.

SuperCalls müssen von fieldInitializations entfernt werden.

In fieldInitializations werden nicht nur die Initialisierungen gespeichert sondern auch SuperCalls. SuperCalls müssen von fieldInitializations entfernt werden.

pl commented

2018-12-03 15:12:42 +00:00

branch: bytecode2
commit: 964b73e8c4

Ich habe nun die SuperCalls aus den fieldInitializations entfernt.
Zusätzlich habe ich noch die SuperCalls aus allen Constructoren entfernt.

Diese Müssen nun bei der Bytecodegenerierung eingefügt werden, obwohl sie nicht in der abstrakten Syntax stehen.

Im Momnet funktionieren daher alle Unittest nicht.

branch: bytecode2 commit: 964b73e8c4728faa7b8439b5847ca044f2cb200c Ich habe nun die SuperCalls aus den fieldInitializations entfernt. Zusätzlich habe ich noch die SuperCalls aus allen Constructoren entfernt. Diese Müssen nun bei der Bytecodegenerierung eingefügt werden, obwohl sie nicht in der abstrakten Syntax stehen. Im Momnet funktionieren daher alle Unittest nicht.

Sign in to join this conversation.