Violating Exception Specifications

Defines objects used for exception violations.