JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues110 Pull Requests Actions Packages Projects Releases Wiki Activity

Erweitertes Assumption erstellen #182

New Issue
Closed
opened 2016-04-07 16:55:58 +00:00 by stan · 1 comment
stan commented 2016-04-07 16:55:58 +00:00
Owner

Beispiel Testfall:

import java.lang.System;

class SystemOutPrintln{
void method() {
System.out.println("Hello World");
}
}

Hier wird auf das Feld "out" Zugegriffen, welches den Typ java.io.PrintStream besitzt.
Problem: Dieser Typ steckt nicht in den Assumptions.
java.lang.System wird zwar importiert, aber nicht die Typen, welche innerhalb der Felder und Methoden von System vorkommen.

Die Funktion zur Bildung der Assumptions ins SourceFile.makeBasicAssumptionsFromJRE muss erweitert werden.

Es müssen rekursiv alle Typen, welche in den imports vorkommen angefügt werden.

Beispiel Testfall: import java.lang.System; class SystemOutPrintln{ void method() { System.out.println("Hello World"); } } Hier wird auf das Feld "out" Zugegriffen, welches den Typ java.io.PrintStream besitzt. Problem: Dieser Typ steckt nicht in den Assumptions. java.lang.System wird zwar importiert, aber nicht die Typen, welche innerhalb der Felder und Methoden von System vorkommen. Die Funktion zur Bildung der Assumptions ins SourceFile.makeBasicAssumptionsFromJRE muss erweitert werden. Es müssen rekursiv alle Typen, welche in den imports vorkommen angefügt werden.
stan commented 2017-10-10 15:23:11 +00:00
Author
Owner

OLD BUG

OLD BUG
Sign in to join this conversation.
No Label
invalid
JavaCompilerCore
No Milestone
No project
No Assignees stan
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: JavaTX/JavaCompilerCore#182
No description provided.
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?