* @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:----XUxTSIkqz7uhkZDlOzQI4fDho7wHqThvKc2XBREWaaYTVF4dmuLR35UI9wR48Gz0qKtyd+b2XRwOw7B27sdCqqB18+EA+dRTzgAToOOK7pq+aJ26N/D4gJc6l1+xgh5zUTO2z0IWbP+O7JYwUZABN1XbSDLGA85udbWm7nqVKBDOaFrMW4t1hjCyIRjlhKXcCBYNsO+ooGDT8MxuBMH/428gKJEex1bwiHRIETNOz7KbRaSSQ0zcIpU/kxfMjRwLx7KWI0evrkw4r/ex4ea38abC0wnK10uRCyG0Ox6YEG8QM0gfmM2eJY2fR/1NvQYirC2LaGDTmx3ayz1fKu0kGD8y497MBeiJAR9lptECjDL3VawQADYv9Ne6y7mNuSeotgVmDLuw0XRiSsBj9whz68LzPCN/xwr0ca13XYsW61DOdp0pUeEB5fNLEehRUoxoayXv0TPGyccxXaUlHBXja+NdWXSNcwUW6fG8JqN7JGUW0WhtCIvoVfPrH3X597DMSBwQJdFfvkD2fYWcclRYwA4O58QQ7RcWYOZ/Jf0y6ijce6Pj2qsuVuu/+oBEA16YpJFnr5QrUasDnw/SjvY0dvgazXup8hixHvA5p1PCaUoYHMaFfO/lrVc0UJw8/hNpSDEgB2m9pwjBKftXrw2Gd9jbHlJcnwApsSEMSnAMNec=----ATTACHMENT:----OTE1ODY1OTEwMjUxMTIzMiA0MTE2MjU0NjY1NDIyMDMzIDUzMTEwODE4MTc4NDcxNTc=