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

ID156
Articlenone
Back-endBoogie
LanguageJava
FeaturesTrees
Sources
Path to example filetype-casts/CastExample.java
Date2017-06-21

Statistical information

Lines of code62 lines (comments not included)
Lines of specification25 lines (40.32% of the total)
Computation time24206 milliseconds

Example code

Note, verification may take a while and has a time-out of 20 seconds.