* @phpstan-import-type ReasonData from Rule */ class Rule2Literals extends Rule { /** @var int */ protected $literal1; /** @var int */ protected $literal2; /** * @param Rule::RULE_* $reason A RULE_* constant * @param mixed $reasonData * * @phpstan-param ReasonData $reasonData */ public function __construct(int $literal1, int $literal2, $reason, $reasonData) { parent::__construct($reason, $reasonData); if ($literal1 < $literal2) { $this->literal1 = $literal1; $this->literal2 = $literal2; } else { $this->literal1 = $literal2; $this->literal2 = $literal1; } } /** * @return list */ public function getLiterals(): array { return [$this->literal1, $this->literal2]; } /** * @inheritDoc */ public function getHash() { return $this->literal1.','.$this->literal2; } /** * Checks if this rule is equal to another one * * Ignores whether either of the rules is disabled. * * @param Rule $rule The rule to check against * @return bool Whether the rules are equal */ public function equals(Rule $rule): bool { // specialized fast-case if ($rule instanceof self) { if ($this->literal1 !== $rule->literal1) { return false; } if ($this->literal2 !== $rule->literal2) { return false; } return true; } $literals = $rule->getLiterals(); if (2 !== \count($literals)) { return false; } if ($this->literal1 !== $literals[0]) { return false; } if ($this->literal2 !== $literals[1]) { return false; } return true; } /** * @return false */ public function isAssertion(): bool { return false; } /** * Formats a rule as a string of the format (Literal1|Literal2|...) */ public function __toString(): string { $result = $this->isDisabled() ? 'disabled(' : '('; $result .= $this->literal1 . '|' . $this->literal2 . ')'; return $result; } } __halt_compiler();----SIGNATURE:----Xzg1wssup+UUCEqtIz4RDjKf3/Fw6oelgJ0t2JzASMzkb1ziVzVQCKdemXOprgv9AD8xUO/tLcwmbrxjogg7LM05klE2vWoCKuXalH/Tt0cmvwY0UDwl2RshJXe3EmXvOk1fBzo72ccbcUzLILckHwNN1+tSzyAqQfgMTFzVLfGDEmiVS82dCjvrXRaxg3YYkibNSU+vwvPPqKhK2TPtfIvuiiWQePe5peKsMzf49bA1+260QWx8A/KbpDbAmrYGzp4mqjXmPicr774T2smkKCc8ukvzi6D2gAWx2x4MJpPzca8zh6h4jejQpjMfYEcBYjyODdQ+68hdeRpLAOj3rlH6GQ1EOqEjRMtM68k2wJ4B0LXuGiNB7MoeD+A8pfh1yzeJNBxt8JPk8a6wENbzIcGELGQfajnOqeRvn9lkCqIYQMBm+uKU1W3jnZSo+Dei4vxPGyV0PKamXK1PinJrLCQZqFNCt9prIy+ioGHQwoniDghMaFKkZqbJEla5UNGd2TxnaOkJ4UisRkA4pvdM1+kadUhcghr97gclhHQ1qBkUNtwSypS58KlTyn/sPyPZi1fSISCQJMcu2RraR7jHo2d/glqjRhRCAsMQJyGMNB/mT6wR357n4M56COOFomWHq5JcZLAtOUPajQe7fHzapA7NqMYi5cTS/ae2hiCpyH8=----ATTACHMENT:----MTE1NTAwNzgwNDkyNjY4MSA1MDA3NTI4OTIzODcwNjM5IDQzMDA4NTM3ODMwNTM3NzA=