Gegeben ist folgende Java-Klassen-Definition:

public class A {
    public void doThis() 
{ }
}

Gegeben ist außerdem folgendes Sequenzdiagramm:

Schließlich ist folgendes Java-Code-Fragment gegeben:

a = new
 A();
a.doThis();
a.finalize();

Behauptung: Das Code-Fragment ist eine exakte Darstellung des Sequenz-Diagramms in Java. Diese Behauptung ist ...