public function case_constructor()
{
$this->given($message = 'foo %s %d %s', $code = 7, $arguments = ['arg', 42, null], $previous = new SUT('previous'))->when($result = new SUT($message, $code, $arguments, $previous), $line = __LINE__)->then->string($result->getMessage())->isEqualTo('foo arg 42 (null)')->integer($result->getCode())->isEqualTo(7)->array($result->getArguments())->isEqualTo(['arg', 42, '(null)'])->object($result->getPreviousThrow())->isIdenticalTo($previous)->boolean($result->hasUncommittedExceptions())->isFalse();
}
