All exceptions in tree are by default unchecked so they must be
declared in method signature if they should behave as checked exceptions.
At many places it is accurate just mention in JavaDoc that the method
may throw it (if passing the right value is at callee reponsibility).
It must be declared just at places where callee can not explicitly
guarantee that the exception will not occure so it must check for it.
It is a folding exception.
author: Libor Kramolis |