Using \\\\instanceof and \\\\typeof

This file show how the syntax for stating that an object is an instance of a specific class (\typeof) works. It is future work to make sure that the knowledge that this is an instance of C is automatically added.

General Information

• Backend: Silicon
• Language: Java
• Features:
• Path to Example File: type-casts/TypeExample1.java
• Should Verify: Yes
• Date: 2017-06-21
• Lines of Code: 14 (comments not included)
• Lines of Specification: 5 (35.7% of total)
• Computation Time: 20.1 seconds