Definition
throw_stm : throw exp ;
Purpose
A throw_stm throws an exception. Control transfers to the most recent exception handler for the given exception, or to a default if none is defined.
Semantics
The exp must evaluate to some type of exception.
