Dynamische Adaption in heterogenen verteilten eingebetteten ...

5 Kontroll- und Verwaltungsschicht
Abbildung 5.19: Abhängigkeiten der Typprüfung
Überprüfung des Typs mehr notwendig. In Abbildung 5.20 wird ein einfaches Beispiel konstruiert. Ein
Schnittstellentyp A wird hier nur von der Klasse B implementiert. Da von der Schnittstelle selbst kein
Objekt instanziiert werden kann, sind alle Objekte welche den Typ A darstellen tatsächlich von Typ B.
Typumwandlungen von Typ A in Typ B müssen daher nicht geprüft werden.
Abbildung 5.20: Einfaches Optimierungsbeispiel bei globaler Sicht
Eine Schnittstelle A wird nur von der Klasse B implementiert. Typumwandlungen von Objekten vom statischen Typ A in
den Typ B sind dann immer erfolgreich. Die markierte Umwandlungsoperation muss somit nicht geprüft werden, da alle
Objekte, welche den Typ A implementieren, vom Typ B sind.
Wird dann jedoch eine Klasse C nachgeladen, welche ebenfalls die Schnittstelle A implementiert, so
ist die Optimierung ungültig. Nun ist eine Typprüfung notwendig, um Objekte vom Typ B von denen
des Typs C zu unterscheiden. Die Typprüfung muss angepasst oder ausgetauscht werden.
Bei einem compilerbasierten System kann die Typüberprüfung in den Code eingearbeitet werden.
Sie ist dann nicht mehr als eigenständiger Dienst sichtbar, sondern im Code der Anwendung enthalten.
Bei Änderungen der Typhierarchie muss dann jedoch der betroffene Code ausgetauscht werden. Im
oben betrachteten Beispiel muss beispielsweise der Code der Klasse B neu generiert werden, obwohl
die Klasse selbst nicht verändert wurde.
5.4.9 Laufzeittypsystem
Java bietet die Möglichkeit, dass eine Anwendung zur Laufzeit Informationen über die vorhandenen
Typen abfragen kann. Die Anwendung erhält dabei Objekte, welche Klassen oder Methoden beschreiben.
Mithilfe solcher Meta-Objekte können dann Details der Elemente, wie beispielsweise Typen der
Parameter abgefragt werden. Darüber hinaus können neue Objekte erzeugt oder existierende Objekte
verändert werden. So kann beispielsweise der Inhalt eines Objektfeldes verändert oder eine Methode
aufgerufen werden, deren Name während der Implementierung noch unbekannt war.
Das Laufzeittypsystem ist dafür zuständig, die entsprechenden Meta-Objekte zu erstellen und mit
den Informationen aus den Klassendaten zu initialisieren. Außerdem müssen verändernde Zugriffe
über diese Meta-Objekte an die entsprechenden Bausteine wie beispielsweise die Objekterzeugung
weitergeleitet werden.
Die Anwendung kann das Laufzeittypsystem direkt nutzen. Ein Teil der Funktionalität wird auch
von der Speicherbereinigung genutzt, um alle Referenzen zu finden.
122