<< §1.2.4.(a) instanceof | ↑ Table of Contents ↑ | §1.2.4.(c) Class literal >> |
§1.2.4.(b) Casting
Casts may also fail if the casted expression is anchored to a different
team instance than the cast type. Such failure is signaled by a
org.objectteams.RoleCastException
.
<< §1.2.4.(a) instanceof | ↑ Table of Contents ↑ | §1.2.4.(c) Class literal >> |