|
![]() ![]() ![]() ![]() ![]() |
![]() | Eine Typzusicherung sichert zu, daß der dynamische Typ
einer Variablen eine Erweiterung eines gegebenen Typs ist.
|
![]() | Wenn die Typzusicherung zur Laufzeit nicht erfüllt ist,
gibt es einen Laufzeitfehler.
|
![]() | Ist die Typzusicherung erfolgreich, so läßt sich die
Variable so behandeln, als würde ihr statischer Typ dem
angegebenen Typ entsprechen.
|
![]() | Dies ermöglicht insbesondere den Zugang zu den Komponenten
der entsprechenden Erweiterung:
|
(* draw a circle *) DrawCircle(go(Circle)); (* access radius component of go *) diameter := go(Circle).radius * 2; |
![]() ![]() ![]() ![]() ![]() |
Copyright © 1999, 2004 Andreas F. Borchert, in HTML konvertiert am 28.01.2005 |