public function testEnablingAndDisablingTriggersNeccessaryState()
{
$line = new CoveredLine("");
$line->setNeccessary(true);
$line->addCoverage("");
$this->assertTrue($line->isEnabled());
$line->disable();
$this->assertFalse($line->isEnabled());
$this->assertFalse($line->isNeccessary());
$this->assertTrue($line->isCovered());
$line->enable();
$this->assertTrue($line->isEnabled());
$this->assertTrue($line->isNeccessary());
$this->assertTrue($line->isCovered());
}