/**
* Delegates the calculation of the preciser scope to the next link.
* If there is no next link, returns the blind scope.
*
* @return LinkedFlowScope
*/
protected function nextPreciserScopeKnowingConditionOutcome(\PHPParser_Node $condition, LinkedFlowScope $blindScope, $outcome)
{
return $this->nextLink !== null ? $this->nextLink->getPreciserScopeKnowingConditionOutcome($condition, $blindScope, $output) : $blindScope;
}
protected function visitTopType(PhpType $topType)
{
$result = $topType;
if ($this->resultEqualsValue) {
$typeByName = ChainableReverseAbstractInterpreter::getNativeTypeForGettypeResultHelper($this->registry, $this->value);
if (null !== $typeByName) {
$result = $typeByName;
}
}
return $result;
}