Erweitertes Assumption erstellen #182

New Issue

stan · 2016-04-07T16:55:58Z

stan commented

2016-04-07 16:55:58 +00:00

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

OLD BUG

Sign in to join this conversation.