public function getSupervisor() { return $this->supervisor; }
public function testGetSupervisor() { $exception = new UnexpectedTerminationException($this->sup); $this->assertSame($this->sup, $exception->getSupervisor()); }