Backups Created:
/home/japatmex/public_html/wp-content/edit-wolf.php

SavvyWolf - MANAGER

Edit File: VariableTypeHolder.php

<?php declare(strict_types = 1);

namespace PHPStan\Analyser;

use PHPStan\TrinaryLogic;
use PHPStan\Type\Type;
use PHPStan\Type\TypeCombinator;

class VariableTypeHolder
{

/** @var \PHPStan\Type\Type */
	private $type;

/** @var \PHPStan\TrinaryLogic */
	private $certainty;

public function __construct(Type $type, TrinaryLogic $certainty)
	{
		if ($certainty->no()) {
			throw new \PHPStan\ShouldNotHappenException();
		}
		$this->type = $type;
		$this->certainty = $certainty;
	}

public static function createYes(Type $type): self
	{
		return new self($type, TrinaryLogic::createYes());
	}

public static function createMaybe(Type $type): self
	{
		return new self($type, TrinaryLogic::createMaybe());
	}

public function and(self $other): self
	{
		if ($this->getType()->equals($other->getType())) {
			$type = $this->getType();
		} else {
			$type = TypeCombinator::union($this->getType(), $other->getType());
		}
		return new self(
			$type,
			$this->getCertainty()->and($other->getCertainty())
		);
	}

public function getType(): Type
	{
		return $this->type;
	}

public function getCertainty(): TrinaryLogic
	{
		return $this->certainty;
	}

}