↑ Table of Contents ↑ | §1.2.4.(b) Casting >> |
§1.2.4.(a) instanceof
For role types the instanceof
operator yields true only if
both components of the type match: the dynamic role type must be compatible
to the given static type, and also type anchors must be the same instance.
↑ Table of Contents ↑ | §1.2.4.(b) Casting >> |