Erweitertes Assumption erstellen #182
Reference in New Issue
Block a user
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?
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.
OLD BUG