ProphecyException.php Interfaces, Classes and Traits ProphecyException Core Prophecy exception interface.