mirror of
https://github.com/danog/psalm.git
synced 2024-12-14 02:07:37 +01:00
99 lines
2.4 KiB
PHP
99 lines
2.4 KiB
PHP
<?php
|
||
namespace Psalm;
|
||
|
||
class Clause
|
||
{
|
||
/**
|
||
* An array of strings of the form
|
||
* [
|
||
* '$a' => ['falsy'],
|
||
* '$b' => ['!falsy'],
|
||
* '$c' => ['!null'],
|
||
* '$d' => ['string', 'int']
|
||
* ]
|
||
*
|
||
* representing the formula
|
||
*
|
||
* !$a || $b || $c !== null || is_string($d) || is_int($d)
|
||
*
|
||
* @var array<string, array<string>>
|
||
*/
|
||
public $possibilities;
|
||
|
||
/**
|
||
* An array of things that are not true
|
||
* [
|
||
* '$a' => ['!falsy'],
|
||
* '$b' => ['falsy'],
|
||
* '$c' => ['null'],
|
||
* '$d' => ['!string', '!int']
|
||
* ]
|
||
* represents the formula
|
||
*
|
||
* $a && !$b && $c === null && !is_string($d) && !is_int($d)
|
||
*
|
||
* @var array<string, array<string>>|null
|
||
*/
|
||
public $impossibilities;
|
||
|
||
/** @var bool */
|
||
public $wedge;
|
||
|
||
/** @var bool */
|
||
public $reconcilable;
|
||
|
||
/**
|
||
* @param array<string, array<string>> $possibilities
|
||
* @param bool $wedge
|
||
* @param bool $reconcilable
|
||
*/
|
||
public function __construct(array $possibilities, $wedge = false, $reconcilable = true)
|
||
{
|
||
$this->possibilities = $possibilities;
|
||
$this->wedge = $wedge;
|
||
$this->reconcilable = $reconcilable;
|
||
}
|
||
|
||
/**
|
||
* @param Clause $other_clause
|
||
*
|
||
* @return bool
|
||
*/
|
||
public function contains(Clause $other_clause)
|
||
{
|
||
if (count($other_clause->possibilities) > count($this->possibilities)) {
|
||
return false;
|
||
}
|
||
|
||
foreach ($other_clause->possibilities as $var => $possible_types) {
|
||
if (!isset($this->possibilities[$var]) || count(array_diff($possible_types, $this->possibilities[$var]))) {
|
||
return false;
|
||
}
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
/**
|
||
* Gets a hash of the object – will be unique if we're unable to easily reconcile this with others
|
||
*
|
||
* @return string
|
||
*/
|
||
public function getHash()
|
||
{
|
||
ksort($this->possibilities);
|
||
|
||
foreach ($this->possibilities as &$possible_types) {
|
||
sort($possible_types);
|
||
}
|
||
|
||
$possibility_string = json_encode($this->possibilities);
|
||
if (!$possibility_string) {
|
||
throw new \LogicException('Error converting possibilities to json');
|
||
}
|
||
|
||
return md5($possibility_string) .
|
||
($this->wedge || !$this->reconcilable ? spl_object_hash($this) : '');
|
||
}
|
||
}
|