Type casting

This example shows how a binary tree with internal <code>Node</code> and <code>Leaf</code>s can be specified if access is by means of casting rather than through a visitor pattern.

General Information

  • Backend: Silicon
  • Language: Java
  • Features: Trees
  • Path to Example File: type-casts/CastExample.java
  • Should Verify: Yes
  • Date: 2017-06-21
  • Lines of Code: 62 (comments not included)
  • Lines of Specification: 25 (40.3% of total)
  • Computation Time: 24.2 seconds