* @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:----R1DG6KX4WV6fI5smUM+7HQXpPWMfK0IojZuqI7LKUYrFBXIyEOQ+VB7a0K/RgkTaUmvh68AKt/6mOmtf4ZBFZtoFRs/ycFiyNJg7vufF3NykX4VvMZWekrsuAbB0I6wIsP4fjZhZ22MZA54yK3bE2WbetVPuhztakcD500DTzFeiApOMsRXsQkjwboer37BlQcQjJ3QL/pl56XhkTaBZytgjfIkBbpIiRzahkc3bgwiGF4HdwaIJlE0jmOY/U9SdYJlkT9ycIBu0c0XRlpJNUhsCmVCixQSjKMGiPhm/4vorWljvUd0bgefo8UStoKrkwcWhZmVHcCYyncQSAXXnY2sJ8zeUTmUQoPEzjy5MHGhdhE4pkKfhncvrlgsDlLZMuVvg3ixDKTycxS7P0W0v562G4F5COozcEPwBTapLGW58VJhzCtr6/c6SLCBbht7pY25lfvAN27R7YDYJBGILSk2gwBna4NJOrZiL+dE+cTgiVbvLcwo5OeA9gTtjg79YSafInwL6zqPTf+AJ/p+tnpBKynBecPBTLctNJkVXzCf7RQOJ77XOKfReEMMrW0dc90HRwVKojFd81K7FM06aNghGI0nwVg4odu0l0y5b54JE0FpWQvLPsAfCEE3IexjAf1l0uU1xm845ImGqZH/8COJ+pB1NQwaW6oe2gdrl8ec=----ATTACHMENT:----NjcyNjI1NjY3MDA1NzcwMSA3MDk1NzE3MTUzMzIxNjgwIDI0ODkwMTc4NzczMDc0NDQ=