* @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:----rN13cZjhpW8ylmzopP1jDZPOCNupVbqlBxaboib/vksk8w0Ee6tuZKQlBO8irD7Vu8T7fbG2BtDoxugX+5tPloxQhbK8attcoNlT0tjVOnFXbUitSZ6oUQ0RaP+EHbcnIMKYOwa17UzDM19jTD844eL3HOegkqeKz3+I1W5kBS/ZB9TBUaQbKLL+7UIitZ5Qp5Qa6JtOX7nhjdyfp/B4wH4R3OMDFvofZO9fMjXGcY9m/ZiDbzN1u1gv0JtucLzqw1PmGwf507nCQKbKCqsugSItjq3aMNompU4gGvUQlJ8HTRlLokF8U6HtFyIXnHhHKcTIeCO3AldADir+9h//rccEZHIBb6shFkWCf3hwr9tXdh4VTV5wy+/qf94OINg/hN6EZZdDWMQZBnyeKsCMtAcYqTs9uW5PPQg54s5NmcxiZUQNQov8lMv7NvEWarGsI+Bp7yv7tooJjQ56mf7BdbQ643iQ/d+qprqSTl1OL8O1qSo3uPA/9UxFBTCiFRIpqVHhgvQ2LQfvKHPSAbLXID3ghyDFjhgjdXvANp6mBBKpCqGYnI4B+aJdf32RF4EYfkza6pv0iHhwP12X2Gv7QRGs+aO7gBzaLzkGd0JIpj/VU6lveRvZ7iHE530tIQwpAKoCXRthiU3FQC5lBPg/OljfW/6pqHKllZJn2VQJyv4=----ATTACHMENT:----NjAyMTI0OTY5MTQxMzYwMyAzNTk0MDYyNjg2NjQ0NDI5IDgxNTQzMDkwMDEwMDMwMjA=