Page MenuHomeWickedGov Phorge
Files F1433067

HasTypeCondition.php
No OneTemporary
Actions

Size
2 KB
Referenced Files
None
Subscribers
None

HasTypeCondition.php
View Options

<?php
declare(strict_types=1);
namespace Phan\Analysis\ConditionVisitor;
use ast\Node;
use Phan\Analysis\ConditionVisitorInterface;
use Phan\Language\Context;
use Phan\Language\UnionType;
/**
* An expression with the side effect that the given node has type T
*/
class HasTypeCondition implements BinaryCondition
{
/** @var UnionType the type that this is asserting it has */
private $type;
public function __construct(UnionType $type)
{
$this->type = $type;
}
/**
* Assert that this condition applies to the variable $var (i.e. $var has type $union_type)
*
* @param Node $var
* @param Node|int|string|float $expr @unused-param
* @override
*/
public function analyzeVar(ConditionVisitorInterface $visitor, Node $var, $expr): Context
{
// Get the variable we're operating on
$context = $visitor->getContext();
try {
$variable = $visitor->getVariableFromScope($var, $context);
} catch (\Exception $_) {
return $context;
}
if (\is_null($variable)) {
return $context;
}
// Make a copy of the variable
$variable = clone($variable);
$variable->setUnionType($this->type);
// Overwrite the variable with its new type in this
// scope without overwriting other scopes
return $context->withScopeVariable(
$variable
);
}
/**
* Assert that this condition applies to the variable $object (i.e. get_class($object) === $expr)
*
* @param Node|int|string|float $object
* @param Node|int|string|float $expr @unused-param
*/
public function analyzeClassCheck(ConditionVisitorInterface $visitor, $object, $expr): Context
{
$class_string = $this->type->asSingleScalarValueOrNull();
if ($class_string === null) {
return $visitor->getContext();
}
return $visitor->analyzeClassAssertion($object, $class_string) ?? $visitor->getContext();
}
/**
* @suppress PhanUnusedPublicMethodParameter
*/
public function analyzeCall(ConditionVisitorInterface $visitor, Node $call_node, $expr): ?Context
{
return null;
}
/**
* @unused-param $visitor
* @unused-param $node
* @unused-param $expr
* @override
*/
public function analyzeComplexCondition(ConditionVisitorInterface $visitor, Node $node, $expr): ?Context
{
// TODO: Could analyze get_class($array['field']) === stdClass::class (e.g. with AssignmentVisitor)
return null;
}
/** @return static */
public function withFlippedOperands(): BinaryCondition
{
return $this;
}
}

File Metadata

Mime Type
text/x-php
Expires
Sat, May 16, 22:37 (1 h, 11 m)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
71/2a/ad98b3759d02b4cd76fc836284a1
Default Alt Text
HasTypeCondition.php (2 KB)

Event Timeline