Void Safety Overview
Void safety is one a number of
first class constructs in the Jetfire lanaguage.
Void safety is not found in other application languages such as Java and C#.
Jetfire supports void safety through several mechanisms to prevent run time exceptions which typically result in system crashes.