PHP ReckiCT\Graph\Algo Dominator::immediateDominator Examples

Example #1

File: DominatorTest.php Project: bwoebi/recki-ct

 /**
  * @depends testStrictlyDominates
  * @covers ::immediateDominator
  */
 public function testImmediateDominator()
 {
     $dominator = new Dominator($this->graph, $this->func);
     $this->assertNull($dominator->immediateDominator($this->func));
     // A function doesn't have an idom
     $this->assertSame($this->func, $dominator->immediateDominator($this->v[0]));
     $this->assertSame($this->v[4], $dominator->immediateDominator($this->v[5]));
     $this->assertSame($this->v[1], $dominator->immediateDominator($this->v[4]));
 }