*/ private SplObjectStorage $node_types; /** * @var SplObjectStorage>>>|null> */ private SplObjectStorage $node_assertions; /** @var SplObjectStorage> */ private SplObjectStorage $node_if_true_assertions; /** @var SplObjectStorage> */ private SplObjectStorage $node_if_false_assertions; public bool $cache_assertions = true; public function __construct() { $this->node_types = new SplObjectStorage(); $this->node_assertions = new SplObjectStorage(); $this->node_if_true_assertions = new SplObjectStorage(); $this->node_if_false_assertions = new SplObjectStorage(); } /** * @param Expr|Name|Return_ $node */ public function setType(NodeAbstract $node, Union $type): void { $this->node_types[$node] = $type; } /** * @param Expr|Name|Return_ $node */ public function getType(NodeAbstract $node): ?Union { return $this->node_types[$node] ?? null; } /** * @param list>>>|null $assertions */ public function setAssertions(Expr $node, ?array $assertions): void { if (!$this->cache_assertions) { return; } $this->node_assertions[$node] = $assertions; } /** * @return list>>>|null */ public function getAssertions(Expr $node): ?array { if (!$this->cache_assertions) { return null; } return $this->node_assertions[$node] ?? null; } /** * @param FuncCall|MethodCall|StaticCall|New_ $node * @param array $assertions */ public function setIfTrueAssertions(Expr $node, array $assertions): void { $this->node_if_true_assertions[$node] = $assertions; } /** * @param Expr\FuncCall|MethodCall|StaticCall|New_ $node * @return array|null */ public function getIfTrueAssertions(Expr $node): ?array { return $this->node_if_true_assertions[$node] ?? null; } /** * @param FuncCall|MethodCall|StaticCall|New_ $node * @param array $assertions */ public function setIfFalseAssertions(Expr $node, array $assertions): void { $this->node_if_false_assertions[$node] = $assertions; } /** * @param FuncCall|MethodCall|StaticCall|New_ $node * @return array|null */ public function getIfFalseAssertions(Expr $node): ?array { return $this->node_if_false_assertions[$node] ?? null; } public function isPureCompatible(Expr $node): bool { $node_type = $this->getType($node); return ($node_type && $node_type->reference_free) || $node->getAttribute('pure', false); } public function clearNodeOfTypeAndAssertions(Expr $node): void { unset($this->node_types[$node], $this->node_assertions[$node]); } }