deep

a Cross Development Platform for Java

User Tools

Site Tools


dev:crosscompiler:type_checking

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
dev:crosscompiler:type_checking [2019/07/16 08:16]
ursgraf
dev:crosscompiler:type_checking [2019/07/16 12:07] (current)
ursgraf
Line 22: Line 22:
 All the explanations above were for //​instanceof//​. For //​checkcast//​ there are some modifications: ​ All the explanations above were for //​instanceof//​. For //​checkcast//​ there are some modifications: ​
   - The check against //Object// is never necessary. It will be eliminated already in the Bytecode.   - The check against //Object// is never necessary. It will be eliminated already in the Bytecode.
-  - Bei einer misslungenen Prüfung wird eine Trap-Instruktion ausgelöst.+  - A failing check has to cause an exception.
   - A ''​null''​ reference results in a positive check.   - A ''​null''​ reference results in a positive check.
  
dev/crosscompiler/type_checking.txt · Last modified: 2019/07/16 12:07 by ursgraf