/** * @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])); }